Управляя квотой на использование кэша, можно влиять на скорость программы:
Может ли существовать модель программы с пустым множеством конечных состояний?
Модель программы, в которой при возникновении определённого события для определённого состояния может с некоторой вероятностью произойти один из множества переходов, называется:
Использование системных часов всегда решает проблему вычисления приоритета?
Процесс отличается от программы:
Порядок исполнения программы:
Операция изменения элемента в множестве занимает 3 микросекунды. Операция взятия замка является идеальной (константное время) и занимает 4 микросекунды. Оправдано ли использование оптимистичной синхронизации?
Для определения корректности программы достаточно статического анализа кода?
Время и временные отметки – это синонимы с точки зрения программы?
Порядок исполнения программы в важных местах можно зафиксировать?