Very tenuously related, but the idea of logging all nondeterministic effects for idempotence can also be used to make locks lock-free! https://arxiv.org/abs/22

Very tenuously related, but the idea of logging all nondeterministic effects for idempotence can also be used to make locks lock-free! https://arxiv.org/abs/2201.00813 https://arxiv.org/abs/2201.00813