Adakah Barisan Berbilang Pengeluar/Berbilang Pengguna Sempadan Benar-Benar Tanpa Kunci?-C++-php.cn

Rumah

pembangunan bahagian belakang

C++

Adakah Barisan Berbilang Pengeluar/Berbilang Pengguna Sempadan Benar-Benar Tanpa Kunci?

Mary-Kate Olsen

Dec 13, 2024 am 06:59 AM

Is liblfds' Multi-Producer/Multi-Consumer Bounded Queue Truly Lock-Free?

Analisis Algoritma Baris Tanpa Kunci

Soalan: Adakah algoritma baris gilir bersempadan berbilang pengeluar/berbilang pengguna dalam liblfds tanpa kunci?

Definisi Tanpa Kunci:

Algoritma tanpa kunci memastikan bahawa sekurang-kurangnya satu utas boleh membuat kemajuan ke hadapan tanpa mengira sebarang urutan serentak. Ini bermakna ia tidak boleh mempunyai kod di mana urutan bergantung pada satu lagi untuk meneruskan, seperti menunggu bendera ditetapkan semula atau dinyahtetapkan.

Analisis Algoritma:

algoritma menyimpan slot dalam baris gilir menggunakan gelung CAS untuk menambah indeks tulis. Ia kemudian menyalin data pengguna ke dalam slot yang dikhaskan dan mengemas kini nombor urutan. Walau bagaimanapun, tempahan ini bermakna bahawa operasi POP bergantung pada urutan PUSH yang melengkapkan kemas kini nombor jujukan.

Kekurangan Jaminan Kemajuan:

Mengikut takrifan "membuat kemajuan," algoritma tidak memenuhi kriteria bebas kunci. Barisan gilir boleh diperhatikan sebagai penuh atau kosong walaupun operasi PUSH atau POP sedang berjalan, menghalang urutan lain daripada melaksanakan operasi tersebut.

Kemajuan Disekat Separa:

Semasa algoritma mungkin membenarkan operasi POP diteruskan sehingga elemen dalam proses, kemajuan ini terhad. Jika urutan dialihkan konteks semasa kawasan kritikal antara kemas kini indeks tulis dan penulisan nombor urutan, semua urutan pengguna akan melaporkan baris gilir kosong.

Mutex Tersembunyi:

Gabungan indeks tulis dan nombor turutan slot pada asasnya bertindak sebagai mutek per-elemen. Sebaik sahaja benang berjaya menambah indeks tulis, semua urutan berikutnya dihalang daripada menulis ke baris gilir sehingga urutan asal menyelesaikan operasi.

Kelebihan Prestasi:

Walaupun tidak kerana bebas kunci, algoritma menawarkan kelebihan prestasi dari segi daripada:

Prestasi tanpa lawan: Laluan pantas terdiri daripada satu operasi CompareAndSwap.
Prestasi dipertandingkan: Pembolehubah indeks tulis dipertikaikan, tetapi tingkah laku adalah munasabah dengan baik- CAS yang dioptimumkan pelaksanaan.

Kesimpulan:

Walaupun algoritma menyediakan beberapa sifat prestasi yang berguna, ia tidak mempunyai sifat ketepatan utama operasi bebas kunci disebabkan oleh sistem tempahan dan pergantungan antara operasi PUSH dan POP.

Atas ialah kandungan terperinci Adakah Barisan Berbilang Pengeluar/Berbilang Pengguna Sempadan Benar-Benar Tanpa Kunci?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!

Kenyataan

Kandungan artikel ini disumbangkan secara sukarela oleh netizen, dan hak cipta adalah milik pengarang asal. Laman web ini tidak memikul tanggungjawab undang-undang yang sepadan. Jika anda menemui sebarang kandungan yang disyaki plagiarisme atau pelanggaran, sila hubungi admin@php.cn

Artikel Berkaitan

C dan XML: Mengintegrasikan data dalam projek andaMay 10, 2025 am 12:18 AM

Mengintegrasikan XML dalam projek C boleh dicapai melalui langkah-langkah berikut: 1) Menguraikan dan menghasilkan fail XML menggunakan PuGixML atau Perpustakaan TinyXML, 2) Pilih kaedah DOM atau SAX untuk parsing, 3) mengendalikan nod bersarang dan sifat berbilang level,

Menggunakan XML di C: Panduan untuk Perpustakaan dan AlatMay 09, 2025 am 12:16 AM

