Batched Critical Sections Protty Protty Sep 8, 2025 Critical sections don’t have to be scheduler-bottlenecked. 0 inbound links article en