سمجھڻ std::shared_mutex from C++17

std::shared_mutex، C++17 ۾ متعارف ڪرايو ويو، هڪ هم وقت سازي پرائمٽيو آهي، جيڪا ڪيترن ئي ٿريڊن کي اجازت ڏئي ٿي ته هڪ ئي وقت شيئر ڪيل (پڙهڻ) لاڪ رکي جڏهن ته لکڻ جي عملن لاءِ خاص پهچ کي يقيني بڻائي. اهو جديد C++ ۾ هڪ تمام عام اتفاقي چئلينجن کي حل ڪري ٿو ڊولپرز کي هڪ صاف، معياري طريقي سان لاڳو ڪرڻ جو ريڊر-رائيٽر لاڪنگ بغير ٽئين پارٽي جي لائبريرين يا پليٽ فارم-مخصوص APIs تائين پهچڻ جي.

حقيقت ۾ std::shared_mutex ڇا آهي ۽ ان کي C++17 ۾ ڇو شامل ڪيو ويو؟

C++17 کان اڳ، ڊولپرز جن کي ريڊر-رائيٽر سيمينٽڪس جي ضرورت هئي، انهن کي پليٽ فارم جي مخصوص حلن تي ڀروسو ڪرڻو پوندو هو جيئن pthread_rwlock_t POSIX سسٽم تي يا Windows تي SRWLOCK، يا اهي ٽئين پارٽي لائبريريون استعمال ڪندا جيئن بوسٽ. C++17 معياري ڪميٽي هن خال کي تسليم ڪيو ۽ ان کي سڌو سنئون پتو ڏيڻ لاءِ std::shared_mutex کي هيڊر ۾ متعارف ڪرايو.

بنيادي خيال بلڪل سادو آهي: ڪيترن ئي حقيقي دنيا جي پروگرامن ۾، ڊيٽا ان کان وڌيڪ پڙهي ويندي آهي جيترو لکجي. هڪ معياري std::mutex سڀني پهچن کي ترتيب ڏئي ٿو - پڙهڻ شامل آهي - جيڪو غير ضروري رڪاوٽون پيدا ڪري ٿو. std::shared_mutex ان پابندي کي ختم ڪري ٿو ٻن لاڪنگ طريقن جي وچ ۾ فرق ڪندي:

• شيئر ٿيل (پڙهڻ) تالا — حاصل ڪيو ويو ذريعي lock_shared()؛ گھڻن موضوعن کي گڏ ڪري سگھي ٿو، ان کي گڏ ڪرڻ لاء مثالي بڻائي ٿو.
• خاص (لکڻ) تالا — حاصل ڪيو ويو ذريعي lock()؛ هڪ وقت ۾ صرف هڪ ڌاڳو هن کي رکي سگهي ٿو، ۽ ڪنهن به شيئر لاڪ جي اجازت نه آهي جڏهن اهو منعقد ڪيو وڃي.
• std::shared_lock — هڪ RAII ريپر جيڪو ڪال ڪري ٿو lock_shared() تعمير تي ۽ unlock_shared() تباهي تي، وسيلن جي ليڪس کي روڪڻ.

هي ڊبل موڊ ڊيزائن std::shared_mutex کي منظرنامي لاءِ هڪ فطري فٽ بڻائي ٿو جهڙوڪ ڪيش، ڪنفيگريشن رجسٽري، ۽ ڪنهن به ڊيٽا جو ڍانچو جتي پڙهڻ ڪم لوڊ تي غالب ٿئي ٿو.

توهان std::shared_mutex ريئل ڪوڊ ۾ تبصرن سان ڪيئن استعمال ڪندا؟

ڪوڊ ۾ تبصرا جيڪي استعمال ڪن ٿا std::shared_mutex خاص طور تي قابل قدر آهن ڇو ته هڪجهڙائي واري منطق جي باري ۾ دليل ڏيڻ تمام ڏکيو آهي. چڱيءَ طرح رکيل رايا واضح ڪن ٿا ته ڇو هڪ خاص تالا جو قسم چونڊيو ويو، جيڪو ڊرامائي طور تي مستقبل جي سنڀاليندڙن جي خطري کي گهٽائي ٿو حادثاتي طور تي ڊيٽا ريس متعارف ڪرائڻ. هتي هڪ عام نمونو آهي:

#include 
# شامل ڪريو <غير ترتيب ڏنل_ نقشو>
#شامل 

ڪلاس ConfigRegistry {
    mutable std::shared_mutex mtx_; // هيٺ ڏنل نقشي جي حفاظت ڪري ٿو
    std::unordered_map data_;

عوامي:
    // پڙتال جو رستو: گھڻا سلسلا ھن کي گڏ ڪري سگھن ٿا
    std::string get(const std::string & key) const {
        std::shared_lock lock(mtx_)؛ // شيئر ٿيل تالا - سمورو پڙهڻ لاءِ محفوظ
        auto it = data_.find(key)؛
        ان کي واپس ڪريو!= data_.end()؟ it-> سيڪنڊ: ""؛
    }

    // رستو لکو: خاص رسائي گهربل
    void سيٽ (const std::string & key, const std::string & val) {
        std::unique_lock lock(mtx_)؛ // خاص تالا - سڀني پڙهندڙن کي بلاڪ ڪري ٿو
        ڊيٽا_[key] = val؛
    }
}؛ 

