mutex counters added