Возможно, стоит пояснить разницу между синхронизацией из thread/process-safe и синхронизацией с помощью Lock🤔
Наша задача — заставить разные процессы и потоки обращаться к базе данных (или любым другим ресурсам) последовательно. Чтобы не случилось так называемого race condition, то есть состояние гонки. Это когда разные потоки или процессы пытаются одновременно что-то сделать с одним и тем же ресурсом.
В этом случае нам нужна какая-то логика ограничения. Пока один процесс не завершил своё действие, другие не могут получить доступ к ресурсу.
Так вот, thread-safe и process-safe означает что отдельно взятые операции записи в БД гарантированно будут последовательны. Запросы из разных процессов или потоков выстроятся в очередь и не будут мешать друг другу. Лучше всего когда этот блок реализован на уровне БД в виде атомарных операций или ещё как-то.
Но зачем нам тогда еще дополнительный Lock?
Этот способ синхронизации используется когда процесс никак не укладывается в одно действие и должен сделать множество операций прежде чем дать доступ следующему. В этом случае процесс ставит некий глобальный Lock на ресурс и никто другой, даже получив законное право на доступ, не может ничего сделать. Все ждут пока этот Lock не будет снят.
Это решается на уровне приложения и правильность реализации полностью в вашей ответственности. Например, если забыли разблокировать или сделали перекрёстный Lock (Deadlock как на картинке), то всё зависнет в бесконечном ожидании.
#basic
#elixir#elixir#language_server_protocol#lsp
Expert is the official language server for Elixir, helping your code editor understand and work with Elixir code better. You can easily install it by downloading the right version for your system or build it from source if you prefer. Expert supports the latest features through nightly builds and integrates smoothly with your editor, improving coding with features like error checking and code completion. Using Expert makes writing Elixir code faster and less error-prone, boosting your productivity and coding experience. It is open source under Apache License 2.0 and supported by sponsors, ensuring ongoing development and support.
https://github.com/elixir-lang/expert
#elixir#debug_adapter_protocol#elixir#language_server#language_server_protocol#lsp
ElixirLS is a tool that helps you write and debug Elixir code more easily by providing features like code completion, go-to-definition, inline error reporting, and a powerful debugger that supports breakpoints and step-through debugging. It works with many editors and IDEs through standard protocols, making it flexible to use. It also integrates Dialyzer for static code analysis to catch bugs early and offers a server that helps AI tools understand your code better. Using ElixirLS speeds up development, improves code quality, and makes debugging simpler and more efficient. It supports recent Elixir and OTP versions and can be customized for your project needs.
https://github.com/elixir-lsp/elixir-ls
#Italia🇮🇹
#Regionali
#Puglia
Risultati finali. Seggi.
Sezioni scrutinate: 4.032/4.032 (100%).
Partito Democratico - Candidato Presidente Decaro (#PD|S&D): 14
Decaro Presidente: 7
Per la Puglia Decaro Presidente: 4
Movimento 5 Stelle (#M5S|LEFT): 4
🟧Totale liste di centro-sinistra: 29¹
Fratelli d'Italia - Giorgia Meloni (#FdI|ECR): 11
Forza Italia - Berlusconi - PPE - Lobuono Presidente (#FI|PPE): 5
Lega Puglia (#LSP|PfE): 4
Indipendente di centro-destra: 1
🟦Totale liste di centro-destra: 21
¹ Cui si aggiunge il Presidente eletto Antonio #Decaro (PD)
@TuttoElezioni
#Italia🇮🇹
#Regionali
#Puglia
Risultati parziali.Liste.
Sezioni scrutinate: 3.361/4.032 (83,36%).
Partito Democratico - Candidato Presidente Decaro (#PD|S&D): 25,69%
Decaro Presidente: 12,77%
Per la Puglia Decaro Presidente: 8,75%
Movimento 5 Stelle (#M5S|LEFT): 7,39%
Avanti popolari con Decaro candidato Presidente: 4,20%
Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT): 4,16%
🟧 Totale liste di centro-sinistra: 62,97%
Fratelli d'Italia - Giorgia Meloni (#FdI|ECR): 18,55%
Forza Italia - Berlusconi - PPE - Lobuono Presidente (#FI|PPE): 8,99%
Lega Puglia (#LSP|PfE): 7,94%
Noi moderati - Civici per Lobuono (#NM|PPE): 0,83%
La Puglia con noi: 0,08%
🟦 Totale liste di centro-destra: 36,40%
@TuttoElezioni
#Italia🇮🇹
#Regionali
#Campania
Risultati finali. Seggi.
Sezioni scrutinate: 5.825/5.825 (100%).
Partito Democratico (#PD|S&D): 10
Movimento 5 Stelle 2050 (#M5S|LEFT): 5
A testa alta: 4
Avanti Campania: 3
Casa riformista per la Campania: 3
Roberto Fico Presidente: 3
Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT): 2
Mastella Noi di Centro Noi Sud: 2
🟧 Totale liste di centro-sinistra: 32¹
Giorgia meloni per Cirielli - Fratelli d'Italia (#FdI|ECR): 7
PPE Forza Italia Berlusconi (#FI|PPE): 6
Lega - Cirielli Presidente (#LSP|PfE): 3
Cirielli Presidente per la Campania - Moderati e riformisti: 2
🟦 Totale liste di centro-destra: 18
¹ Cui si aggiunge il Presidente eletto Roberto #Fico (M5S)
@TuttoElezioni
#Italia🇮🇹
#Regionali
#Campania
Risultati parziali.Liste.
Sezioni scrutinate: 3.640/5.825 (62,49%).
Partito Democratico (#PD|S&D): 18,90%
Movimento 5 Stelle 2050 (#M5S|LEFT): 9,37%
A testa alta: 7,73%
Casa riformista per la Campania: 6,16%
Roberto Fico Presidente: 5,50%
Avanti Campania: 5,24%
Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT): 4,64%
Mastella Noi di Centro Noi Sud: 3,89%
🟧Totale liste di centro-sinistra: 61,41%
Giorgia meloni per Cirielli - Fratelli d'Italia (#FdI|ECR): 11,75%
PPE Forza Italia Berlusconi (#FI|PPE): 10,84%
Lega - Cirielli Presidente (#LSP|PfE): 5,37%
Cirielli Presidente per la Campania - Moderati e riformisti: 4,57%
Noi moderati - Cirielli Presidente (#NM|PPE): 1,18%
Cirielli Presidente Unione di Centro Democrazia Cristiana (#UDC|PPE): 0,51%
Democrazia Cristiana con Rotondi - Centro per la libertà: 0,45%
Pensionati consumatori - Cirielli Presidente: 0,20%
🟦Totale liste di centro-destra: 34,87%
🟥 Campania popolare - Giuliano Granato Presidente: 2,15%
@TuttoElezioni
#Italia🇮🇹
#Regionali
#Marche
Risultati preliminari. Liste.
Sezioni scrutinate: 1.572/1.572 (100%).
🟦 Fratelli d'Italia (#FdI|ECR): 27,41%
🟦 Forza Italia (#FI|PPE): 8,60%
🟩 Lega (#LSP|PfE): 7,37%
⬜️ I Marchigiani: 4,25%
⬜️ Civici Marche: 2,59%
⬜️ Liste civiche-Unione di Centro (#UdC|PPE): 1,91%
🟦 Noi Moderati (#NM|PPE): 1,64%
Totale liste centro-destra: 53,77%
🟧 Partito Democratico (#PD|S&D): 22,50%
⬜️ Matteo Ricci Presidente: 7,34%
🟨 Movimento 5 Stelle (#M5S|LEFT): 5,08%
🟥 Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT): 4,15%
⬜️ Progetto Marche: 1,92%
⬜️ Avanti con Ricci: 1,43%
⬜️ Pace Salute Lavoro: 1,13%
Totale liste centro-sinistra: 43,55%
Altri: 2,68%
@TuttoElezioni
#Italia🇮🇹
#Regionali
#Marche
Risultati preliminari.Liste.
Sezioni scrutinate: 1.413/1.572 (89,88%).
🟦 Fratelli d'Italia (#FdI|ECR): 27,54%
🟦 Forza Italia (#FI|PPE): 8,60%
🟩 Lega (#LSP|PfE): 7,35%
⬜️ I Marchigiani: 4,27%
⬜️ Civici Marche: 2,62%
⬜️ Liste civiche-Unione di Centro (#UdC|PPE): 1,92%
🟦 Noi Moderati (#NM|PPE): 1,60%
Totale liste centro-destra: 53,90%
🟧 Partito Democratico (#PD|S&D): 22,54%
⬜️ Matteo Ricci Presidente: 7,20%
🟨 Movimento 5 Stelle (#M5S|LEFT): 5,12%
🟥 Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT): 4,10%
⬜️ Progetto Marche: 1,90%
⬜️ Avanti con Ricci: 1,44%
⬜️ Pace Salute Lavoro: 1,12%
Totale liste centro-sinistra: 43,42%
Altri: 2,68%
@TuttoElezioni
#Italia🇮🇹
#Regionali
#Veneto
Risultati finali. Seggi.
Sezioni scrutinate: 4.729/4.729 (100%).
Lega - Liga Veneta Stefani Presidente (#LSP|PfE): 19
Fratelli d'Italia - Giorgia Meloni (#FdI|ECR): 9
Forza Italia Berlusconi Autonomia per il Veneto (#FI|PPE): 3
Liga Veneta Repubblica V.A.: 1
Unione di Centro (#UdC|PPE): 1
🟦 Totale liste di centro-destra: 33¹
Partito Democratico - Manildo Presidente (#PD|S&D): 10
Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT): 2
Movimento 5 Stelle (#M5S|LEFT): 1
Uniti per Manildo Presidente: 1
Le civiche venete per Manildo Presidente: 1
🟧Totale liste di centro-sinistra: 15
⬛️ Szumski resistere Veneto: 2
¹ Cui si aggiunge il Presidente eletto Alberto #Stefani (LSP)
@TuttoElezioni
#rust#code_quality#ide#language#language_server#lsp#python#rust#type_check#type_checker#typecheck#typechecker#types#typing
Pyrefly is a fast tool for checking Python code. It helps catch mistakes before you run your code, making it easier to write reliable programs. Pyrefly can work with both new and old Python projects, even if they don't have type information. It integrates well with editors like VSCode, providing features like auto-completion and code refactoring. This makes coding faster and more efficient, helping you avoid bugs and making your code easier to understand and maintain.
https://github.com/facebook/pyrefly