Как работает синхронизированный блок в Java? Переменная ссылка или память заблокированы?

Question

У меня есть ситуация, и мне нужен совет о блоке synchronized на Java. У меня есть тестовый класс ниже:

Class Test{ 
    private A a; 
    public void doSomething1(String input){ 
     synchronized (a) { 
      result = a.process(input); 
     } 
    } 
    public void doSomething2(String input){ 
     synchronized (a) { 
      result = a.process(input); 
     } 
    } 
    public void doSomething3(String input){ 
      result = a.process(input); 
    } 
} 

То, что я хочу, когда мульти потока вызывают методы doSomeThing1() или doSomeThing2(), объект «а» будет использоваться и разделяемые между несколькими потоками (это должно быть) и обрабатывает только один ввод в то время (ожидая, пока другие потоки установят объект «a» бесплатно), и когда вызывается doSomeThing3, вход обрабатывается немедленно.

Мой вопрос будет касаться метода doSomeThing3() моего метода doSomeThing1() и doSomeThing2()? Нужно ли ждать, если doSomeThing1() и doSomeThing2() используют объект "a"?

Answer 1

В вашем коде doSomething3() может продолжаться параллельно с doSomething1() или doSomething2(), поэтому в этом смысле он делает то, что вы хотите. Однако, в зависимости от того, что делает a.process(), это может привести к состоянию гонки и повреждению данных. Обратите внимание, что даже если doSomething3() вызывается, все вызовы doSomething1() или doSomething2(), которые были запущены, будут продолжены; они не будут отменены, а doSomething3() обработано.

Answer 2

A метод никогда не подвергается воздействию ничего, что и ваши темы. На что влияет данные, и ответ на ваш вопрос полностью зависит от того, какие данные обновляются (если есть) внутри вызова a.process().

Вы спрашивали: «Переменная ссылка или память заблокирована?»

Прежде всего, «переменная» и «память» - это одно и то же. Переменные, а также поля и объекты - это абстракции более высокого уровня, которые построены поверх идеи более низкого уровня «памяти».

Во-вторых, нет. Блокировка объекта не препятствует доступу других объектов или изменению объекта, а также от доступа или изменения чего-либо еще.

Заблокировать объект делает две вещи: он предотвращает одновременную блокировку одного и того же объекта другими потоками и дает определенные гарантии относительно видимости обновлений памяти. Простое объяснение заключается в том, что если поток X обновляет некоторые переменные, а затем освобождает блокировку, поток Y будет гарантированно видеть обновления только после того, как он приобретет тот же самый замок.

Что это означает для вашего примера, если поток X вызывает doSomething1() и изменяет объект a; а затем поток Y позже вызывает doSomething3(), поток Y - , а не, гарантированно увидит обновления. Он может видеть объект в его исходном состоянии, он может видеть его в полностью обновленном состоянии или может видеть его в некотором недопустимом состоянии на полпути. Причина в том, что, хотя поток X заблокировал объект, изменил его, а затем отпустил блокировку; нить Y никогда не блокирует тот же объект.