Interim step with mutexes until switching to pure message passing