Сообщение от Alexandroppolus
|
|
Тогда, боюсь, твоя иллюстрация со скобками одного вида сильно упрощённая. Как минимум, может блокироваться не один ресурс, а несколько. К тому же некоторые ресурсы можно блокировать ограниченное число раз, иногда только один (мютексы или критические секции, например). Это всё, наверно, надо учесть как-то.
|
у нас есть метод lock() (в специальном классе) который в многопоточной среде блокирует ресурс, чтобы один из потоков мог нормально работать текущим ресурсом.
Lock() - uncock()
Lock() lock() unlock() unlock() - вот эту схему и заменили скобками.
Иногда можеты быть ошибка в коде вот такая
unlock() unlock() lock() - валидатор при такой схемы должен вернуть 0 вариантов
Lock()-lock()-lock()-unlock()-unlock()
Здесь один из lock() лишний и т.д.