C++ Academy · Oppitunti

std::atomic ja muistijärjestykset

Käytä std::atomicia oikean muistijärjestyksen kanssa oikeellisuuden ja nopeuden varmistamiseksi.

Oppitunti 1/414 vaihetta

std::atomic ja muistijärjestykset on ilmainen C++ Academy-oppitunti CoddyKitissä. Tämä on oppitunti 1/4. Voit lukea tästä oppimispolusta kokonaan mitkä tahansa 3 oppituntia ilmaiseksi — sen jälkeen CoddyKit PRO avaa kaikki oppitunnit sekä käytännön harjoittelun sisäänrakennetulla koodieditorilla ja ympäri vuorokauden toimivalla tekoälytuutorilla. Oppitunti kuuluu C++ Academy-oppimispolkuun, ja edistymisesi synkronoituu verkon ja CoddyKit-sovelluksen välillä. C++ Academy-kurssilla on yhteensä 4 oppituntia.

Mutexien tuolle puolen

Lockit sarjoittavat käytön. Ne ovat yksinkertaisia ja oikeellisia, mutta rajoittavat läpimenoa. std::atomic tarjoaa lukituksettomia rakennuspalikoita tehokkaaseen rinnakkaiseen koodiin.

std::atomic-perusteet

std::atomic<T> käärii arvon ja tukee atomisia lue–muokkaa–kirjoita-operaatioita.

#include <atomic>
std::atomic<int> counter{0};
counter.fetch_add(1);    // atomic increment
int v = counter.load();
counter.store(0);

Kätevät operaattorit

Aritmeettisilla tyypeillä tavalliset operaattorit ovat atomisia.

std::atomic<int> n{0};
++n;          // atomic increment
n += 5;        // atomic add
int v = n;     // atomic load

Miksi atomiset operaatiot ovat hankalia

Suoritin saattaa järjestää muistitoiminnot uudelleen ytimien välillä. Muistijärjestys määrittää, mitkä uudelleenjärjestelyt ovat sallittuja.

Muistijärjestykset

Viisi yleistä järjestystä:

memory_order_relaxed — atominen, mutta ei järjestystä
memory_order_acquire — käytä yhdessä release-järjestyksen kanssa; ei uudelleenjärjestelyä tämän jälkeen
memory_order_release — käytä yhdessä acquire-järjestyksen kanssa; ei uudelleenjärjestelyä ennen tätä
memory_order_acq_rel — molemmat
memory_order_seq_cst — sekventiaalisesti johdonmukainen (oletus)

Sekventiaalinen johdonmukaisuus: turvallinen oletus

Oletusarvoinen seq_cst toimii intuitiivisesti: kaikki atomiset operaatiot vaikuttavat suoritettavan yhdessä globaalissa järjestyksessä. Se on hitaampi kuin relaxed-järjestykset, mutta helpompi ymmärtää.

Acquire–release-pari

Käytä tuottajassa release-järjestystä ja kuluttajassa acquire-järjestystä. Acquiren jälkeen kaikki ennen vastaavaa release-operaatiota tehdyt kirjoitukset ovat näkyvissä.

std::atomic<bool> ready{false};
int data = 0;

// producer
data = 42;
ready.store(true, std::memory_order_release);

// consumer
while (!ready.load(std::memory_order_acquire));
std::cout << data;    // sees 42

Relaxed-järjestys

Relaxed-atomiset operaatiot takaavat atomisuuden (ei osittaisia lukuja), mutta sallivat kaiken uudelleenjärjestelyn. Käytä niitä yksinkertaisissa laskureissa, joissa järjestyksellä ei ole merkitystä.

Compare-and-swap

Useimpien lukituksettomien algoritmien perusta. compare_exchange_strong(expected, desired) päivittää arvon atomisesti vain, jos nykyinen arvo on sama kuin expected.

std::atomic<int> a{10};
int expected = 10;
bool ok = a.compare_exchange_strong(expected, 20);
// if true, a is now 20; otherwise expected holds the actual current value

Heikko ja vahva CAS

