A reviewer discusses their experience reading Paul E. McKenney's free online textbook on parallel programming, covering their professional background in TLA+ and distributed systems, how a conference conversation sparked interest in lock-free concurrency, and practical notes on the textbook's multiple PDF formats and extensive internal linking.
A researcher explores compositional theory for self-stabilizing systems by adapting parametric assume-guarantee contracts from control theory. Using a retry storm model, they reframe conditional contracts into parameterized families covering all system states, moving beyond layered approaches while acknowledging limitations in expressing memory-dependent components like queues.