XML digunakan dalam C kerana ia menyediakan cara yang mudah untuk menyusun data, terutamanya dalam fail konfigurasi, penyimpanan data dan komunikasi rangkaian. 1) Pilih perpustakaan yang sesuai, seperti TinyXML, PugixML, RapidXML, dan tentukan mengikut keperluan projek. 2) Memahami dua cara parsing dan generasi XML: DOM sesuai untuk akses dan pengubahsuaian yang kerap, dan SAX sesuai untuk fail besar atau data streaming. 3) Apabila mengoptimumkan prestasi, TinyXML sesuai untuk fail kecil, PuGixML berfungsi dengan baik dalam ingatan dan kelajuan, dan RapidXML sangat baik dalam memproses fail besar.

C# dan C: Meneroka paradigma yang berbezaMay 08, 2025 am 12:06 AM

Perbezaan utama antara C# dan C ialah pengurusan memori, pelaksanaan polimorfisme dan pengoptimuman prestasi. 1) C# menggunakan pemungut sampah untuk mengurus memori secara automatik, sementara C perlu diuruskan secara manual. 2) C# menyedari polimorfisme melalui antara muka dan kaedah maya, dan C menggunakan fungsi maya dan fungsi maya murni. 3) Pengoptimuman prestasi C# bergantung kepada struktur dan pengaturcaraan selari, manakala C dilaksanakan melalui fungsi inline dan multithreading.

C XML Parsing: Teknik dan Amalan TerbaikMay 07, 2025 am 12:06 AM

Kaedah DOM dan SAX boleh digunakan untuk menghuraikan data XML dalam C. 1) DOM Parsing beban XML ke dalam ingatan, sesuai untuk fail kecil, tetapi mungkin mengambil banyak ingatan. 2) Parsing Sax didorong oleh peristiwa dan sesuai untuk fail besar, tetapi tidak dapat diakses secara rawak. Memilih kaedah yang betul dan mengoptimumkan kod dapat meningkatkan kecekapan.

C dalam domain tertentu: meneroka kubu kuatnyaMay 06, 2025 am 12:08 AM

C digunakan secara meluas dalam bidang pembangunan permainan, sistem tertanam, urus niaga kewangan dan pengkomputeran saintifik, kerana prestasi dan fleksibiliti yang tinggi. 1) Dalam pembangunan permainan, C digunakan untuk rendering grafik yang cekap dan pengkomputeran masa nyata. 2) Dalam sistem tertanam, pengurusan memori dan keupayaan kawalan perkakasan C menjadikannya pilihan pertama. 3) Dalam bidang urus niaga kewangan, prestasi tinggi C memenuhi keperluan pengkomputeran masa nyata. 4) Dalam pengkomputeran saintifik, pelaksanaan algoritma yang cekap C dan keupayaan pemprosesan data sepenuhnya dicerminkan.

Debunking the Myths: Adakah C benar -benar bahasa yang mati?May 05, 2025 am 12:11 AM

C tidak mati, tetapi telah berkembang dalam banyak bidang utama: 1) pembangunan permainan, 2) pengaturcaraan sistem, 3) pengkomputeran berprestasi tinggi, 4) pelayar dan aplikasi rangkaian, C masih pilihan arus perdana, menunjukkan senario vitalitas dan aplikasi yang kuat.

C# vs C: Analisis perbandingan bahasa pengaturcaraanMay 04, 2025 am 12:03 AM

Perbezaan utama antara C# dan C ialah sintaks, pengurusan memori dan prestasi: 1) C# sintaks adalah moden, menyokong Lambda dan Linq, dan C mengekalkan ciri -ciri C dan menyokong templat. 2) C# secara automatik menguruskan memori, C perlu diuruskan secara manual. 3) Prestasi C lebih baik daripada C#, tetapi prestasi C# juga dioptimumkan.

Membina Aplikasi XML dengan C: Contoh PraktikalMay 03, 2025 am 12:16 AM

Anda boleh menggunakan perpustakaan TinyXML, PuGixML, atau libxml2 untuk memproses data XML dalam C. 1) Parse XML Files: Gunakan kaedah DOM atau SAX, DOM sesuai untuk fail kecil, dan SAX sesuai untuk fail besar. 2) Menjana fail XML: Tukar struktur data ke dalam format XML dan tulis ke fail. Melalui langkah -langkah ini, data XML dapat diuruskan dan dimanipulasi dengan berkesan.

See all articles