UCQs use spin-pdr instead of mcs-pdr locks
[akaros.git] / Documentation / best-prectices.txt