[Series sa Concurrency Control] #2. Optimistic vs. Pessimistic Concurrency Control Upang makahandle ng paralel na pagpapatakbo nang ligtas, ang mga mataas na performance na blockchain ay gumagamit ng isa sa dalawang pangunahing modelo ng concurrency control: Pessimistic o Optimistic na pagpapatakbo. Parehong layunin ay maiwasan ang state conflicts, ngunit iba-iba ang kanilang pagkakaroon ng panahon sa pagpapatakbo at komputasyonal na panganib. 1. Pessimistic na Pagpapatakbo: Una ang Pag-iwas sa Conflict Ang pessimistic concurrency control ay nag-aaral ng mga pangangailangan sa pag-access ng transaction state bago ang pagpapatakbo. - Kung ang dalawang transaction ay naglalayon sa parehong account o storage slot, pinipilit ng sistema na hintayin ang isa sa queue. - Ang mga may conflict na transaction ay pinagsama sa mga sequential batch na walang conflict, na nagtatanggal ng overhead sa re-execution. - Kompromiso: Mataas na predictability sa resources at zero failed transaction retries, ngunit mas mataas ang latency (mode na hintay) habang may malakas na kompetisyon sa state. 2. Optimistic na Pagpapatakbo: Unahin ang Pagpapatakbo, Pagkatapos ay I-Validate Ang optimistic concurrency control ay nagmumula sa palagay na ang mga conflict ay makatotohanang rare at agad na pinapatakbo ang lahat ng transaction nang paralelo. - Ang mga transaction ay pinapatakbo nang paralelo nang walang delay, ngunit ang kanilang state updates ay iivaltid bago ang final na pag-commit sa ledger. - Kung ang isang transaction ay nabasa ang stale state dahil sa overlapping write, ito ay i-abort at i-mark para sa re-execution (rerunning mode). - Kompromiso: Maximum na paggamit ng hardware at sub-second latency sa mababang conflict na workload, ngunit nawawalang compute resources at retries habang may mataas na congestion sa state collisions. 3. Ang Pangunahing Hamon sa Engineering Ang pagpili sa pagitan ng pessimistic pre-sorting at optimistic speculative execution ay nagtatakda kung paano magperform ang isang network sa ilalim ng volatility. Mahalaga ang pag-unawa sa mga mekanismo na ito upang makabuo ng matibay na execution layers. @RialoHQ @RialoKorea