|
|
| (32 промежуточные версии не показаны) |
| Строка 1: |
Строка 1: |
| - | = Информация и её измерения. =
| + | #redirect [[ПОД (3 поток), Ответы]] |
| - | | + | |
| - | Термин "информация" происходит от латинского слова "informatio", что означает сведения, разъяснения, изложение. Несмотря на широкое распространение этого термина, понятие информации является одним из самых дискуссионных в науке. В настоящее время наука пытается найти общие свойства и закономерности, присущие многогранному понятию информация, но пока это понятие во многом остается интуитивным и получает различные смысловые наполнения в различных отраслях человеческой деятельности:
| + | |
| - | в обиходе информацией называют любые данные или сведения, которые кого-либо интересуют. Например, сообщение о каких-либо событиях, о чьей-либо деятельности и т.п. "Информировать" в этом смысле означает "сообщить нечто, неизвестное раньше";
| + | |
| - | в технике под информацией понимают сообщения, передаваемые в форме знаков или сигналов;
| + | |
| - | в кибернетике под информацией понимает ту часть знаний, которая используется для ориентирования, активного действия, управления, т.е. в целях сохранения, совершенствования, развития системы (Н. Винер).
| + | |
| - | | + | |
| - | Клод Шеннон, американский учёный, заложивший основы теории информации — науки, изучающей процессы, связанные с передачей, приёмом, преобразованием и хранением информации, — рассматривает информацию как снятую неопределенность наших знаний о чем-то.
| + | |
| - | | + | |
| - | Приведем еще несколько определений:
| + | |
| - | :Информация — это сведения об объектах и явлениях окружающей среды, их параметрах, свойствах и состоянии, которые уменьшают имеющуюся о них степень неопределенности, неполноты знаний (Н.В. Макарова);
| + | |
| - | :Информация — это отрицание энтропии (Леон Бриллюэн);
| + | |
| - | :Информация — это мера сложности структур (Моль);
| + | |
| - | :Информация — это отраженное разнообразие (Урсул);
| + | |
| - | :Информация — это содержание процесса отражения (Тузов);
| + | |
| - | :Информация — это вероятность выбора (Яглом).
| + | |
| - | | + | |
| - | Современное научное представление об информации очень точно сформулировал Норберт Винер, "отец" кибернетики. А именно:
| + | |
| - | Информация — это обозначение содержания, полученного из внешнего мира в процессе нашего приспособления к нему и приспособления к нему наших чувств.
| + | |
| - | | + | |
| - | ===Подходы к определению количества информации. Формулы Хартли и Шеннона. ===
| + | |
| - | | + | |
| - | Американский инженер Р. Хартли в 1928 г. процесс получения информации рассматривал как выбор одного сообщения из конечного наперёд заданного множества из N равновероятных сообщений, а количество информации I, содержащееся в выбранном сообщении, определял как двоичный логарифм N. Формула Хартли:
| + | |
| - | : <math>~I(N)= \log_2 N.</math>
| + | |
| - | | + | |
| - | Допустим, нужно угадать одно число из набора чисел от единицы до ста. По формуле Хартли можно вычислить, какое количество информации для этого требуется: <math>I = \log_2 100 > 6,644</math>. Таким образом, сообщение о верно угаданном числе содержит количество информации, приблизительно равное 6,644 единицы информации.
| + | |
| - | | + | |
| - | Для задач такого рода американский учёный Клод Шеннон предложил в 1948 г. другую формулу определения количества информации, учитывающую возможную неодинаковую вероятность сообщений в наборе. Формула Шеннона:
| + | |
| - | : <math>H =-\sum_{i=1}^N p_i \log_2 p_i</math>
| + | |
| - | | + | |
| - | где <math>p_i</math> — вероятность того, что именно i-е сообщение выделено в наборе из N сообщений.
| + | |
| - | | + | |
| - | Легко заметить, что если вероятности <math>p_1, ..., p_N</math> равны, то каждая из них равна <math>1 / N</math>, и формула Шеннона превращается в формулу Хартли.
| + | |
| - | | + | |
| - | Помимо двух рассмотренных подходов к определению количества информации, существуют и другие. Важно помнить, что любые теоретические результаты применимы лишь к определённому кругу случаев, очерченному первоначальными допущениями.
| + | |
| - | | + | |
| - | В качестве единицы информации Клод Шеннон предложил принять один бит (англ. bit от binary digit — двоичная цифра).
| + | |
| - | Бит в теории информации — количество информации, необходимое для различения двух равновероятных сообщений (типа "орел"—"решка", "чет"—"нечет" и т.п.).
| + | |
| - | | + | |
| - | В вычислительной технике битом называют наименьшую "порцию" памяти компьютера, необходимую для хранения одного из двух знаков "0" и "1", используемых для внутримашинного представления данных и команд.
| + | |
| - | | + | |
| - | == Замечание ==
| + | |
| - | "Боюсь соврать, но на одной из первых лекций Фисун задал вопрос как раз на тему а что же такое информация. Ответом, в конечном итоге, явилось, что в современном мире информация - понятие самодостаточное и в пояснениях не нуждаещееся(атомарное, как выразился сам лектор). То есть, по ходу, ответом на вопрос что такое информация будет такое:-"Информация это информация""(c)
| + | |
| - | [http://www.cmcspec.ru/ipb/index.php?showtopic=647&view=findpost&p=20167 Источник]
| + | |
| - | | + | |
| - | = Арифметические вычисления до эры ЭВМ. =
| + | |
| - | Первым устройством для счета, известным еще задолго до нашей эры (V в. до н.э.) был простой '''абак''', с которого и началось развитие вычислительной техники. Придумали абак в Греции и Египте.
| + | |
| - | | + | |
| - | Греческий (египетский) абак – это дощечка, покрытая слоем пыли, на которой острой палочкой проводились линии и какие-нибудь предметы, размещавшиеся в полученных колонках по позиционному принципу. В Древнем Риме абак появился, вероятно в V–VI вв н.э., и назывался calculi или abakuli. Изготовлялся абак из бронзы, камня, слоновой кости и цветного стекла. До нашего времени дошёл бронзовый римский абак, на котором камешки передвигались в вертикально прорезанных желобках. Внизу помещались камешки для счета до пяти, а в верхней части имелось отделение для камешка, соответствующего пятёрке.
| + | |
| - | | + | |
| - | Китайский суан-пан – состояли из деревянной рамки, разделенной на верхние и нижние секции. Палочки соотносятся с колонками, а бусинки с числами. У китайцев в основе счета лежала не десятка, а пятерка. Она разделена на две части: в нижней части на каждом ряду располагаются по 5 косточек, в верхней части – по две. Таким образом, для того чтобы выставить на этих счетах число 6, ставили сначала косточку, соответствующую пятерке, и затем прибавляли одну в разряд единиц.
| + | |
| - | | + | |
| - | Японский соробан – прямоугольная рама содержит произвольное количество вертикальных бамбуковых палочек (чем больше их число, тем с большим разрядом цифр можно проводить операции). На каждой палочке по 5 деревянных косточек, разделённых поперечной полосой – над полосой одна косточка, под полосой – 4.
| + | |
| - | | + | |
| - | На Руси долгое время считали по косточкам, раскладываемым в кучки. Примерно с XV века получил распространение "дощаный счет", завезенный, видимо, западными купцами вместе с [[wikipedia:ru:Ворвань|ворванью]] и текстилем.
| + | |
| - | | + | |
| - | «Дощаный счет» – «Русский абак» почти не отличался от обычных счетов и представлял собой рамку с укрепленными горизонтальными веревочками, на которые были нанизаны просверленные сливовые или вишневые косточки. Счеты, которые появились в XV в.в. состоят на особом месте, т.к. используют десятичную, а не пятеричную систему счисления, как все остальные абаки.
| + | |
| - | | + | |
| - | Основная заслуга изобретателей абака (''какого именно абака? в греко-латинском не было позиционной!'') – создание позиционной системы представления чисел. Вычисления на абаке производились перемещением камешке по желобам на доске.
| + | |
| - | | + | |
| - | Начало XVII века: вводом понятия логарифма шотландским математиком Джоном Непером и публикацией таблицы логарифмов послужило созданию '''логарифмической линейки'''. Одной из первых «вычислительных» машин была суммирующая машина французского ученого Блеза Паскаля, которую изобрел он в 1642 году. '''Машина Паскаля''' могла суммировать десятичные числа.
| + | |
| - | | + | |
| - | Первую арифметическую машину, выполняющую все четыре арифметических действия, создал в 1673 году немецкий математик Лейбниц – механический арифмометр. '''Арифметическая машина Лейбница''' послужила прототипом арифмометров, которые начали производиться серийно с 1820 года и использовались вплоть до 60х годов XX в. '''Арифмометр''' был предшественником современного калькулятора.
| + | |
| - | Арифмометр, как и простой калькулятор – это средство механизации вычисления. Человек, производя на таком устройстве, сам управляет его работой, определяет последовательность выполнения операций.
| + | |
| - | XIX в.: автором первого проекта вычислительного автомата был профессор Кембриджского университета английский математик Чарльз Бэббидж.
| + | |
| - | | + | |
| - | '''Аналитическая машина Бэббиджа'''
| + | |
| - | | + | |
| - | Основные идеи заложенные в проекте этой машины, в нашем веке были использованы конструкторами ЭВМ. Все главные компоненты современного компьютера присутствовали в конструкции аналитической машины:
| + | |
| - | * СКЛАД (в современной технологии – ПАМЯТЬ), где хранятся все исходные числа и промежуточные результаты.
| + | |
| - | * МЕЛЬНИЦА (арифметическое устройство), в которой осуществляются операции над числами, взятыми из склада.
| + | |
| - | * КОНТОРА (устройство управления), производящая управление последовательностью операций над числами, соответственно над заданной программой.
| + | |
| - | * БЛОКИ ВВОДА исходных данных.
| + | |
| - | * БЛОКИ ПЕЧАТИ РЕЗУЛЬТАТОВ.
| + | |
| - | | + | |
| - | Для программного управления использовались перфокарты – картонные карточки с пробитыми в них отверстиями (перфорацией).
| + | |
| - | Проект машины так и не был реализован из-за сложности механического износа деталей проекта, которые опережали технические возможности своего времени, но программы для этой машины были созданы. Их составила дочь Джона Байрона герцогиня Ада Лавлейс, которая по праву считается первым программистом.
| + | |
| - | | + | |
| - | Эра '''электронных вычислительных машин''' началась в 30-х годах XX в. В 40-х годах удалось создать первую программируемую счетную машину на основе электромеханических реле.
| + | |
| - | | + | |
| - | = Эволюционная классификация ЭВМ. =
| + | |
| - | | + | |
| - | Одна из форм классификации ЭВМ - по "поколениям" связана с эволюцией аппаратного и программного оборудования, причем основным классификационным параметром является технология производства. Классификация рассматривается на примерах из отечественной техники, что дает возможность перечислить хотя бы основных творцов отечественной информационной технологии. История отечественных исследований в данной области пока малоизвестна<!-- но чаще они отсутствуют как таковые -->. Это связано с тем, что работы в данной области длительное время носили закрытый характер. В России (в СССР) начало эры вычислительной техники принято вести от 1946г. <!-- наш собственный революционный календарь с блэкджеком и бэсмами -->, когда под руководством Сергея Алексеевича Лебедева закончен проект малой электронной счетной машины (МЭСМ - 50 оп./сек. ОЗУ на 63 команды и 31 константы) - фон Нейманновская универсальная ЭВМ. В 1950/51 гг. она пущена в эксплуатацию. Далее, приводятся некоторые крупные отечественные достижения в области вычислительной техники.
| + | |
| - | | + | |
| - | ===Первое поколение===
| + | |
| - | Первое поколение ЭВМ /1946-1957гг/ использовало в качестве основного элемента электронную лампу. Быстродействие их не превышало 2-3 т. оп./сек; емкость ОЗУ - 2-4 К слов. Это ЭВМ: БЭСМ-1 (В.А. Мельников,1955г.), Минск-1 (И.С. Брук 1952/59 гг.), Урал-4 (Б. И. Рамеев), Стрела (Ю.Я. Базилевский, 1953 г.), М-20 (М.К. Сулим 1860 г. <!-- Парень явно опередил своё время! -->). А.Н. Мямлиным была разработана и несколько лет успешно эксплуатировалась "самая большая в мире ЭВМ этого поколения" <!-- Ох уж эти советские микросхемы, самые большие микросхемы в мире! -->- машина Восток. Программирование для этих машин: однозадачный, пакетный режим, машинный язык, ассемблер (совковый аналог - [[wikipedia:ru:Автокод#Происхождение и критика термина «язык ассемблера»|Автокод]]).
| + | |
| - | | + | |
| - | ===Второе поколение===
| + | |
| - | В ЭВМ второго поколения /1958-1964гг/ элементной базой служили транзисторы. Отечественные: Урал-14, Минск-22, БЭСМ-4, М-220, Мир-2, Наири и БЭСМ-6 (1 млн. оп./сек , 128К), Весна (В.С. Полин, В.К. Левин), М-10 (М.А. Карцев). ПС-2000, ПС-3000, УМШМ, АСВТ, Сетунь. Программирование: мультипрограммный режим, языки высокого уровня, библиотеки подпрограмм.
| + | |
| - | | + | |
| - | ===Третье поколение===
| + | |
| - | Элементная база ЭВМ третьего поколения, /1965-1971гг/ интегральные схемы - логически законченный функциональный блок, выполненный печатным монтажом. Отечественные ЭВМ этого поколения ЭВМ ЕС (Единой Системы):ЕС-1010,ЕС-1020, ЕС-1066 (2 млн. оп./сек , 8192К) и др. Программирование: мультипрограммный, диалоговый режимы, ОС, виртуальная память.
| + | |
| - | | + | |
| - | В 1996 г. в России работают 5 тысяч ЕС ЭВМ из 15 т., уставленных а СССР. НИИЦЭВТ на базе комплектующих IBM/390 разработал 23 модели производительностью от 1.5 до 167 Мфлоп (ЕС1270, ЕС1200, аналоги серверов 9672)). IBM предоставляет также лицензионные программные продукты (ОС-390). Используются в России для сохранения программного задела прикладных систем (проблема наследия ЕС ЭВМ).
| + | |
| - | | + | |
| - | ===Четвертое поколение===
| + | |
| - | ЭВМ четвертого поколения /1972-1977гг/ базируются на "больших интегральных схемах"(БИС) и "микропроцессорах". Отечественные - проект "Эльбрус", ПК. Программирование: диалоговые режимы, сетевая архитектура, экспертные системы.
| + | |
| - | | + | |
| - | ===Пятое поколение===
| + | |
| - | ЭВМ пятого поколения /начиная с 1978г/ используют "сверхбольшие интегральные схемы" (СБИС). Выполненные по такой технологии процессорные элементы на одном кристалле могут быть основным компонентом различных платформ - серверов: от супер-ЭВМ (вычислительных серверов), до интеллектуальных коммутаторов в файл-серверах.
| + | |
| - | | + | |
| - | На этом поколении технологические новации приостанавливаются и в восьмидесятые годы в ряде стран появляются проекты создания новых вычислительных систем на новых архитектурных принципах. Так, в 1982 японские разработчики приступили к проекту "компьютерные системы пятого поколения", ориентируясь на принципы искусственного интеллекта, но в 1991 японское министерство труда и промышленности принимает решение о прекращении программы по компьютерам пятого поколения; вместо этого запланировано приступить к разработке компьютеров шестого поколения на основе нейронных сетей.
| + | |
| - | | + | |
| - | В СССР под руководством А.Н. Мямлина в рамках такого проекта велась разработка вычислительной системы, состоящей из специализированных процессоров: процессоров ввода/вывода, вычислительного, символьного, архивного процессоров.
| + | |
| - | | + | |
| - | В настоящее время в России создаются мультисистемы на базе зарубежных микропроцессоров: вычислительные кластеры (НИИЦЭВТ), супер-ЭВМ МВС-1000 (В.К. Левин, А.В.Забродин). Под руководством Б.А.Бабаяна проектируется микропроцессор Мерсед-архитектектуры. В.С. Бурцев разрабатывает проект суперЭМВ на принципах потоковых машин.
| + | |
| - | | + | |
| - | Эволюция отечественного программного обеспечения непосредственно связана с эволюцией архитектуры ЭВМ, первая Программирующая Программа ПП, Интерпретирующая Система- ИС создавались для М-20 (ИПМ). Для ЭВМ этого семейства были реализованы компиляторы с Алгола: ТА-1 (С.С.Лавров), ТФ-2 (М.Р.Шура-Бура), Альфа(А.П.Ершов). ''Этот абзац нужно написать более понятным языком, если кто-то-таки вкурит, о чём в нём речь''
| + | |
| - | | + | |
| - | Для БЭСМ-6 создан ряд операционные системы: от Д-68 до ОС ИПМ (Л.Н. Королев, В.П. Иванников, А.Н. Томилин, В.Ф.Тюрин, Н.Н. Говорун, Э.З. Любимский).
| + | |
| - | | + | |
| - | Под руководством С.С.Камынина и Э.З. Любимского был реализован проект Алмо: создание машинно-ориентированного языка и на его базе системы мобильных трансляторов.
| + | |
| - | | + | |
| - | В.Ф.Турчин предложил функциональный язык Рефал, системы программирования на базе этого языка используются при создании систем символьной обработки и в исследованиях в области [[wikipedia:Metasystem transition|метавычислений]].
| + | |
| - | | + | |
| - | = Принципы фон Неймановской архитектуры. =
| + | |
| - | [[wikipedia:von Neumann architecture]]
| + | |
| - | | + | |
| - | В основу построения подавляющего большинства компьютеров положены следующие общие принципы, сформулированные в 1945 г. американским ученым Джоном фон Нейманом.
| + | |
| - | | + | |
| - | ===Принцип программного управления.===
| + | |
| - | Из него следует, что программа состоит из набора команд, которые выполняются процессором автоматически друг за другом в определенной последовательности.
| + | |
| - | Выборка программы из памяти осуществляется с помощью счетчика команд. Этот регистр процессора последовательно увеличивает хранимый в нем адрес очередной команды на длину команды.
| + | |
| - | А так как команды программы расположены в памяти друг за другом ('''принцип последовательного программного управления'''), то тем самым организуется выборка цепочки команд из последовательно расположенных ячеек памяти.
| + | |
| - | Если же нужно после выполнения команды перейти не к следующей, а к какой-то другой, используются команды условного или безусловного переходов, которые заносят в счетчик команд номер ячейки памяти, содержащей следующую команду. (иногда выделяют '''принцип условного перехода''') Выборка команд из памяти прекращается после достижения и выполнения команды “стоп”.
| + | |
| - | Таким образом, процессор исполняет программу автоматически, без вмешательства человека.
| + | |
| - | | + | |
| - | ===Принцип однородности памяти.===
| + | |
| - | Программы и данные хранятся в одной и той же памяти s двоичной системе счисления (иногда выделяют '''принцип двоичного представления данных'''). Поэтому компьютер не различает, что хранится в данной ячейке памяти — число, текст или команда. Над командами можно выполнять такие же действия, как и над данными. Это открывает целый ряд возможностей. Например, программа в процессе своего выполнения также может подвергаться переработке, что позволяет задавать в самой программе правила получения некоторых ее частей (так в программе организуется выполнение циклов и подпрограмм). Более того, команды одной программы могут быть получены как результаты исполнения другой программы. На этом принципе основаны методы трансляции — перевода текста программы с языка программирования высокого уровня на язык конкретной машины.
| + | |
| - | | + | |
| - | ===Принцип адресности.===
| + | |
| - | Структурно основная память состоит из перенумерованных ячеек; процессору в произвольный момент времени доступна любая ячейка. Отсюда следует возможность давать имена областям памяти, так, чтобы к запомненным в них значениям можно было впоследствии обращаться или менять их в процессе выполнения программ с использованием присвоенных имен.
| + | |
| - | Компьютеры, построенные на этих принципах, относятся к типу фон-неймановских. Но существуют компьютеры, принципиально отличающиеся от фон-неймановских. Для них, например, может не выполняться принцип программного управления, т.е. они могут работать без “счетчика команд”, указывающего текущую выполняемую команду программы. Для обращения к какой-либо переменной, хранящейся в памяти, этим компьютерам не обязательно давать ей имя. Такие компьютеры называются не-фон-неймановскими.
| + | |
| - | | + | |
| - | == Замечание ==
| + | |
| - | У лектора немного другая структура принципов.
| + | |
| - | === Программное управление работой ЭВМ ===
| + | |
| - | Программа -- последовательность комманд, хранимая в ОЗУ. Каждая программа задает единичный акт преобразования информации. В каждый момент времени выполняется только 1 команда программы.
| + | |
| - | === Принцип условного перехода ===
| + | |
| - | Возможен переход в процессе вычисления на тот или иной участок программы в зависимости от промежуточных, получаемых а ходе вычисления, результатов.
| + | |
| - | === Принцип хранимой программы ===
| + | |
| - | Команды представляются в числовой форме и хранятся в ОЗУ, в том же виде, что и исходные данные, следовательно над командо йможно производить арифметические действия, изменяя ее динамически.
| + | |
| - | === Принцип использования двоичной системы счисления для представления информации ===
| + | |
| - | | + | |
| - | = Виды запоминающих устройств. =
| + | |
| - | Система построена из разнообразных элементов, поэтому для того, чтобы она правильно функционировала, применяются специальные средства, сглаживающие дисбаланс (историческое решение – регистры общего назначения), достигается минимум реальной частоты обращения к памяти - расслоение памяти (это параллельность передачи данных и передача управления). Считывание в память фрагментов данных – организация ассоциативной памяти – кэша (cache) – сверхоперативной памяти, которая аккумулирует наиболее частые команды и минимизирует обращения к оперативной памяти. Также широко используется аппарат прерываний- средство, аппаратно-ориентированное на своевременную обработку поступающей информации, осуществляющее реакцию на ошибки.
| + | |
| - | | + | |
| - | Система внешних запоминающих устройств (ВЗУ) компьютера очень широка, она включает в себя типовой набор внешних устройств Традиционно это:
| + | |
| - | *внешние запоминающие устройства, предназначенные для организации хранения данных и программ;
| + | |
| - | *устр-ва ввода и отображения, предназначенные для ввода извне данных и программ и отображения этой инф-ции;
| + | |
| - | *устр-ва приема данных, предназначенные для получения данных от других компьютеров и извне.
| + | |
| - | | + | |
| - | Обмен данными:
| + | |
| - | * записями фиксированного размера – блоками
| + | |
| - | * записями произвольного размера
| + | |
| - | | + | |
| - | Доступ к данным:
| + | |
| - | * операции чтения и записи (жесткий диск, CDRW).
| + | |
| - | * только операции чтения (CDROM, DVDROM, …).
| + | |
| - | | + | |
| - | По доступу к данным различают устройства:
| + | |
| - | | + | |
| - | ====Последовательного доступа:====
| + | |
| - | В устройствах последовательного доступа для чтения i-ого блока памяти необходимо пройти по первым i-1 блокам. (Пример: пульт дистанционного управления ТВ, кнопки «канал+» и «канал-» или бытовые кассетные магнитофоны - ВЗУ большинства бытовых компьютеров 80-х годов). Устройства последовательного доступа менее эффективны чем устройства прямого доступа.
| + | |
| - | * '''Магнитная лента'''. Это тип ВЗУ широко известный всем пользователям бытовых компьютеров (БК). Его принцип основывается на записи/чтении информации на магнитной ленте. При этом перед началом и после окончания записи на ленту заносится специальный признак - маркер начала или, соответственно, конца. Головка проходит на нужный номер цилиндра и не более чем за 1 оборот находит нужный сектор. ''Какие блин секторы в магнитной ленте??''
| + | |
| - | | + | |
| - | ====Прямого доступа:====
| + | |
| - | В устройствах прямого доступа для того, чтобы прочесть i-ый блок данных, не нужно читать первые i-1 блоков данных. (Пример: пульт дистанционного управления Вашего телевизора, кнопки - каналы; для того, чтобы посмотреть i-ый канал не нужно «перещелкивать» первые i-1).
| + | |
| - | *'''Магнитные диски'''. Конструкция ВЗУ данного типа состоит в том, что имеется несколько дисков (компьютерный жаргон - «блины»), обладающих возможностью с помощью эффекта перемагничивания хранить информацию, размещенных на оси, которые вращаются с некоторой постоянной скоростью. Каждый такой диск имеет одну или две поверхности, покрытые слоем, позволяющим записывать информацию
| + | |
| - | *'''Магнитный барабан'''.металлический цилиндр большой массы, вращающийся вокруг своей оси. Роль большой массы - поддержание стабильной скорости вращения. Поверхность этого цилиндра покрыта магнитным слоем, позволяющим хранить, читать и записывать информацию. Поверхность барабана разделена на n равных частей (в виде колец), которые называются треками (track). Над барабаном расположен блок неподвижных головок так, что над каждым треком расположена одна и только одна головка. (Головок, соответственно, тоже n штук). Головки способны считывать и записывать информацию с барабана. Каждый трек разделен на равные сектора. В каждый момент времени в устройстве может работать только одна головка. Запись информации происходит по трекам барабана, начиная с определенного сектора. При заказе на обмен поступают следующие параметры: № трека, № сектора, объем информации.
| + | |
| - | *''' Магнито-электронные ВЗУ прямого доступа (память на магнитных доменах)'''. В конструкции этого устройства опять-таки используется барабан, но на этот раз он неподвижен. Барабан опять-таки разделен на треки и над каждым треком имеется своя головка. За счет некоторых магнитно-электрических эффектов происходит перемещение по треку цепочки доменов. При этом каждый домен однозначно ориентирован, то есть он бежит стороной, с зарядом «+», либо стороной, заряженной «-». Так кодируется ноль и единица. Эта память очень быстродейственна, т.к. в ней нет «механики». Память на магнитных доменах очень дорога и используется в большинстве случаев в военной и космической областях.
| + | |
| - | | + | |
| - | ===Иерархия памяти===
| + | |
| - | Выглядит следующим образом:
| + | |
| - | | + | |
| - | [[Изображение:ВЗУ.PNG]]
| + | |
| - | | + | |
| - | = Адресация ОЗУ. =
| + | |
| - | ОЗУ - устройство, предназначенное для хранения оперативной информации. В ОЗУ размещается исполняемая в данный момент программа и используемые ею данные. ОЗУ состоит из ячеек памяти, каждая из которых содержит поле машинного слова и поле служебной информации.
| + | |
| - |
| + | |
| - | Машинное слово – поле программно изменяемой информации, в машинном слове могут располагаться машинные команды (или части машинных команд) или данные, которыми может оперировать программа. Машинное слово имеет фиксированный для данной ЭВМ размер (обычно размер машинного слова – это количество двоичных разрядов, размещаемых в машинном слове).
| + | |
| - | Служебная информация (иногда ТЭГ) – поле ячейки памяти, в котором схемами контроля процессора и ОЗУ автоматически размещается информация, необходимая для осуществления контроля за целостностью и корректностью использования данных, размещаемых в машинном слове.
| + | |
| - | | + | |
| - | [[Изображение:Адресация_ОЗУ_1.PNG]]
| + | |
| - | | + | |
| - | Использование содержимого поля служебной информации
| + | |
| - | * контроль за целостностью данных.: (при записи машинного слова подсчет числа единиц в коде машинного слова и дополнение до четного или нечетного в контрольном разряде), при чтении контроль соответствия; Пример контроля за целостностью данных по четности:
| + | |
| - | | + | |
| - | [[Изображение:Адресация_ОЗУ_2.PNG]]
| + | |
| - | | + | |
| - | * контроль доступа к командам/данным (обеспечение блокировки передачи управления на область данных программы или несанкционированной записи в область команд);
| + | |
| - | * контроль доступа к машинным типам данных – осуществление контроля за соответствием машинной команды и типа ее операндов;
| + | |
| - | Конкретная структура, а также наличие поля служебной информации зависит от конкретной ЭВМ.
| + | |
| - | | + | |
| - | В ОЗУ все ячейки памяти имеют уникальные имена, имя - адрес ячейки памяти. Обычно адрес – это порядковый номер ячейки памяти (нумерация ячеек памяти возможна как подряд идущими номерами, так и номерами, кратными некоторому значению). Доступ к содержимому машинного слова осуществляется посредством использования адреса.
| + | |
| - | Производительность оперативной памяти – скорость доступа процессора к данным, размещенным в ОЗУ.
| + | |
| - | * время доступа (access time - taccess) – время между запросом на чтение слова из оперативной памяти и получением содержимого этого слова.
| + | |
| - | * длительность цикла памяти (cycle time – tcycle) – минимальное время между началом текущего и последующего обращения к памяти.
| + | |
| - | tcycle > taccess: мы можем быстро получить значение из памяти, но ей ещё нужно время восстановиться.
| + | |
| - | | + | |
| - | Обычно скорость доступа к данным ОЗУ существенно ниже скорости обработки информации в ЦП. (tcycle >> tprocess). Необходимо, чтобы итоговая скорость выполнения команды процессором как можно меньше зависела от скорости доступа к коду команды и к используемым в ней операндам из памяти. Это составляет проблему, которая системным образом решается на уровне архитектуры ЭВМ.
| + | |
| - | | + | |
| - | = Расслоение оперативной памяти. =
| + | |
| - | Расслоение ОЗУ – один из аппаратных путей решения проблемы дисбаланса в скорости доступа к данным, размещенным в ОЗУ и производительностью ЦП. Суть расслоения ОЗУ состоит в следующем. Все ОЗУ состоит из k блоков, каждый из которых может работать независимо. Ячейки памяти распределены между блоками таким образом, что у любой ячейки ее соседи размещаются в соседних блоках.
| + | |
| - | Возможность предварительной буферизации при чтении команд/данных. Оптимизация при записи в ОЗУ больших объемов данных.
| + | |
| - | | + | |
| - | [[Изображение:Расслоение_ОЗУ.PNG]]
| + | |
| - | | + | |
| - | При конвейерном доступе при М-кратном расслоении и регулярной выборке на обращение к одной ячейке памяти может тратиться 1/М цикла памяти. Но возможны конфликты по доступу, если шаг регулярной выборки достаточно большой или кратен числу банков памяти.
| + | |
| - | | + | |
| - | = Ассоциативная память. =
| + | |
| - | Оперативную память (ОП) можно представить в виде двумерной таблицы, строки которой хранят в двоичном коде команды и данные. Обращения за содержимом строки производится заданием номера (адреса) нужной строки. При записи, кроме адреса строки указывается регистр, содержимое которого следует записать в эту строку. Запись занимает больше времени, чем чтение. Пусть в памяти из трех строк хранятся номера телефонов.
| + | |
| - | | + | |
| - | {| border=1
| + | |
| - | |1924021
| + | |
| - | |-
| + | |
| - | |9448304
| + | |
| - | |-
| + | |
| - | |3336167
| + | |
| - | |}
| + | |
| - | | + | |
| - | Для получения номера телефона второго абонента следует обратиться: load (2) и получить в регистре ответа R = 9448304. Такой вид памяти, при котором необходимая информация определяется номером строки памяти, называется адресной. Другой вид оперативной памяти – ассоциативной можно рассматривать также как двумерную таблицу, но у каждой строки которой есть дополнительное поле, поле ключа.
| + | |
| - | | + | |
| - | Например:
| + | |
| - | | + | |
| - | {| border=1
| + | |
| - | !Ключ
| + | |
| - | !Содержимое
| + | |
| - | |-
| + | |
| - | |Иванов
| + | |
| - | |1924021
| + | |
| - | |-
| + | |
| - | |Петров
| + | |
| - | |9448304
| + | |
| - | |-
| + | |
| - | |Сидоров
| + | |
| - | |3336167
| + | |
| - | |}
| + | |
| - | | + | |
| - | После обращение к ассоциативной памяти с запросом : load (Петров) для данного примера получим ответ: R = 9448304. Здесь задание координаты строки памяти производится не по адресу, а по ключу. Но при состоянии ассоциативной памяти:
| + | |
| - | | + | |
| - | {| border=1
| + | |
| - | !Ключ
| + | |
| - | !Содержимое
| + | |
| - | |-
| + | |
| - | |1
| + | |
| - | |1924021
| + | |
| - | |-
| + | |
| - | |2
| + | |
| - | |9448304
| + | |
| - | |-
| + | |
| - | |3
| + | |
| - | |3336167
| + | |
| - | |}
| + | |
| - | | + | |
| - | можно получить номер телефона из второй строки запросом: load (2). Таким образом на ассоциативной памяти можно моделировать работу адресной. Ассоциативная память имеет очевидное преимущества перед адресной, однако, у нее есть большой недостаток - ее аппаратная реализация невозможна для памяти большого объема.
| + | |
| - | | + | |
| - | Телефонная книга, реализованная на обычной памяти требует перебор для поиска n/2. А в ассоциативной памяти все находится за 1 такт.
| + | |
| - | | + | |
| - | '''ВОПРОС:''' Предложите схему реализации модели ассоциативной памяти при помощи адресной.
| + | |
| - | | + | |
| - | '''Ответ:''' Область памяти делим ровно пополам. Первая половина заполняется ключами, вторая соответствующими ключам значениями. Когда найден ключ, известен его адрес как смещение относительно начала памяти. Тогда адрес содержимого по ключу – это смещение + размер области ключей, то есть адрес ячейки из второй половины памяти, которая соответствует ключу. ''А не имеется ли тут в виду реализация hash или индексных деревьев?''
| + | |
| - | | + | |
| - | = Виртуальная память. =
| + | |
| - | Внутри программы к моменту образования исполняемого модуля используется модель организации адресного пространства программы (эта модель, в общем случае не связана с теми ресурсами ОЗУ, которые предполагается использовать позднее). Для простоты будем считать, что данная модель представляет собой непрерывный фрагмент адресного пространства в пределах которого размещены данные и команды программы. Будем называть подобную организацию адресации в программе программной адресацией или '''логической/виртуальной адресацией'''.
| + | |
| - |
| + | |
| - | Итак, повторяем, на уровне исполняемого кода имеется программа в машинных кодах, использующая адреса данных и команд. Эти адреса в общем случае не являются адресами конкретных физических ячеек памяти, в которых размещены эти данные, более того, в последствии мы увидим, что виртуальным (или программным) адресам могут ставиться в соответствие произвольные физические адреса памяти. То есть при реальном исполнении программы далеко не всегда виртуальная адресация, используемая в программе совпадает с физической адресацией, используемой ЦП при выполнении данной программы.
| + | |
| - | | + | |
| - | ===Базирование адресов.===
| + | |
| - | | + | |
| - | Элементарное программно-аппаратное решение – использование возможности базирования адресов.
| + | |
| - |
| + | |
| - | Суть его состоит в следующем: пусть имеется исполняемый программный модуль. Виртуальное адресное пространство этого модуля лежит в диапазоне [0, A_кон]. В ЭВМ выделяется специальный регистр базирования R_баз, который содержит физический адрес начала области памяти, в которой будет размещен код данного исполняемого модуля. При этом исполняемые адреса, используемые в модуле будут автоматически преобразовываться в адреса физического размещения данных путем их сложения с регистром R_баз. Таким образом, код используемого модуля может загрузиться в любое свободное место в памяти. Эта схема является элементарным решением организации простейшего аппарата виртуальной памяти. '''Аппарат виртуальной памяти''' – аппаратные средства компьютера, обеспечивающие преобразование (установление соответствия) программных (виртуальных) адресов, используемых в программе адресам физической памяти в которой размещена программа при выполнении.
| + | |
| - |
| + | |
| - | Пусть имеется вычислительная система, функционирующая в мультипрограммном режиме. То есть одновременно в системе обрабатываются несколько программ/процессов. Один из них занимает ресурсы ЦП. Другие ждут завершения операций обмена, третьи – готовы к исполнению и ожидают предоставления ресурсов ЦП. При этом происходит завершение выполнявшихся процессов и ввод новых, это приводит к возникновению проблемы фрагментации ОЗУ. Суть ее следующая. При размещении новых программ/процессов в ОЗУ ЭВМ (для их мультипрограммной обработки) образуются свободные фрагменты ОЗУ между программами/процессами. Суммарный объем свободных фрагментов может быть достаточно большим, но, в то же время, размер самого большого свободного фрагмента недостаточно для размещения в нем новой программы/процесса. В этой ситуации возможна деградация системы – в системе имеются незанятые ресурсы ОЗУ, но они не могут быть использованы. Путь решения этой проблемы – использование более развитых механизмов организации ОЗУ и виртуальной памяти, позволяющие отображать виртуальное адресное пространство программы/процесса не в одну непрерывную область физической памяти, а в некоторую совокупность областей.
| + | |
| - | | + | |
| - | ===Страничная организация памяти===
| + | |
| - | Страничная организация памяти предполагает разделение всего пространства ОЗУ на блоки одинакового размера – страницы. Обычно размер страницы равен 2^k. В этом случае адрес, используемый в данной ЭВМ, будет иметь следующую структуру:
| + | |
| - | | + | |
| - | [[Изображение:Виртуальная_память_1.PNG]]
| + | |
| - |
| + | |
| - | Модельная (упрощенная) схема организации функционирования страничной памяти ЭВМ следующая: Пусть одна система команд ЭВМ позволяет адресовать и использовать m страниц размером 2^k каждая. То есть, виртуальное адресное пространство программы/процесса может использовать для адресации команд и данных до m = 2^r страниц, где r - разрядность поля "номер страницы".
| + | |
| - | | + | |
| - | '''Физическое адресное пространство''' – оперативная память, подключенная к данному компьютеру. Физическое адресное пространство в общем случае может иметь произвольное число физических страниц (их может быть больше m, а может быть и меньше). Соответственно структура исполнительного физического адреса будет отличаться от структуры исполнительного виртуального адреса за счет размера поля ”номер страницы”.
| + | |
| - | | + | |
| - | В '''виртуальном адресе''' размер поля определяется максимальным числом виртуальных страниц – m.
| + | |
| - | | + | |
| - | В '''физическом адресе''' – максимально возможным количеством физических страниц, которые могут быть подключены к данной ЭВМ (это также фиксированная аппаратная характеристика ЭВМ).
| + | |
| - | | + | |
| - | В ЦП ЭВМ имеется аппаратная таблица страниц (иногда таблица приписки) следующей структуры:
| + | |
| - | | + | |
| - | [[Изображение:Виртуальная_память_2.PNG]]
| + | |
| - |
| + | |
| - | Таблица содержит m строк. Содержимое таблицы определяет соответствие виртуальной памяти физической для выполняющейся в данный момент программы/процесса. Соответствие определяется следующим образом: i-я строка таблицы соответствует i-й виртуальной странице. Содержимое строки αi определяет, чему соответствует i-я виртуальная страница программы/процесса. Если αi ≥ 0, то это означает, что αi есть номер физической страницы, которая соответствует виртуальной странице программы/процесса. Если αi= -1, то это означает, что для i-й виртуальной страницы нет соответствия физической странице ОЗУ (обработка этой ситуации ниже).
| + | |
| - |
| + | |
| - | Итак, рассмотрим последовательность действий при использовании аппарата виртуальной страничной памяти.
| + | |
| - | | + | |
| - | [[Изображение:Виртуальная_память_3.PNG]]
| + | |
| - | | + | |
| - | # При выполнении очередной команды схемы управления ЦП вычисляют некоторый адрес операнда (операндов) A_исп. Это виртуальный исполнительный адрес.
| + | |
| - | # Из A_исп выделяется значение поля "номер страницы" (номер виртуальной страницы). По этому значению происходит индексация и доступ к соответствующей строке таблицы страниц.
| + | |
| - | # Если значение строки ≥ 0, то происходит замена содержимого поля номер страницы на соответствующее значение строки таблицы, таким образом, получается физический адрес. И далее ЦП осуществляет работу с физическим адресом. Если значение строки таблицы равно –1 это означает, что полученный виртуальный адрес не размещен в ОЗУ. Причины такой ситуации? Их две. Первая – данная виртуальная страница отсутствует в перечне станиц, доступных для программы/процесса, то есть имеет место попытка обращения в “чужую”, нелегитимную память. Вторая ситуация, когда операционная система в целях оптимизации использования ОЗУ, откачала некоторые страницы программы/процесса в ВЗУ(свопинг).
| + | |
| - | | + | |
| - | = Алгоритмы управления страницами ОЗУ. =
| + | |
| - | | + | |
| - | Проблема загрузки «новой» страницы в память. Необходимо выбрать страницу для удаления из памяти (с учетом ее модификации и пр.)
| + | |
| - | | + | |
| - | Существуют разные алгоритмы:
| + | |
| - | | + | |
| - | ===Алгоритм NRU===
| + | |
| - | (Not Recently Used – "не использовавшийся в последнее время"), который использует биты статуса страницы в записях таблицы страниц. R - обращение, M - изменение. Эти биты устанавливаются аппаратно.
| + | |
| - |
| + | |
| - | #При запуске процесса M и R для всех страниц процесса обнуляются
| + | |
| - | #По таймеру происходит обнуление всех битов R
| + | |
| - | #При возникновении страничного прерывания ОС делит все страниц на классы по изменению.
| + | |
| - | #Случайная выборка страницы для удаления в непустом классе с минимальным номером
| + | |
| - | | + | |
| - | '''Стратегия:''' лучше выгрузить измененную страницу, к которой не было обращений как минимум в течение 1 «тика» таймера, чем часто используемую страницу
| + | |
| - | | + | |
| - | ===Алгоритм FIFO===
| + | |
| - | «Первым прибыл – первым удален» - простейший вариант FIFO. (проблемы «справедливости»)
| + | |
| - | | + | |
| - | '''Модификация алгоритма (алгоритм вторая попытка)''':
| + | |
| - | #Выбирается самая «старая страница». Если R=0, то она заменяется
| + | |
| - | #Если R=1, то R – обнуляется, обновляется время загрузки страницы в память (т.е. переносится в конец очереди). На п.1
| + | |
| - | | + | |
| - | ===Алгоритм «Часы»===
| + | |
| - | #Если R=0, то выгрузка страницы и стрелка на позицию вправо.
| + | |
| - | #Если R=1, то R-обнуляется, стрелка на позицию вправо и на П.1.
| + | |
| - | | + | |
| - | ===Алгоритм LRU===
| + | |
| - | Least Recently Used – наиболее давно используемая страница
| + | |
| - | | + | |
| - | Вариант реализации:
| + | |
| - | * Памяти N страниц. Существует битовая матрица NxN (изначально полностью обнулена).
| + | |
| - | * При каждом обращении к i-ой странице происходит присваивание 1 всем битам i-ой строки и 0 - всем битам i-ого столбца.
| + | |
| - | * Строка с наименьшим двоичным кодом - искомая
| + | |
| - |
| + | |
| - | ===Алгоритм NFU===
| + | |
| - | Not Frequently Used – редко использовавшаяся страница (Программная модификация LRU (?))
| + | |
| - | | + | |
| - | Для каждой физической страницы i – программный счетчик Counti0. Изначально Counti – обнуляется для всех i.
| + | |
| - | | + | |
| - | # По таймеру Counti = Counti + Ri (R - бит обращения)
| + | |
| - | # Выбор страницы с минимальным значением {Counti}
| + | |
| - | | + | |
| - | Недостаток – «помнит» всю активность по использованию страниц
| + | |
| - | | + | |
| - | Модификация NFU – '''алгоритм старения'''
| + | |
| - | | + | |
| - | # Значение счетчика сдвигается на 1 разряд вправо.
| + | |
| - | # Значение R добавляется в крайний левый разряд счетчика.
| + | |
| - | | + | |
| - | = Использование в ЭВМ принципа локальности вычислений. =
| + | |
| - | | + | |
| - | Суть принципа локальных вычислений в том, что соседние инструкции программы, как правило, обращаются к соседним ячейкам памяти. Это можно использовать по-разному:
| + | |
| - | * расслоение памяти - ускорение доступа к последовательным ячейкам
| + | |
| - | * страничная организация - пока используются данные с одной страницы, не нужно менять базовый регистр. Если мы используем всего несколько локаций в памяти, то будет немного страниц, и они все поместятся в память - не нужно будет свопить
| + | |
| - | * spatial reuse в cache - если мы считали cache line, то там, помимо нужной ячейки, окажутся и соседние
| + | |
| - | | + | |
| - | = Полностью ассоциативная кэш-память. =
| + | |
| - | | + | |
| - | [http://www.intuit.ru/department/hardware/csorg/9/2.html Кэш-память]
| + | |
| - | | + | |
| - | Для полностью ассоциативного кэша характерно, что кэш-контроллер может поместить любой блок оперативной памяти в любую строку кэш-памяти. В этом случае физический адрес разбивается на две части: смещение в блоке (строке кэша) и номер блока. При помещении блока в кэш номер блока сохраняется в теге соответствующей строки. Когда ЦП обращается к кэшу за необходимым блоком, кэш-промах будет обнаружен только после сравнения тегов всех строк с номером блока.
| + | |
| - | | + | |
| - | Одно из основных достоинств данного способа отображения - хорошая утилизация оперативной памяти, т.к. нет ограничений на то, какой блок может быть отображен на ту или иную строку кэш-памяти. К недостаткам следует отнести сложную аппаратную реализацию этого способа, требующую большого количества схемотехники (в основном компараторов), что приводит к увеличению времени доступа к такому кэшу и увеличению его стоимости. Intractable при размерах кэша порядка мегабайта (нужно перебирать десятки/сотни тысяч строк).
| + | |
| - | | + | |
| - | [[Изображение:9 1.gif]]
| + | |
| - | | + | |
| - | = Кэш-память с прямым отображением. =
| + | |
| - | | + | |
| - | Альтернативный способ отображения оперативной памяти в кэш - это кэш прямого отображения (или одновходовый ассоциативный кэш). В этом случае адрес памяти (номер блока) однозначно определяет строку кэша, в которую будет помещен данный блок. Физический адрес разбивается на три части: смещение в блоке (строке кэша), номер строки кэша и тег. Тот или иной блок будет всегда помещаться в строго определенную строку кэша, при необходимости заменяя собой хранящийся там другой блок. Когда ЦП обращается к кэшу за необходимым блоком, для определения удачного обращения или кэш-промаха достаточно проверить тег лишь одной строки.
| + | |
| - | | + | |
| - | Очевидными преимуществами данного алгоритма являются простота и дешевизна реализации. К недостаткам следует отнести низкую эффективность такого кэша из-за вероятных частых перезагрузок строк. Например, при обращении к каждой 64-й ячейке памяти в системе на кэш-контроллер будет вынужден постоянно перегружать одну и ту же строку кэш-памяти, совершенно не задействовав остальные.
| + | |
| - | | + | |
| - | [[Изображение:9 2.gif]]
| + | |
| - | | + | |
| - | Пример:
| + | |
| - | Если объем ОЗУ – 4 Гбайт, тогда полный адрес - 32 бита можно представить в виде полей: 20 рр. – тэг (T), 7 рр – номер строки таблиц кэша (S), 5 рр – номер байта в строке (N). Поиск запрошенного байта (T-S-N) в кэше с прямым распределением производится так:
| + | |
| - | # Из памяти данных и памяти тэгов кэша одновременно считываются S-ные строки.
| + | |
| - | # Если содержимое считанной строки памяти тэгов равно Т – кэш попадание, это значит, что считанная S строка памяти данных кэша содержит запрашиваемый байт и его номер в строке есть N.
| + | |
| - | # Если содержимое считанной строки памяти тэгов не равно Т – кэш промах, и тогда T-S строка ОЗУ переписывается в S строку памяти данных кэша, а Т записывается в S строку памяти тэгов. Затем, см по п. 1.
| + | |
| - | | + | |
| - | = Частично-асссоциативная кэш-память. =
| + | |
| - | | + | |
| - | Компромиссным вариантом между первыми двумя алгоритмами является множественный ассоциативный кэш или частично-ассоциативный кэш (рис.). При этом способе организации кэш-памяти строки объединяются в группы, в которые могут входить 2, 4, 8, и т.д. строк. В соответствии с количеством строк в таких группах различают 2-входовый, 4-входовый и т.п. ассоциативный кэш. При обращении к памяти физический адрес разбивается на три части: смещение в блоке (строке кэша), номер группы (набора) и тег. Блок памяти, адрес которого соответствует определенной группе, может быть размещен в любой строке этой группы, и в теге строки размещается соответствующее значение. Очевидно, что в рамках выбранной группы соблюдается принцип ассоциативности. С другой стороны, тот или иной блок может попасть только в строго определенную группу, что перекликается с принципом организации кэша прямого отображения. Для того чтобы процессор смог идентифицировать кэш-промах, ему надо будет проверить теги лишь одной группы (2/4/8/… строк).
| + | |
| - | | + | |
| - | [[Изображение:9 4.gif]]
| + | |
| - | | + | |
| - | = Изменение данных в кэш памяти. =
| + | |
| - | | + | |
| - | Стратегии обновления данных в кэш памяти.
| + | |
| - | | + | |
| - | '''WriteBack'''
| + | |
| - | | + | |
| - | В схеме обновления с обратной записью используется бит "изменения" в поле тэга. Этот бит устанавливается, если блок был обновлен новыми данными и является более поздним, чем его оригинальная копия в основной памяти. Перед тем как записать блок из основной памяти в кэш-память, контроллер проверяет состояние этого бита. Если он установлен, то контроллер переписывает данный блок в основную память перед загрузкой новых данных в кэш-память (то есть только тогда, когда уже не нужны обновленные данные в кэш и они замещаются).
| + | |
| - | Обратная запись быстрее сквозной, так как обычно число случаев, когда блок изменяется и должен быть переписан в основную память, меньше числа случаев, когда эти блоки считываются и перезаписываются.
| + | |
| - | Однако обратная запись имеет несколько недостатков. Во-первых, все измененные блоки должны быть переписаны в основную память перед тем, как другое устройство сможет получить к ним доступ. Во-вторых, в случае катастрофического отказа, например, отключения питания, когда содержимое кэш-памяти теряется, но содержимое основной памяти сохраняется, нельзя определить, какие места в основной памяти содержат устаревшие данные. Наконец, контроллер кэш-памяти для обратной записи содержит больше (и более сложных) логических микросхем, чем контроллер для сквозной записи. Например, когда система с обратной записью осуществляет запись измененного блока в память, то она формирует адрес записи из тэга и выполняет цикл обратной записи точно так же, как и вновь запрашиваемый доступ.
| + | |
| - | | + | |
| - | '''Writethrough'''
| + | |
| - | | + | |
| - | При обновлении кэш-памяти методом сквозной записи контроллер кэш-памяти одновременно обновляет содержимое основной памяти. Иначе говоря, основная память отражает текущее содержимое кэш-памяти. Быстрое обновление позволяет перезаписывать любой блок в кэш-памяти в любое время без потери данных. Система со сквозной записью проста, но время, требуемое для записи в основную память, снижает производительность и увеличивает количество обращений по шине (что особенно заметно с мультизадачной системе).
| + | |
| - | | + | |
| - | '''Буферизованная сквозная запись.'''
| + | |
| - | | + | |
| - | В схеме обновления с буферизованной сквозной записью любая запись в основную память буферизуется, то есть информация задерживается в кэш-памяти перед записью в основную память (схемы кэш-памяти управляют доступом к основной памяти асинхронно по отношению к работе процессора). Затем процессор начинает новый цикл до завершения цикла записи в основную память. Если за записью следует чтение, то это кэш-попадание, так как чтение может быть выполнено в то время, когда контроллер кэш-памяти занят обновлением основной памяти. Эта буферизация позволяет избежать снижения производительности, характерного для системы со сквозной записью (запись производится в тот момент, пока процессор читает из кэша и занят чем чем-то кроме обновления данных).
| + | |
| - | У этого метода есть один существенный недостаток. Так как обычно буферизуется только одиночная запись, то две последовательные записи в основную память требуют цикла ожидания процессора. Кроме этого, запись с пропущенным последующим чтением также требует ожидания процессора. Состояние ожидания - это внутреннее состояние, в которое входит процессор при отсутствии синхронизирующих сигналов. Состояние ожидания используется для синхронизации процессора с медленной памятью.
| + | |
| - | | + | |
| - | '''Запись с размещением и без.'''
| + | |
| - | | + | |
| - | Предыдущие подходы описывают только случаи кэш-попадания при записи результата процессором. Однако случаи, когда обновляемые данные в КЭШе отсутствуют, также возможны. Тогда данные пишутся в ОЗУ и потом копируются в кэш. Запись без размещения – данные не копируются в кэш. Обычно при использовании стратегии WriteThru размещение не делается, а при использовании обратной записи делается – есть надежда, что не придется снова лезть в память для записи в след. раз.
| + | |
| - | | + | |
| - | '''Случай записи новых данных из памяти в кэш при кэш-промахе.'''
| + | |
| - | | + | |
| - | Для случая прямого отображения стратегия тривиальна – замещается строка, в которой может располагаться данных блок ОЗУ. Для ассоциативной организации кэша (полностью или частично) надо выбирать, какую из строк замещать новыми данными. Две стратегии: случайная или LRU (Least Recently Used) – заменяется та, которую дольше всех не использовали. Сложность – надо фиксировать все обращения к строкам кэша, чтобы вычислять наиболее неиспользуемую строку. Стоит отметить, что доли промахов с ростом кэша для случайного алгоритма уменьшаются быстрее, так что эффективность применения LRU снижается.
| + | |
| - | | + | |
| - | = Учет параметров кэша при программировании задач. =
| + | |
| - | Cache-oblivious algorithms. Это скорее всего тема, обратная к тому, что требуется рассказать в этом вопросе.
| + | |
| - | | + | |
| - | Основная идея cache-oblivious алгоритмов -- достижение оптимального использования кэша на всех уровнях иерархии памяти без знания его размера.
| + | |
| - | | + | |
| - | == Cache-aware ==
| + | |
| - | Cache-aware алгоритмы -- это алгоритмы, учитывающие параметры кеша.
| + | |
| - | | + | |
| - | === Структуры данных ===
| + | |
| - | В современных компьютерах многоуровневая структура кэша, которая позволяет очень быстро выполнять обход массива. Попадание кэша настолько быстрая операция, что можно учитывать только промахи. Если строка кэша имеет размер B, то колличество промахов в массиве равно n/B. Если рассматривать связный список, то в худшем случае на доступ к каждому узлу будет приходится промах. Но даже в лучшем случае, когда узлы списка расположенны последовательно, из-за того, что узел у списка больше, может потребоваться в несколько раз больше кэша для прохода по списку.
| + | |
| - | | + | |
| - | Пусть у нас есть массив из 60 миллионов элементов и мы хотим вставить элементы в середину. Несмотря на преимущества, которые дает кэш, эта операция займет недели.
| + | |
| - | Поэтому в программах, где вставка и удаление элементов является частой операцией, массивы неприменимы. Также недостатком массивов явлеется то, что они медленно увеличиваются и фрагментируют память.
| + | |
| - | | + | |
| - | Поэтому нужна структура, которая сочетает в себе преимущества кэша, которые дает массив, но при этом позволяет быстро вставлять элементы и увеличивать размер, как это свойственно спискам.
| + | |
| - | | + | |
| - | Такой структурой будет связный список маленьких массивов. А, чтобы эту структуру сделать cache-aware, нужно, чтобы каждый узел такого связного списка был размером B (т.е. размером со строку кэша).
| + | |
| - | | + | |
| - | === Оптимизация сортировки слиянием ===
| + | |
| - | | + | |
| - | Особенность Cache-aware версий алгоритма [[wikipedia:Merge sort|сортировки слиянием]] -- его операции были специально выбраны для сведения к минимуму перемещения страниц в и из кэш-памяти машины. Например, tiled алгоритм сортировки слиянием останавливает разбиение на подмассивы, когда размер подмассива становится равным S, где S -- это колличествр элементов данных, которые можно разместить на одной странице в памяти. Каждый из этих подмассивов сортируется сортировкой для которой не требуется дополнительной памяти, чтобы избежать подкачки, отсортированние подмассивы сортируются обычным слиянием.
| + | |
| - | | + | |
| - | = Конвейерная обработка данных. =
| + | |
| - | | + | |
| - | Что необходимо для сложения двух вещественных чисел, представленных в форме с плавающей запятой? Целое множество мелких операций таких, как сравнение порядков, выравнивание порядков, сложение мантисс, нормализация и т.п. Процессоры первых компьютеров выполняли все эти "микрооперации" для каждой пары аргументов последовательно одна за одной до тех пор, пока не доходили до окончательного результата, и лишь после этого переходили к обработке следующей пары слагаемых.
| + | |
| - | | + | |
| - | Идея конвейерной обработки заключается в выделении отдельных этапов выполнения общей операции, причем каждый этап, выполнив свою работу, передавал бы результат следующему, одновременно принимая новую порцию входных данных. Получаем очевидный выигрыш в скорости обработки за счет совмещения прежде разнесенных во времени операций. Предположим, что в операции можно выделить пять микроопераций, каждая из которых выполняется за одну единицу времени. Если есть одно неделимое последовательное устройство, то 100 пар аргументов оно обработает за 500 единиц. Если каждую микрооперацию выделить в отдельный этап (или иначе говорят - ступень) конвейерного устройства, то на пятой единице времени на разной стадии обработки такого устройства будут находится первые пять пар аргументов, а весь набор из ста пар будет обработан за 5+99=104 единицы времени - ускорение по сравнению с последовательным устройством почти в пять раз (по числу ступеней конвейера).
| + | |
| - | | + | |
| - | Казалось бы конвейерную обработку можно с успехом заменить обычным параллелизмом, для чего продублировать основное устройство столько раз, сколько ступеней конвейера предполагается выделить. В самом деле, пять устройств предыдущего примера обработают 100 пар аргументов за 100 единиц времени, что быстрее времени работы конвейерного устройства! В чем же дело? Ответ прост, увеличив в пять раз число устройств, мы значительно увеличиваем как объем аппаратуры, так и ее стоимость. Представьте себе, что на автозаводе решили убрать конвейер, сохранив темпы выпуска автомобилей. Если раньше на конвейере одновременно находилась тысяча автомобилей, то действуя по аналогии с предыдущим примером надо набрать тысячу бригад, каждая из которых (1) в состоянии полностью собрать автомобиль от начала до конца, выполнив сотни разного рода операций, и (2) сделать это за то же время, что машина прежде находилась на конвейере. Представили себестоимость такого автомобиля? Нет? Согласен, трудно, разве что Ламборгини приходит на ум, но потому и возникла конвейерная обработка... [http://lurkmore.ru/Что_ты_курил%3F]
| + | |
| - | | + | |
| - | === Оригинальная версия ===
| + | |
| - | Длительность арифметической операции может быть уменьшена за счет временного перекрытия ее различных фаз, путем конвейеризации вычислительной работы. Для этого механизмы Арифметического Логического Устройства (АЛУ) выполняется по конвейерному принципу. Пусть, работа АЛУ - для сложении данных, разделена на три этапа, на три автономных блока Рi : Р1 - выравнивание порядков операндов, Р2 - операция сложения мантисс, Р3 - нормализация результата, каждый из ко¬торых выполняется за один условный такт вычислителя. И пусть на таком АЛУ выполняются вычисления:
| + | |
| - | A1 = B1+C1
| + | |
| - | A2 = B2+C2
| + | |
| - | A3 = B3+C3
| + | |
| - | A4 = B4+C4
| + | |
| - | Тогда временная диаграмма работы АЛУ имеет вид:
| + | |
| - | Устройство 1 такт 2 такт 3 такт 4 такт 5 такт 6 такт
| + | |
| - | P1 B1+C1 В2+C2 B3+C3 B4+C4 нет работы нет работы
| + | |
| - | P2 нет работы B1+C1 B2+C2 B3+C3 B4+C4 нет работы
| + | |
| - | P3 нет работы нет работы B1+C1 B2+C2 B3+C3 В4+С4
| + | |
| - | Вычисления будут выполнены за 6 тактов работы вычислителя, причем, здесь, только два такта работы оборудование было загружено полностью.
| + | |
| - | | + | |
| - | '''ВОПРОС !!!!''' За сколько тактов будет выполнены эти вычисления, если АЛУ не конвейеризовано? Сокращает ли конвейеризация время выполнения отдельной операции? '''Спойлер''': 12. Нет.
| + | |
| - | | + | |
| - | Оптимальную загрузку конвейерных АЛУ можно получить при работе с регулярными структурами, например, при поэлементном сложении векторов. В общем случае, пусть работа операционного блока разбивается на n последовательных частей (стадий, выполняемые за одинаковое время), на которых вычислительные операции выполняются в конвейерном режиме. Тогда, если на выполнение одной операции сложения блоку требуется время T, то на обработку N операций сложения время: Tn = (n + N) * (Т / n). Следовательно, если n << N, то , то ускорение вычислений будет в n раз.
| + | |
| - | Фактором, снижающим производительность конвейеров, явля¬ется конфликты по данным. Так вычисления:
| + | |
| - | Вычисления другая форма этих вычислений
| + | |
| - | A1 = B1+C1
| + | |
| - | A2 = A1+C2 A2 = (B1+C1)+ C2
| + | |
| - | A3 = B3+C3 A3 = B3+C3
| + | |
| - | A4 = B4+C4 A4 = B4+C4
| + | |
| - | для правильной работы будут выполняться на два такта дольше:
| + | |
| - | Устр. 1такт 2такт 3такт 4такт 5такт 6такт 7такт 8такт
| + | |
| - | P1 B1+C1 н/р н/р A1+C2 B3+C3 B4+C4 н/р н/р
| + | |
| - | P2 н/р B1+C1 н/р н/р A1+C2 B3+C3 B4+C4 н/р
| + | |
| - | P3 н/р н/р B1+C1 н/р н/р A1+C2 B3+C3 В4+С4
| + | |
| - | На этой диаграмме видно, что количество простаивающих тактов работы оборудования “н/р” – “конвейерных пузырей “ (pipeline bubble) стало больше.
| + | |
| - | | + | |
| - | = Внеочередное выполнение команд. =
| + | |
| - | | + | |
| - | Положив в буфер команды, проводим анализ зависимостей и пытаемся загрузить конвейер теми операциями, которые не зависят от предыдущих (это делает процессор).
| + | |
| - | | + | |
| - | '''Пример:''' <br/>
| + | |
| - | A1 = B1+C1 <br/>
| + | |
| - | A2 = A1+C2 <br/>
| + | |
| - | A3 = B3+C3 <br/>
| + | |
| - | A4 = B4+C4 <br/>
| + | |
| - | 8 тактов.<br/>
| + | |
| - | Устр. 1такт 2такт 3такт 4такт 5такт 6такт 7такт 8такт
| + | |
| - | P1 B1+C1 н/р н/р A1+C2 B3+C3 B4+C4 н/р н/р
| + | |
| - | P2 н/р B1+C1 н/р н/р A1+C2 B3+C3 B4+C4 н/р
| + | |
| - | P3 н/р н/р B1+C1 н/р н/р A1+C2 B3+C3 В4+С4
| + | |
| - | | + | |
| - | А вместо этого:<br/>
| + | |
| - | A1 = B1+C1<br/>
| + | |
| - | A3 = B3+C3 <br/>
| + | |
| - | A4 = B4+C4<br/>
| + | |
| - | A2 = A1+C2<br/>
| + | |
| - | 6 тактов.
| + | |
| - | Устр. 1такт 2такт 3такт 4такт 5такт 6такт
| + | |
| - | P1 B1+C1 B3+C3 B4+C4 A1+C2 B3+C3 B4+C4
| + | |
| - | P2 н/р B1+C1 B3+C3 B4+C4 A1+C2 B3+C3
| + | |
| - | P3 н/р н/р B1+C1 B3+C3 В4+С4 A1+C2
| + | |
| - | | + | |
| - | '''Механизмы''': Статические и Динамические.
| + | |
| - | | + | |
| - | ''Динамические'' основаны на оборудовании, которое производит анализ программы и делает преобразования (работа возлагается на процессор).
| + | |
| - | | + | |
| - | ''Статические''. Зная архитектуру АЛУ, провести статический анализ и в процессе трансляции оптимизировать программу (работа возлагается на компилятор).
| + | |
| - | | + | |
| - | Производительность можно повысить, сделав АЛУ многофункциональным. Если сделать отдельные функциональные элементы для сложения, вычитания, умножения и деления, то схемы становятся проще, а система будет работать быстрее.
| + | |
| - | | + | |
| - | = Производительность конвейеров. =
| + | |
| - | [http://www.intuit.ru/department/hardware/archhard2/11/1.html на intuit.ru]
| + | |
| - | | + | |
| - | Время выполнения отдельной скалярной операции на конвейерном вы-числителе равно: Т = S + K, где K - время работы, за которое конвейер выдает очередной результат, а S - время запуска конвейера, время заполнения конвейера, которое без учета времени подготовки операндов, равно: S = K*(m-1), где m - число ступеней конвейера. Производительность конвейерного вычислителя на скалярных операциях (число результатов, выдаваемых за единицу времени) равна: R = 1/(S + K).
| + | |
| - | | + | |
| - | Время выполнения векторной операции на конвейерном вычислителе равно: Т = S + K*N, где N - длина вектора. Производительность конвейерного вычислителя при векторной работе (число результатов, выдаваемых за единицу времени) равна: R = N/(S + K*N), асимптотическая производительность Rб = 1/K.
| + | |
| - | | + | |
| - | Например, при К = 10 нс, Rб = 10^8 результатов/сек, т.е. 100 мегафлопов. Графики достижения такой производительности для S = 100 нс. и S= 1000 нс. показывают, что они имеют различное расстояние до асимптоты. Для оценки этого эффекта используется величина N1/2, определяемая как длина вектора, для которой достигается половина асимптотыческой зависимости. Для приведенного выше примера N1/2 = 100 для S =1000 и N1/2 = 10 для S = 100.
| + | |
| - | | + | |
| - | = Векторно-конвейерные вычислители. =
| + | |
| - | [http://www.intuit.ru/department/hardware/paralltech/3/ на intuit.ru]
| + | |
| - | | + | |
| - | Реализация команд организации цикла (счетчик и переход) при регулярной работе с данными - накладные расходы и препятствие опережающему просмотру на обычных, скалярных вычислителях, показывает, что такие вычисления эффективнее выполнять на специализированном векторно-конвейерном вычислителе.
| + | |
| - | | + | |
| - | Если вместо цикла:
| + | |
| - | DO L=1,N
| + | |
| - | A(I) = B(I)+C(I)
| + | |
| - | ENDDO
| + | |
| - | использовать запись алгоритма в виде векторной команды сложения вида:
| + | |
| - | VADD(B,C,A,N),
| + | |
| - | то векторный вычислитель, выполняющий такие команды, будет вырабатывать результаты на каждом такте. В таком вычислителе имеется один (или небольшое число) конвейерный процессор, выполняющий векторные команды путем засылки элементов векторов в конвейер с интервалом, равным длительности прохождения одной стадии обработки. Скорость вычислений зависит только от длительности стадии и не зависит от задержек в процессоре в целом.
| + | |
| - | | + | |
| - | Так как конвейер для однотипных операций дешевле и быстрее чем для многофункциональных, то выгодно их делать специализированными - однофункциональным: например, только для + или только для *. Для их совместного работы используется принцип зацепления конвейеров. Так, в ЭВМ Крей-1 имеется 12 конвейеров, из них 8 могут быть зацеплены, то есть результаты вычисления конвейера могут быть входными аргументами для другого. Операнды (результаты) находятся в памяти верхнего уровня или на регистрах. Для операндов задается: базовый адрес вектора, число элементов, тип данных в каждом элементе, схема хранения вектора в памяти. Некоторые векторные машины могут работать с двух-трех мерными массивами.
| + | |
| - | | + | |
| - | = Конвейерная обработка команд. =
| + | |
| - | Команду можно разделить на 6 отрезков:
| + | |
| - | * Принять команду
| + | |
| - | * Дешифровать КОП
| + | |
| - | * Сформировать исполнительный адрес
| + | |
| - | * Выбрать операнды
| + | |
| - | * Выполнить комманду
| + | |
| - | * Записать результат
| + | |
| - | | + | |
| - | = Конвейерные конфликты. =
| + | |
| - | [http://www.intuit.ru/department/hardware/archhard2/11/2.html на intuit.ru]
| + | |
| - | | + | |
| - | Значительное преимущество конвейерной обработки перед последовательной имеет место в идеальном конвейере, в котором отсутствуют конфликты и все команды выполняются друг за другом без перезагрузки конвейера. Наличие конфликтов снижает реальную производительность конвейера по сравнению с идеальным случаем.
| + | |
| - | | + | |
| - | '''Конфликты''' - это такие ситуации в конвейерной обработке, которые препятствуют выполнению очередной команды в предназначенном для нее такте.
| + | |
| - | | + | |
| - | Конфликты делятся на три группы:
| + | |
| - | *структурные,
| + | |
| - | *по управлению,
| + | |
| - | *по данным.
| + | |
| - | | + | |
| - | === Структурные конфликты ===
| + | |
| - | Структурные конфликты возникают в том случае, когда аппаратные средства процессора не могут поддерживать все возможные комбинации команд в режиме одновременного выполнения с совмещением.
| + | |
| - | | + | |
| - | Причины структурных конфликтов.
| + | |
| - | | + | |
| - | 1. Не полностью конвейерная структура процессора, при которой некоторые ступени отдельных команд выполняются более одного такта.
| + | |
| - | Эту ситуацию можно было бы ликвидировать двумя способами. Первый предполагает увеличение времени такта до такой величины, которая позволила бы все этапы любой команды выполнять за один такт. Однако при этом существенно снижается эффект конвейерной обработки, так как все этапы всех команд будут выполняться значительно дольше, в то время как обычно нескольких тактов требует выполнение лишь отдельных этапов очень небольшого количества команд. Второй способ предполагает использование таких аппаратных решений, которые позволили бы значительно снизить затраты времени на выполнение данного этапа (например, использовать матричные схемы умножения). Но это приведет к усложнению схемы процессора и невозможности реализации на этой БИС других, функционально более важных, узлов. Обычно разработчики процессоров ищут компромисс между увеличением длительности такта и усложнением того или иного устройства процессора.
| + | |
| - | | + | |
| - | 2. Недостаточное дублирование некоторых ресурсов.
| + | |
| - | | + | |
| - | Одним из типичных примеров служит конфликт из-за доступа к запоминающим устройствам.
| + | |
| - | | + | |
| - | Борьба с конфликтами такого рода проводится путем увеличения количества однотипных функциональных устройств, которые могут одновременно выполнять одни и те же или схожие функции. Например, в современных микропроцессорах обычно разделяют кэш-память для хранения команд и кэш-память данных, а также используют многопортовую схему доступа к регистровой памяти, при которой к регистрам можно одновременно обращаться по одному каналу для записи, а по другому - для считывания информации. Конфликты из-за исполнительных устройств обычно сглаживаются введением в состав микропроцессора дополнительных блоков. Так, в микропроцессоре Pentium-4 предусмотрено 4 АЛУ для обработки целочисленных данных. Процессоры, имеющие в своем составе более одного конвейера, называются суперскалярными.
| + | |
| - | | + | |
| - | Следовательно, для обеспечения правильной работы суперскалярного микропроцессора при возникновении затора в одном из конвейеров должны приостанавливать свою работу и другие. В противном случае может нарушиться исходный порядок завершения команд программы. Но такие приостановки существенно снижают быстродействие процессора. Разрешение этой ситуации состоит в том, чтобы дать возможность выполняться командам в одном конвейере вне зависимости от ситуации в других конвейерах. Это приводит к неупорядоченному выполнению команд. При этом команды, стоящие в программе позже, могут завершиться ранее команд, стоящих впереди. Аппаратные средства микропроцессора должны гарантировать, что результаты выполненных команд будут записаны в приёмник в том порядке, в котором команды записаны в программе. Для этого в микропроцессоре результаты этапа выполнения команды обычно сохраняются в специальном буфере восстановления последовательности команд. Запись результата очередной команды из этого буфера в приемник результата проводится лишь после того, как выполнены все предшествующие команды и записаны их результаты.
| + | |
| - | | + | |
| - | === По управлению ===
| + | |
| - | Конфликты по управлению возникают при конвейеризации команд переходов и других команд, изменяющих значение счетчика команд.
| + | |
| - | | + | |
| - | Решения - спекулятивное исполнение, статическое или динамическое предсказание переходов. ''См. в соотв. секциях.''
| + | |
| - | | + | |
| - | === По данным ===
| + | |
| - | Конфликты по данным возникают в случаях, когда выполнение одной команды зависит от результата выполнения предыдущей команды. ''См. вопрос про Внеочередное выполнение команд.''
| + | |
| - | | + | |
| - | = Спекулятивное выполнение команд. =
| + | |
| - | [http://www.intuit.ru/department/hardware/archhard2/11/2.html на intuit.ru]
| + | |
| - | | + | |
| - | В конвейерных архитектурах устройство выборки команд является таким же конвейером, как и другие функциональные устройства. Так, для условного оператора:
| + | |
| - | IF (A<B)
| + | |
| - | GOTO L;
| + | |
| - | S1;
| + | |
| - | L: S2
| + | |
| - | еще до вычисления значения условного выражения А<В необходимо решать задачу о заполнении кон¬вейера команд кодами S1 или S2 – спекулятивного выполнения программы (чтобы не было пропуска тактов конвейера из за неверно выбранной ветки, коды которой потребуется убирать из конвейера).
| + | |
| - | | + | |
| - | Тривиальное решение состоит в выборе кода, текстуально следующего за командой условного перехода. Для такого оборудования компиляторы могут формировать объектный код с размещением наиболее вероятно выполняемого фрагмента программы непосредственно за командой условного перехода. Так, для циклических конструкций, вероятность перехода на повторение цикла выше вероятности выхода из него. Некоторые системы программирования дают возможность программисту указывать вероятность перехода по метке в условном переходе.
| + | |
| - | | + | |
| - | Аппаратный механизм учета вероятности перехода состоит из блока предсказания переходов. Этот блок, кроме (вместо) статически определенных предпочтений для ветвлений, имеет таблицу переходов, в которой хранится история переходов для каждого (в рамках объема таблицы) перехода программы. Большинство современных микропроцессоров обещают точ¬ность предсказаний переходов этим способом выше 90%. Причина повышенного внимания к этому вопросу обусловлена большими задержками, возникающими при неверном предсказании переходов, что грозит существенной потерей производительности. Используемые в микропроцессо¬рах методы предсказания переходов, как уже было сказано, бывают статические и динамические. Как динамический, так и статический подходы имеют свои преимущества и недостатки.
| + | |
| - | | + | |
| - | = Статическое предсказание условных переходов. =
| + | |
| - | | + | |
| - | '''Статические''' методы предсказания используются реже. Такие предска¬зания делаются компилятором еще до момента выполнения программы. Соответствующие действия компилятора можно считать оптимизацией программ. Такая оптимизация может основываться на сборе информации, получаемой при тестовом прогоне программы (Profile Based Optimisation, PBO) или на эвристических оценках. Результатом деятельности компилятора являются "советы о направлении перехода", помещаемые непосредственно в коды выполняемой программы. Эти советы использует затем аппаратура во время выполнения. В случае, когда переход происходит, или наоборот - как правило, не происходит, советы компилятора часто бывают весьма точны, что ведет к отличным результатам. Преимущество статического подхода - отсутствие необходимости интегрировать на чипе дополнительную аппаратуру предсказания переходов.
| + | |
| - | | + | |
| - | = Механизмы динамического предсказания переходов. =
| + | |
| - | Большинство производителей современных микропроцессоров снабжают их различными средствами '''динамического''' предсказания переходов, производимого на базе анализа "предыстории". Тогда аппаратура собирает статистику переходов, которая помещается в таблицу истории переходов BHT (Branch History Table).В обоих случаях компилятор не может выработать эффективные рекомендации на этапе трансляции программы. В то же время схемы динамического предсказания переходов легко справля¬ются с такими задачами. В этом смысле динамическое предсказание переходов "мощнее" статического. Однако у динамического предсказания есть и свои слабые места - это проблемы, возникающие из-за ограниченности ресурсов для сбора статистики.
| + | |
| - | | + | |
| - | = Обработка условных операторов в EPIC. =
| + | |
| - | Важной особенностью EPIC-архитектуры является возможность параллельного ветвления в двух случаях: при выполнении команд условного перехода и при выполнении конструкций if-then-else в составе арифметических операторов. Условный переход в "традиционном" исполнении грозит остановкой конвейера. В EPIC-архитектуре предусмотрен запуск дополнительного конвейера по команде подготовки перехода за несколько тактов до ветвления. Интенсивное ветвление в выполняемой программе способно привести к лавинообразному запуску дополнительных конвейеров и необходимости статистической оценки достаточного их количества при обосновании средств аппаратной поддержки.
| + | |
| - | | + | |
| - | Поэтому второй случай ветвления, осуществляемого внутри линейного участка программы, предпочтителен, хотя также приводит к избыточности оборудования, используемого при вычислениях.
| + | |
| - | | + | |
| - | ----
| + | |
| - | [http://www.citforum.ru/hardware/mersed/mersed_30.shtml http://www.citforum.ru/hardware/mersed/mersed_30.shtml]
| + | |
| - | | + | |
| - | Предикация - способ обработки условных ветвлений. Суть этого способа - компилятор указывает, что обе ветви выполняются на процессоре параллельно. Ведь EPIC процессоры должны иметь много функциональных устройств.
| + | |
| - | | + | |
| - | Опишем предикацию более подробно.
| + | |
| - | Если в исходной программе встречается условное ветвление (по статистике - через каждые 6 команд), то команды из разных ветвей помечаются разными предикатными регистрами (команды имеют для этого предикатные поля), далее они выполняются совместно, но их результаты не записываются, пока значения предикатных регистров неопределены. Когда, наконец, вычисляется условие ветвления, предикатный регистр, соответствующий "правильной" ветви, устанавливается в 1, а другой - в 0. Перед записью результатов процессор будет проверять предикатное поле и записывать результаты только тех команд, предикатное поле которых содержит предикатный регистр, установленный в 1.
| + | |
| - | | + | |
| - | = Эволюция системы команд микропроцессоров. =
| + | |
| - | Двумя основными архитектурами набора команд, используемыми компьютерной промышленностью на современном этапе развития вычислительной техники являются архитектуры CISC и RISC.
| + | |
| - | === CISC ===
| + | |
| - | Основоположником CISC-архитектуры можно считать компанию IBM с ее базовой архитектурой /360, ядро которой используется с 1964 года и дошло до наших дней, например, в таких современных мейнфреймах как IBM ES/9000.Лидером в разработке микропроцессоров c полным набором команд (CISC – Complete Instruction Set Computer) считается компания Intel со своей серией x86 и Pentium. Эта архитектура является практическим стандартом для рынка микрокомпьютеров.
| + | |
| - | | + | |
| - | Для CISC-процессоров характерно:
| + | |
| - | * сравнительно небольшое число регистров общего назначения;
| + | |
| - | * большое количество машинных команд, некоторые из которых нагружены семантически аналогично операторам высокоуровневых языков программирования и выполняются за много тактов;
| + | |
| - | * большое количество методов адресации;
| + | |
| - | * большое количество форматов команд различной разрядности;
| + | |
| - | * преобладание двухадресного формата команд;
| + | |
| - | * наличие команд обработки типа регистр-память.
| + | |
| - | === RISC ===
| + | |
| - | Основой архитектуры современных рабочих станций и серверов является '''архитектура компьютера с сокращенным набором команд''' (RISC – Reduced Instruction Set Computer). Зачатки этой архитектуры уходят своими корнями к компьютерам CDC6600, разработчики которых (Торнтон, Крэй и др.) осознали важность упрощения набора команд для построения быстрых вычислительных машин. Эту традицию упрощения архитектуры С. Крэй с успехом применил при создании широко известной серии суперкомпьютеров компании Cray Research. Однако окончательно понятие RISC в современном его понимании сформировалось на базе трех исследовательских проектов компьютеров: процессора 801 компании IBM, процессора RISC университета Беркли и процессора MIPS Стенфордского университета.
| + | |
| - | | + | |
| - | Среди других особенностей RISC-архитектур следует отметить '''наличие достаточно большого регистрового файла''' (в типовых RISC-процессорах реализуются 32 или большее число регистров по сравнению с 8 – 16 регистрами в CISC-архитектурах), что позволяет большему объему данных храниться в регистрах на процессорном кристалле большее время и упрощает работу компилятора по распределению регистров под переменные.
| + | |
| - | | + | |
| - | Для обработки, как правило, '''используются трехадресные команды''', что помимо упрощения дешифрации дает возможность сохранять большее число переменных в регистрах без их последующей перезагрузки.
| + | |
| - | | + | |
| - | Развитие архитектуры RISC в значительной степени определялось прогрессом в области создания оптимизирующих компиляторов. Именно современная техника компиляции позволяет эффективно использовать преимущества большего регистрового файла, конвейерной организации и большей скорости выполнения команд. Современные компиляторы используют также преимущества другой оптимизационной техники для повышения производительности, обычно применяемой в процессорах RISC: реализацию задержанных переходов и суперскалярной обработки, позволяющей в один и тот же момент времени выдавать на выполнение несколько команд.
| + | |
| - | | + | |
| - | Следует отметить, что в последних разработках компании Intel (имеются в виду Pentium и Pentium Pro <!-- Да, детка! -->), а также ее последователей-конкурентов (AMD R5, Cyrix M1, NexGen Nx586 и др.) широко используются идеи, реализованные в RISC-микропроцессорах, так что многие различия между CISC и RISC стираются. Однако сложность архитектуры и системы команд x86 остается и является главным фактором, ограничивающим производительность процессоров на ее основе.
| + | |
| - | | + | |
| - | = Суперскалярные микропроцессоры. =
| + | |
| - | | + | |
| - | Суперскалярный процессор представляет собой нечто большее, чем обычный последовательный (скалярный) процессор. В отличие от последнего, он может выполнять несколько операций за один такт. Основными компонентами суперскалярного процессора являются устройства для интерпретации команд (УУ), снабженные логикой, позволяющей определить, являются ли команды независимыми, и достаточное число исполняющих устройств (ФУ, АЛУ). В исполняющих устройствах могут быть конвейеры. Суперскалярные процессоры реализуют параллелизм на уровне команд. Примером компьютера с суперскалярным процессором является IBM RISC/6000. Тактовая частота процессора у ЭВМ была 62.5 МГц, а быстродействие системы на вычислительных тестах достигало 104 Mflop (Mflop - единица измерения быстродействия процессора - миллион операций с плавающей точкой в секунду). Суперскалярный процессор не требует специальных векторизующих компиляторов, хотя компилятор должен в этом случае учитывать особенности архитектуры. Итак, суперскалярные процессор призван, в отличие от VLIW, динамически определять места распараллеливания
| + | |
| - | | + | |
| - | = Широкоформатные команды для параллельной обработки данных. =
| + | |
| - | | + | |
| - | = Проект EPIC. =
| + | |
| - | | + | |
| - | [http://www.wl.unn.ru/~ragozin/diff/Itanium.htm http://www.wl.unn.ru/~ragozin/diff/Itanium.htm]
| + | |
| - | | + | |
| - | '''EPIC - Explicitly Parallel Instruction Computing'''
| + | |
| - | | + | |
| - | Архитектура EPIC представляет собой пример научно-исследовательской разработки, представляющей собой скорее принцип обработки информации, нежели архитектуру конкретного процессора. В архитектуре сочетаются многие технологические решения, довольно разнотипные, которые в результате сочетания дают значительное повышение скорости обработки и решение некоторых проблем трансляции программ.
| + | |
| - | | + | |
| - | Архитектура EPIC (базовые принципы) были разработаны в университете Иллинойса, проект имел название Impact. В начале 1990-х годов были заложены теоретические основы самой архитектуры, затем были начаты работы в рамках создания инструментальных средств для процессора EPIC. Проект по созданию инструментальных средств известен под названием Trimaran. Архитектура EPIC имеет следующие основные особенности: (мы не будем обсуждать конкретные параметры конвейеров процессора, так как EPIC является в большей степени концептуальной моделью, чем типовым образцом для тиражирования процессоров)
| + | |
| - | * поддержка явно выделенного компилятором параллелизма. Формат команд имеет много общего с архитектурой с длинным командным словом - параллелизм так же явно выделен. Однако, если длинное командное слово имеет обычно чётко заданную ширину (хотя в процессорах с нерегулярным длинным командным словом слова могут быть разными), в процессоре EPIC существует некоторое количество образцов длинных команд, в которых функциональным устройствам процессора явно сопоставлена операция. Кроме того, ряд образцов может сопоставлять инструкции из различных тактов выполнения, т.е. инструкция явно выполняется за 1-2 такта, в этом случае в образце инструкции явно специфированы между какими командами имеется слот задержки (фактически "граница" между командами, выполняемыми в разных тактах). К каждой длинной команде (128 бит) прилагается небольшой (3-5 битный) ярлык, который специфицирует формат команды.
| + | |
| - | * наличие большого регистрового файла
| + | |
| - | * наличие предикатных регистров, подобно архитектуре PowerPC. Предикатные регистры позволяет избавится от известной проблемы с неразделяемым ресурсом регистра флагов большинства процессоров, поддерживающих скалярный параллелизм - программная конвееризация циклов, содержащих условные переходы, практически невозможна. Множественный предикатный флаговый регистр позволяет избавится от паразитных связей по управлению из-за регистра флагов.
| + | |
| - | * спекулятивная загрузка данных, позволяющая избежать простоев конвейера при загрузке данных из оперативной памяти
| + | |
| - | * поддержка предикатно-выполняемых команд, которая позволяет: 1) избежать излишнихинструкций ветвления, если количество команд в ветвях условного оператора невелико; 2) уменьшить нагрузку на устройство предсказания переходов.
| + | |
| - | * аппаратная поддержка програмной конвейеризации с поомшью механизма переименования регистров.
| + | |
| - | * Используется стек регистров (и регистровые окна).
| + | |
| - | * Для предсказания инструкций используется поддержка компилятора.
| + | |
| - | * Имеется специальная поддержка програмной конвейеризации (метод составления расписания команд "по модулю") циклов, когда на каждой итерации имена регистров сдвигаются и каждая новая итерация оперирует уже с новым набором регистров.
| + | |
| - | * Введена поддержка инструкций циклического выполнения команд без потерь времени на инструкции циклического выполнения.
| + | |
| - | | + | |
| - | Наиболее интересной в архитектуре EPIC является поддержка '''спекулятивное выполнение команд и загрузка данных'''.
| + | |
| - | Спекулятивное исполнение команд. Большинство команд загрузки данных из памяти выполняется длительное время. Выполнение команды за 1-2 такта возможно только в том случае, если значение содержится в кеш-памяти второго уровня. Время несколько увеличивается, если значение находится в кеш-памяти второго уровня. В случае чтения же данных из микросхем динамической памяти даже при попадании на активную страницу происходит значительная задержка при загрузке, а при смене страницы задержка имеет астрономическую величину, причём конвейер быстро блокируется, так команд, которые можно выполнить без нарушения зависимости по данным, обычно оказывается крайне мало.
| + | |
| - | | + | |
| - | При спекулятивном выполнении используется вынесение команд загрузки далеко вперёд инструкций, использующих эти данные, в основном вверх за инструкции условного перехода. При достижении потоком команд места, где необходимо использовать загружаемые данные, вставляется инструкция, проверяющая не произошло ли исключения в процессе загрузки (например, какая-то инструкция произвела запись по этому адресу), если исключение произошло, то вызывается специально написанный восстановитеьный код, который попросту перезагружает значение в регистр.
| + | |
| - | | + | |
| - | При спекулятивных операциях по данным оптимизируется часто встречающийся участок во многих программах. Рассмотрим фрагмент программы:
| + | |
| - | | + | |
| - | int *p,*t;
| + | |
| - | int a,b;
| + | |
| - | ...
| + | |
| - | *p = b;
| + | |
| - | a = *t;
| + | |
| - | | + | |
| - | В случае, если компилятор не имеет достаточно информации для проведения анализа потока данных, он не может определить, перекрываются ли области памяти, адресуемые указателями p и t. В этом случае каждый раз значение надо перезагружать, но, мало того, инструкции загрузки нельзя переупорядочить. Для получения возможности переупорядочивания этих инструкций используется спекуляция по данным. Инструкция загрузки переносится наверх, при этом, если произведена запись, затрагивающая загружаемое содержимое, то производится вызов кода восстановления, перезагружающего значение.
| + | |
| - | | + | |
| - | = Мультитредовые, многоядерные вычислители. =
| + | |
| - | | + | |
| - | = Классификация параллельных вычислителей по Флинну. =
| + | |
| - | | + | |
| - | По-видимому, самой ранней и наиболее известной является классификация архитектур вычислительных систем, предложенная в 1966 году М.Флинном. Классификация базируется на понятии потока, под которым понимается последовательность элементов, команд или данных, обрабатываемая процессором. На основе числа потоков команд и потоков данных Флинн выделяет четыре класса архитектур: SISD,MISD,SIMD,MIMD. Эти четыре класса архитектур схематически представляются в виде квадрата, называемого квадратом Флинна.
| + | |
| - | | + | |
| - | [[Изображение:Taxonomy.gif]]
| + | |
| - | == SISD ==
| + | |
| - | SISD (single instruction stream / single data stream) -- одиночный поток команд и одиночный поток данных. К этому классу относятся, прежде всего, классические последовательные машины, или иначе, машины фон-неймановского типа, например, PDP-11 или VAX 11/780. В таких машинах есть только один поток команд, все команды обрабатываются последовательно друг за другом и каждая команда инициирует одну операцию с одним потоком данных. Не имеет значения тот факт, что для увеличения скорости обработки команд и скорости выполнения арифметических операций может применяться конвейерная обработка -- как машина CDC 6600 со скалярными функциональными устройствами, так и CDC 7600 с конвейерными попадают в этот класс.
| + | |
| - | | + | |
| - | == SIMD ==
| + | |
| - | SIMD (single instruction stream / multiple data stream) - одиночный поток команд и множественный поток данных. В архитектурах подобного рода сохраняется один поток команд, включающий, в отличие от предыдущего класса, векторные команды. Это позволяет выполнять одну арифметическую операцию сразу над многими данными - элементами вектора. Способ выполнения векторных операций не оговаривается, поэтому обработка элементов вектора может производится либо процессорной матрицей, как в ILLIAC IV, либо с помощью конвейера, как, например, в машине CRAY-1.
| + | |
| - | | + | |
| - | === Машины типа SIMD. ===
| + | |
| - | Машины типа SIMD состоят из большого числа идентичных процессорных элементов, имеющих собственную память. Все процессорные элементы в такой машине выполняют одну и ту же программу. Очевидно, что такая машина, составленная из большого числа процессоров, может обеспечить очень высокую производительность только на тех задачах, при решении которых все процессоры могут делать одну и ту же работу. Модель вычислений для машины SIMD очень похожа на модель вычислений для векторного процессора: одиночная операция выполняется над большим блоком данных.
| + | |
| - | | + | |
| - | В отличие от ограниченного конвейерного функционирования векторного процессора, матричный процессор (синоним для большинства SIMD-машин) может быть значительно более гибким. Обрабатывающие элементы таких процессоров - это универсальные программируемые ЭВМ, так что задача, решаемая параллельно, может быть достаточно сложной и содержать ветвления. Обычное проявление этой вычислительной модели в исходной программе примерно такое же, как и в случае векторных операций: циклы на элементах массива, в которых значения, вырабатываемые на одной итерации цикла, не используются на другой итерации цикла.
| + | |
| - | | + | |
| - | Модели вычислений на векторных и матричных ЭВМ настолько схожи, что эти ЭВМ часто обсуждаются как эквивалентные.
| + | |
| - |
| + | |
| - | == MISD ==
| + | |
| - | MISD (multiple instruction stream / single data stream) - множественный поток команд и одиночный поток данных. Определение подразумевает наличие в архитектуре многих процессоров, обрабатывающих один и тот же поток данных. Однако ни Флинн, ни другие специалисты в области архитектуры компьютеров до сих пор не смогли представить убедительный пример реально существующей вычислительной системы, построенной на данном принципе. Ряд исследователей [3,4,5] относят конвейерные машины к данному классу, однако это не нашло окончательного признания в научном сообществе. Будем считать, что пока данный класс пуст.
| + | |
| - |
| + | |
| - | == MIMD ==
| + | |
| - | MIMD (multiple instruction stream / multiple data stream) - множественный поток команд и множественный поток данных. Этот класс предполагает, что в вычислительной системе есть несколько устройств обработки команд, объединенных в единый комплекс и работающих каждое со своим потоком команд и данных.
| + | |
| - | | + | |
| - | === Машины типа MIMD. ===
| + | |
| - | Термин "мультипроцессор" покрывает большинство машин типа MIMD и (подобно тому, как термин "матричный процессор" применяется к машинам типа SIMD) часто используется в качестве синонима для машин типа MIMD. В мультипроцессорной системе каждый процессорный элемент (ПЭ) выполняет свою программу достаточно независимо от других процессорных элементов. Процессорные элементы, конечно, должны как-то связываться друг с другом, что делает необходимым более подробную классификацию машин типа MIMD. В мультипроцессорах с общей памятью (сильносвязанных мультипроцессорах) имеется память данных и команд, доступная всем ПЭ. С общей памятью ПЭ связываются с помощью общей шины или сети обмена. В противоположность этому варианту в слабосвязанных многопроцессорных системах (машинах с локальной памятью) вся память делится между процессорными элементами и каждый блок памяти доступен только связанному с ним процессору. Сеть обмена связывает процессорные элементы друг с другом.
| + | |
| - | | + | |
| - | Базовой моделью вычислений на MIMD-мультипроцессоре является совокупность независимых процессов, эпизодически обращающихся к разделяемым данным. Существует большое количество вариантов этой модели. На одном конце спектра - модель распределенных вычислений, в которой программа делится на довольно большое число параллельных задач, состоящих из множества подпрограмм. На другом конце спектра - модель потоковых вычислений, в которых каждая операция в программе может рассматриваться как отдельный процесс. Такая операция ждет своих входных данных (операндов), которые должны быть переданы ей другими процессами. По их получении операция выполняется, и полученное значение передается тем процессам, которые в нем нуждаются. В потоковых моделях вычислений с большим и средним уровнем гранулярности, процессы содержат большое число операций и выполняются в потоковой манере.
| + | |
| - | | + | |
| - | == Примеры и особенности ==
| + | |
| - | Итак, что же собой представляет каждый класс? В SISD, как уже говорилось, входят однопроцессорные последовательные компьютеры типа VAX 11/780. Однако, многими критиками подмечено, что в этот класс можно включить и векторно-конвейерные машины, если рассматривать вектор как одно неделимое данное для соответствующей команды. В таком случае в этот класс попадут и такие системы, как CRAY-1, CYBER 205, машины семейства FACOM VP и многие другие.
| + | |
| - | | + | |
| - | Бесспорными представителями класса SIMD считаются матрицы процессоров: ILLIAC IV, ICL DAP, Goodyear Aerospace MPP, Connection Machine 1 и т.п. В таких системах единое управляющее устройство контролирует множество процессорных элементов. Каждый процессорный элемент получает от устройства управления в каждый фиксированный момент времени одинаковую команду и выполняет ее над своими локальными данными. Для классических процессорных матриц никаких вопросов не возникает, однако в этот же класс можно включить и векторно-конвейерные машины, например, CRAY-1. В этом случае каждый элемент вектора надо рассматривать как отдельный элемент потока данных.
| + | |
| - | | + | |
| - | Класс MIMD чрезвычайно широк, поскольку включает в себя всевозможные мультипроцессорные системы: Cm*, C.mmp, CRAY Y-MP, Denelcor HEP,BBN Butterfly, Intel Paragon, CRAY T3D и многие другие. Интересно то, что если конвейерную обработку рассматривать как выполнение множества команд (операций ступеней конвейера) не над одиночным векторным потоком данных, а над множественным скалярным потоком, то все рассмотренные выше векторно-конвейерные компьютеры можно расположить и в данном классе.
| + | |
| - | | + | |
| - | Предложенная схема классификации вплоть до настоящего времени является самой применяемой при начальной характеристике того или иного компьютера. Если говорится, что компьютер принадлежит классу SIMD или MIMD, то сразу становится понятным базовый принцип его работы, и в некоторых случаях этого бывает достаточно. Однако видны и явные недостатки. В частности, некоторые заслуживающие внимания архитектуры, например dataflow и векторно--конвейерные машины, четко не вписываются в данную классификацию. Другой недостаток - это чрезмерная заполненность класса MIMD. Необходимо средство, более избирательно систематизирующее архитектуры, которые по Флинну попадают в один класс, но совершенно различны по числу процессоров, природе и топологии связи между ними, по способу организации памяти и, конечно же, по технологии программирования.
| + | |
| - | | + | |
| - | Наличие пустого класса (MISD) не стоит считать недостатком схемы. Такие классы, по мнению некоторых исследователей в области классификации архитектур [6,7], могут стать чрезвычайно полезными для разработки принципиально новых концепций в теории и практике построения вычислительных систем.
| + | |
| - | | + | |
| - | = Статические коммутационные сети. =
| + | |
| - | | + | |
| - | Статические сети имеют жестко фиксированные соединения, вход и выход зафиксированы без возможности переключения. Наиболее простой топологией сети является линейка – одномерная сетка. Для обеспечения передачи информации между несмежными узлам используются транзитные пересылки. Для цепочки из М узлов наиболее медленная пересылка есть пересылка между конечными ПЭ линейки и она потребует (М-1) транзитных пересылок. Число таких пересылок для любой статической топологии сети считается ее параметром и называется – диаметром сети. Если связать конечные ПЭ линейки, то такая топология - кольцо будет иметь меньший диаметр. Сети могут иметь вид: одномерный линейный массив, двумерное кольцо, звезда, сетка и гексагональный массив, дерево, трехмерное полностью связанное хордовое кольцо, 3 -мерный куб, сети из циклически связанных 3-мерных кубов, D - мерный массив с топологией гиперкуба, тасовка (совершенная, обменная). Недостаток - необходимость маршрутизации транзитных сообщений. По топологии гиперкуба, каждое ПЭ связывается со своим ближайшем соседом в n мерном пространстве. У каждого узла в двумерном гиперкубе имеются два ближайших соседа, в трехмерном - три, в четырехмерном - четыре.
| + | |
| - | | + | |
| - | = Динамические коммутаторы. =
| + | |
| - | Перед нами стоит задача осуществления эффективного управления межсегментным трафиком с целью уменьшения числа критичных участков сети. Статические коммутаторы не смогут удовлетворить всем требованиям. Совсем иначе дело обстоит с динамическими коммутаторами. Эти устройства не только уделяют особое внимание пересылке кадров по предписанному адресу, но и обрабатывают таблицу соответствий отдельных узлов конкретным портами, к которым они подключены. Эта информация обновляется каждый раз, как только очередная машина начинает передачу данных (или же через заранее заданные интервалы времени). Таблица постоянно обновляющихся комбинаций узел/порт предоставляет коммутатору возможность быстро направлять пакеты через соответствующие сегменты. Динамические коммутаторы позволят экономить время и силы в течение еще довольно продолжительного времени. Поскольку эти устройства обновляют свои таблицы соединений каждый раз, когда устройства начинают передачу, можно переупорядочить сеть, переключая рабочие станции на разные порты до тех пор, пока сеть не будет сконфигурирована оптимальным образом. (Учтите, что этим можно заниматься до посинения.) Таблицы будут обновляться автоматически, и сеть будет в полном порядке.
| + | |
| - | | + | |
| - | -----------
| + | |
| - | В сетях с динамической коммутацией:
| + | |
| - | | + | |
| - | * разрешается устанавливать соединение по инициативе пользователя сети;
| + | |
| - | * коммутация выполняется только на время сеанса связи, а затем (по инициативе одного из пользователей) разрывается;
| + | |
| - | * в общем случае пользователь сети может соединиться с любым другим пользователем сети;
| + | |
| - | * время соединения между парой пользователей при динамической коммутации составляет от нескольких секунд до нескольких часов и завершается после выполнения определенной работы — передачи файла, просмотра страницы текста или изображения и т.п.
| + | |
| - | | + | |
| - | --------
| + | |
| - | Динамический коммутатор не только повышает пропускную способность, но и увеличивает степень защищенности информации в сети, так как пакеты передаются строго от источника к адресату. Динамические коммутаторы позволяют управлять трафиком в сети, разрешая передачу пакетов только для определенных сочетаний адресов отправителя и получателя. Разрешенные пары адресов образуют виртуальный сегмент, доступ к которому остальным запрещен. Каждая станция может входить в состав нескольких виртуальных сегментов.
| + | |
| - | | + | |
| - | Динамические коммутаторы применяются в локальных сетях для повышения пропускной способности. Наиболее явны преимущества динамической коммутации в случае, когда идет постоянное обращение к одному или нескольким высокопроизводительным серверам. Выделение каждому серверу отдельного Switch-порта и подключение к другим портам отдельных сегментов сети позволяет существенно снизить количество коллизий в сети. Другое важное преимущество применения динамических коммутаторов -- это возможность организации виртуальных сетей. У администратора появляется возможность логической конфигурации сети в соответствии с реальными информационными связями без изменения физической коммутации.
| + | |
| - | | + | |
| - | = Метакомпъютинг. =
| + | |
| - | | + | |
| - | GRID-сети это совокупность вычислительных систем, связанных через Интернет (метакомпьютинг). Используются для решения задач, допускающих сегментацию на независимые вычислительные процессы с большим объемом вычислений. Такими задачами являются задача исследования генома, обработку результатов физических испытаний, проект CETI.
| + | |
| - | | + | |
| - | Основная схема работы в этом случае примерно такая: специальный агент, расположенный на вычислительном узле (компьютере пользователя), определяет факт простоя этого компьютера, соединяется с управляющим узлом метакомпьютера и получает от него очередную порцию работы (область в пространстве перебора). По окончании счета по данной порции вычислительный узел передает обратно отчет о фактически проделанном переборе или сигнал о достижении цели поиска.
| + | |
| - | Далее на данной странице будут вкратце описаны и приведены ссылки на основные исследовательские проекты в области мета-компьютинга, разработанные программные технологии, конкретные примеры мета-компьютеров. Нет централизованного управление, основные архитектуры – Legion (объектно-ориентир), Globus (в терминах предоставления сервисов).
| + | |
| - | | + | |
| - | Метакомпьютер может не иметь постоянной конфигурации - отдельные компоненты могут включаться в его конфигурацию или отключаться от нее; при этом технологии метакомпьютинга обеспечивают непрерывное функционирование системы в целом. Современные исследовательские проекты в этой области направлены на обеспечение прозрачного доступа пользователей через Интернет к необходимым распределенным вычислительным ресурсам, а также прозрачного подключения простаивающих вычислительных систем к метакомпьютерам.
| + | |
| - | | + | |
| - | = Вычислительные кластеры. =
| + | |
| - | | + | |
| - | '''Вычислительные кластеры''' (cluster) – группа ЭВМ (серверов), связанная между собой системной сетью и функционирующая с точки зрения пользователя как единый вычислительный узел. Локальные сети отличаются от кластеров тем, что узлы локальной сети используются индивидуально, в соответствии со своим назначением. В свою очередь кластеры разделяются на Высокоскоростные (High Performance, HP) и Системы Высокой Готовности (High Availability, HA), а также Смешанные Системы.
| + | |
| - | | + | |
| - | ''Высокоскоростные системы'' предназначены для задач, которые требуют больших вычислительных мощностей: обработка изображений, научные исследования, математическое моделирование и т. д.
| + | |
| - | | + | |
| - | ''Кластеры высокой готовности'' используются в банковских операциях, электронной коммерции и т д.
| + | |
| - | | + | |
| - | '''Архитектура.''' Кластер - это набор рабочих станций (или даже ПК) общего назначения, используется в качестве дешевого варианта массивно-параллельного компьютера. Для связи узлов используется одна из стандартных сетевых технологий (Fast/Gigabit Ethernet, Myrinet) на базе шинной архитектуры или коммутатора. При объединении в кластер компьютеров разной мощности или разной архитектуры, говорят о гетерогенных (неоднородных) кластерах.
| + | |
| - | Узлы кластера могут одновременно использоваться в качестве пользовательских рабочих станций. В случае, когда это не нужно, узлы могут быть существенно облегчены и/или установлены в стойку.
| + | |
| - | | + | |
| - | '''Примеры''' NT-кластер в NCSA, Beowulf-кластеры.
| + | |
| - | | + | |
| - | '''Операционная система''' Используются стандартные для рабочих станций ОС, чаще всего, свободно распространяемые - Linux/FreeBSD, вместе со специальными средствами поддержки параллельного программирования и распределения нагрузки.
| + | |
| - | | + | |
| - | '''Модель программирования''' Программирование, как правило, в рамках модели передачи сообщений (чаще всего - MPI). Дешевизна подобных систем оборачивается большими накладными расходами на взаимодействие параллельных процессов между собой, что сильно сужает потенциальный класс решаемых задач.
| + | |
| - | | + | |
| - | = Матричные параллельные мультипроцессоры. =
| + | |
| - | | + | |
| - | '''Архитектура''' Система состоит из однородных вычислительных узлов (объединенных в матрицы или гиперкубы), включающих:
| + | |
| - | * один или несколько центральных процессоров (обычно RISC),
| + | |
| - | * локальную память (прямой доступ к памяти других узлов невозможен),
| + | |
| - | * коммуникационный процессор или сетевой адаптер
| + | |
| - | * иногда - жесткие диски (как в SP) и/или другие устройства В/В
| + | |
| - | К системе могут быть добавлены специальные узлы ввода-вывода и управляющие узлы. Узлы связаны через некоторую коммуникационную среду (высокоскоростная сеть, коммутатор и т.п.)
| + | |
| - | | + | |
| - | '''Примеры ''' IBM RS/6000 SP2, Intel PARAGON/ASCI Red, CRAY T3E, Hitachi SR8000, транспьютерные системы Parsytec.
| + | |
| - | Масштабируемость Общее число процессоров в реальных системах достигает нескольких тысяч (ASCI Red, Blue Mountain).
| + | |
| - | | + | |
| - | '''Операционная система''' Существуют два основных варианта:
| + | |
| - | * Полноценная ОС работает только на управляющей машине (front-end), на каждом узле работает сильно урезанный вариант ОС, обеспечивающие только работу расположенной в нем ветви параллельного приложения. Пример: Cray T3E.
| + | |
| - | * На каждом узле работает полноценная UNIX-подобная ОС (вариант, близкий к кластерному подходу, однако скорость выше, чем в кластере). Пример: IBM RS/6000 SP + ОС AIX, устанавливаемая отдельно на каждом узле.
| + | |
| - | | + | |
| - | '''Модель программирования''' Программирование в рамках модели передачи сообщений (MPI, PVM, BSPlib)
| + | |
| - | | + | |
| - | = Симметричные мультипроцессоры. =
| + | |
| - | | + | |
| - | Системы данного класса: SMP (Scalable Parallel Processor) состоят из нескольких однородных процессоров и массива общей памяти (разделяемой памяти – shared memory): любой процессор может обращаться к любому элементу памяти. По этой схеме построены 2,4 процессорные SMP сервера на базе процессоров Intel, НР и т. д., причем процессоры подключены к памяти с помощью общей шины. Системы с большим числом процессоров (но не более 32) подключаются к общей памяти, разделенной на блоки, через не блокирующийся полный коммутатор: crossbar. Любой процессор системы получает данное по произвольному адресу памяти за одинаковое время, такая структура памяти называется: UMA - Uniform Memory Access (Architecture). Пример:НР-9000. Дальнейшее масштабирование (увеличение числа процессоров системы) SMP систем обеспечивается переходом к архитектуре памяти: NUMA - Nоn Uniform Memory Access. По схеме, называемой, этой иногда, кластеризацией SMP, соответствующие блоки памяти двух (или более) серверов соединяются кольцевой связью, обычно по GCI интерфейсу. При запросе данного, расположенного вне локального с сервере диапазона адресов, это данное по кольцевой связи переписывается дублируется в соответствующий блок локальной памяти, ту часть его, которая специально отводится для буферизации глобальных данных и из этого буфера поставляется потребителю. Эта буферизация прозрачна (невидима) пользователю, для которого вся память кластера имеет сквозную нумерацию, и время выборки данных, не локальных в сервере, будет равно времени выборки локальных данных при повторных обращениях к глобальному данному, когда оно уже переписано в буфер. Данный аппарат буферизации есть типичная схема кэш памяти. Так как к данным возможно обращение из любого процессора кластера, то буферизация, размножение данных требует обеспечение их когерентности. Когерентность данных состоит в том, что при изменении данного все его потребители должны получать это значение. Проблема когерентности усложняется дублированием данных еще и в процессорных кэшах системы. Системы, в которых обеспечена когерентность данных, буферизуемых в кэшах, называются кэш когерентными (cc-cache coherent), а архитектура памяти описываемого кластера: cc- NUMA (cache coherent Nоn Uniform Memory Access). Классической архитектурой принято считать систему SPP1000.
| + | |
| - | | + | |
| - | = Архитектура памяти cc-NUMA. =
| + | |
| - | cc-NUMA – “неоднородный доступ к памяти с поддержкой когерентности кэшей”. Логически память NUMA системы представляется единым сплошным массивом, но распределена между узлами. Любые изменения сделанные каким-либо процессором в памяти становятся доступны всем процессорам благодаря механизму поддержания когерентности кэшей. Архитектура cc-NUMA предполагает кэширование как вертикальных (процессор - локальная память) так и горизонтальных (узел - узел) связей. Кэширование вертикальных связей позволяет организовать каждый узел как UMA компьютер, позволяя получить преимущества UMA архитектуры используя небольшое количество процессоров (обычно 2 или 4) над общей памятью и увеличивая тем самым производительность до 4 раз. В тоже время, возможность комбинирования в одной вычислительной системе множества узлов UMA данной архитектуры позволяет наращивать мощность, не увеличивая слишком количества процессоров в каждом узле. А это позволяет использовать преимущества UMA архитектур, и одновременно имея большое количество процессоров в одной вычислительной системе.
| + | |
| - | | + | |
| - | На рисунке ниже представлены различия между NUMA и cc-NUMA архитектурами:
| + | |
| - | | + | |
| - | Общая структура архитектуры NUMA
| + | |
| - | | + | |
| - | [[Изображение:Image7-1-.gif]]
| + | |
| - | | + | |
| - | Общая структура архитектуры cc-NUMA.
| + | |
| - | | + | |
| - | [[Изображение:Image8-1-.gif]]
| + | |
| - | | + | |
| - | Обозначения: P – процессор, С – кэш, М – память, Interconnection network – соединяющая сеть.
| + | |
| - | | + | |
| - | В системе CC-NUMA физически распределенная память объединяется, как в любой другой SMP-архитектуре, в единый массив. Не происходит никакого копирования страниц или данных между ячейками памяти. Адресное пространство в данных архитектурах делится между узлами. Данные, хранящиеся в адресном пространстве некоторого узла, физически хранятся в этом же узле. Нет никакой программно - реализованной передачи сообщений. Существует просто одна карта памяти, с частями, физически связанными медным кабелем, и очень умные (в большей степени, чем объединительная плата) аппаратные средства. Аппаратно - реализованная кэш-когерентность означает, что не требуется какого-либо программного обеспечения для сохранения множества копий обновленных данных или для передачи их между множеством экземпляров ОС и приложений. Со всем этим справляется аппаратный уровень точно так же, как в любом SMP-узле, с одной копией ОС и несколькими процессорами.
| + | |
| - | | + | |
| - | [http://justatext.narod.ru/papers/CCNUMA/ Архитектура cc-NUMA]
| + | |
| - | | + | |
| - | = Парадигмы программирования для параллельных вычислителей. =
| + | |
| - | * Модель Передачи сообщений. В этой модели процессы независимы и имеют собственное адресное пространство. Основной способ взаимодействия и синхронизации – передача сообщений. Стандарт интерфейса передачи сообщений является MPI.
| + | |
| - | * Модель с общей памятью. В этой модели процессы имеют единое адресное пространство. Доступ к общим данным регламентируется с помощью примитивов синхронизации. Стандартом для моделей с общей памятью является OpenMP.
| + | |
| - | * Модель параллелизма по данным. В этой модели данные разделяются между узлами вычислительной системы , а последовательная программа их обработки преобразуется компилятором либо в модель передачи сообщений, либо в модель с общей памятью. При этом вычисления распределяются по правилу собственных вычислений: каждый процессор выполняет вычисление данных, распределенных на него. Примерами могут являться стандарты HPF1 HPF2. На модели параллелизма по данным была разработана отечественная система DVM.
| + | |
| - | | + | |
| - | = Нетрадиционные вычислители. =
| + | |
| - | | + | |
| - | = Организация вычислений на графе. =
| + | |
| - | | + | |
| - | = Реализация потоковых машин. =
| + | |
| - | | + | |
| - | = Нейронные сети как вычислители. =
| + | |
| - | | + | |
| - | = Измерения производительности ЭВМ. =
| + | |
| - | Обычно, рассматриваются три подхода к оценке производительности:
| + | |
| - | * на базе аналитических модели (системами массового обслуживания);
| + | |
| - | * имитационное моделирование;
| + | |
| - | * измерения.
| + | |
| - | | + | |
| - | Первый подход обеспечивает наиболее общие и наименее точные ре¬зультаты, последние, наоборот, - наименее общие и наиболее точные. Измерения проводятся контрольными (тестовыми) программами.
| + | |
| - | Бенч-марк (Benchmark) - эталон:
| + | |
| - | * стандарт, по которому могут быть сделаны измерения или сравнения;
| + | |
| - | * процедура, задача или тест, которые могут быть использованы для сравнения систем или компонентов друг с другом или со стандартом как в п.1.
| + | |
| - | Для повышения общности и представительности оценки производительности контрольные программы можно разделить на:
| + | |
| - | * программы нижнего уровня. Эти программы тестируют основные машинные операции - +,/,* , с учетом времени доступа к памяти, работу кэша, характеристики ввода/вывода.
| + | |
| - | * ядра программ. Ядра программ - короткие характерные участки программ, например, Ливерморские фортрановские ядра (24 ядра) , Эймсовские ядра НАСА, синтетический тест Ветстоун (Whetstone).
| + | |
| - | * основные подпрограммы и типовые процедуры; Примером основных подпрограмм могут быть программы Линпак (Linpack) , программы типа быстрого преобразования Фурье. Программа Линпак - процедура решения системы линейных уравнений методом исключения Гаусса. В этой схеме вычислений точно известно число операций с плавающей точкой, которое зависит от размерности массивов – параметров. Стандартные значения размерностей 100 или 1000. Для параллельных ЭВМ имеется соответствующая версия теста.
| + | |
| - | * полные основные прикладные программы; В качестве примеров программ этого уровня приводятся Лос-Аламосские тестовые программы моделирования поведения плазмы и программы гидродинамики.
| + | |
| - | * перспективные прикладные программы.
| + | |
| - | | + | |
| - | = Реальная и полная производительность вычислителей. =
| + | |
| - | Оценка производительности вычислительных систем имеет два аспекта: оценка пиковой производительности – номинального быстродействия системы и получение оценок максимальной - “реальной” производительности. Если номинальная(пиковая, предельная) оценка однозначно определяется техническими параметрами оборудования, то вторая характеристика указывает производительность системы в реальной среде применения. Для оценки производительности вычислительных систем в ТОР500 используются обозначения Rpeak – пиковая, предельная производительность и Rmax – максимальная производительность при решении задачи Linpack.
| + | |
| - | Наиболее абстрактной единицей измерения производительности микропроцессоров является тактовая частота ПК, частота тактового генератора (clock rate,). Любая операция в процессоре не может быть выполнена быстрее, чем за один такт (период) генератора. Итак, минимальное время исполнения одной логической операции (переключение транзистора) - один такт. Тактовая частота измеряется в Герцах – число тактов в секунду.
| + | |
| - | Другой обобщенной мерой производительности ПК может служить число команд, выполняемые в единицу времени. Для вычислителей фон-Нейманновской архитектуры скорость выполнения команд уже может быть параметром, который может быть использован для оценки времени выполнения программы. Этот параметр - MIPS (Million Instruction Per Second)- миллион операций (команд, инструкций ЭВМ)/сек. Так как время выполнения различных команд может различаться, то данных параметр сопровождался разного вида уточнениями (логических команд, заданной смеси команд и т.д.), а также наиболее известной здесь мерой в 1 MIPS – это производительность вычислителя VAX 11/780. Итак, данный параметр также достаточно условен.
| + | |
| - | Так как для большинства вычислительных алгоритмов существуют оценки числа арифметических операций, необходимых для выполнения расчетов, данная мера и может служить тем показателем, который и интересует пользователей в первую очередь. Это – MFLPOPS (Million of Floating point Operation Per Second – Мегафлопс)- миллион операций на данных с плавающей запятой/сек, единица быстродействия ЭВМ в операциях с плавающей запятой, есть также единицы - GFLPOPS и ТFLPOPS (терафлопс = 10**12 оп./сек.).
| + | |
| - | | + | |
| - | = Пакеты для измерения производительности вычислительных систем. =
| + | |
| - | == LINPACK ==
| + | |
| - | Linpack — программная библиотека, написанная на языке Фортран, которая содержит набор подпрограмм для решения систем линейных алгебраических уравнений.
| + | |
| - | | + | |
| - | Linpack была разработана для работы на суперкомпьютерах, которые использовались в 1970-х — начале 1980-х годов.
| + | |
| - | | + | |
| - | В настоящее время Linpack заменена другой библиотекой — Lapack, которая работает более эффективно на современных компьютерах.
| + | |
| - | | + | |
| - | Существуют версии библиотеки для чисел с плавающей запятой с разной точностью и для комплексных чисел. Появилась реализация библиотеки, написанная на Си. Однако последние версии программы Linpack на языке Си не дают оснований для уверенности в адекватности выдаваемых результатов.
| + | |
| - | | + | |
| - | == SPEC-89 ==
| + | |
| - | | + | |
| - | = Параметры рейтинга ТОР500. =
| + | |
| - | [http://www.top500.org/ TOP 500]
| + | |
| - | | + | |
| - | = Закон Амдала. =
| + | |
| - | | + | |
| - | Закон Амдала показывает коэффициент ускорения выполнения программы на параллельных системах в зависимости от степени распараллеливания программы.
| + | |
| - | Пусть: N - число процессоров системы, P - доля распараллеливаемой части программы, а S = 1-P - доля скалярных операций программы, выполняемых без совмещения по времени.( S+P = 1 , S,P >= 0). Тогда, по Амдалу, общее время выполнения программы на однопроцессорном вычислителе S+P, на мультипроцессоре: S+P/N, а ускорение при этом есть функция от P: Sp = (S+P)/(S+P/N) = 1/(S+P/N).
| + | |
| - | | + | |
| - | Из формулы закона Амдала следует,что при:
| + | |
| - | | + | |
| - | P = 0 S = 1 - ускорения вычисления нет, а
| + | |
| - | | + | |
| - | P = 1 S = 0 - ускорение вычислений в N раз
| + | |
| - | | + | |
| - | Если P = S = 0.5, то даже при бесконечном числе процессоров ускорение не может быть более чем в 2 раза.
| + | |
| - | | + | |
| - | = Параллельные алгоритмы. Метрики. =
| + | |
| - | DOP (Degree Of Parallelism)
| + | |
| - | | + | |
| - | Степень параллелизма программы – D(t) – число процессоров, участвующих в исполнении программы в момент времени t. DOP зависит от алгоритма программы, эффективности
| + | |
| - | компиляции и доступных ресурсов при исполнении.
| + | |
| - | График D(t) – профиль параллелизма программы.
| + | |
| - | | + | |
| - | * T(n) – время исполнения программы на n процессорах
| + | |
| - | * T(n)<T(1), если параллельная версия алгоритма эффективна
| + | |
| - | * T(n)>T(1), если накладные расходы (издержки) реализации параллельной версии алгоритма чрезмерно велики
| + | |
| - | | + | |
| - | == Speedup ==
| + | |
| - | Ускорение за счёт параллельного выполнения
| + | |
| - | <math>S(n) = T(1) / T(n)</math>
| + | |
| - | == Efficiency ==
| + | |
| - | Эффективность системы из n процессоров
| + | |
| - | <math>E(n) = S(n) / n</math>
| + | |
| - | | + | |
| - | * Случай S(n)=n – линейное ускорение – масштабируемость (Scalability) алгоритма (возможность ускорения вычислений пропорционально числу процессоров)
| + | |
| - | | + | |
| - | * Случай S(n)>n – суперлинейное ускорение (например, из-за большего коэффициента кеш-попаданий)
| + | |
| - | | + | |
| - | = Параллельные алгоритмы редукции. =
| + | |
| - | | + | |
| - | = Распараллеливание алгоритмов рекурсии первого порядка. =
| + | |
| - | | + | |
| - | При рекурсивных операциях значение каждого очередного члена последовательности или элемента структуры зависит от значений одного или нескольких предшествующих членов. На ИГ (информационном графе) рекурсия отражается последовательностью одинаковых подграфов, так что результаты предшествующего подграфа являются исходными данными для последующего. В последовательных ЭВМ рекурсия реализуется в виде циклических процессов. Рекурсия встречается не только при числовой обработке, но и при обработке сигналов, операциями над символами и т.п. Рекурсивный характер обработки накладывает ограничения на возможности распараллеливания, которое может быть достигнуто лишь реорганизацией последовательности обработки.
| + | |
| - | | + | |
| - | Остановимся на простейшем примере линейной рекурсии первого порядка для вычисления суммы <math>S=x_i</math> всех элементов вектора <math>X = {x_i}, i = 1, 2,..., L;</math> для нахождения этой суммы можно воспользоваться рекурсивным соотношением <math>S:= S_i-1 + x_i, i = 1, 2, ... , L.</math>
| + | |
| - | | + | |
| - | [[Изображение:Rec_scheme_fig1.gif]]
| + | |
| - | | + | |
| - | Информационный граф на Рис.1а иллюстрирует рекурсивный способ вычисления суммы, и поскольку каждый из операндов используется однократно, такой граф представляет собой бинарное дерево. Если выполнение каждой примитивной операции занимает интервал t, то суммарные затраты времени (и длина графа q) при реализации этого ИГ составят <math>t = (L - 1)*t; q = (L - 1).</math>
| + | |
| - | | + | |
| - | При наличии нескольких вычислителей очевидно, что такой алгоритм будет неэффективным, и задача состоит в том, чтобы минимизировать высоту дерева. Преобразование выполняется в соответствии с законами коммутативности, ассоциативности и дистрибутивности, в результате чего может быть получен трансформированный ИГ, показанный на Рис.1б.
| + | |
| - | | + | |
| - | Высота такого дерева <math>q' = [log2 > L]</math>, а длительность реализации составит <math>t'= t[log2 > L]</math> в предположении, что операции реализуются за то же время t и что затраты времени на обмен между отдельными вычислителями эквивалентны затратам времени на обмен между ячейкой памяти и вычислителем в последовательной структуре. Такой метод нахождения суммы элементов вектора получил название метода сдваивания или метода нахождения параллельных каскадных сумм.
| + | |
| - | | + | |
| - | Максимальное ускорение <math>t / t'</math> можно оценить как O(L / log L);оно достигается при числе вычислителей не менее <math>N = L / 2</math>, причем полностью все <math>L / 2</math> вычислители загружены только на первом шаге вычислений, на последнем шаге используется лишь один вычислитель.
| + | |
| - | | + | |
| - | Не используемые на каждом шаге вычислители можно отразить на ИГ в виде "пустых" операторов, которые показаны на Рис.1б в виде заштрихованных кружочков. Эти пустые операторы не имеют входных и выходных дуг. Теперь можно оценить эффективность полученного алгоритма как отношение числа действительных к общему действительных и пустых операторов. Очевидно, что понятие эффективности сродни понятию коэффициента полезного действия.
| + | |
| - | | + | |
| - | Для рассматриваемого алгоритма эффективность составляет 1/2 и не зависит от L.
| + | |
| - | | + | |
| - | = Векторизация последовательных программ. =
| + | |
| - | Под векторизацией понимается распараллеливание.
| + | |
| - | Наибольшим внутренним параллелизмом, который можно использовать для векторизации программ, являются циклические участки, так как на них приходится основное время вычислений, и в случае распараллеливания вычисления в каждой ветви производится по одному и тому же алгоритму. В методах распараллеливания циклов используется довольно сложный математический аппарат. Наиболее распространенными методами распараллеливания являются: метод параллелепипедов, метод координат, метод гиперплоскостей. Объектами векторизации в этих методах являются циклы типа DО в Фортране.
| + | |
| - | == Метод координат==
| + | |
| - | Обеспечивает векторизацию циклов для синхронных ЭВМ (ОКМД - SIMD архитектуры). Семантика синхронных циклов следующая:
| + | |
| - | * для каждой итерации цикла назначается процессор;
| + | |
| - | * вычисления должны производиться всеми процессорами (процессорными элементами) параллельно и синхронно.
| + | |
| - | | + | |
| - | Операторы тела цикла выполняются по очереди, но каждый оператор выполняется всеми процессорами одновременно. При выполнении оператора присваивания сначала вычисляется правая часть, затем одновременно выполняется операция присваивания для всех элементов массива левой части.
| + | |
| - | | + | |
| - | Теоретическое обоснование классического метода координат предложено Лэмпортом. Метод применим для канонических ("чистых") циклов, тела которых состоят только из операторов присваивания, причем управляющая переменная заголовка цикла (параметр цикла) должна входить в индексные выражения операторов тела цикла линейно. Метод предназначен для синхронной векторизации одномерных циклов (многомерные циклы можно рассматривать по каждому параметру отдельно). Идея данного метода состоит в том, что для индексов, содержащих параметры цикла, рассматривается порядок следования, который и определяет очередность выборки/записи соответствующего элемента массива. Так как рассматриваются только линейные индексные выражения, порядок следования определяется значениями соответствующих алгебраических выражений. Строится граф характеристических множеств всех индексов, и при отсутствии в графе петель делается заключение о возможности векторизации всего цикла.
| + | |
| - | | + | |
| - | В некоторых случаях (устранимая векторная зависимость) векторизация возможна лишь в случае переупорядочивания - перестановки операторов цикла или путем введения временной переменной (массива), куда будут копироваться элементы вектора для защиты перед их изменением для последующего использования в исходном виде. Итак, метод координат:
| + | |
| - | * позволяет определить возможность выполнения цикла в синхронном режиме;
| + | |
| - | * содержит алгоритмы преобразования тела цикла к синхронному виду.
| + | |
| - | | + | |
| - | Например, по Лэмпорту, цикл:
| + | |
| - | {{{
| + | |
| - | DO 24 I=2,M
| + | |
| - | DO 24 J=2,N
| + | |
| - | 21 A(I,J) = B(I,J)+C(I)
| + | |
| - | 22 C(I) = B(I-1,J)
| + | |
| - | 23 B(I,J) = A(I+1,J) ** 2
| + | |
| - | 24 CONTINUE
| + | |
| - |
| + | |
| - | }}}
| + | |
| - | преобразуется в цикл:
| + | |
| - | {{{
| + | |
| - | DO 24 J=2,N
| + | |
| - | DO 24 SIM FOR ALL I {i:2<=i<=M}
| + | |
| - | /* SIM - SIMulteneusly (одновременно)*/
| + | |
| - | TEMP(I) = A(I+1,J)
| + | |
| - | 21 A(I,J) = B(I,J)+C(I)
| + | |
| - | 23 B(I,J) = TEMP(I) ** 2
| + | |
| - | 22 C(I) = B(I-1,J)
| + | |
| - | 24 CONTINUE
| + | |
| - |
| + | |
| - | }}}
| + | |
| - | | + | |
| - | = Синхронизация параллельных процессов. =
| + | |
| - | | + | |
| - | = Исполняемые комментарии в языках программирования. =
| + | |
| - | | + | |
| - | = Система Open MP. =
| + | |
| - | | + | |
| - | OpenMP (Open Multi-Processing) это набор директив компилятора, библиотечных процедур и переменных окружения, которые предназначены для программирования многопоточных приложений на многопроцессорных системах с единой памятью на языках C, C++ и Fortran.
| + | |
| - | | + | |
| - | Разработку спецификации OpenMP ведут несколько крупных производителей вычислительной техники и программного обеспечения, чья работа регулируется некоммерческой организацией, называемой OpenMP Architecture Review Board (ARB).
| + | |
| - | | + | |
| - | OpenMP реализует параллельные вычисления с помощью многопоточности, в которой «главный» (master) поток создает набор подчиненных (slave) потоков и задача распределяется между ними. Предполагается, что потоки выполняются параллельно на машине с несколькими процессорами (количество процессоров не обязательно должно быть больше или равно количеству потоков).
| + | |
| - | | + | |
| - | Задачи, выполняемые потоками параллельно, также как и данные, требуемые для выполнения этих задач, описываются с помощью специальных директив препроцессора соответствующего языка — прагм. Например, участок кода на языке Fortran, который должен исполняться несколькими потоками, каждый из которых имеет свою копию переменной N, предваряется следующей директивой: !$OMP PARALLEL PRIVATE(N)
| + | |
| - | | + | |
| - | Количество создаваемых потоков может регулироваться как самой программой при помощи вызова библиотечных процедур, так и извне, при помощи переменных окружения.
| + | |
| - | | + | |
| - | Ключевыми элементами OpenMP являются
| + | |
| - | | + | |
| - | * конструкции для создания потоков (директива parallel),
| + | |
| - | * конструкции распределения работы между потоками (директивы DO/for и section),
| + | |
| - | * конструкции для управления работой с данными (выражения shared и private),
| + | |
| - | * конструкции для синхронизации потоков (директивы critical, atomic и barrier),
| + | |
| - | * процедуры библиотеки поддержки времени выполнения (например, omp_get_thread_num),
| + | |
| - | * переменные окружения (например, OMP_NUM_THREADS).
| + | |
| - | | + | |
| - | | + | |
| - | Ниже приведены примеры программ с использованием директив OpenMP: Fortran 77
| + | |
| - | | + | |
| - | В этой программе на языке Fortran создается заранее неизвестное число потоков (оно определяется переменной окружения OMP_NUM_THREADS перед запуском программы), каждый из которых выводит приветствие вместе со своим номером. Главный поток (имеющий номер 0) также выводит общее число потоков, но только после того, как все они «пройдут» директиву BARRIER.
| + | |
| - | | + | |
| - | PROGRAM HELLO
| + | |
| - | INTEGER ID, NTHRDS
| + | |
| - | INTEGER OMP_GET_THREAD_NUM, OMP_GET_NUM_THREADS
| + | |
| - |
| + | |
| - | C$OMP PARALLEL PRIVATE(ID)
| + | |
| - |
| + | |
| - | ID = OMP_GET_THREAD_NUM()
| + | |
| - | PRINT *, 'HELLO WORLD FROM THREAD', ID
| + | |
| - |
| + | |
| - | C$OMP BARRIER
| + | |
| - |
| + | |
| - | IF ( ID .EQ. 0 ) THEN
| + | |
| - | NTHRDS = OMP_GET_NUM_THREADS()
| + | |
| - | PRINT *, 'THERE ARE', NTHRDS, 'THREADS'
| + | |
| - | END IF
| + | |
| - |
| + | |
| - | C$OMP END PARALLEL
| + | |
| - |
| + | |
| - | END
| + | |
| - | | + | |
| - | | + | |
| - | В этой программе на языке С два вектора (a и b) складываются параллельно десятью потоками.
| + | |
| - | | + | |
| - | #include <stdio.h>
| + | |
| - | #include <omp.h>
| + | |
| - | #define N 100
| + | |
| - | int main(int argc, char *argv[])
| + | |
| - | {
| + | |
| - | float a[N], b[N], c[N];
| + | |
| - | int i;
| + | |
| - | omp_set_dynamic(0); // запретить библиотеке openmp менять число потоков во время исполнения
| + | |
| - | omp_set_num_threads(10); // установить число потоков в 10
| + | |
| - |
| + | |
| - | // инициализируем векторы
| + | |
| - | for (i = 0; i < N; i++)
| + | |
| - | {
| + | |
| - | a[i] = i * 1.0;
| + | |
| - | b[i] = i * 2.0;
| + | |
| - | }
| + | |
| - |
| + | |
| - | // вычисляем сумму векторов
| + | |
| - | #pragma omp parallel shared(a, b, c) private(i)
| + | |
| - | {
| + | |
| - | #pragma omp for
| + | |
| - | for (i = 0; i < N; i++)
| + | |
| - | c[i] = a[i] + b[i];
| + | |
| - | }
| + | |
| - | printf ("%f\n", c[10]);
| + | |
| - | return 0;
| + | |
| - | }
| + | |
| - | | + | |
| - | OpenMP поддерживается многими коммерческими компиляторами.
| + | |
| - | | + | |
| - | # Компиляторы Sun Studio поддерживают официальную спецификацию — OpenMP 2.5 [2] - с улучшенной производительностью под ОС Solaris; поддержка Linux запланирована на следующий релиз.
| + | |
| - | #Visual C++ 2005 поддерживает OpenMP в редакциях Professional и Team System [3].
| + | |
| - | #GCC 4.2 поддерживает OpenMP, а некоторые дистрибутивы (такие как Fedora Core 5 gcc) включили поддержку в свои версии GCC 4.1.
| + | |
| - | #Intel C Compiler
| + | |
| - | #IBM XL compiler
| + | |
| - | #PGI (Portland group)
| + | |
| - | # Pathscale
| + | |
| - | #HP
| + | |
| - | | + | |
| - | = Пакет MPI. =
| + | |
| - | | + | |
| - | = Язык Фортран-GNS. =
| + | |
| - | http://www.keldysh.ru/papers/2006/prep08/prep2006_08.html
| + | |
| - | | + | |
| - | = Порождение параллельных процессов. Идентификация абонентов. =
| + | |
| - | | + | |
| - | = Протоколы передачи сообщений. =
| + | |
| - | | + | |
| - | = Учет топологии кластера в МР программировании. =
| + | |
| - | | + | |
| - | = Язык Фортран-DVM. =
| + | |
| - | DVM-система предоставляет единый комплекс средств для разработки параллельных программ научно-технических расчетов на языках Си и Фортран 77.
| + | |
| - | | + | |
| - | Модель параллелизма DVM. Модель параллелизма DVM базируется на модели параллелизма по данным. Аббревиатура DVM отражает два названия модели: распределенная виртуальная память (Distributed Virtual Memory) и распределенная виртуальная машина (Distributed Virtual Mashine). Эти два названия указывают на адаптацию модели DVM как для систем с общей памятью, так и для систем с распределенной памятью. Высокоуровневая модель DVM позволяет не только снизить трудоемкость разработки параллельных программ, но и определяет единую формализованную базу для систем поддержки выполнения, отладки, оценки и прогноза производительности.
| + | |
| - | | + | |
| - | Языки и компиляторы. В отличие от стандарта HPF в системе DVM не ставилась задача полной автоматизации распараллеливания вычислений и синхронизации работы с общими данными. С помощью высокоуровневых спецификаций программист полностью управляет эффективностью выполнения параллельной программы. С другой стороны, при проектировании и развитии языка Fortran DVM отслеживалась совместимость с подмножеством стандартов HPF1 и HPF2.
| + | |
| - | | + | |
| - | Единая модель параллелизма встроена в языки Си и Фортран 77 на базе конструкций, которые “невидимы” для стандартных компиляторов, что позволяет иметь один экземпляр программы для последовательного и параллельного выполнения. Компиляторы с языков C-DVM и Fortran DVM переводят DVM-программу в программу на соответствующем языке (Си или Фортран 77) с вызовами функций системы поддержки параллельного выполнения. Поэтому единственным требованием к параллельной системе является наличие компиляторов с языков Си и Фортран 77.
| + | |
| - | | + | |
| - | Технология выполнения и отладки. Единая модель параллелизма позволяет иметь для двух языков единую систему поддержки выполнения и, как следствие, единую систему отладки, анализа и прогноза производительности. Выполнение и отладка DVM-программ может осуществляться в следующих режимах:
| + | |
| - | Последовательное выполнение и отладка средствами стандартных компиляторов с языков Си и Фортран 77.
| + | |
| - | Псевдо-параллельное выполнение на рабочей станции (среда WINDOWS и UNIX).
| + | |
| - | Параллельное выполнение на параллельной ЭВМ.
| + | |
| - | | + | |
| - | При псевдо-параллельном и параллельном выполнении возможны следующие режимы отладки:
| + | |
| - | автоматическая проверка правильности директив параллелизма;
| + | |
| - | трассировка и сравнение результатов параллельного и последовательного выполнения;
| + | |
| - | накопление и визуализация трассировки данных;
| + | |
| - | накопление данных о производительности и прогноз производительности параллельного выполнения.
| + | |
| - | | + | |
| - | Язык Fortran DVM (FDVM) представляет собой язык Фортран 77 [5], расширенный спецификациями параллелизма. Эти спецификации оформлены в виде специальных комментариев, которые называются директивами. Директивы FDVM можно условно разделить на три подмножества:
| + | |
| - | # Распределение данных
| + | |
| - | # Распределение вычислений
| + | |
| - | # Спецификация удаленных данных
| + | |
| - | | + | |
| - | Модель параллелизма FDVM базируется на специальной форме параллелизма по данным: одна программа – множество потоков данных (ОПМД). В этой модели одна и та же программа выполняется на каждом процессоре, но каждый процессор выполняет свое подмножество операторов в соответствии с распределением данных.
| + | |
| - | | + | |
| - | В модели FDVM пользователь вначале определяет многомерный массив виртуальных процессоров, на секции которого будут распределяться данные и вычисления. При этом секция может варьироваться от полного массива процессоров до отдельного процессора.
| + | |
| - | | + | |
| - | На следующем этапе определяются массивы, которые должны быть распределены между процессорами (распределенные данные). Эти массивы специфицируются директивами отображения данных. Остальные переменные (распределяемые по умолчанию) отображаются по одному экземпляру на каждый процессор (размноженные данные). Размноженная переменная должна иметь одно и то же значение на каждом процессоре за исключением переменных в параллельных конструкциях.
| + | |
| - | | + | |
| - | Модель FDVM определяет два уровня параллелизма:
| + | |
| - | параллелизм по данным на секции массива процессоров;
| + | |
| - | параллелизм задач – независимые вычисления на секциях массива процессоров.
| + | |
| - | | + | |
| - | Параллелизм по данным реализуется распределением витков тесно-гнездового цикла между процессорами. При этом каждый виток такого параллельного цикла полностью выполняется на одном процессоре. Операторы вне параллельного цикла выполняются по правилу собственных вычислений.
| + | |
| - | | + | |
| - | Параллелизм задач реализуется распределением данных и независимых вычислений на секции массива процессоров.
| + | |
| - | | + | |
| - | При вычислении значения собственной переменной процессору могут потребоваться как значения собственных переменных, так и значения несобственных (удаленных) переменных. Все удаленные переменные должны быть указаны в директивах доступа к удаленным данным.
| + | |
| - | | + | |
| - | = Система программирования НОРМА. =
| + | |
| - | | + | |
| - | Язык Норма является специализированным языком и предназначен для спецификации численных методов решения задач математической физики. Изначально он был ориентирован на решение задач математической физики разностными методами, однако, как показала практика, может быть использован для решения более широкого класса вычислительных задач.
| + | |
| - | | + | |
| - | Первоначально термин Норма расшифровывался следующим образом: Непроцедурное Описание Разностных Моделей Алгоритмов. Сейчас мы считаем уместной и другую трактовку - это Нормальный уровень общения прикладного математика с ЭВМ: расчетные формулы, полученные им в процессе решения прикладной задачи, почти непосредственно используются для ввода в вычислительную систему и проведения счета.
| + | |
| - | | + | |
| - | В записи на Норме не требуется никакой информации о порядке счета, способах организации вычислительных (циклических) процессов. Порядок предложений языка может быть произвольным -- информационные взаимосвязи выявляются и учитываются транслятором при организации вычислительного процесса. Программа на языке Норма может рассматриваться как описание запроса на вычисление, а реализация этого запроса с учетом архитектуры ЭВМ и возможностей выходного языка - то есть синтез выходной программы - возлагается на транслятор.
| + | |
| - | | + | |
| - | Выбор уровня языка Норма определяет характерную его черту - это язык с однократным присваиванием, то есть каждая переменная может принимать значение только один раз. Такие понятия, как память, побочный эффект, оператор присваивания, управляющие операторы в языке Норма отсутствуют по определению.
| + | |
| - | | + | |
| - | Эти свойства, и некоторые другие ограничения (в первую очередь, на вид индексных выражений и способы описания индексных пространств), позволяют строго обосновать разрешимость задачи синтеза выходной программы [2,3], так как в достаточно общей постановке решение этой задачи приводит к значительным математическим трудностям - она может оказаться NP-полной либо вообще неразрешимой. С другой стороны, исследования, связанные с разработкой и применением языка Норма показывают, что имеющиеся ограничения приемлемы с практической точки зрения [5].
| + | |
| - | | + | |
| - | Программа на Норме состоит из одного или нескольких разделов. Разделы могут быть трех видов - главный раздел, простой раздел и раздел-функция, вид раздела определяется ключевыми словами MAIN PART, PART, FUNCTION соответственно.
| + | |
| - | | + | |
| - | Разделы могут вызывать друг друга по имени и передавать данные при помощи механизма формальных и фактических параметров, или через внешние файлы при помощи описаний INPUT и OUTPUT. Для каждого раздела справедливо правило локализации: имена, описанные в разделе, локализованы в этом разделе; понятие глобальных переменных в языке отсутствует.
| + | |
| - | | + | |
| - | Главный раздел обязательно должен присутствовать в программе на Норме и быть единственным; формальных параметров он не имеет. Вызовы главного раздела, а также рекурсивные вызовы разделов запрещены. В заголовке раздела указывается имя раздела и список формальных параметров. Формальные параметры должны быть описаны в теле раздела при помощи declaration-of-scalar-variables, declaration-of-variables-on-domains или declaration-of-external
| + | |
| - | | + | |
| - | Параметры-величины, указанные до ключевого слова RESULT в списке формальных параметров, являются исходными данными для вычислений, описываемых в разделе; параметры, перечисленные после - являются результатами вычислений. Один и тот же параметр не может быть одновременно исходным и результатом: это приводит к переприсваиванию значений переменным (повторному присваиванию), что запрещено в Норме. В разделе-функции ключевое слово RESULT не используется: результат вычисления функции связывается с именем и типом функции.
| + | |
| - | | + | |
| - | В теле раздела могут быть заданы описания, операторы и итерации (порядок их расположения, вообще говоря, произвольный - возможные ограничения определяются при описании входного языка транслятора).
| + | |
| - | | + | |
| - | Система Норма состоит из следующих компонентов:
| + | |
| - | # Декларативный язык Норма
| + | |
| - | # Компилятор с языка Норма
| + | |
| - | # Конфигуратор программ на языке Норма
| + | |
| - | # Отладчик программ на языке Норма
| + | |
| - | # Пользовательский Windows-интерфейс
| + | |
| - | | + | |
| - | = Особенности машинной арифметики. =
| + | |
| - | | + | |
| - | В вычислительных машинах применяются две формы представления чисел:
| + | |
| - | * естественная форма или форма с фиксированной запятой (точкой);
| + | |
| - | * нормализованная форма или форма с плавающей запятой (точкой);
| + | |
| - | | + | |
| - | С фиксированной запятой числа изображаются в виде последовательности цифр с постоянным для всех чисел положением запятой, отделяющей целую часть от дробной. Например, 32,54; 0,0036; –108,2. Эта форма проста, естественна, но имеет небольшой диапазон представления чисел и поэтому не всегда приемлема при вычислениях. Если в результате операции получится число, выходящее за допустимый диапазон, происходит переполнение разрядной сетки и дальнейшие вычисления теряют смысл. В современных компьютерах форма представления чисел с фиксированной запятой используется только для целых чисел.
| + | |
| - | С плавающей запятой числа изображаются в виде X = ±M×P±r, где M - мантисса числа (правильная дробь в пределах 0,1 ≤ M < 1), r - порядок числа (целое), P - основание системы счисления. Например, приведенные выше числа с фиксированной запятой можно преобразовать в числа с плавающей запятой так: 0,3254×102, 0,36×10–2, –0,1082×103. Нормализованная форма представления имеет огромный диапазон чисел и является основной в современных ЭВМ.
| + | |
| - | | + | |
| - | Каждому двоичному числу можно поставить в соответствие несколько видов кодов. Существуют следующие коды двоичных чисел:
| + | |
| - | | + | |
| - | '''Прямой код'''. Прямой код двоичного числа (а это либо мантисса, либо порядок) образуется по такому алгоритму:
| + | |
| - | 1. Определить данное двоичное число - оно либо целое (порядок), либо правильная дробь (мантисса).
| + | |
| - | 2. Если это дробь. то цифры после запятой можно рассматривать как целое число.
| + | |
| - | 3. Если это целое и положительное двоичное число, то вместе с добавлением 0 в старший разряд число превращается в код. Для отрицательного двоичного числа перед ним ставится единица.
| + | |
| - | | + | |
| - | '''Обратный код'''. Обратный код положительного двоичного числа совпадает с прямым кодом, а для отрицательного числа нужно, исключая знаковый разряд, во всех остальных разрядах нули заменить на единицы и наоборот.
| + | |
| - | | + | |
| - | '''Дополнительный код.''' Дополнительный код положительного числа совпадает с его прямым кодом. Дополнительный код отрицательного числа образуется путём прибавления 1 к обратному коду.
| + | |
| - | | + | |
| - | '''Сложение и вычитание двоичных чисел'''. Сложение чисел, а также вычитание чисел в обратном или дополнительном кодах выполняется с использованием обычного правила арифметического сложения многоразрядных чисел. Это правило распространяется и на знаковые разряды чисел. Различие же обратного и дополнительного кодов связано с тем, что потом делают с единицей переноса из старшего разряда, изображающего знак числа. При сложении чисел в обратном коде эту единицу надо прибавить к младшему разряду результата, а в дополнительном коде единица переноса из старшего разряда игнорируется.
| + | |
| - | | + | |
| - | Умножение и деление двоичных чисел в ЭВМ производится в прямом коде, а их знаки используются лишь для определения знака результата. Также как и в математике, умножение и деление сводится к операциям сдвигов и сложений (с учётом знака числа).
| + | |
| - | | + | |
| - | = Погрешности параллельных вычислений. Оценить ошибки суммирования. =
| + | |
| - | Источники погрешности при вычислениях на параллельных системах.
| + | |
| - | В общем случае, арифметические операции над элементами дискретного подмножества вещественных чисел F не корректны.
| + | |
| - | Результат арифметических операций чисел с плавающей запятой может:
| + | |
| - | - иметь абсолютное значение, больше M (максимального числа) - машинное переполнение;
| + | |
| - | - иметь ненулевое значение, меньшее m (минимального числа) по абсолютной величине - машинный нуль;
| + | |
| - | - иметь значение в диапазоне [m:M] и тем не не менее не принадлежать множеству F (произведение двух чисел из F, как правило, записывается посредством 2t либо 2t-1 значащих цифр);
| + | |
| - | Поэтому, на множестве чисел с плавающей запятой определяются и "плавающие" арифметические операции, за результаты которых, если они не выходит за границы множества F, принимается ближайшие по значению элементы F. Примеры из четырехразрядной десятичной арифметики по Н. Вирту.
| + | |
| - | А) Пусть x=9.900 y=1.000 z=-0.999 и тогда:
| + | |
| - | 1 (x+y)+z = 9.910
| + | |
| - | 2 x+(y+z) = 9.901
| + | |
| - | В) Пусть x=1100. y=-5.000 z=5.001 и тогда:
| + | |
| - | 1 (x*y)+(x*z) = 1.000
| + | |
| - | 2 x*(y+z) = 1.100
| + | |
| - | Здесь операции + и * - плавающие машинные операции. Такие 'чиcленные' процессы называют иногда 'неточными', здесь нарушаются ассоциативный и дистрибутивный законы арифметики..
| + | |
| - | Оценить полную ошибку для суммирования положительных чисел.
| + | |
| - | Пример расчета полной ошибки для суммирования положительных чисел
| + | |
| - | Формула полной ошибки для суммирования положительных чисел <math>A_i</math> (i=1,..,n) имеет вид: <math>D_s = A_1d_{a_1} + A_2d_{a_2} +\dots+ A_nd_{a_n} + d_1(A_1+A_2) +\dots+ d_{n-1}(A_1+\dots+A_n) + d_n</math>, где
| + | |
| - | <math>d_{a_i}</math> - относительные ошибки представления чисел в ЭВМ, а <math>d_i</math> - относительные ошибки округления чисел при каждой следующей операции сложения. Пусть: все <math>d_{a_i} = d_a</math> и <math>d_i = d</math>, a <math>K_s = A_1+A_2+\dots+A_n</math>, тогда: <math>D_s = d_aK_s + d[(n-1)A_1+(n-1)A_2 + (n-2)A_3 + \dots+ 2A_{n-1} + A_n]</math>
| + | |
| - | Очевидно, что наибольший "вклад" в сумму ошибок вносят числа, суммируемые вначале. Следовательно, если суммируемые положительные числа упорядочить по возрастанию, максимально возможная ошибка суммы будет минимальной. Изменяя порядок суммирования чисел можно получать различные результаты. Но если даже слагаемые отличаются друг от друга незначительно, на точность результата может оказать влияние способ суммирования.
| + | |
| - | <br/>
| + | |
| - | Пусть суммируются 15 положительных чисел, тогда ошибка результата: <math>D_s = d_aK_s + d(14A_1+14A_2+13A_3+\dots+2A_{14}+A_{15})</math>.
| + | |
| - | Слагаемое <math>d_aK_s</math> не зависит от способа суммирования, и далее не учитывается. Пусть слагаемые имеют вид: <math>A_i = A_{0}+e_{i}</math>, где <math>i=1,\dots,15</math>, тогда: <math>D_{s_s} = 199(A_0+e_m)d</math>, где <math>e_m = \max\limits_{i}{e_i}</math>, d - ошибка округления при выполнении арифметической операции сложения.
| + | |
| - | Если провести суммирование этих чисел по группам (три группы по четыре числа и одна группа из трех чисел), то ошибки частных сумм имеют вид:<br/>
| + | |
| - | <math>D_{s_1} = d(3A_1+3_A2+2A_3+A_4) \leq 9d(A_0+e_m)</math><br/>
| + | |
| - | <math>D_{s_2} = d(3A_5+3A_6+2A_7+A_8) \leq 9d(A_0+e_m)</math><br/>
| + | |
| - | <math>D_{s_3} = d(3A_9+3A_{10}+2A_{11}+A_{12}) \leq 9d(A_0+e_m)</math><br/>
| + | |
| - | <math>D_{s_4} = d(3A_{13}+2A_{14}+A_{15}) \leq 5d(A_0+e_m)</math><br/>
| + | |
| - | Полная оценка ошибок округления будет <math>D_s \leq 32d(A_0+e_m)</math>, что меньше
| + | |
| - | <math>D_{s_s}</math>. Итак суммирование по группам дает меньшую ошибку результата.
| + | |
| - | Например, разделив процесс суммирования массива положительных чисел на параллельные процессы, и затем получив сумму частных сумм, можно получить результат, отличный от последовательного суммирования в одном процесс.
| + | |
| - | | + | |
| - | = Алгоритмы оптимизации программ, влияющие на точность вычислений. =
| + | |
| - | Оптимизационные преобразования программ для их оптимального выполнения на конвейерных вычислителях могут проводиться системами программирования. Эти преобразования, алгебраически эквивалентные, могут нарушить порядок вычислений, предписанный исходным текстом программы.
| + | |
| - | Последствия таких преобразований обсуждались выше. Наиболее характерные преобразования следующие.
| + | |
| - | | + | |
| - | 1. Балансировка дерева вычислений
| + | |
| - | Балансировка дерева вычислений (tree-height reduction or balancing) выражений позволяют использовать конвейерное АУ без пропуска рабочих тактов. Так, вычисление суммы вещественных чисел: A+B+C+D+E+F+G+H, будет запрограммировано как последовательность операций: (((A+B)+(C+D))+((E+F)+(G+H))); это нарушает заданную по умолчанию последовательность вычислений с накоплением одной частной суммы и может повлиять на результат.
| + | |
| - | | + | |
| - | 2. Исключение общих подвыражений
| + | |
| - | Алгоритмы исключения общих подвыражений (Common subexpession elimination) также могут изменить порядок вычислений.
| + | |
| - | Если компилятор распознает в выражениях повторяющееся вычисление, то это вычисление производятся один раз, его результат сохраняется на регистре, и в дальнейшем используется этот регистр. Тем самым исключается избыточность вычислений.
| + | |
| - | X = A + B + C + D ----> REG = B + C
| + | |
| - | Y = B + E + C X = A + D + REG
| + | |
| - | Y = E + REG
| + | |
| - | | + | |
| - | 3. Разворачивание циклов
| + | |
| - | Разворачивание циклов (loop unrolling) - расписывание цикла последовательностью операторов присваивания: либо полностью, либо размножение тела цикла с некоторым коэффициентом (фактором) размножения.
| + | |
| - | Производится частичное или полное разворачивание цикла в последовательный участок кода. При частичном разворачивании используется так называемый фактор разворачивания (который можно задавать в директиве компилятору).
| + | |
| - | DO I=1,100 DO I=1,100,4
| + | |
| - | A(I) = B(I) + C(I) A(I) = B(I) + C(I)
| + | |
| - | ENDDO A(I+1) = B(I+1) + C(I+1)
| + | |
| - | A(I+2) = B(I+2) + C(I+2)
| + | |
| - | A(I+3) = B(I+3) + C(I+3)
| + | |
| - | ENDDO
| + | |
| - | При этом преобразовании снижается количество анализов итерационной переменной. Данный алгоритм также может привести к нарушению предписанного первоначально порядка вычислений. Например:
| + | |
| - | DO I=1,10 DO I=1,10,2
| + | |
| - | S = S + A(I) S = S + A(I)
| + | |
| - | ENDDO S1 = S1 + A(A+1)
| + | |
| - | ENDDO
| + | |
| - | S = S + S1
| + | |
| - | Здесь, суммирование проводится отдельно для четных и нечетных элементов с последующем сложением частных сумм.
| + | |
