title: Should mutexes be mutable?
body: <p>Not sure if this is a style question, or something that has a hard rule...</p>
  
  <p>If I want to keep the public method interface as const as possible, but make the object thread safe, should I use mutable mutexes? In general, is this good style, or should a non-const method interface be preferred? Please justify your view.</p>