Matthew Dillon, while looking at a locking problem on chlamydia.fs.ei.tum.de, happened to explain a bit about SPECFS and the trouble it causes.