Операционные модели памяти: SC и TSO

Среда, 21 апреля 2021
Онлайн, занятие в zoom

Описание

  • Введение в операционные модели памяти.
  • Модель Sequential Consistency (SC).

  • Модель Total Store Order (TSO).

  • Отношение симуляции.

  • Симуляция SC-машины TSO-машиной.