Возможно, стоит пояснить разницу между синхронизацией из thread/process-safe и синхронизацией с помощью Lock🤔
Наша задача — заставить разные процессы и потоки обращаться к базе данных (или любым другим ресурсам) последовательно. Чтобы не случилось так называемого race condition, то есть состояние гонки. Это когда разные потоки или процессы пытаются одновременно что-то сделать с одним и тем же ресурсом.
В этом случае нам нужна какая-то логика ограничения. Пока один процесс не завершил своё действие, другие не могут получить доступ к ресурсу.
Так вот, thread-safe и process-safe означает что отдельно взятые операции записи в БД гарантированно будут последовательны. Запросы из разных процессов или потоков выстроятся в очередь и не будут мешать друг другу. Лучше всего когда этот блок реализован на уровне БД в виде атомарных операций или ещё как-то.
Но зачем нам тогда еще дополнительный Lock?
Этот способ синхронизации используется когда процесс никак не укладывается в одно действие и должен сделать множество операций прежде чем дать доступ следующему. В этом случае процесс ставит некий глобальный Lock на ресурс и никто другой, даже получив законное право на доступ, не может ничего сделать. Все ждут пока этот Lock не будет снят.
Это решается на уровне приложения и правильность реализации полностью в вашей ответственности. Например, если забыли разблокировать или сделали перекрёстный Lock (Deadlock как на картинке), то всё зависнет в бесконечном ожидании.
#basic
Various Artists — Mien (Yao): Cannon Singing in China, Vietnam, Laos (Sublime Frequencies, 2021)
#traditional#mien#yao#China
Традиционное песни горных племен Мьен, записанные в полевых условиях Лораном Жанно c лейбла Kink Gong. Мьен – это крупнейшая ветвь народа Яо, название которого восходит к легенде о псе, спасшем дочь китайского императора и получившем её в жены. Само название Мьен означает просто «люди». Мьен насчитывают 4 миллиона человек и расселены в южных китайских провинциях Гуйчжоу, Гуанси, Юньнань, а также во Вьетнам, Лаос и Таиланд, куда они мигрировали за последние столетия. Являясь частью группы мяо-яо китайско-тибетской этнолингвистической семьи, они имеют множество подгрупп, обычно определяемых по цветам их традиционной одежды.
Bandcamp