Реклама

Самая актуальная информация проекты домов у нас на сайте.

Наш канал:

Таненбаум Э.- Архитектура компьютера. стр.496

о своем намерении. В этот момент все копии, кроме последней, объявляются недействительными, и до выполнения операции release никаких копий создавать нельзя. После выполнения операции release страница вновь становится общедоступной.

Во втором варианте оптимизации предполагается, что изначально все страницы отображаются на память в режиме только чтения. Когда запись в страницу производится впервые, система создает копию страницы, называемую двойником. Затем исходная страница отображается на память в формате, пригодном для чтения и записи, после чего последующие записи могут производиться без задержек. Если на удаленном узле происходит ошибка отсутствия страницы, что означает необходимость передачи туда модифицированной страницы, сначала выполняется пословное сравнение текущей страницы с ее двойником. После этого на удаленный узел передаются только те слова, которые были модифицированы, а не вся страница, что сокращает размер сообщений.

После возникновения ошибки отсутствия страницы нужно определить, где ее искать. Здесь возможны разные подходы, в том числе использовать каталоги, как в NUMA- и СОМА-машинах. Многие решения, применяемые в DSM, пригодны и для NUMA- и СОМА-машин, поскольку DSM — это программная реализация таких машин, в которой каждая страница трактуется как строка кэша.

DSM по-прежнему остается ареной активных исследований. Большой интерес представляют системы CASHMERE [117, 196], CRL [104], Shasta [182] и Tread-marks [9, 130].

Linda

Системы DSM со страничной организацией памяти (такие как IVY и Treadmarks) используют диспетчера памяти, чтобы аппаратно перехватывать доступ к отсутствующим страницам. Хотя подготовка и пересылка только различающихся слов вместо всей страницы положительно сказывается на производительности, страницы остаются неудобными объектами совместного использования, поэтому применяются и другие подходы.

Один из таких подходов реализован в система Linde, в которой процессы на разных машинах получают в свое распоряжение высокоструктурированную распределенную общую память [37]. Доступ к этой памяти осуществляется с помощью минимального набора примитивов, которые можно включать в существующие языки (например, в С или FORTRAN), в результате формируются так называемые параллельные языки — в данном случае это C-Linda и FORTRAN-Linda.

В основе системы Linda лежит понятие абстрактного пространства кортежей, которое глобально по отношению ко всей системе и доступно всем процессам этой системы. Пространство кортежей похоже на глобальную общую память, только с определенной внутренней структурой. Каждый из кортежей в пространстве кортежей состоит из одного или нескольких полей. В C-Linda поля могут содержать целые, длинные целые и числа с плавающей точкой, а также сложные типы данных, например массивы (в том числе символьные строки) и с-труктуры (но не другие кортежи). В листинге 8.1. приведено 3 примера кортежей.

Листинг 8.1. Кортежи в Linda

("abc". 2, 5)

Cmatrix-r. 1, 6, 3.14)

("family", "is sister", Carolyn, Elinor)