Idag tittar vi på Atomicity Violation Checker:
Vår fjärde Rust-kontroll i den pågående Chain-Fox-trådserien om samtidighet och säkerhetsfrågor i Rust-projekt.
Subtila samtidighetsbuggar kan i tysthet underminera dina system. Vårt nästa verktyg tar fram dem i ljuset.
Detta markerar fortsättningen på vår djupdykning i Chain-Fox-kontroller för Rust. 🧵
Vad gör den här kontrollen?
Den upptäcker potentiella kapplöpningstillstånd orsakade av interfolierade atomära operationer i flertrådade Rust-program
Atomiska åtgärder som verkar säkra isolerat kan bryta mot logiken när de kombineras utan korrekt synkronisering.
Problemet
När flera atomiska åtgärder har åtkomst till samma variabel, och dessa åtkomster interfolieras av en annan tråds atomiska åtgärder, kan det bryta programvarianter.
Detta resulterar i logiska buggar som är svåra att återskapa och ännu svårare att felsöka.
Varför är det viktigt?
Dessa buggar kraschar inte ditt program
De får den att bete sig felaktigt
I blockkedjesystem eller samtidiga applikationer kan det leda till förlorade meddelanden, bruten konsensus eller inaktuellt tillstånd.
Så här fungerar kontrollen
Atomicity Violation Checker analyserar mellannivårepresentationen MIR för din Rust-kod
Den identifierar mönster där atomiska operationer saknar korrekt synkronisering
Den rapporterar:
• Typerna av de atomära operationerna
• Kodplatserna där de förekommer
Påverkan i den verkliga världen
Detta är inte bara teori. Här är en bugg som vi avslöjade i parity-ethereum
Åtgärda atomicitetsbrott i network-devp2p av Chain-Fox · Pull-begäran #11277
openethereum/parity-ethereum
Varför det är viktigt för Rust-utvecklare
• Rost ger minnessäkerhet men samtidighet förblir ett logiskt minfält
• Atomic ops kan interagera tyst mellan trådar
• Vår checker fångar upp det som kompilatorn inte kan
Skapa korrekt samtidig kod med tillförsikt
Hittills har vi förklarat fyra Rust-checkers i Chain-Fox-sviten
• Dubbellås Checker
• Kontroll av konfliktlås
• Condvar Kontroll av missbruk
• Kontroll av atomicitetsbrott
Fler är på väg. Vi kommer att ta upp nästa i vår kommande tråd.
87
5,54 tn
Innehållet på den här sidan tillhandahålls av tredje part. Om inte annat anges är OKX inte författare till den eller de artiklar som citeras och hämtar inte någon upphovsrätt till materialet. Innehållet tillhandahålls endast i informationssyfte och representerar inte OKX:s åsikter. Det är inte avsett att vara ett godkännande av något slag och bör inte betraktas som investeringsrådgivning eller en uppmaning att köpa eller sälja digitala tillgångar. I den mån generativ AI används för att tillhandahålla sammanfattningar eller annan information kan sådant AI-genererat innehåll vara felaktigt eller inkonsekvent. Läs den länkade artikeln för mer detaljer och information. OKX ansvarar inte för innehåll som finns på tredje parts webbplatser. Innehav av digitala tillgångar, inklusive stabila kryptovalutor och NFT:er, innebär en hög grad av risk och kan fluktuera kraftigt. Du bör noga överväga om handel med eller innehav av digitala tillgångar är lämpligt för dig mot bakgrund av din ekonomiska situation.