1313
правок
Регистры: различия между версиями
Материал из WEGA
→Литература
Irina (обсуждение | вклад) |
KVN (обсуждение | вклад) |
||
| (не показаны 4 промежуточные версии 1 участника) | |||
| Строка 30: | Строка 30: | ||
== Применение == | == Применение == | ||
Регистры без ожидания, наряду с системами передачи сообщений, являются основным механизмом взаимодействия между процессами в теории распределенных вычислений. Они лежат в основе всех построений и протоколов, | Регистры без ожидания, наряду с системами передачи сообщений, являются основным механизмом взаимодействия между процессами в теории распределенных вычислений. Они лежат в основе всех построений и протоколов, что можно увидеть в учебниках. Не требующие ожидания построения параллельных систем временных меток оказались мощным инструментом для решения задач управления параллелизмом, таких как различные типы взаимного исключения, мультирайтерные и мультиридерные общим переменные [14] и вероятностный консенсус, основанным на синтезе «часов без ожидания» для определения последовательности действий в параллельной системе. Более подробное изложение см. в работе [4]. | ||
== Открытые вопросы == | == Открытые вопросы == | ||
Ведется большая работа в направлении создания регистровых построений, использующих меньшее количество составных частей, или более простых частей, или частей, способных выносить более сложные сбои, чем описанные выше предыдущие построения. Разумеется, только в том случае, если более поздние построения еще не были оптимальными по соответствующему параметру. В дальнейшем предполагается работа над объектами без ожидания более высоких типов, как упоминалось выше, | Ведется большая работа в направлении создания регистровых построений, использующих меньшее количество составных частей, или более простых частей, или частей, способных выносить более сложные сбои, чем описанные выше предыдущие построения. Разумеется, только в том случае, если более поздние построения еще не были оптимальными по соответствующему параметру. В дальнейшем предполагается работа над объектами без ожидания более высоких типов, как упоминалось выше, а также над иерархиями таких объектов и вероятностными построениями. Таким исследованиям посвящено множество статей и публикаций. | ||
== Экспериментальные результаты == | == Экспериментальные результаты == | ||
Регистровые построения или родственные им построения для асинхронного межпроцессного взаимодействия активно используются в современном аппаратном и программном обеспечении. | Регистровые построения или родственные им построения для асинхронного межпроцессного взаимодействия активно используются в современном аппаратном и программном обеспечении. | ||
| Строка 40: | Строка 40: | ||
== См. также == | == См. также == | ||
* [[Невозможность асинхронного консенсуса]] | * [[Невозможность асинхронного консенсуса]] | ||
* [[Атомарная широковещательная | * [[Атомарная широковещательная рассылка]] | ||
* [[Причинно-следственное упорядочение, логические часы, репликация конечного автомата]] | * [[Причинно-следственное упорядочение, логические часы, репликация конечного автомата]] | ||
* [[Параллельное программирование, взаимное исключение]] | * [[Параллельное программирование, взаимное исключение]] | ||
| Строка 79: | Строка 79: | ||
14. Vitanyi, P.M.B., Awerbuch, B.: Atomic shared register access by | 14. Vitanyi, P.M.B., Awerbuch, B.: Atomic shared register access by | ||
asynchronous hardware. In: Proc. 27th IEEE Symp. Found. Comput. Sci. pp. 233-243. Los Angeles, 27-29 October 1987. Errata, Proc. 28th IEEE Symp. Found. Comput. Sci., pp. 487-487. Los Angeles, 27-29 October 1987 | asynchronous hardware. In: Proc. 27th IEEE Symp. Found. Comput. Sci. pp. 233-243. Los Angeles, 27-29 October 1987. Errata, Proc. 28th IEEE Symp. Found. Comput. Sci., pp. 487-487. Los Angeles, 27-29 October 1987 | ||
[[Категория: Совместное определение связанных терминов]] | |||
