I believe your analysis is incorrect. `pInfo->nBackfill` is part of a shared-memory segment that is visible to multiple processes. Access to that shared-memory segment is serialized using file locks, not mutexes. Perhaps your tool only looks at mutexes and fails to properly account for the affect of file locks.