compare_exchange_weak saattaa epäonnistua näennäisesti, vaikka arvot täsmäävät. Käytä sitä silmukoissa, joissa se voi olla joillakin alustoilla edullisempi, ja vahvaa versiota silmukoiden ulkopuolella.

Lock-free ja wait-free

Kaksi etenemistakuuta:

Lock-free — vähintään yksi säie etenee aina
Wait-free — jokainen säie etenee rajatussa ajassa

Milloin atomisia operaatioita käytetään

Atomiset operaatiot eivät ole aina mutexia nopeampia. Käytä niitä, kun voit pitää kriittisen polun yksinkertaisena, esimerkiksi laskureissa, lipuissa ja yksinkertaisessa tilassa. Monimutkaisessa jaetussa tilassa mutexit ovat yleensä turvallisempia ja selkeämpiä.

Pikatarkistus

Millä muistijärjestyksellä on vahvimmat takuut, mutta se on myös hitain?

Vastaa interaktiivisessa oppitunnissa

Kertaus

std::atomic tarjoaa lukituksettomia primitiivejä ja eksplisiittisen muistijärjestyksen. Käytä oletuksena memory_order_seq_cst-järjestystä, tuottaja–kuluttaja-malleissa acquire/release-pareja ja relaxed-järjestystä vain järjestyksettömiin atomisiin operaatioihin, kuten laskureihin.

Aloita maksutta

Opi C++ tekoälytuutorin avulla — ilmaiseksi

Kirjoita ja suorita oikeaa koodia selaimessa, saa välitöntä apua tekoälytuutorilta ympäri vuorokauden ja jatka siitä, mihin jäit, verkossa tai sovelluksessa.

Kurssit: 51
Oppitunnit: 203

Aloita opiskelu maksutta Näytä koko kurssi

Usein kysytyt kysymykset

Onko oppitunti ”std::atomic ja muistijärjestykset” ilmainen?

Kyllä — voit lukea täällä verkossa kokonaan ilmaiseksi mitkä tahansa C++ Academy-oppimispolun 3 oppituntia, myös oppitunnin “std::atomic ja muistijärjestykset”. Sen jälkeen CoddyKit PRO avaa kaikki oppitunnit sekä interaktiiviset harjoitukset sisäänrakennetulla koodieditorilla ja ympäri vuorokauden toimivalla tekoälytuutorilla. C++ Academy-kurssilla on yhteensä 4 oppituntia.

Mitä opin oppitunnilla ”std::atomic ja muistijärjestykset”?

Käytä std::atomicia oikean muistijärjestyksen kanssa oikeellisuuden ja nopeuden varmistamiseksi. Harjoittelet C++ Academy-aihetta koodilla, jonka suoritat suoraan selaimessa. Ympäri vuorokauden käytettävissä oleva tekoälytuutori vastaa kysymyksiisi oppitunnin aikana.

Tarvitsenko kokemusta aloittaakseni C++ Academy-opiskelun?

Aiempi kokemus ei ole tarpeen. CoddyKitin C++ Academy-oppimispolku sopii vasta-alkajista edistyneisiin, joten voit aloittaa tästä tai alusta ja edetä omaan tahtiisi. Tämä on oppitunti 1/4.

Kuinka kauan ”std::atomic ja muistijärjestykset”-oppitunnin suorittaminen kestää?

Useimmat CoddyKitin oppitunnit kestävät noin 5–10 minuuttia. Jokainen oppitunti on lyhyt ja interaktiivinen, joten edistyt tasaisesti ja voit jatkaa siitä, mihin jäit – sekä verkossa että sovelluksessa.

Voinko kirjoittaa ja suorittaa koodia tällä C++ Academy-oppitunnilla?

Kyllä. Jokainen C++ Academy-oppitunti sisältää sisäänrakennetun koodieditorin, joten voit kirjoittaa ja suorittaa oikeaa koodia suoraan selaimessa ja saada välitöntä palautetta tekoälyltä – paikallista asennusta ei tarvita.

Kaikki tämän kurssin oppitunnit

← Takaisin: C++ Academy