[boost] 'shared mutual exclusion'