Zeintzuk dira std::shared_mutex-ekin lan egitean ohiko akatsak?

Nahiz eta iruzkin argiak eta asmo onak izan, std::shared_mutex-k garatzaile adituak ibiltzen dituzten tranpa sotilak ditu. Arriskutsuena blokeoen bertsio-berritzea da: ez dago partekatutako blokeoa blokeo esklusibo batera eguneratzeko modu integraturik lehen askatu gabe. Askatu gabe egiten saiatzeak berehalako blokeo-blokeoa sortzen du, hariak partekatutako blokeoa duelako, blokeo partekatua dagoen bitartean inoiz eman ezin den blokeo esklusiboaren zain dagoen bitartean, edukitzen duena barne.

Ohiko beste akats bat granularitate okerra babestea da. Garatzaileek, batzuetan, zabalegi blokeatzen dute, irakurle-idazle ereduaren helburua garaituz, edo estuegi, bi blokeo eskuraketen artean aldaezinak urratzen diren leihoak utziz. Babestu gabeko aldagaia deskribatzen duten iruzkinek, blokeatuta dagoen aldagaia baino, taldeei zuzentasunari buruz arrazoitzen laguntzen diete kodea berrikustean.

Errendimenduak ere harritu zaitu. Idazle asko dituzten sistema oso lehiatuetan, std::shared_mutex benetan std::mutex arrunt batek baino okerragoa izan daiteke, kontabilitatearen gainkostua dela eta. Egin beti profila irakurle-idazleen blokeoa irabazi garbia dela suposatu aurretik.

Nola alderatzen da std::shared_mutex std::mutex eta beste alternatiba batzuekin?

std::mutex sinpleagoa da, azkarragoa da eskuratzen gatazka baxua denean, eta egokia irakurketak eta idazketak gutxi gorabehera maiztasun berdinean gertatzen direnean. std::shared_mutex distira egiten du irakurketak idazketa kopurua nabarmen gainditzen duenean — 10:1 edo handiagoa proportzioa arrazoizko arau bat da aldaketa kontuan hartu aurretik.

C++14-k std::shared_timed_mutex sartu zuen, eta horrek try_lock_shared_for() eta try_lock_shared_until() gehitzen ditu denborazko saiakeretarako. C++17-ren std::shared_mutex denborazko aldaerak kentzen ditu inplementazio arinago baterako. Bide partekatuan denboraz blokeatzea behar baduzu, std::shared_timed_mutex erabilgarri egongo da eta bi motak guztiz estandarrak dira.

Blokerik gabeko alternatibetarako, std::atomic memoria ordenamendu zainduarekin konbinatuta, batzuetan, mutex bat guztiz ordezkatu dezake bandera edo kontagailu soiletarako, baina datu-egitura konplexuetarako, std::shared_mutex liburutegi estandarreko soluziorik irakurgarriena eta mantentzen dena izaten jarraitzen du.

Ohiko galderak

Std::shared_mutex-ek gosea eragin al dezake?

Bai, daiteke. Partekatutako blokeoen titular berriak etengabe iristen badira, blokeo esklusiboaren eskatzaile batek mugarik gabe itxaron dezake; idazle gosea arazo klasikoa da. C++ estandarrak ez du zuzentasun politika zehatzik agintzen, beraz, portaera inplementazioaren araberakoa da. Praktikan, liburutegiaren inplementazio estandar gehienek zain dauden blokeo esklusiboak lehenesten dituzte ilaran jarritakoan, baina hori egiaztatu beharko zenuke zure tresna-kate eta plataforma espezifikorako, gosea ekoizpenean kezkatzen bada.

Std::shared_mutex segurua da std::condition_variable-rekin erabiltzeko?

std::condition_variable std::unique_lock behar du, beraz, ez da zuzenean bateragarria std::shared_mutex-rekin. Partekatutako mutex bat eduki bitartean baldintzaren bat itxaron behar baduzu, erabili std::condition_variable_any, BasicLockable edozein motarekin funtzionatzen duena, std::shared_mutex barne, std::shared_lock batekin parekatuta.

Iruzkinak gehitu behar al ditut std::shared_mutex erabiltzen dudan bakoitzean?

Gutxienez, iruzkin ezazu mutexaren deklarazioa zer datu babesten dituen eta mantentzen dituen aldaezinak deskribatzeko. Blokeo gune bakoitzean, sarbide partekatua eta esklusiboa zergatik aukeratu den azaltzen duen iruzkin labur batek balio handia ematen die kode berrikusleei eta etorkizuneko zaintzaileei. Aldibereko akatsak erreproduzitzen eta konpontzen zailenetakoak dira, beraz, iruzkin argi eta zehatzetan egindako inbertsioak dibidenduak ematen ditu askotan.

Sistema konplexuak kudeatzeko, C++ kodea aldi berean edo negozio-eragiketa oso bat izan, tresna egokiak eta egitura argia eskatzen du. Mewayz 138.000 erabiltzaile baino gehiagok fidatzen duten 207 moduluko negozio-sistema eragilea da, marketinari, CRMri, merkataritza elektronikoari, analitikari eta abarrei argitasun bera emateko, dena plataforma bakarrean hilean 19 dolar baino lehen. Utzi deskonektatutako dozenaka tresnarekin malabareari eta hasi zure negozioa ondo diseinatutako softwarearen zehaztasunarekin zuzentzen. Probatu Mewayz gaur app.mewayz.com helbidean eta ikusi nola eraldatzen duen sistema bateratu batek zure taldearen lan egiteko modua.