Hardware lock elision for better performance

[4lDO2]

Ideally, the raw mutex type should use the XACQUIRE/XRELEASE instruction prefixes to improve performance. This would require inline assembly, so a nightly feature would be necessary, until the asm macro is stabilized.