Здравствуйте, vdimas, Вы писали:

V>Да не можешь ты никому преподавать про гранулярность блокировок в отсутствии владения дисциплиной СМО, бо блокировки — это исключительно про очереди к ресурсам.

Если бы ты нормально владел дисциплиной СМО, то знал бы, что все аналитическое описание, которое в ней рассматривается, становится неудобоваримым уже на довольно простых ситуациях. Примитивный процессор ее формулами еще удается описать, но уже добавление пары уровней кеша полностью делает ее применение невозможным (в свое время в моем вузе несколько аспирантов на этом изрядно пообломались как только дело дошло до анализа реальных трасс со старого доброго i486).
А современные распределенные системы много много сложнее процессора с кешем, поэтому теории СМО там делать нечего.