Managing Mutex Granularity

Balance between coarse-grained and fine-grained locks to optimize for both safety and parallelism.