lock-free – BugsFixing

June 10, 2022 multithreading

[SOLVED] The definition of lock-free

Issue There are three different types of "lock-free" algorithms. The definitions given in Concurrency in Action are: Obstruction-Free: If all other threads are paused, then any given thread will complete its operation in a bounded number of steps. Lock-Free: If

June 10, 2022 algorithm

[SOLVED] Lock-free Progress Guarantees in a circular buffer queue

Issue Anecdotally, I’ve found that a lot of programmers mistakenly believe that “lock-free” simply means “concurrent programming without mutexes”. Usually, there’s also a correlated misunderstanding that the purpose of writing lock-free code is for better concurrent performance. Of course, the

April 6, 2022 multithreading

[SOLVED] Truly Lock-free MPMC Ring Buffer? Threads able to assist each other to avoid blocking?

Issue This question is inspired by Lock-free Progress Guarantees. The code shown is not strictly lock-free. Whenever a writer thread is suspended when the queue is not empty or not full, the reader threads returned false, preventing the whole data

April 4, 2022 multithreading

[SOLVED] Is a memory barrier required to read a value that is atomically modified?

Issue Given the following: class Foo { public: void Increment() { _InterlockedIncrement(&m_value); // OSIncrementAtomic } long GetValue() { return m_value; } private: long m_value; }; Is a memory barrier required for the read of m_value? My understanding is that _InterlockedIncrement

April 2, 2022 multithreading

[SOLVED] Are memory orders for each atomic correct in this lock-free SPSC ring buffer queue?

Issue I have a ring buffer that looks like: template<class T> class RingBuffer { public: bool Publish(); bool Consume(T& value); bool IsEmpty(std::size_t head, std::size_t tail); bool IsFull(std::size_t head, std::size_t tail); private: std::size_t Next(std::size_t slot); std::vector<T> buffer_; std::atomic<std::size_t> tail_{0}; std::atomic<std::size_t> head_{0};

April 1, 2022 multithreading

Tag: lock-free

[SOLVED] The definition of lock-free

[SOLVED] Lock-free Progress Guarantees in a circular buffer queue

[SOLVED] Truly Lock-free MPMC Ring Buffer? Threads able to assist each other to avoid blocking?

[SOLVED] Is a memory barrier required to read a value that is atomically modified?

[SOLVED] Are memory orders for each atomic correct in this lock-free SPSC ring buffer queue?

[SOLVED] In what circumstances lock free data structures are faster than lock based ones?

[SOLVED] CPU Registers and Cache Coherence

[SOLVED] Synchronization with "versioning" in c++