Co oznacza "atomowy" w programowaniu?

"operacja atomowa" oznacza operację, która wydaje się być natychmiastowa z perspektywy wszystkich innych wątków. Nie musisz się martwić o częściowo kompletną operację, gdy gwarancja ma zastosowanie.

Jest to coś, co "wydaje się reszcie systemu występować natychmiastowo" i podlega kategoryzacji liniowości w procesach obliczeniowych. Cytując ten artykuł dalej:

Atomiczność jest gwarancją izolacji od procesów współbieżnych. Dodatkowo, operacje atomowe często mają sukces lub porażkę definicja - albo z powodzeniem zmieniają stan systemu, lub nie mają widocznego efektu.

Więc na przykład, w kontekście systemu bazodanowego, można mieć 'Atomic commits', co oznacza, że można wypchnąć zestaw zmian aktualizacji do relacyjnej bazy danych i te zmiany będą albo wszystkie zostaną przesłane, albo żadna z nich w ogóle w przypadku awarii, w ten sposób dane nie zostaną uszkodzone, a w wyniku blokady i / lub kolejek, następna operacja będzie inny zapis lub odczyt, ale tylko po fakt. W kontekście zmiennych i wątków jest to tak samo, stosowane do pamięć.

Twój cytat podkreśla, że ta potrzeba nie należy oczekiwać zachowania we wszystkich przypadkach.

W filozofii starożytnej atom był ostateczną jednostką materii, na której opierały się bardziej złożone poglądy na materialną rzeczywistość. W programowaniu komputerowym atomic opisuje unitarne działanie lub obiekt, który jest zasadniczo niepodzielny, niezmienny, całkowity i nieredukowalny. Oto kilka zastosowań:

1) w strukturalnym języku zapytań, funkcja atomowa to taka, która albo zakończy się, albo powróci do pierwotnego stanu, Jeśli wystąpi przerwa w zasilaniu lub nienormalny koniec.

2) w jakimś Uniksie - podstawowe systemy operacyjne, operacja atomowa to taka, w której nie może nastąpić żadna zmiana w czasie między ustawieniem maski a odebraniem sygnału do zmiany maski.

3) w niektórych językach programowania, w tym Lispie , atom jest podstawową jednostką kodu wykonywalnego lub danych.

Operacja, podczas której procesor może jednocześnie odczytać lokalizację i zapisać ją w tej samej operacji magistrali. Zapobiega to zapisywaniu lub odczytywaniu pamięci przez inny procesor lub urządzenie We/Wy dopóki operacja nie zostanie zakończona.

Atomic oznacza niepodzielność i nieredukowalność, więc operacja atomowa musi być wykonana w całości lub wcale.

Właśnie znalazłem post Atomic vs. Non-Atomic Operations być bardzo pomocne dla mnie.

" operacja działająca na pamięci współdzielonej jest atomowa, jeśli zakończy się w jednym kroku względem innych wątków.

Gdy atomic store jest wykonywany na pamięci współdzielonej, żaden inny wątek nie może zaobserwować modyfikacji w połowie ukończonej.

Gdy obciążenie atomowe jest wykonywane na współdzielonej zmiennej, odczytuje ona całą wartość tak, jak pojawiła się w jednym momencie w czas."

Jeśli masz kilka wątków wykonujących metody m1 i m2 w kodzie poniżej:

class SomeClass {
    private int i = 0;

    public void m1() { i = 5; }
    public int m2() { return i; }
}

Masz gwarancję, że każdy wątek wywołujący m2 odczyta 0 lub 5.

Z drugiej strony, z tym kodem (gdzie i jest długi):

class SomeClass {
    private long i = 0;

    public void m1() { i = 1234567890L; }
    public long m2() { return i; }
}

Wątek wywołujący m2 może odczytać 0, 1234567890l, lub inną losową wartość, ponieważ instrukcja i = 1234567890L nie jest gwarantowana jako atomowa dla long (JVM może zapisać pierwsze 32 bity i ostatnie 32 bity w dwóch operacjach i wątek może obserwować i Pomiędzy).