changed one of the mutexes in Driver to an atomic type