Экстремальный разгон процессора
Экстремальный разгон процессора
Введение
Разбор полетов и крушений
Листинг 1 инструкция XOR ECX
Листинг 2 предыдущий фрагмент кода
Руководящая идея
Как мы будем действовать
номера различных событий
структура MSR-регистров PrefEvtSel0/ PrefEvtSel1
бит PCE регистра CR4 управляет доступом к команде RDPMC с прикладного уровня
Листинг 3 фрагмент процедуру инициализации драйвера
Листинг 4 фрагмент драйвера, отвечающий за выбор нужного события
Листинг 5 фрагмент процедуры деиницилизации драйвера
Листинг 6 прикладная функция, загружающая драйвер в память
Листинг 7 прикладная функция, позволяющая выбирать интересующее нас событие для его мониторинга
Листинг 8 прикладная функция выгружающая драйвер из памяти
Листинг 9 ключевой фрагмент функции, осуществляющей контроль за кэш-активностью
Листинг 10 цикл, отбирающий процессорные
Заключение
‚ведение в теорию программированиЯ
‚ажнейшими математическими формализациЯми, рассматриваемыми в данном курсе, ЯвлЯютсЯ ламбда-исчисление и комбинаторнаЯ логика.…ще в 1924 г. Њ. ейнфинкель (Moses Schonfinkel) разработал простую (simple) теорию функций, котораЯ фактически ЯвлЯлась исчислением объектов-функций и предвосхитила поЯвление ламбда-исчислениЯ Р математической формализации, поддерживающей Языки функционального программированиЯ (т.е. программированиЯ в терминах функций).
‡атем в 1934 г. Ђ. —ерч (Alonso Church) предложил собственно исчисление ламбда-конверсий (или ламбда-исчисление) и применил его длЯ исследованиЯ теории множеств. ‚клад ученого был фундаментальным, так что теориЯ до сих пор называетсЯ ламбда-исчислением и часто именуетсЯ в литературе ламбда-исчислением —ерча.
Џозднее, в 1940 г., •. Љарри (Haskell Curry) создал теорию функций без переменных (иначе называемых комбинаторами), известную в настоЯщее времЯ как комбинаторнаЯ логика. ќта теориЯ ЯвлЯетсЯ развитием ламбда-исчислениЯ и представлЯет собой формальный Язык, подобный Языку функционального программированиЯ.
‚ 60-х годах •. Ѓарендрегтом (H. Barendregt) были детально описаны синтаксис (т.е. форма конструкций) и семантика (т.е. значение конструкций) ламбда-исчислениЯ.
‚ступительнаЯ лекциЯ
Ћбъектно-ориентированный подход к программированию
Љонцепции общей теории информации
Содержание раздела
