Template:cpp/thread/dsc shared timed mutex