Frightening small children and disconcerting grown-ups:Linux kernel Concurrency [pdf]diy.inria.fr2 pointsmfrw8 years ago