test dekker's for mutex