SMRProxy POC

[Joseph Seigh]

The POC code is  here smrproxy .   No plans to do any more work for the time being.

I was going to do a write up on this but it became too much of a hassle.  I spent more time trying to document it than I did writing the code in the first place.

There's a very brief treatment on a formal proof of correctness here.  If I ever attempt this again, I will just draw the diagrams by hand and upload pictures of them to imbed in a document.   Minutes vs many many hours trying to get drawing apps to create what should be a simple diagram.

Joe Seigh

[Chris M. Thomasson]

I need to keep up with this group! GRRRR! Too busy lately.

[Joseph Seigh]

There's like 1 or 2 posts a year!  Things are so slow I'm messing with a lock-free MPMC queue implementation out of sheer boredom.

Joe Seigh

[Joseph Seigh]

On Wednesday, August 28, 2024 at 1:10:52 PM UTC-4 Joseph Seigh wrote:

There's like 1 or 2 posts a year!  Things are so slow I'm messing with a lock-free MPMC queue implementation out of sheer boredom.

 Part of it was I was trying to see what the state of the art was and it was hard to find any implementations that were

actually lock-free,  didn't have ABA issues, or weren't buggy in general.   Apparently, io_uring is in the naughty list as well.

Anyway, quicker to do it on my own from scratch and to follow  up on another of my decades old ideas.

Joe Seigh

[Joseph Seigh]

And done with that.