Допустим, у меня есть следующее,
public class Foo{
private String bar;
public String getBar(){
return bar;
}
public void setBar(String bar){
this.bar = bar;
}
}
Являются ли эти методы автоматически потокобезопасными из-за неизменной природы класса String или требуется какой-то механизм блокировки?
Нет, это не потокобезопасно. Foo является изменяемым, поэтому, если вы хотите, чтобы разные потоки видели одно и то же значение bar, то есть согласованность, выполните одно из следующих действий:
bar volatile илиsynchronized илиAtomicReference<String>.Чтение и запись bar сами по себе являются атомарными, но атомарность не является потокобезопасностью.
http://docs.oracle.com/javase/tutorial/essential/concurrency/atomic.html
Для более подробного ознакомления с параллелизмом в Java скачайте копию Java Параллелизм на практике (он же JCIP).
bar как final, чтобы ссылку нельзя было переназначить другому значению. Конечно, никакого сеттера тогда не будет :)
- person Eng.Fouad; 25.02.2013
volatile или synchronized — это просто уменьшает «окно», в котором это может произойти, верно? Или я что-то здесь упускаю?
- person Clockwork-Muse; 25.02.2013
bar. Второй поток ожидает, пока bar будет прочитано как некоторое значение (скажем, просто вращается в цикле while(...)). Условие гонки состоит в том, что второй поток считывает значение bar до того, как первый поток снова обновит его. Хотя любой из этих вариантов гарантирует, что все потоки будут иметь одну и ту же внутреннюю ссылку (хотя ссылки являются атомарными независимо), это не имеет значения, работают ли они над объектом в разное время. -ломтики. И да, именно поэтому я предпочитаю неизменяемые объекты.
- person Clockwork-Muse; 25.02.2013
Вы устанавливаете ссылки, и поэтому неизменность String не играет роли. Вы не влияете на содержимое String.
Нет, не безопасно.
Это изменяемое поведение Foo; Неизменяемость String не распространяется на Foo.
public class Foo{
private String bar;
public synchronized String getBar(){
return bar;
}
public synchronized void setBar(String bar){
this.bar = bar;
}
}
getBar()? Возможно, какой-то поток устанавливает новое значение bar, в то время как другие потоки читают bar.
- person Eng.Fouad; 25.02.2013
bar будет видно всем потокам.
- person Steve Kuo; 26.02.2013
Нет, это не потокобезопасно.
Хотя String неизменяемо, проблема связана с полем Foo. Чтобы сделать это более очевидным, рассмотрим, например, метод, задачей которого будет добавлять (а не заменять) значение bar. Когда он вызывается из нескольких потоков, некоторые записи могут быть потеряны. То же самое (потеря записи) может произойти и с вашим простым сеттером, даже если в данном случае это изначально не очевидно.
Stringв установщике. - person Theodoros Chatzigiannakis schedule 25.02.2013