Granularität der Locks

• jede Zustandsvariable sollte durch genau einen Lock bewacht werden (im Quelltext dokumentieren!)
• Synchronisation einzelner Variablenzugriffe ist oft zu wenig
• Synchronisation einer gesamten Methode ist oft zu teuer (verhindert mögliche Nebenläufigkeit)

Für jede Klassen-Invariante: alle Variablen, die in der Invariante benutzt werden, müssen durch einen gemeinsamen Lock geschützt werden.