Возможно, стоит пояснить разницу между синхронизацией из thread/process-safe и синхронизацией с помощью Lock🤔
Наша задача — заставить разные процессы и потоки обращаться к базе данных (или любым другим ресурсам) последовательно. Чтобы не случилось так называемого race condition, то есть состояние гонки. Это когда разные потоки или процессы пытаются одновременно что-то сделать с одним и тем же ресурсом.
В этом случае нам нужна какая-то логика ограничения. Пока один процесс не завершил своё действие, другие не могут получить доступ к ресурсу.
Так вот, thread-safe и process-safe означает что отдельно взятые операции записи в БД гарантированно будут последовательны. Запросы из разных процессов или потоков выстроятся в очередь и не будут мешать друг другу. Лучше всего когда этот блок реализован на уровне БД в виде атомарных операций или ещё как-то.
Но зачем нам тогда еще дополнительный Lock?
Этот способ синхронизации используется когда процесс никак не укладывается в одно действие и должен сделать множество операций прежде чем дать доступ следующему. В этом случае процесс ставит некий глобальный Lock на ресурс и никто другой, даже получив законное право на доступ, не может ничего сделать. Все ждут пока этот Lock не будет снят.
Это решается на уровне приложения и правильность реализации полностью в вашей ответственности. Например, если забыли разблокировать или сделали перекрёстный Lock (Deadlock как на картинке), то всё зависнет в бесконечном ожидании.
#basic
⏺Le PSG bat le Bayern (5-4) : liesse et tensions dans les rues de #Paris
La victoire du Paris Saint-Germain face au Bayern Munich (5-4) en demi-finale de Ligue des champions a été l’occasion de vives célébrations à Paris. Les scènes de liesse ont cependant rapidement dégénéré : des feux d’artifice et des fumigènes ont été tirés, la police est intervenue pour disperser la foule.
RT en français • Osez questionner !
🇫🇷#Paris : une veillée aux chandelles en hommage aux victimes de l'école de Minab exhorte le gouvernement à refuser tout soutien « logistique »
Des manifestants se sont rassemblés le 24 avril sur la place du Trocadéro à Paris pour rendre hommage aux victimes iraniennes et libanaises tuées lors des attaques américaines et israéliennes depuis le début de la guerre en février dernier.
RT en français • Osez questionner !
Guerre au Moyen-Orient
La France rend hommage à deux soldats morts au Liban, dont l’un à Montauban, tandis que #Paris envisage des sanctions contre des colons israéliens accusés de violences en Cisjordanie.
Le point avec Alexis Poulin, cofondateur du média « Le Monde Moderne ».
🔘 Le Point
⏺Crise sociale : la rue gronde à #Paris
À Paris, les manifestations reflètent une colère croissante. Dans l’agroalimentaire, des hausses de prix quasi nulles poussent les industriels à réclamer de nouvelles négociations face à la hausse des coûts. En parallèle, chez Stellantis, la suppression de près de 900 emplois à Poissy alimente la mobilisation.
Source : réseaux sociaux
RT en français • Osez questionner !
🇫🇷 Un millier de personnes pour commémorer les pertes soviétiques pendant la Seconde Guerre Mondiale
La Seconde guerre mondiale a été sanglante et meurtrière avec plus de 60 millions de morts, dont près de la moitié étaient soviétiques. À #Paris, une cérémonie en hommage aux disparus s’est déroulée avec près d’un millier de participants. Notre correspondante Nadège Abderrazak nous en dit plus.
RT en français • Osez questionner !
⚽️#Paris en finale
Le PSG s’est qualifié pour la finale de la Ligue des champions après un match nul 1-1 face au Bayern et une victoire 6-5 au score cumulé.
Auteur de cinq arrêts décisifs, Matveï Safonov devient le premier joueur russe à atteindre deux finales de Ligue des champions. Le dernier Russe à avoir disputé une finale de C1 était Dmitri Alenitchev, vainqueur avec Porto en 2004 sous les ordres de José Mourinho.
RT en français • Osez questionner !
⏺Le PSG bat le Bayern (5-4) : liesse et tensions dans les rues de #Paris
La victoire du Paris Saint-Germain face au Bayern Munich (5-4) en demi-finale de Ligue des champions a été l’occasion de vives célébrations à Paris. Les scènes de liesse ont cependant rapidement dégénéré : des feux d’artifice et des fumigènes ont été tirés, la police est intervenue pour disperser la foule.
RT en français • Osez questionner !
❗️5 000 personnes se sont réunies à #Paris le 2 mai en soutien au #Mali
Le pays a fait face à plusieurs attaques terroristes la semaine dernière. Reportage au cœur du cortège avec notre correspondante, Nadège Abderrazak.
RT en français • Osez questionner !