Ձեր հաշվապահական գիրքը գումար է կորցնում, և ձեր թեստերը երբեք չեն ասի այդ մասին

Dev.to-ում հրապարակված հոդվածում ծրագրավորող Sunny56-ը քննարկում է վճարային և հաշվապահական համակարգերում զուգահեռության (concurrency) հետ կապված սխալների կարևոր խնդիրը: Հեղինակը նշում է, որ ստանդարտ թեստավորումը հաճախ չի հայտնաբերում այնպիսի իրավիճակներ, երբ միաժամանակյա գործարքները հանգեցնում են գումարի կորստի, նույնիսկ եթե տրամաբանությունն ու հաշվարկները ճիշտ են: Խնդիրը ցուցադրելու համար հեղինակը թողարկել է «ledger-core» պահոցը, որը պարունակում է կրկնակի գրառման հաշվապահական համակարգի իրականացում՝ տարբեր ռազմավարություններով: Հոդվածում մանրամասն ներկայացվում է, թե ինչպես են պարզ «կարդալ-փոփոխել-գրել» գործողությունները ձախողվում ծանրաբեռնվածության տակ, և առաջարկվում են լուծումներ, ինչպիսիք են պեսիմիստական արգելափակումը, օպտիմիստական կառավարումը և սերիալիզացվող գործարքները: Հեղինակը շեշտում է, որ նման թաքնված սխալները կանխելու լավագույն միջոցը հատուկ մրցակցային իրավիճակների համար նախատեսված թեստեր գրելն է: