Czy wywołanie metody zsynchronizowanej z innej metody synchronicznej jest bezpieczne?

Jeśli metoda synchroniczna wywołuje inną metodę zsynchronizowaną, czy jest bezpieczna wątkowo?

void synchronized method1() {
     method2()
}

void synchronized method2() {
}

Tak, kiedy oznaczysz metody jako synchronized, to naprawdę robisz to:

void method1() {
    synchronized (this) {
        method2()
    }
}

void method2() {
    synchronized (this) {
    }
}

Kiedy wywołanie wątku dostaje się do metody method2 z metody method1, wtedy upewnia się, że utrzymuje blokadę, do thisktórej już będzie, a następnie może przejść.

Gdy wątek przechodzi bezpośrednio do metody method1 lub method2, będzie blokować, dopóki nie będzie mógł uzyskać funkcji lock ( this), a następnie wejdzie.

Jak zauważył James Black w komentarzach, musisz być świadomy tego, co robisz w treści metody.

private final List<T> data = new ArrayList<T>();

public synchronized void method1() {
    for (T item : data) {
        // ..
    }
}

public void method3() {
    data.clear();
}

Nagle nie jest to bezpieczne wątkowo, ponieważ patrzysz na a ConcurrentModificationExceptionw przyszłości, ponieważ method3jest niezsynchronizowany, a zatem może zostać wywołany przez wątek A, gdy wątek B pracuje method1.

Jest metodą oznaczoną za pomocą zsynchronizowanego wywołania innego zsynchronizowanego wątku metody.

Ogólnie rzecz biorąc, nie można tego powiedzieć. Zależy to od tego, co robią metody i jakie są inne metody w tej samej i innych klasach.

Możemy jednak być pewni, że wywołania metody method1 i method2 na tym samym obiekcie przez różne wątki nie będą wykonywane jednocześnie. W zależności od tego, co robią metody, może to wystarczyć, aby stwierdzić, że klasa jest bezpieczna wątkowo w odniesieniu do tych metod.

Z witryny samouczków Java http://download.oracle.com/javase/tutorial/essential/concurrency/syncmeth.html

1. Nie ma możliwości przeplotu dwóch wywołań metod zsynchronizowanych na tym samym obiekcie. Gdy jeden wątek wykonuje zsynchronizowaną metodę dla obiektu, wszystkie inne wątki, które wywołują zsynchronizowane metody dla tego samego bloku obiektu (wstrzymują wykonywanie), dopóki pierwszy wątek nie zostanie zakończony z obiektem.

2. gdy metoda synchroniczna kończy działanie, automatycznie ustanawia relację zdarzenie przed każdym kolejnym wywołaniem metody synchronicznej dla tego samego obiektu. Gwarantuje to, że zmiany stanu obiektu są widoczne dla wszystkich wątków

Tak więc Java zapewni, że jeśli 2 wątki wykonują tę samą metodę, metody nie będą wykonywane jednocześnie, ale jedna po drugiej.

Ale musisz zdawać sobie sprawę z problemu Liveness, http://download.oracle.com/javase/tutorial/essential/concurrency/starvelive.html

A także, czy blokujesz bez powodzenia, ponieważ w kodzie, którego użyłeś tego , który blokuje cały obiekt, jeśli twój obiekt potrzebuje dostępu synchronizacyjnego tylko do jednej zmiennej, powinieneś po prostu zablokować tę zmienną.