Could this be done with the mutex only instead of a bool, mutex and a condition?
I pushed the test, and found a fix... we were in the teardown of the change_and_push unconditionally setting t.change_and_push_waiter to None -- I now use (physical!) equality of th ==…
I thought "why not unconditionally do change_and_push?" and the answer is we disallow nested change_and_push and this is how we check if we're inside a change_and_push.
I think some normalization would be very nice.
To my surprise the persistent storage tags works as is even though it has a space. I thought it would be more strict: https://blog.robur.coop/tag…
I added a comment in the code to clarify this. It may not be evident from the code that there must not be any yield point there.
An observation I made is we can drop the option from the…