1978 год. Выходит в свет статья британского программиста и математика Чарльза Энтони Ричарда Хоара "Взаимодействующие последовательные процессы", заложившая математические основы конкурентного программирования.
Per Brinch Hansen (из ответов 2011года)
69. Кто является автором примитива синхронизации Семафор?
Э́дсгер Ви́бе Де́йкстра
в 1960-х гг. – участвовал в создании первой операционной системы, построенной в виде множества параллельно исполняющихся взаимодействующих процессов. Именно в процессе этой работы появились понятия синхронизации процессов, идея семафора, а также была четко осознана необходимость в структуризации процесса программирования и самих программ. В 1970-е гг. вместе с Чарльзом Хоаром и Никлаусом Виртом разработал основные положения методологии разработки программ – структурного программирования.
70. Какая книга Хоара издана на русском языке?
Хоар Ч., Взаимодействующие последовательные процессы. М: Мир, 1989
Книга известного системного программиста и теоретика информатики (Великобритания), последовательно излагающая теорию взаимодействующих процессов; эта тематика тесно связана с такими реальными понятиями, как операционные системы, мультипроцессорные комплексы и сети ЭВМ. Автор рассматривает параллелизм в языках высокого уровня АДА, Симула 67, Паскаль.
71. Достаточное условие планируемости по RMS. Что оно означает?
Для систем с произвольными соотношениями между периодами задач имеет место следующая теорема (критерий проверки планируемости системы алгоритмом RMS):
Теорема.
Система {Tj} n независимых вытесняемых периодических задач с периодами, равными относительным крайним срокам, планируется на одном процессоре _если_ коэффициент использования процессорного времени этой системы не превышает величины URM = n(21/n - 1).
Это условие является достаточным, но не необходимым.