search

mratsim / weave

A state-of-the-art multithreading runtime: message-passing based, fast, scalable, ultra-low overhead
Other
541 stars 21 forks source link

Improve reporting of linearizability issues in memory pool #143

Closed mratsim closed 4 years ago

mratsim commented 4 years ago

I suspect the MPSC queue is non linearizable and might lead to unexpected order in the mempool tests. Having the queue non-linearizable is OK but then the test shouldn't consider ordering. This highlights those cases (but still ensure that at the end all items enqueued arrive)