🔀 Concurrency - sobeston · Scour

I Thought I Understood Threads. Then I Read Atomics and Locks. 🔓Lock-free

mara.nl·21h·DEV

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software 🔄Differential Dataflow

arxiv.org·3d

Rust Gamedev Techniques — Memory, Concurrency & Abstraction 🚧Compiler Fences

slicker.me·2d·r/rust_gamedev

Understanding std.Io - Proposal for a high-performance implementation 🔄io_uring

ziggit.dev·18h

Is using Channels always the best way to handle concurrency in Go? What else does Golang offer? (WaitGroups, Mutexes, and more) 🔒MCS Lock

youtu.be·1d·r/golang

The Data Race Hiding Behind "Correct" Atomics 🧩tcmalloc

trippw.com·4d·r/programming

Surelock - statically prevent deadlocks 🔓Lock-free

notes.brooklynzelenka.com·3d·Lobsters, Hacker News, r/rust

Investigating Split Locks on x86-64 🔒Futex

chipsandcheese.com·3d·Hacker News

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications 🔄Eventual Consistency

arxiv.org·2d

Handling Race Conditions in Multi-Agent Orchestration 🔄Eventual Consistency

machinelearningmastery.com·3d

Surelock: Deadlock-Free Locks for Rust 🔓Lock-free

docs.rs·3d·Hacker News

Determinacy with Priorities up to Clocks 🔄Eventual Consistency

arxiv.org·2d

Scheduling Coflows in Multi-Core OCS Networks with Performance Guarantee 🔀Receive Side Scaling

arxiv.org·1d

GTaP: A GPU-Resident Fork-Join Task-Parallel Runtime with a Pragma-Based Interface 🎮GPU Scheduling

arxiv.org·3d

Perils of Parallelism: Transaction Fee Mechanisms under Execution Uncertainty 🔒Transaction Isolation

arxiv.org·4d

An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor 🚧Compiler Fences

arxiv.org·3d

Communication Requirements for Linearizable Registers 🔓Lock-Free Structures

arxiv.org·3d

Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL 🤝Paxos Consensus

arxiv.org·4d

PHAROS: Pipelined Heterogeneous Accelerators for Real-time Safety-critical Systems With Deadline Compliance 📐Data-Oriented Design

arxiv.org·3d

3D-Stacked NMP, LLM Decoding, Systolic Array Microarchitecture, Multi-Core Scheduling 📐Data-Oriented Design

arxiv.org·4d