Возможно, стоит пояснить разницу между синхронизацией из thread/process-safe и синхронизацией с помощью Lock🤔
Наша задача — заставить разные процессы и потоки обращаться к базе данных (или любым другим ресурсам) последовательно. Чтобы не случилось так называемого race condition, то есть состояние гонки. Это когда разные потоки или процессы пытаются одновременно что-то сделать с одним и тем же ресурсом.
В этом случае нам нужна какая-то логика ограничения. Пока один процесс не завершил своё действие, другие не могут получить доступ к ресурсу.
Так вот, thread-safe и process-safe означает что отдельно взятые операции записи в БД гарантированно будут последовательны. Запросы из разных процессов или потоков выстроятся в очередь и не будут мешать друг другу. Лучше всего когда этот блок реализован на уровне БД в виде атомарных операций или ещё как-то.
Но зачем нам тогда еще дополнительный Lock?
Этот способ синхронизации используется когда процесс никак не укладывается в одно действие и должен сделать множество операций прежде чем дать доступ следующему. В этом случае процесс ставит некий глобальный Lock на ресурс и никто другой, даже получив законное право на доступ, не может ничего сделать. Все ждут пока этот Lock не будет снят.
Это решается на уровне приложения и правильность реализации полностью в вашей ответственности. Например, если забыли разблокировать или сделали перекрёстный Lock (Deadlock как на картинке), то всё зависнет в бесконечном ожидании.
#basic
#Italia🇮🇹
#Comunali
#Matera
❗️Roberto #Cifarelli (#PD|S&D; #Azione|RE; #PiùEu|RE; #IV|RE; #PSI|S&D; #Volt|G/EFA; civiche) e Antonio #Nicoletti (#FdI|ECR; #FI|PPE; #LSP|PfE; #UdC|PPE; civiche) si sfideranno al ballottaggio, che si terrà domenica 8 e lunedì 9 giugno 2025.
@TuttoElezioni
#Italia🇮🇹
#Comunali
#Matera
A Matera, unico Comune superiore al voto in Basilicata, sono 5 in candidati.
Per il centrodestra, il candidato è Antonio #Nicoletti, sostenuto da Fratelli d'Italia (#FdI|ECR), Forza Italia (#FI|PPE), Lega (#LSP|PfE), Unione di Centro (#UdC|PPE), Io Sud e altre liste civiche.
Il campo del centrosinistra invece si presenta diviso:
- Domenico #Bennardi è il candidato del Movimento 5 Stelle (#M5S|LEFT), eletto nel 2020 e dimessosi nel 2024;
- Roberto #Cifarelli è sostenuto dal Partito Democratico (#PD|S&D; sebbene il simbolo del partito non sia presente), #Azione|RE, +Europa (#PiùEu|RE), Italia Viva (#IV|RE; simbolo non presente), Partito Socialista Italiano (#PSI|S&D), #Volt|G/EFA e da liste civiche.
Gli altri due candidati sono Luca #Prisco (liste civiche) e Vincenzo #Santochirico (sostenuto da #EV|G/EFA).
@TuttoElezioni