Javahard

`volatile` vs `synchronized` — jaki problem rozwiązuje każde z nich?

Tagi

#concurrency#volatile#synchronized

Odpowiedź

`volatile` gwarantuje widoczność (i porządek) zmiennej między wątkami, ale nie robi atomowości dla operacji złożonych. `synchronized` daje wzajemne wykluczanie i jednocześnie zapewnia happens-before (widoczność) dla chronionego fragmentu.

class StopFlag {
  private volatile boolean stop = false;

  void requestStop() {
    stop = true;
  }

  void runLoop() {
    while (!stop) {
      // do work
    }
  }
}

Odpowiedź zaawansowana

Głębiej

`volatile` rozwiązuje *widoczność*: odczyty widzą najnowszy zapis (i wprowadza bariery porządku). Nie daje wzajemnego wykluczania.
`synchronized` daje *mutual exclusion* (jeden wątek naraz) i dodatkowo happens-before między unlock i kolejnym lock.

Kiedy używać

`volatile`: proste flagi (stop/cancel), publikacja referencji, wzorce single-writer.
`synchronized`: ochrona inwariantów obejmujących wiele pól i operacje złożone.

Pułapka

volatile int count = 0;
count++; // nie jest atomowe

Do inkrementacji użyj `AtomicInteger` albo `synchronized`.

Typowe pułapki

Założenie, że volatile daje atomowość.
Nadużycie synchronized w hot-path bez analizy contention.
Mieszanie mechanizmów bez zrozumienia happens-before.

Powiązane pytania

Java

HashMap vs ConcurrentHashMap: kiedy używać którego?

#java#collections#concurrency

Java

`synchronized` vs `ReentrantLock`: jakie są różnice?

#java#concurrency#locks

Java

Parallel streamy: kiedy mogą pomóc i jakie są typowe pułapki?

#java#streams#parallel

Java

`synchronized` vs `ReentrantLock` - kiedy wybrać które?

#concurrency#locks#synchronized

Java

Co robi `ThreadLocal` i jaki jest częsty problem?

#threadlocal#concurrency#thread-pool

Java

Java Memory Model: co znaczy „happens-before” (prosto)?

#jmm#happens-before#concurrency