Замена object на Lock в .NET 9: скрытые риски синхронизации

В .NET 9 компания Microsoft представила новый примитив синхронизации System.Threading.Lock, призванный заменить традиционный механизм блокировки через object. Многие разработчики начали активно внедрять этот тип в надежде на повышение производительности и предсказуемости кода. Однако статья на Habr предупреждает, что такая миграция несет скрытые угрозы. Основная проблема заключается в изменении механики работы блокировок: если экземпляр Lock теряет свой тип или используется некорректно, участки кода могут перестать синхронизироваться, что приводит к возникновению критических секций с одновременным доступом нескольких потоков. Автор подробно анализирует новую модель блокировок в C#, объясняет, в каких случаях компилятор способен обнаружить ошибку, а где проблема остается незамеченной. Статья помогает оценить, оправдан ли переход на новый примитив и какие архитектурные риски следует учитывать при рефакторинге многопоточных приложений.