#concurrency — Public Fediverse posts

Carmen Andoh - Communicating Sequential Processes [PWL NYC] (2018)

https://www.youtube.com/watch?v=av3dYv0UM_s

#csp #concurrency #qcon

An #interview with Russ Cox, mostly about the #Go programming language:

“People of ACM - Russ Cox”, ACM (https://www.acm.org/articles/people-of-acm/2026/russ-cox).

#GoLang #Google #ProgrammingLanguages #Concurrency #MultiCore #Programming

Как мы заменили 30-минутный polling на IMAP IDLE и построили маленькую распределённую систему

Когда-то наш почтовый загрузчик был обычным методом с @Scheduled . Раз в 30 минут он подключался к ящикам, искал новые вложения и запускал их обработку. Решение было простым, понятным и долгое время вполне рабочим. Через несколько итераций вокруг того же загрузчика уже существовали IMAP IDLE listener'ы, PostgreSQL leases, heartbeat экземпляров приложения, перебалансировка почтовых ящиков между pod'ами, UID checkpoints, постоянная идемпотентность и отдельная обработка FolderClosedException . В какой-то момент мы даже попробовали держать несколько IMAP-соединений к одному ящику, но затем сознательно удалили эту часть архитектуры. Это история не о том, как мы «заменили polling на push» одной настройкой. Она о том, как безобидный интеграционный адаптер постепенно превратился в маленькую распределённую систему. И о границе параллелизма, которую мы сначала провели не там. Получить письмо

https://habr.com/ru/articles/1065768/

#Java #Spring_Boot #IMAP_IDLE #distributed_systems #PostgreSQL_leases #idempotency #backpressure #virtual_threads #concurrency #atleastonce_delivery

I've written a piece on #serene concurrency model and how I implemented it in the runtime library. Which, btw, you can use as a library in any program. You might find it useful:

https://lxsameer.com/essays/concurrency-in-serene-1/

#concurrency #fibers #compiler #programming

"Computer-aided Concurrent Programming" by Roopsha Samanta [PWLConf 2018] (2018)

https://www.youtube.com/watch?v=_gvTS_XdcPA

#pwlconf #concurrency #programsynthesis

Handling Concurrency on the Web With Web Locks API, by (not on Mastodon or Bluesky):

https://archive.ph/mgo2k?ref=frontenddogma.com

#concurrency #apis #react

TFW you find and fix the rare-but-obvious race condition and the relevant unit test now runs 50x slower. #software #concurrency

Concurrency, interactivity, mutability, choose two

https://www.n16f.net/blog/concurrency-interactivity-mutability-choose-two/

Comments: https://news.ycombinator.com/item?id=49065874

#HackerNews #Concurrency #interactivity #mutability #programming #blog

SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers

https://micrologics.org/blog/sqlite-in-production-optimizing-wal-mode-concurrency-and-vfs-layers-for-low-latency-app-servers

Comments: https://news.ycombinator.com/item?id=49094346

#HackerNews #SQLite #WAL #Mode #Concurrency #VFS #Performance #Optimization

Postgres LISTEN/NOTIFY actually scales

https://www.dbos.dev/blog/postgres-listen-notify-scalability

Comments: https://news.ycombinator.com/item?id=49040296

#HackerNews #Postgres #LISTEN #NOTIFY #scalability #database #performance #concurrency

Learn everything you need to know about Concurrency via these 62 free HackerNoon blog posts. https://hackernoon.com/62-blog-posts-to-learn-about-concurrency #concurrency

Flipping the switch to Strict Concurrency in Swift 6 turns our test suites into a sea of warnings. The fix is simpler than it looks: mark the test class as @MainActor and switch to the async throws versions of setUp and tearDown.

🔗: https://qualitycoding.org/xctest-mainactor/ by Jon Reid (@qcoding)

#iOSDev #Concurrency #Testing

The Tokio/Rayon Trap and Why Async/Await Fails Concurrency

https://pmbanugo.me/blog/why-async-await-complect-concurrency

Comments: https://news.ycombinator.com/item?id=48929587

#HackerNews #Tokio #Rayon #AsyncAwait #Concurrency #Programming

Preemption is GC for memory reordering (2019)

https://pvk.ca/Blog/2019/01/09/preemption-is-gc-for-memory-reordering/

Comments: https://news.ycombinator.com/item?id=48831814

#HackerNews #Preemption #GC #memoryreordering #programming #concurrency #2019

Runloom – Go-style coroutines for Python free-threaded

https://github.com/robertsdotpm/runloom

Comments: https://news.ycombinator.com/item?id=48859387

#HackerNews #Runloom #Go-style #coroutines #Python #free-threaded #GitHub #PythonProgramming #AsyncPython #Concurrency

Conquering a Billion Rows with Modern Java Concurrency

#concurrency #conference #java #jcon #jdk #talk

https://www.youtube.com/watch?v=D6g4MLKJsLU

The OpenMP Architecture Review Board has released Technical Report 15 — the Public Comment Draft of OpenMP API v6.1, expected to be finalized shortly before SC26 in November.

Highlights include multidimensional execution spaces, support for dynamic-lifetime data, new loop transformations, expanded thread-affinity controls, and improved device selection.

TR15 is the final preview before the official 6.1 release

https://www.openmp.org/home-news/public-comment-draft-6-1/
#OpenMP #HPC #ParallelProgramming #SC26 #concurrency

Ever wondered why your actor state felt unstable during an 𝑎𝑤𝑎𝑖𝑡? This deep dive into actor isolation explains the reentrancy trap - where the world changes under your feet. Essential reading for anyone using Swift concurrency.

🔗: https://www.swiftdifferently.com/blog/swift/concurrency/how-actors-work by Omar Elsayed

#Swift #Concurrency #Actors

While I really don't have much love for the Mistral products due to being way behind even cheap open weights Chinese models such as the Qwens, DeepSeeks etc of this world, this is an interesting (possibly new) approach:

https://www.heise.de/news/Leanstral-1-5-Mistrals-KI-Modell-fuer-formale-Beweise-ist-Open-Source-11355236.html / https://www.heise.de/en/news/Leanstral-1-5-Mistral-s-AI-model-for-formal-proofs-is-open-source-11355532.html

With the money quote being:
"In addition to mathematical proofs, Mistral demonstrates a pipeline for automatic bug detection in Rust projects. The tool Aeneas translates Rust code to Lean, after which Leanstral derives correctness properties and attempts to prove or disprove them. "

This goes past the very elaborated statistical parrots that LLMs are and goes into the formal verification territory.

As much as I understand this, this is closer to a model checking approach than what we had before and would in theory thus even allow to check for concurrency issues like race conditions etc reliably.

The hard part there of course was to provide the provably correct bridge between the code to be tested and an efficient model checker representation of the same code. Asking the model checker smart "questions" is another part as is translating findings back to the original code.
Since the LLMs guzzle up RAM and CPU already, the consumption of the model checkers / theorem provers isn't an issue anymore (as long as the model they're being fed is efficient...)

