Java: Was ist, wenn überhaupt, durch synchronisierte Methoden gesperrt, abgesehen von dem Objekt, zu dem sie gehören?

Question

Jetzt bin ich mir nicht sicher, ob das eine dumme Frage ist, bitte ertragen Sie mit mir, wenn es ist.

Ist die Sperre für ein Objekt "rekursiv", d. e. Wenn zwei Objekte Referenzen auf ein drittes Objekt in ihren Feldern haben und ein Thread eine synchronisierte Methode auf einer der beiden ausführt, kann ein anderer Thread auf das dritte Objekt zugreifen?

// a and b are some objects that implement Runnable 
// they both reference the same third object 
a.ref = c; 
b.ref = c; 

// a is run in a thread and processes some data in a loop for a long time 
// the method the loop belongs to is declared synchronized 
threadA = new Thread(a); 
threadA.start(); 

a.someSyncedMethod(); // this would block ... 
b.ref.someOtherSyncedMethod(); // ... but would this? 
a.ref.someOtherSyncedMethod(); // ... and how about this? 

Answer 1

Es lohnt sich, die Konzepte von "a lock" und "locking a object" zu trennen. Es gibt keine wirkliche Vorstellung davon, ein Objekt zu "verriegeln" - es gibt "Erfassen (und Freigeben)" des mit verbundenen Schlosses eines Objekts. Ja, es klingt, als ob ich pingelig bin - aber die Unterscheidung ist wichtig, denn wenn man über ein Objekt spricht, das gesperrt ist, klingt es so, als ob keine anderen Threads irgendetwas im Objekt ändern können, während diese Sperre gehalten wird.

Stattdessen bedeutet es nur, dass kein anderer Thread in der Lage ist, das gleiche Schloss zu erhalten, während das Schloss gehalten wird. Es gibt keine direkte Beziehung zwischen der Sperre und einem beliebigen Inhalt des Objekts, mit dem die Sperre verknüpft ist.

Methoden, die als "synchronisiert" deklariert sind, erfassen die Sperre, die der Instanz des Objekts zugeordnet ist, zu dem sie gehören. Dies bewirkt nur, dass andere synchronisierte Methoden auf dasselbe Objekt warten und synchronisierte Anweisungen, die explizit darauf synchronisiert werden.

Persönlich mag ich keine synchronisierten Methoden - ich mache es gerne klarer, indem ich explizit eine (private, letzte) Mitgliedsvariable synchronisiere, die nur für die Synchronisation verwendet wird.

Answer 2

a.someSyncedMethod(); // this would block ... 

Nur wenn Sie entweder die run-Methode mit synchronisierten oder haben ThreadA Laufcode in synchronisierten Methoden markieren.

In der JVM besitzt jedes Objekt einen so genannten Monitor. Nur ein Thread kann den Monitor besitzen, der jeweils einem bestimmten Objekt zugeordnet ist. Synchronisiert ist das Mittel, mit dem Sie dem aktuellen Thread sagen, dass er den Monitor holen soll, bevor er fortfährt.

Auch die Klasse selbst besitzt einen Monitor für statische Methoden.

Answer 3

Die Bedeutung eines "Lock" (eigentlich ist diese Variante ein Monitor) ist eine Konvention, keine Zugriffsbeschränkungen werden erzwungen.

Die Funktionsweise beruht darauf, dass alle Objekte sich gut verhalten und vor dem Zugriff auf die Daten die entsprechende Sperre erhalten. Nur durch Kapselung dieses gewünschten Verhaltens innerhalb einer Klasse mit geeigneten Zugriffskontrollen können Sie es für die Client-Objekte erzwingen.