Archived tweet #11925 from the @leastfixedpoint Twitter Archive

@PjdPeter Cool. It'd be poor form to extend the critical section all the way around a loop like while (true) { enter(); something(); leave(); } though, so presumably they mandate at least a brief exit ahead of each entry? (I should probably just look at the paper eh :) )