Czy możesz wyjaśnić, jak działa model pamięci w Java i jakie są jego podstawowe zasady?

Model pamięci w Javie opisuje, jak wątki wchodzą w interakcję z pamięcią, w tym pracę z zmiennymi i synchronizację. Podstawowe zasady:

• Widoczność zmian: zmiany dokonane przez jeden wątek muszą być widoczne dla innych wątków przy odpowiedniej synchronizacji.
• Atomowość: operacje na zmiennych mogą być atomowe (np. odczyt/zapis typów prymitywnych, z wyjątkiem long i double bez volatile).
• Kolejność wykonywania: kompilator i procesor mogą zmieniać kolejność instrukcji, ale z zachowaniem zasad synchronizacji.

Model pamięci Java (JMM) określa, jak i kiedy zmiany zmiennych stają się widoczne dla innych wątków, używając słów kluczowych volatile, synchronized i innych mechanizmów.

Przykład:

volatile int counter = 0;

// Zmiana counter w jednym wątku będzie gwarantowana jako widoczna w innym
counter = 5;

Bez volatile lub synchronizacji zmiany mogą nie być od razu widoczne dla innych wątków z powodu cache'owania i optymalizacji.