نوٽ ڪريو ته ڪئين تبصرا وضاحت ڪن ٿا هر تالا جي پسند جي پويان ارادي جي بجاءِ صرف اهو بيان ڪرڻ جي ته ڪوڊ ڇا ڪندو آهي. هي سون جو معيار آهي: تبصرن کي جواب ڏيڻ گهرجي ڇو، نه ڇا. mutex تي mutable لفظ get() کي const قرار ڏيڻ جي اجازت ڏئي ٿو، جڏهن ته لاڪ ڪرڻ جي قابل آهي، هڪ عام ۽ محاوري نموني.

Key Insight: هميشه استعمال ڪريو RAII lock wrappers (std::shared_lock, std::unique_lock) سان std::shared_mutex — ڪڏهن به ڪال نه ڪريو lock() ۽ unlock(). استثناءَ جي موجودگيءَ ۾ مينوئل لاڪنگ تعطل ۽ اڻ ٺهڪندڙ رويي لاءِ ضمانت وارو رستو آهي.

Std::shared_mutex سان ڪم ڪرڻ وقت عام نقصانات ڇا آهن؟

جيتوڻيڪ واضح تبصرن ۽ نيڪ نيت سان، std::shared_mutex وٽ اهڙا ذهين پيچرا آهن جيڪي تجربيڪار ڊولپرز کي سفر ۾ آڻيندا آهن. سڀ کان وڌيڪ خطرناڪ آهي تالا اپ گريڊ: شيئر ٿيل لاڪ کي پهرين جاري ڪرڻ کان سواءِ ان کي خاص تالا ۾ اپڊيٽ ڪرڻ جو ڪو به ٺهيل طريقو ناهي. جاري ڪرڻ کان سواءِ ائين ڪرڻ جي ڪوشش هڪ تڪڙي بند لاڪ پيدا ڪري ٿي ڇاڪاڻ ته ٿريڊ هڪ شيئر لاڪ رکي ٿو خاص تالا جي انتظار ۾ جيڪو ڪڏهن به نه ٿو ڏئي سگهجي جيستائين ڪو به شيئر لاڪ موجود آهي - جنهن ۾ اهو رکيل آهي.

هڪ ٻي عام غلطي غلط گرينولريٽي کي تحفظ ڏيڻ آهي. ڊولپرز ڪڏهن ڪڏهن تمام وسيع طور تي تالا لڳندا آهن، پڙهندڙ-لکڻ جي نموني جي مقصد کي شڪست ڏئي، يا تمام تنگ ڪري، ونڊوز ڇڏي ويندا آهن جتي ٻن الڳ تالا جي حصولن جي وچ ۾ ڀڃڪڙي ٿيندي آهي. تبصرا جيڪي وضاحت ڪن ٿا invariant محفوظ ٿي رهيو آهي، بجاءِ صرف متغير کي بند ڪيو وڃي، ٽيمن کي ڪوڊ جي نظرثاني دوران درستي بابت دليل ڏيڻ ۾ مدد ڪن.

ڪارڪردگي به توهان کي حيران ڪري سگهي ٿي. ڪيترن ئي ليکڪن سان انتهائي تڪراري نظامن تي، std::shared_mutex اصل ۾ هڪ سادي std::mutex کان وڌيڪ خراب ڪم ڪري سگھي ٿو، اضافي بُڪ ڪيپنگ اوور هيڊ جي ڪري. هميشه اهو فرض ڪرڻ کان اڳ جو پروفائيل پڙهندڙ-لکڻ کي بند ڪرڻ هڪ خالص فتح آهي.

std::shared_mutex جو مقابلو std::mutex ۽ ٻين متبادلن سان ڪيئن ٿيندو؟

std::mutex آسان آهي، حاصل ڪرڻ لاءِ تيز آهي جڏهن تڪرار گهٽ هجي، ۽ مناسب آهي جڏهن پڙهڻ ۽ لکڻ لڳ ڀڳ برابر فريڪوئنسي تي ٿئي ٿو. std::shared_mutex ان وقت چمڪي ٿو جڏهن پڙهيل وڏي تعداد ۾ لکن ٿا - هڪ 10:1 يا ان کان وڌيڪ تناسب، سوئچ تي غور ڪرڻ کان اڳ انگن اکرن جو هڪ معقول اصول آهي.

C++14 متعارف ڪرايو std::shared_timed_mutex، جيڪو شامل ڪري ٿو try_lock_shared_for() ۽ try_lock_shared_until() وقت جي ڪوششن لاءِ. C++ 17 جو std::shared_mutex ٿلهي تي عمل ڪرڻ لاءِ وقت جي مختلف قسمن کي ڇڏي ٿو. جيڪڏهن توهان کي شيئر ٿيل رستي تي ٽائم بند ڪرڻ جي ضرورت آهي، std::shared_timed_mutex موجود رهي ٿو ۽ ٻئي قسم مڪمل طور تي معياري آهن.

