Lock-free SPSC Triple Buffer Mailbox

Hello everyone, I’d like to share this lock-free single-producer single-consumer mailbox implementation I wrote. My use case is that I need to pass messages from a high real-time priority thread to a low non-real-time priority thread without any blocking of the high prio thread. I didn’t want a mutex because that would depend on the OS / std lib correctly implementing priority inheritance for mutexes, which std.Io.Threaded does not currently support. And in general, if I can rely on fewer featu...