In this post, we will show that a generic distributed critical section can't satisfy both safety and liveness properties with even a single faulty client process. System Model We assume a non-real-time system with no bound on process time or network delay. In the system, there exists a lock service…
Sequential lock is a common technique used to protect data that's frequently read and rarely updated. Writers are required to take exclusive lock to mutate the data. Reads are effectively lock free and optimistic. The data protected by a SeqLock usually needs to be trivially_copy_constructible [https://en.cppreference.…
The basic concept of a read-write lock is simple. It allows multiple readers to access the resource simultaneously, but at most one thread can have exclusive ownership of the lock (a.k.a write lock). It's supposed to be an optimization, comparing to simple mutex (e.g. std::mutex). As…