albtam
albtam
From https://github.com/eclipse-iceoryx/iceoryx/pull/2178#issuecomment-1929662893 @elBoberido: > I could make your example pass miri by making both compare and swap loops use either compare_exchange or compare_exchange_weak. > But when increasing the number of...
> @albtam just to be sure that you are not waiting on feedback. I'll wait until the CI (at least the github actions) are green. @elBoberido Back to you
@elBoberido Thanks. I addressed most of your comments. There are still some points to clarify
I pushed some of your proposals. There is still something unclear. Lock-free is hard :P
@elBoberido I implemented your last recommendations.
@elBoberido Sorry for the delay. I ran the stress tests (on x64 CPU). This test failed SpscSofiStress.SimultaneouslyPushAndPopOnEmptySoFi (both on master and my branch). I don't have an aarch64 CPU, would...
@elBoberido Thanks > I've run main and your branch and didn't encounter an error. I reran them and everything's fine. I fixed the conflicts. Back to you