Articles Tagged “Concurrency”
4 articles tagged “Concurrency”, newest first.
-
How Ada and Rust Think About Safety — Comparing Types, Overflow, Ownership, Data Races, and Formal Verification by Running Them
Ada and Rust both put safety first, but they stop errors in different places. We compare value ranges, overflow, memory, data races, unchecked escapes, and f...
-
What's New in Ada 2022 — What Works in GNAT and the Parallel Syntax You Can't Write Yet
Declare expressions, delta aggregates, 'Image for all types, 'Reduce, Big_Integers and the Jorvik profile, run on GNAT 13.3 and 15.3. GNAT rejected parallel ...
-
Safe Concurrency with Ada — A Practical Guide to Tasks and Protected Objects
How Ada builds concurrency into the language: tasks, rendezvous (entry/accept), and protected objects, shown through eight compilable code examples.
-
Shared Memory Pitfalls and Practical Best Practices
The pitfalls of using shared memory in production, and a design that leaves fewer ways to go wrong across synchronization, visibility, lifetime, ABI, and per...