Just curious, when developing a cross-platform application such as FF, would it make sense to implement an efficient lock within the FF codebase rather than relying on undocumented OS functions?
That doesn't mean that good locks don't need a good user-space component - they do - but it's only one side of the coin.