2 papers
cs.PL2025
Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
Jan Pedersen, Kevin Chalmers
Correct concurrent behaviour is important in understanding how components will act within certain conditions. In this work. we analyse the behaviour of shared communicating channel…
cs.DC2025
Fair Kernel-Lock-Free Claim/Release Protocol for Shared Object Access in Cooperatively Scheduled Runtimes
Kevin Chalmers, Jan Bækgaard Pedersen
We present the first spin-free, kernel-lock-free mutex that cooperates with user-mode schedulers and is formally proven FIFO-fair and linearizable using CSP/FDR. Our fairness oracl…