Welke andere methoden bestaan er om een map te beschermen tegen gelijktijdige toegang, naast de mutex?