Lets see how well the LLMs do on this work.

I'm sure there are already US or Chinese models that do this or will replicate it in a months time.
I think I read about Meta experimenting on this as well.

Did I get the announcement right? Has anyone had their hands on said model+prover combo already? Is anyone aware of Chinese/US equivalent contraptions?
Any updates @heiseonline @heisedeveloper can provide on those questions in the article, especially on competitors?

#llm #ai #formalverification #modelchecker #modelchecking #concurrency #correctness #meta #mistralai #aeneas #leanstral

Как сломать Swift Concurrency

Нужно выполнять асинхронные операции, поддерживать многозадачность в приложении? Async/await к вашим услугам - просто и приятно. Кооперативный пул эффективно переключает потоки между задачами, а компилятор проверяет типы на потокобезопасность. И даже можно подсоединять старые части кода, написанные ещё на GCD! Вот только приложение на проде почему-то начало виснуть…

https://habr.com/ru/articles/1055810/

#swift #concurrency #async #await #gcd #task #ios #deadlock #threads

osdev-libstdc: реализация std::atomic и spin_lock

Приветствую! В моей библиотеке ядра уже есть аллокатор , семейство vsnprintf , ctype, string.h, strings.h. Остались только атомики и спинлок, и тогда можно будет доделать семейство malloc в блокировками как того требует стандарт.

https://habr.com/ru/articles/1051320/

#atomic #atomicity #atomics #gcc #builtins #concurrency #multithreading