Время и временные отметки – это синонимы с точки зрения программы?

Операция изменения элемента в множестве занимает 3 микросекунды. Операция взятия замка является идеальной (константное время) и занимает 4 микросекунды. Время исправления коллизии колеблется от 10 до 50 микросекунд. Вероятность коллизии при изменении составляет 1%. Оправдано ли использование оптимистичной синхронизации?

Операция изменения элемента в множестве занимает 3 микросекунды. Операция взятия замка является идеальной (константное время) и занимает 4 микросекунды. Время исправления коллизии колеблется от 500 до 1000 микросекунд. Вероятность коллизии при изменении составляет 1%. Оправдано ли использование оптимистичной синхронизации?

В идеальной реализации замка время обращения к замку T зависит от числа потоков N как:

Порядок исполнения программы:

Процесс отличается от программы:

Для определения корректности программы достаточно статического анализа кода?

Порядок исполнения программы в важных местах можно зафиксировать?

Может ли существовать модель программы с пустым множеством конечных состояний?

Управляя квотой на использование кэша, можно влиять на скорость программы:

Выключение оптимизации компилятора гарантирует заданный порядок исполнения программы?