Я прочитал в Аннотирующем поведении блокировки документацию о том, что вы должны аннотировать свои функции независимо от того, получает ли функция блокировку или снимает ее. Существует два разных макроса для получения и снятия блокировки. например,
- _Acquires_exclusive_lock_ (expr)
- _Acquires_lock_ (expr)
К сожалению, документация указывает разницу. Что такое исключительная блокировка и (неисключительная) блокировка в контексте объектов синхронизации Microsoft Windows?