Синхронизирован «глубоко» в java?

Question

Допустим, у вас есть:

public class Foo { 
    public Bar b; 
} 
public class Bar { 
    public int x; 
    public int y; 
} 

И тогда вы звоните:

Foo f = new Foo(); 
.... 
synchronized(f) { 
    f.b.x = 3; 
    f.b.y = 5; //x and y must be adjacent primes at all times. 
} 

Если наш поток-безопасность глубоко? то есть синхронизируется (f) предотвращает другой поток (внутри собственного синхронизированного (f) блока) от просмотра f.b, а f.b обновляется? Как насчет использования синхронизированного (этого) вместо этого?

Answer 1

Вопрос о том, является ли синхронизация «глубокой», показывает, что вы еще не полностью понимаете, как работает «синхронизация» потока Java. Все начинающие Java-программисты обычно имеют одно и то же заблуждение: «синхронизация по f делает доступ к полям f« потокобезопасными ». Это не true.

Когда один поток выполняет ваш блок synchronized(f), ни один другой поток не может вводить какой-либо блок или метод synchronized на том же объекте. ЭТО ВСЕ.

Нет причин, по которым вы должны защитить изменяемые поля f путем синхронизации на f. Вы можете синхронизировать любой объект по своему усмотрению до тех пор, пока вы всегда используете тот же самый, и до тех пор, пока вы всегда синхронизируете, когда вы получаете доступ к/изменению полей f.

И, наоборот, синхронизация на f НЕ означает, что ваш доступ к полям f обязательно должен быть потокобезопасным. У вас может быть какой-то другой код в другом месте программы, изменяя поля f без какой-либо синхронизации или синхронизируя на другом объекте.

Если это кажется запутанным, это потому, что оно есть. Разработчики Java сделали плохой выбор (связать неявный мьютекс с каждым объектом), и нам просто нужно иметь дело с ним.

Answer 2

Совсем нет.

Ключевое слово synchronized влияет только на другие синхронизированные блоки вокруг одного и того же объекта.
Это не имеет никакого отношения к самому объекту.