Przypisywanie obiektu w zsynchronizowanym bloku opartego na tym obiekcie (Java)

Question

wpadłem na pewien (produkcja!) Kodu, który wygląda tak jak na poniższym fragmencie:

synchronized(some_object) { 
    some_object = new some_object() 
} 

bym tego spodziewać podlegają wszelkiego rodzaju okropnych warunków wyścigowych i że drugi wątek może ewentualnie wejść do tego bloku, w którym tworzony jest nowy obiekt. Moje układy Java nie są wystarczająco dobre, aby stanowczo określić oczekiwane zachowanie powyższych, tak ciekawe, co ludzie mają do powiedzenia, zanim to zmienię.

Answer 1

Jak mówi Francis, nie może to stanowić problemu. Twój fragment jest odpowiednikiem tego:

SomeObject saved = some_object; 
synchronized(saved) { 
    some_object = new SomeObject() 
} 

Answer 2

To może faktycznie być OK w zależności od tego, co się dzieje. Musisz zrozumieć większy kontekst. Synchronizacja nastąpi na obiekcie wskazywanym przez some_object na początku bloku. Z Twojego opisu jest za mało informacji, aby zobaczyć, że to błąd.

Synchronizacja sama w sobie zadziała.

Answer 3

Synchronizacja jest na obiekcie, który został odwołanie przy wejściu do bloku zsynchronizowanego. Wskazywanie odniesienia do innego obiektu wewnątrz bloku zsynchronizowanego w ogóle nie wpływa na synchronizację. Nadal jest zsynchronizowany z "starym" obiektem.

Answer 4

To bardzo źle. zsynchronizowane jest najlepiej używane na ostatnich członkach klasy.

Nowoczesne podejście do tworzenia obiektu w sposób bezpieczny dla wątków używa AtomicReference compareAndSet w pętli, jak omówiono w Goetz's Java Concurrency in Action (rozdział 15). Nie blokuje to twoich wątków i oferuje o wiele większą wydajność niż zsynchronizowany blok.

private final AtomicReference<SomeObject> someObject = new AtomicReference<>(); 


void buildIt() { 
    SomeObject obj = new SomeObject(); 
    SomeObject current = someObject.get(); //probably null, but doesn't matter 
    while (true) { 
     if (someObject.compareAndSet(current, obj)) 
      break; 
    } 
}