pico and shared mutex class helpers