Mutex for map access on Linux