Возможно, стоит пояснить разницу между синхронизацией из thread/process-safe и синхронизацией с помощью Lock🤔
Наша задача — заставить разные процессы и потоки обращаться к базе данных (или любым другим ресурсам) последовательно. Чтобы не случилось так называемого race condition, то есть состояние гонки. Это когда разные потоки или процессы пытаются одновременно что-то сделать с одним и тем же ресурсом.
В этом случае нам нужна какая-то логика ограничения. Пока один процесс не завершил своё действие, другие не могут получить доступ к ресурсу.
Так вот, thread-safe и process-safe означает что отдельно взятые операции записи в БД гарантированно будут последовательны. Запросы из разных процессов или потоков выстроятся в очередь и не будут мешать друг другу. Лучше всего когда этот блок реализован на уровне БД в виде атомарных операций или ещё как-то.
Но зачем нам тогда еще дополнительный Lock?
Этот способ синхронизации используется когда процесс никак не укладывается в одно действие и должен сделать множество операций прежде чем дать доступ следующему. В этом случае процесс ставит некий глобальный Lock на ресурс и никто другой, даже получив законное право на доступ, не может ничего сделать. Все ждут пока этот Lock не будет снят.
Это решается на уровне приложения и правильность реализации полностью в вашей ответственности. Например, если забыли разблокировать или сделали перекрёстный Lock (Deadlock как на картинке), то всё зависнет в бесконечном ожидании.
#basic
#Italia🇮🇹
#Comunali
#Ravenna
A Ravenna, unico Comune superiore al voto in Emilia-Romagna, i candidati sono 7.
Il centrosinistra si presenta unito con Alessandro #Barattoni, sostenuto da Partito Democratico (#PD|S&D), Movimento 5 Stelle (#M5S|LEFT), Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT), Partito Repubblicano Italiano (#PRI|Centro) e 2 civiche (una delle quali comprende #Azione|RE, #PiùEu|RE, #IV|RE e #PSI|S&D).
Diviso, invece, il centrodestra:
- Alvaro #Ancisi: Lega (#LSP|PfE), Popolo della Famiglia (#PdF|Destra cattolica) e una civica;
- Nicola #Grandi: Fratelli d'Italia (#FdI|ECR), Forza Italia (#FI|PPE) e una civica.
Marisa #Iannucci è sostenuta da Rifondazione Comunista (#PRC|LEFT), Potere al Popolo! (#PaP|Estrema sinistra), Partico Comunista Italiano (#PCI|Estrema sinistra) e una civica.
Presente anche una lista a nome "DC Democrazia Cristiana" a sostegno di Giovanni #Morgese.
I candidati civici sono:
- Miserocchi #Maurizio (1 lista);
- Veronica #Verlicchi (1 lista).
@TuttoElezioni