Malconcurrency: A Proposed New Term
https://synystron.substack.com/p/malconcurrency-a-proposed-new-term

new post on my blog. related to software engineering, programming and multi-threading

#concurrency
#raceconditions
#dataraces
#threading
#multithreading
#concurrentprogramming

Malconcurrency: A Proposed New Term

A proposal: I'd like to coin "malconcurrency" as a new, better term for what we previously referred to as a race condition, data race or thread race. Why? It avoids confusion by readers/listeners who might accidentally assume that "race" meant in the sense of a humam race, ethnicity or skin color. By using a distinct word we avoid that tar pit entirely. This concern seems increasingly important in an era where folks feel they need to be more careful in a professional or academic context lest they be accused of racism or discrimination.

Synystron Synlogica
Fixing Java Thread and Database Connection Leaks for Fun and Profit | Hacker News

Faial checks for absence of #dataraces in #CUDA kernels. New since our #CAV21 version is:
- a new frontend all written in OCaml (no more Python+Rust) we also have a new UI (sshot below)
- a new backend (invoke #Z3 as a library, as a process)
- support for partial inputs (eg, missing includes)

My intent to have a bit of a codebase written in Python was to attract students. Turns out interested students are excited to learn #OCaml.

Thread Safety in C++ and Rust

Lately I’ve been experimenting with Rust, and I want to report some of whatI’ve learned about thread-safety. I am an enthusiastic dabbler in Rust: Ispend mo...