Каких учёных, основоположников конкурентного программирования, вы знаете?

1978 год. Выходит в свет статья британского программиста и математика Чарльза Энтони Ричарда Хоара "Взаимодействующие последовательные процессы", заложившая математические основы конкурентного программирования.

Per Brinch Hansen (из ответов 2011года)

69. Кто является автором примитива синхронизации Семафор?

Э́дсгер Ви́бе Де́йкстра

в 1960-х гг. – участвовал в создании первой операционной системы, построенной в виде множества параллельно исполняющихся взаимодействующих процессов. Именно в процессе этой работы появились понятия синхронизации процессов, идея семафора, а также была четко осознана необходимость в структуризации процесса программирования и самих программ. В 1970-е гг. вместе с Чарльзом Хоаром и Никлаусом Виртом разработал основные положения методологии разработки программ – структурного программирования.

70. Какая книга Хоара издана на русском языке?

Хоар Ч., Взаимодействующие последовательные процессы. М: Мир, 1989

Книга известного системного программиста и теоретика информатики (Великобритания), последовательно излагающая теорию взаимодействующих процессов; эта тематика тесно связана с такими реальными понятиями, как операционные системы, мультипроцес­сорные комплексы и сети ЭВМ. Автор рассматривает параллелизм в языках высокого уровня АДА, Симула 67, Паскаль.

71. Достаточное условие планируемости по RMS. Что оно означает?

Для систем с произвольными соотношениями между периодами задач имеет место следующая теорема (критерий проверки планируемости системы алгоритмом RMS):

Теорема.

Система {Tj} n независимых вытесняемых периодических задач с периодами, равными относительным крайним срокам, планируется на одном процессоре _если_ коэффициент использования процессорного времени этой системы не превышает величины URM = n(21/n - 1).

Это условие является достаточным, но не необходимым.