x 1.00
Лекция 11. Наблюдаемая эквивалентность. Планировщик процессов (пример)
- 00:15Наблюдаемая эквивалентность процессов
- 06:46Постановка задачи и планы на следующую лекцию
- 09:48Другое определение наблюдаемой эквивалентности процессов
- 15:28О свойствах наблюдаемой эквивалентности (по аналогии с сильной эквивалентностью)
- 22:52Планировщик для операционной системы (пример)
- 39:49Представление работы планировщика с помощью циклеров
- 46:33Формальное доказательство свойства (последовательность действий, генерируемых планировщиком и обозначенных альфа, является правильной циклической последовательностью)
- 01:16:08Схема дальнейшего доказательства
- 01:20:38Модификация задачи