MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
Dit artikel brengt de 179 MISRA C++ 2023-richtlijnen systematisch in kaart naar de programmeertaal Rust, categoriseert ze op toepasbaarheid om te demonstreren hoe Rust's ontwerp bijna de helft van de regels automatisch afdwingt, terwijl het specifieke aanpassingen biedt en hiaten identificeert voor de overige richtlijnen ter ondersteuning van de ontwikkeling van veiligheidskritieke systemen.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
Stel je voor dat je een machine met hoge risico's bouwt, zoals een zelfrijdende auto of een medisch apparaat. Je kunt het niet veroorloven dat één bout losraakt of dat een draad kortsluiting veroorzaakt. Decennia lang hebben ingenieurs die deze machines bouwen met de programmeertaal C++ een enorme, strenge regelboek gevolgd genaamd MISRA. Denk aan MISRA als een 179 pagina's tellende "Veiligheidshandleiding" die dingen zegt als: "Doe dit nooit", "Doe dat altijd" en "Als je dit specifieke onderdeel aanraakt, moet je een helm dragen."
Nu is er een nieuwe, veiligere taal aangekomen die Rust heet. Rust is als een supergeavanceerde bouwset die veel veelgemaakte fouten (zoals een bout laten vallen of draden kruisen) automatisch voorkomt, puur door hoe het is opgebouwd. Omdat Rust zo veilig is door ontwerp, beginnen ingenieurs het te gebruiken voor diezelfde machines met hoge risico's.
Het Probleem:
Het oude veiligheidshandleiding (MISRA) was geschreven voor C++. Het bevat regels over dingen die Rust zelfs niet heeft, en het mist dingen die Rust anders aanpakt. Als je probeert het oude handleiding te gebruiken voor de nieuwe set, eindig je met veel verwarrende, onnodige regels.
De Oplossing (De Missie van het Document):
De auteurs van dit document traden op als vertalers en veiligheidsinspecteurs. Ze namen elke enkele van de 179 regels uit het oude C++-handleiding en vroegen zich af: "Maakt deze regel nog steeds zin voor Rust?"
Ze creëerden een nieuw systeem om deze regels in zes verschillende bakken te sorteren:
- De "Afval" Bak (Niet van Toepassing): Dit zijn regels over dingen die simpelweg niet bestaan in Rust.
- Analogie: Stel je een regel voor die zegt: "Gebruik geen paard-en-wagen." Als je een Tesla rijdt, is deze regel nutteloos. Je hebt geen paard, dus je hoeft je er geen zorgen over te maken. Ongeveer 32% van de oude regels viel in deze categorie.
- De "Magie" Bak (Alreeds Voldaan): Dit zijn regels die Rust automatisch afdwingt.
- Analogie: Stel je een regel voor die zegt: "Laat de auto niet van een klif rijden." In Rust kan de auto letterlijk niet van een klif rijden, omdat het stuurwiel vergrendeld is totdat je de kaart controleert. De regel is nog steeds waar, maar je hoeft het niet op te schrijven omdat het ontwerp van de auto het onmogelijk maakt om het te overtreden. Ongeveer 30% van de regels viel hierin.
- De "Nog Nodig" Bak (Vereist in Veilige Rust): Dit zijn regels over algemeen gezond verstand die Rust niet automatisch oplost.
- Analogie: Zelfs met een perfecte auto heb je nog steeds een regel nodig die zegt: "Rijd niet terwijl je slaapt." Rust voorkomt mechanische storingen, maar het kan een slaperige bestuurder niet stoppen van het nemen van een slechte beslissing. Ongeveer 12% van de regels is nog steeds nodig, zelfs bij gebruik van de "veilige" versie van Rust.
- De "Gevarenzone" Bak (Vereist in Onveilige Rust): Rust heeft een speciale modus "raam breken in geval van nood" genaamd Unsafe. Dit stelt je in staat om de veiligheidsvergrendelingen te omzeilen om krachtige, laag-niveau dingen te doen.
- Analogie: Als je besluit de veiligheidsvergrendelingen van de auto te verwijderen om te racen, heb je plotseling alle die oude veiligheidsregels weer nodig. Het document vond dat 36 regels, die automatisch door Rust's veiligheid werden afgehandeld, plotseling weer kritiek worden als je deze "Unsafe" modus gebruikt.
- De "Vertaling" Bak (Behoefte aan Aanpassing): Sommige regels gaan over concepten die in beide talen bestaan, maar anders werken.
- Analogie: Een regel kan zeggen: "Gebruik geen schroevendraaier om een spijker te hameren." In Rust gebruik je helemaal geen schroevendraaiers; je gebruikt een gespecialiseerd gereedschap. De intentie (gebruik niet het verkeerde gereedschap) is hetzelfde, maar de specifieke instructie moet worden herschreven om te passen bij Rust's gereedschappen. Ongeveer 6% van de regels had deze soort vertaling nodig.
- De "Ontbrekende" Bak: Het document merkt op dat er enkele veiligheidskloven zijn waar Rust nieuwe regels nodig heeft die nog niet in het oude handleiding bestaan.
De Grote Kernpunten:
- Rust is een Game Changer: Omdat Rust zo veilig is opgebouwd, zijn bijna 61% van de oude C++-veiligheidsregels onnodig of automatisch afgehandeld door de taal zelf. Dit betekent dat een toekomstige veiligheidshandleiding voor Rust veel korter en makkelijker te volgen zou kunnen zijn.
- De "Onveilige" Valstrik: Als je de "Veilige" modus van Rust gebruikt, ben je zeer beschermd. Maar als je de "Onveilige" modus gebruikt (wat soms noodzakelijk is voor taken met hoge prestaties), verlies je die automatische bescherming. Het document benadrukt dat veiligheidscertificering voor Rust zich zwaar moet richten op hoe deze "Onveilige" secties worden beheerd.
- Het Is Nog Niet Af: Hoewel Rust geweldig is, merkt het document op dat de tools en industriestandaarden nog niet volledig volwassen zijn. Het is als het hebben van een fantastische nieuwe auto, maar de verkeersregels en verzekeringsmaatschappijen hebben er nog niet volledig op ingespeeld. Voorlopig zal Rust waarschijnlijk naast C++ worden gebruikt (zoals het toevoegen van een nieuwe, veiligere motor aan een oude auto) in plaats van het onmiddellijk volledig te vervangen.
In Samenvatting:
De auteurs zeiden niet zomaar "Rust is goed". Ze deden het harde werk om de oude veiligheidsregels te koppelen aan de nieuwe taal, bewijzend dat het ontwerp van Rust een enorm stuk van het oude regelboek elimineert, terwijl het duidelijk identificeert welke specifieke regels nog steeds belangrijk zijn en waar nieuwe regels moeten worden geschreven. Ze maakten al hun bevindingen openbaar zodat ingenieurs vandaag kunnen beginnen met het bouwen van veiligere systemen met Rust.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.