[eatonphil]

Good catch! That was a think-o. I've swapped it around so that semaphores are signalled after the fsync.

[sgeisenh]

Thanks for the quick response, and for the nice write up. I thoroughly enjoy the python-like pseudocode, it was the main reason I was able to pick that out reasonably quickly!