C++ Academy · Pelajaran

Corak Compare-and-Swap CAS

Laksanakan kemas kini tanpa kunci dengan compare_exchange_weak dan compare_exchange_strong.

Pelajaran 2 daripada 414 langkah

Corak Compare-and-Swap CAS ialah pelajaran C++ Academy percuma di CoddyKit. Ini ialah pelajaran 2 daripada 4. Sebanyak 3 pelajaran dalam laluan pembelajaran ini boleh dibaca sepenuhnya secara percuma — selepas itu, CoddyKit PRO membuka akses kepada semua pelajaran, serta latihan praktikal dengan penyunting kod terbina dalam dan tutor kecerdasan buatan yang tersedia 24/7. Pelajaran ini merupakan sebahagian daripada laluan pembelajaran C++ Academy, dan kemajuan anda disegerakkan merentas web serta aplikasi CoddyKit. Kursus C++ Academy merangkumi sejumlah 4 pelajaran.

Primitif CAS

Banding dan tukar membaca, membandingkan dan menulis secara bersyarat dengan atomik. Ia merupakan asas bagi kebanyakan algoritma tanpa kunci.

Pertukaran Banding C++

Dua varian dalam std::atomic:

compare_exchange_strong(expected, desired) — berjaya apabila nilai semasa sama dengan expected
compare_exchange_weak(expected, desired) — mungkin gagal secara palsu

Anatomi Gelung CAS

Gelung CAS klasik: baca, kira dan cuba menulis. Cuba lagi jika utas lain memenangi perlumbaan.

std::atomic<int> a{0};

int old = a.load();
int next;
do {
    next = compute_new(old);
} while (!a.compare_exchange_weak(old, next));

CAS untuk Kemas Kini Atomik

Gunakan CAS apabila nilai baharu bergantung pada nilai lama. store biasa akan kehilangan kemas kini daripada utas serentak.

// Atomic max
int current = a.load();
while (newval > current && !a.compare_exchange_weak(current, newval));

Tindanan Tanpa Kunci: Push

Operasi push tindanan tanpa kunci yang mudah menggunakan CAS untuk memasang Node baharu pada bahagian kepala.

struct Node { int value; Node* next; };
std::atomic<Node*> head{nullptr};

void push(int v) {
    Node* n = new Node{v, nullptr};
    n->next = head.load();
    while (!head.compare_exchange_weak(n->next, n));
}

Kegagalan Palsu

compare_exchange_weak mungkin gagal walaupun nilai sepadan — pada platform seperti ARM, apabila arahan asasnya dibenarkan untuk gagal. Gunakannya di dalam gelung; gunakan strong apabila percubaan semula mahal.

Corak Kemas Kini: Tetap Semula

Untuk menetapkan semula nilai kepada keadaan yang diketahui hanya jika nilai itu tidak berubah.

int expected = 42;
if (a.compare_exchange_strong(expected, 0)) {
    // a was 42 and is now 0
}

Binaan Asas: Pembilang Atomik

Untuk pembilang biasa, fetch_add lebih mudah dan pantas daripada gelung CAS.

Binaan Asas: Bendera Atomik

Untuk bendera boolean mudah, std::atomic_flag lebih ringan daripada std::atomic<bool> dan menyokong test_and_set.

Menaakul tentang Keserentakan

Kod tanpa kunci sememangnya sukar untuk difahami dan disahkan. Gunakan pengujian yang ketat (TSan, pengujian fuz), model formal apabila tersedia, dan utamakan pelaksanaan sedia ada yang telah teruji kukuh.

Bila Hendak Memilih CAS

Gunakan CAS apabila:

Berbilang utas kerap mengemas kini nilai yang sama
Mutex menunjukkan pertikaian sebagai kesesakan
Bahagian kritikal sangat pendek dan mudah

Bila Tidak Patut Menggunakan CAS

Elakkan CAS apabila:

Kemas kini memerlukan lebih daripada beberapa operasi
Ketepatan lebih penting daripada daya pemprosesan
Pasukan tidak mempunyai kepakaran dalam pengaturcaraan tanpa kunci

Semakan Pantas

Mengapakah kita biasanya menggunakan compare_exchange_weak di dalam gelung?

Jawab dalam pelajaran interaktif

Ringkasan

Banding dan tukar mengemas kini nilai secara atomik hanya jika nilai itu sama dengan nilai yang dijangka. Gelung CAS mengendalikan kemas kini serentak tanpa kunci. Gunakan compare_exchange_weak di dalam gelung dan strong untuk percubaan sekali sahaja.

Percuma untuk bermula

Pelajari C++ dengan tutor kecerdasan buatan — percuma

Tulis dan jalankan kod sebenar dalam pelayar anda, dapatkan bantuan segera daripada tutor kecerdasan buatan yang tersedia 24/7, dan sambung semula dari tempat anda berhenti di web atau dalam aplikasi.

Kursus: 51
Pelajaran: 203

Mula belajar secara percuma Lihat kursus penuh

Soalan Lazim

Adakah pelajaran “Corak Compare-and-Swap CAS” percuma?

Ya — sebanyak 3 pelajaran dalam laluan pembelajaran C++ Academy, termasuk “Corak Compare-and-Swap CAS”, boleh dibaca sepenuhnya secara percuma di web ini. Selepas itu, CoddyKit PRO membuka akses kepada semua pelajaran, serta latihan interaktif dengan penyunting kod terbina dalam dan tutor kecerdasan buatan yang tersedia 24/7. Kursus C++ Academy merangkumi sejumlah 4 pelajaran.

Apakah yang akan saya pelajari dalam “Corak Compare-and-Swap CAS”?

Laksanakan kemas kini tanpa kunci dengan compare_exchange_weak dan compare_exchange_strong. Anda berlatih C++ Academy menggunakan kod praktikal yang dijalankan terus dalam pelayar, manakala tutor kecerdasan buatan 24/7 menjawab soalan anda semasa anda mengikuti pelajaran.

Adakah saya memerlukan pengalaman untuk memulakan C++ Academy?

Tiada pengalaman terdahulu diperlukan. Pembelajaran C++ Academy di CoddyKit disusun untuk pelajar daripada peringkat pemula hingga lanjutan, jadi anda boleh bermula di sini atau dari awal dan belajar mengikut kadar anda sendiri. Ini ialah pelajaran 2 daripada 4.

Berapa lamakah pelajaran “Corak Compare-and-Swap CAS” diambil?

Kebanyakan pelajaran CoddyKit mengambil masa kira-kira 5–10 minit. Setiap pelajaran ringkas dan interaktif, jadi anda boleh membuat kemajuan secara berterusan dan menyambung tepat dari tempat anda berhenti di web atau aplikasi.

Bolehkah saya menulis dan menjalankan kod dalam pelajaran C++ Academy ini?

Ya. Setiap pelajaran C++ Academy menyertakan penyunting kod terbina dalam, jadi anda boleh menulis dan menjalankan kod sebenar terus dalam pelayar serta menerima maklum balas kecerdasan buatan serta-merta — tanpa memerlukan persediaan setempat.

Semua pelajaran dalam kursus ini

← Kembali ke C++ Academy