Zmienna ulotna

Zmienna ulotna – zmienna lub obiekt, które mogą zostać zmienione "z zewnątrz" — niezależnie od kodu programu, w którym się znajdują.

Pomiędzy różnymi odczytami, wartości zmiennej mogą być różne, nawet jeśli nie były zmodyfikowane w kodzie. Zastosowanie volatile powstrzymuje kompilator optymalizujący przed pomijaniem zapisów do pamięci lub w wypadku kolejnych odczytów czy zapisów zmiennej przed zastąpieniem jej w skompilowanym kodzie przez stałą. Zmienne ulotne pojawiają się przede wszystkim w dostępie do sprzętu, gdzie korzystanie z pamięci jest wykorzystywane do komunikacji pomiędzy urządzeniami oraz w środowisku wielowątkowym, w którym różne wątki mogą korzystać z tej samej zmiennej.

Pomimo bycia powszechnym słowem kluczowym dokładne zachowanie volatile różni się pomiędzy językami programowania. W C i C++ jest modyfikatorem do typu podobnie jak słowo kluczowe const i nie sprawdza się w większości szablonów programów wielowątkowych, dlatego jego zastosowanie jest odradzane. W językach C# i Java jest przeznaczone specjalnie do wielowątkowości — charakteryzuje zmienną i oznacza, że obiekt, z którym jest ona powiązana, może się zmienić.

W C i następnie w C++ słowo volatile miało spełniać następujące założenia:^[1]

• dawać dostęp do urządzeń MMIO
• pozwalać na korzystanie ze zmiennych pomiędzy setjmp i longjmp
• pozwalać na używanie zmiennych sig_atomic_t w procedurach obsługi przerwań (ang. signal handlers)

Operacje na zmiennych ulotnych nie są operacjami atomowymi, ani też nie ustanawiają prawidłowiej relacji happens-before (określa w jakiej względnej kolejności wykonywane są instrukcje). Jest to określone w odpowiednich standardach (C, C++, POSIX, WIN32)^[1]. Zmienne ulotne nie są bezpieczne dla zdecydowanej większości dzisiejszych implementacji programów wielowątkowych, dlatego też użycie volatile jako przenośnego mechanizmu synchronizacji jest odradzane^[2][3].

static int foo;

void var(void) {
    foo = 0;
    
    while (foo != 255){
        /* ... */
    }
}

static int foo;

void var(void) {
    foo = 0;
    
    while (true){
        /* ... */
    }
}

static volatile int foo;

void var(void) {
    foo = 0;
    
    while (foo != 255){
        /* ... */
    }
}

Język Java również posiada słowo kluczowe volatile, lecz ma ona nieco inną specyfikację:

• We wszystkich wersjach Javy istnieje globalna kolejność odczytów i zapisów do zmiennej z volatile. Dzięki temu każdy wątek mający do niej dostęp odczyta jej obecną wartość przed kontynuacją, zamiast (potencjalnego) wykorzystania zmiennej przechowywanej w pamięci podręcznej.
• Od Javy 5 zmienne z modyfikatorem volatile zachowują relację happens-before.

Używanie volatile może być szybsze niż blokowanie, ale może też nie działać w niektórych wypadkach^[6][7].