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

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

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

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

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

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

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

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

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

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

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

Теорема.

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

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

72. В чём суть DMS?

DMS - способ назначения приоритетов в планировщике (deadline monotonic scheduling). В этом алгоритме приоритеты назначаются по немного другому правилу: чем меньше относительный крайний срок задачи, тем выше ее приоритет.

73. В каком смысле онлайновые алгоритмы планирования , основанные на вытеснении с учётом приоритетов, являются жадными?

Приоритет имеет обмен, для которого потребуется наименьшее время. «Жадный» алгоритм на каждом шаге пытается получить максимальный эффект.

На процессорном уровне диспетчеризация происходит по принципу "самое раннее из срочных заданий выполняется первым".

74. Что означает понятие оптимальности алгоритма планирования?

оптимальным алгоритмом планирования называется алгоритм, обеспечивающий выполнение временных ограничений задач всегда, когда это возможно. Или, другими словами, если порядок выполнения задач, определяемый оптимальным алгоритмом, приводит к нарушению установленных сроков выполнения задач, то ни какой другой алгоритм не может обеспечить своевременное выполнение всех задач

75. Для какого класса алгоритмов планирования RMA является оптимальным?

RMA оптимален для алгоритмов со статическими приоритетами и для него надо чтоб конец периода таска совпадал с дедлайном.

Частотно-монотонная теория диспетчеризации - частный случай теории диспетчеризации с равномерным распределением критических сроков обслуживания, в которой пределы (критические сроки обслуживания) могут быть короче, чем периоды. (Для ситуации, в которой пределы длиннее, чем периоды, в настоящее время успешной теории не существует.) Для ситуации, в которой приоритеты основаны на пределах таким образом, что задачи с самым коротким критическим сроком выполнения получают самый высокий приоритет (диспетчеризация с равномерным распределением критических сроков обслуживания(deadline-monotonic scheduling)), достаточное и необходимое условие было доказано [14].

76. При каких условиях RMS и DMS совпадают?

Когда относительный deadline совпадает с периодом

77. Какой deadline используется при назначении приоритетов задачам по DMA?

Если deadline не равен периоду, то приоритеты назначаются обратно пропорционально величине относительного deadline

78. Какие алгоритмы планирования на основе динамических приоритетов вы знаете?

EDF, LST

79. В чем суть EDF

EDF (Earliest Deadline - First) и LSTF (Least Slack Time - First) политика работают с динамическими приоритетами. В политике EDF, чем меньше крайний срок задачи, тем выше приоритет назначается на эту задачу.

Условие:

Где Ci - время выполнения задачи и Di – относительный срок выполнения задачи, равный длине временного интервала, началу которого соответствует момент порождения задачи, концу – абсолютный срок выполнения задачи. То есть выполнимой является любое приложение с плотностью загрузки процессора не больше 1.