const MAX_MUTEX_ACCESS_DURATION_MILLIS: u64 = 10;
allow max. 10 milliseconds for mutex to be blocked by any other thread