Python 3.12.10 | Windows-11-10.0.26200-SP0 | cpus 24
procs=5 files=60 rounds-per-cell=10
demo (Windows only):
  1. rename while another handle holds an ordinary open(): PermissionError, WinError 32
  2. a handle opened before the rename with delete sharing: rename succeeded, and the handle now reports the new name: e.txt

timing   rule    rounds |   once  twice nobody | failed verify-opens: not-found denied other | rounds with a double claim
barrier  plain       10 |      0    600      0 |                        0       0     0 | 10
barrier  verify      10 |    592      0      8 |                     2319      61     0 | 0
barrier  retry       10 |    600      0      0 |                     2361       0     0 | 0
free     plain       10 |    216    384      0 |                        0       0     0 | 10
free     verify      10 |    599      0      1 |                      816      85     0 | 0
free     retry       10 |    600      0      0 |                      761       0     0 | 0
rounds that did not end cleanly: 0