Spin: Formal verification of multi-threaded code
(spinroot.com)
Spin is a widely used open-source software verification tool.
Spin is a widely used open-source software verification tool.
Multi-threading is always the wrong design (2023)
(medium.com)
Say what you want about Node.js. It sucks, a lot. But it was made with one very accurate observation: multithreading sucks even more.
Say what you want about Node.js. It sucks, a lot. But it was made with one very accurate observation: multithreading sucks even more.
Exploring Ruby Ractors – I paid for for 10 cores I'm gonna use 10 cores
(jpterry.com)
“I paid for 10 cores, I’m gonna use 10 cores!”
“I paid for 10 cores, I’m gonna use 10 cores!”
The case of the critical section that let multiple threads enter a block of code
(microsoft.com)
One of my colleagues in enterprise product support runs a weekly debug talk consisting of a walkthrough of a debug session.
One of my colleagues in enterprise product support runs a weekly debug talk consisting of a walkthrough of a debug session.
Tune for Performance: do more threads run faster?
(eclecticlight.co)
One of the most distinctive features about modern Macs is that they have multiple cores, in Apple silicon models a minimum of eight.
One of the most distinctive features about modern Macs is that they have multiple cores, in Apple silicon models a minimum of eight.
Rust's Sneaky Deadlock With `if let` Blocks
(bearblog.dev)
Rust is my favorite programming language. I've been writing Rust for about 6 years, from college to professionally, and I'm vocal about how helpful the compiler is in catching particularly nasty multithreaded issues and memory bugs. What the compiler doesn't always catch though is deadlocks, which can occur using several well known types like Mutex and RwLock.
Rust is my favorite programming language. I've been writing Rust for about 6 years, from college to professionally, and I'm vocal about how helpful the compiler is in catching particularly nasty multithreaded issues and memory bugs. What the compiler doesn't always catch though is deadlocks, which can occur using several well known types like Mutex and RwLock.
Show HN: Bringing multithreading to Python's async event loop
(github.com/NeilBotelho)
This is an attempt at building an asyncio compatible event loop that is multithreaded. I.e. you will finally be able to use asyncio and actually have it be multithreaded ! I've written a blog post explaining more about the why and how of this project.
This is an attempt at building an asyncio compatible event loop that is multithreaded. I.e. you will finally be able to use asyncio and actually have it be multithreaded ! I've written a blog post explaining more about the why and how of this project.