Klimop Compiler- en runtime-bibliotheek voor een uitgebreid dialect van C die het type, geheugen en de concurrency-veiligheid controleren
Download nu

Klimop Rangschikking & Samenvatting

Klimop Tags

controleren compileren looptijd c-looptijd geheugencontrole

Klimop Beschrijving

Compiler- en Runtime-bibliotheek voor een uitgebreid dialect van C die het type, geheugen en de concurrency-veiligheid controleren Ivy vertrouwt op een klein aantal lichtgewicht annotaties in de broncode om tijd en ruimte overheadkosten redelijk te houden. Ivy wordt geïmplementeerd als een C-to-C-compiler met behulp van GCC als de backend, en dit maakt de Ivy Compiler-stuurprogramma, Ivycc, een directe drop-in-in-in-vervanging voor GCC. C blijft een zeer veel gebruikte systeemprogrammeringstaal; Het is algemeen bekend, ondersteund door vele hulpmiddelen, geeft goede toegang tot hardware op laag niveau ... maar het produceren van veilige en betrouwbare C-programma's is onnodig moeilijk, een bijzonder aanzienlijk probleem voor gelijktijdige programma's en in bepaalde systemencode. Moderne talen hebben veel van deze veiligheids- en betrouwbaarheidsproblemen aan, maar het voeren van grote systemen naar een nieuwe taal is vaak onpraktisch. Statische analyses van C vinden enkele problemen, maar garanderen meestal geen veiligheid. Verklaard is een alternatieve aanpak: Ivy zal een veilige, gelijktijdige taal zijn, volledig interoperabel met C.IVY is effectief drie hulpmiddelen in één (van de meeste volwassenen tot meer experimenteel) : · Afgevaardigde controles type en geheugenveiligheid (arraygrens, vakbonden, gebruik van ongeldig *, enz.) · HEADPERSAFE CONTROLEERS MEMORYLOCATIONS · Sharc controleert dat geheugen correct wordt gedeeld in parallelle programma's

Klimop Gerelateerde software