mutexes in order to load/store instructions added