Progressive Locks: fast, upgradable read/write locks

This looks quite interesting.

I was looking into implementing something like that (though only R>W) for a caching backend to improve throughput.

I wonder whether it could be made to work with futexes in the blocking case.

I wonder how these locks work with C11 memory model.