Answer by Nate Eldredge for Race condition in Morris's algorithm
I believe you have hit GCC bug 104928, a race condition in the libstdc++ implementation of std::counting_semaphore::acquire(). Congratulations, this is one of those rare occasions when it isn't your...
View ArticleRace condition in Morris's algorithm
I implemented Morris's algorithm for a no-starve mutex from the Little Book of Semaphores (page 85) almost verbatim. About half the time, it terminates correctly, and the other half it freezes up...
View Article
More Pages to Explore .....