Теория и практика многопоточного программирования

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

Показывать лекцию целиком

Презентация к лекции: L4.pdf.

Краткие итоги: Существуют абстракции программ разной "детализации". Корректность программы есть условная характеристика. "Статистически несущественную ошибку" часто недооценивают. Время можно формализовать для использования в многопоточных системах.

Дополнительные материалы

Рекомендуем прочитать статью: BoundedTS.pdf.

Вернуться к учебному плану