لاڪ فري متبادلن لاءِ، std::atomic احتياطي ميموري آرڊرنگ سان گڏ ڪڏهن ڪڏهن ميوٽڪس کي مڪمل طور تي سادي جھنڊن يا ڳڻپيندڙن لاءِ تبديل ڪري سگھي ٿو، پر پيچيده ڊيٽا جي جوڙجڪ لاءِ، std::shared_mutex معياري لائبريري ۾ سڀ کان وڌيڪ پڙهڻ لائق ۽ برقرار رکڻ لائق حل رهي ٿو.

اڪثر پڇيا ويندڙ سوال

ڇا std::shared_mutex بک جو سبب بڻجي سگهي ٿو؟

ها، ٿي سگهي ٿو. جيڪڏهن نوان شيئر-لاڪ هولڊر مسلسل اچي رهيا آهن، هڪ خاص-لاک درخواست ڪندڙ شايد اڻڄاتل وقت تائين انتظار ڪري سگهي ٿو - هڪ کلاسک ليکڪ اسٽارٽيشن مسئلو. C++ معيار هڪ مخصوص منصفانه پاليسي کي اختيار نٿو ڪري، تنهنڪري رويي تي عملدرآمد تي منحصر آهي. عملي طور تي، اڪثر معياري لئبرريءَ جي عملن کي اوليت ڏني ويندي آهي التوا ۾ رکيل خاص لاڪ هڪ ڀيرو قطار ۾ لڳل آهن، پر توهان کي پنهنجي مخصوص ٽول چين ۽ پليٽ فارم لاءِ ان جي تصديق ڪرڻ گهرجي جيڪڏهن پيداوار ۾ بک جو خدشو آهي.

ڇا std::shared_mutex std::condition_variable سان استعمال ڪرڻ لاءِ محفوظ آهي؟

std::condition_variable کي هڪ std::unique_lock جي ضرورت آهي، تنهن ڪري اهو سڌو سنئون std::shared_mutex سان مطابقت نٿو رکي. جيڪڏهن توهان کي ڪنهن شرط تي انتظار ڪرڻ جي ضرورت آهي جڏهن هڪ شيئر ميوٽيڪس رکو، استعمال ڪريو std::condition_variable_any، جيڪو ڪم ڪري ٿو ڪنهن به BasicLockable قسم سان، جنهن ۾ std::shared_mutex سان جوڙيل هڪ std::shared_lock.

ڇا مون کي هر دفعي تبصرا شامل ڪرڻ گهرجن جڏهن مان std::shared_mutex استعمال ڪريان؟

گهٽ ۾ گهٽ، ميٽيڪس جي اعلان تي تبصرو ڪريو بيان ڪرڻ لاءِ ته اها ڪهڙي ڊيٽا جي حفاظت ڪري ٿي ۽ ان جي برقرار رکڻ واري انٽرينٽ. هر تالا واري سائيٽ تي، هڪ مختصر تبصرو وضاحت ڪري ٿو ته ڇو شيئر بمقابله خاص رسائي چونڊيو ويو ڪوڊ جي نظرثاني ڪندڙن ۽ مستقبل جي سنڀال ڪندڙن لاءِ اهم قدر شامل ڪري ٿو. Concurrency bugs انهن مان آهن جن کي ٻيهر پيدا ڪرڻ ۽ درست ڪرڻ تمام ڏکيو آهي، تنهن ڪري واضح، صحيح تبصرن ۾ سيڙپڪاري ڪيترائي ڀيرا منافعو ادا ڪري ٿي.

پيپليڪس سسٽم کي منظم ڪرڻ - ڇا سمورو C++ ڪوڊ يا هڪ مڪمل ڪاروباري آپريشن - گهربل اوزار ۽ واضح جوڙجڪ. Mewayz 207-ماڊيول ڪاروباري OS آهي جنهن تي 138,000 کان وڌيڪ استعمال ڪندڙن تي اعتماد ڪيو ويو آهي ته جيئن مارڪيٽنگ، CRM، اي ڪامرس، اينالائيٽڪس، ۽ وڌيڪ، سڀ هڪ پليٽ فارم ۾ صرف $19 في مهيني کان شروع ٿي. ڪيترن ئي ڌار ڌار اوزارن کي جاگنگ ڪرڻ بند ڪريو ۽ سٺو ڊزائين ڪيل سافٽ ويئر جي درستگي سان پنهنجو ڪاروبار هلائڻ شروع ڪريو. اڄ ئي Mewayz کي app.mewayz.com تي آزمايو ۽ ڏسو ته ڪيئن هڪ متحد نظام توهان جي ٽيم جي ڪم ڪرڻ جي طريقي کي تبديل ڪري ٿو.