в коде может быть указан
- метод разблокировки
- метод блокировки
Это неправильно.
Сначала нужно указать метод который блокирует ресурс, затем должен быть метод который освобождает ресурс.
Например, программист ошибся и указал лишнии методы, либо в неправильном порядке.
Поэтому программа получает на вход порядок расположения методов (блокировка/разблокировка) и
предлагает несколько вариантов правильных.
Когда идет многопоточная обработка:
один метод блокирует ресурс (lock), затем после обработки данных, ресурс должен быть разблокирован(unlock)
lock - {
unlock - }
|