Migrating Esope to Fortran 2008 using model transformations
Dit artikel presenteert een modelgedreven engineeringaanpak en tool die legacy FORTRAN 77-code met propriëtaire Esope-extensies automatisch migreert naar leesbare Fortran 2008, terwijl het oorspronkelijke abstractieniveau behouden blijft.
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 enorme, ongelooflijk waardevolle bibliotheek hebt met oude boeken, geschreven in een taal die al decennia niet meer wordt gesproken. Deze boeken bevatten de blauwdrukken voor kerncentrales, en ze werken nog steeds perfect. Echter, de "drukpers" (de compiler van de computer) die gebruikt wordt om ze te lezen, wordt oud, en de nieuwe, moderne persen begrijpen de specifieke, eigenzinnige instructies van deze oude boeken niet meer.
Dit is het verhaal van Esope en Fortran 77.
Het Probleem: Een Taal met een "Spiekbriefje"
Terug in de jaren 80 hadden programmeurs bij een bedrijf genaamd Framatome complexe systemen moeten bouwen. De taal die zij gebruikten, Fortran 77, was als een zeer strikte, ouderwetse accountant: het was geweldig in wiskunde maar verschrikkelijk in het organiseren van gegevens. Het kon niet gemakkelijk flexibele lijsten aanmaken of geheugen beheren (zoals een digitale archiefkast die groter wordt naarmate je meer bestanden toevoegt).
Om dit op te lossen, bedachten ze Esope. Denk aan Esope als een gespecialiseerde vertaler of een "spiekbriefje"-laag die bovenop Fortran 77 ligt. Het stelde programmeurs in staat om te zeggen: "Maak een dynamische lijst van boeken," waarna de vertaler dit geheim in een reeks laag-niveau, rommelige instructies veranderde die Fortran 77 wel kon begrijpen.
De Haken en Panen:
Moderne computercompilers zijn zo slim geworden dat ze niet van deze "spiekbriefjes" houden. Ze kunnen de code nog wel lezen, maar ze kunnen deze niet optimaliseren (er sneller van laten draaien) omdat ze in de war raken door de oude trucjes. Het is alsoal proberen een Ferrari te besturen met een zware, roestige ketting om de wielen gewikkeld; het beweegt wel, maar het is traag en de motor kan in de toekomst kapotgaan.
De Missie: Verhuizen naar een Nieuw Huis
Het team bij Framatome moest deze kritieke systemen verhuizen van het oude, roestige huis (Fortran 77 + Esope) naar een gloednieuw, modern landhuis (Fortran 2008).
Fortran 2008 behoort tot dezelfde talenfamilie, maar is de moderne versie. Het heeft ingebouwde functies voor de zaken die Esope vroeger simuleerde. Het is alsof het landhuis al over een ingebouwd, hoogtechnologisch archiefsysteem beschikt, zodat je het spiekbriefje niet meer nodig hebt.
De Uitdaging:
Je kunt de boeken niet zomaar kopiëren en plakken. De instructies van het "spiekbriefje" (Esope-commando's) bestaan niet in het nieuwe huis. Als je ze simpelweg woord voor woord zou vertalen, zou de code een rommel van laag-niveau geheugenbeheer worden die niemand meer kan begrijpen of repareren. Het doel was om de ideeën (de logica) te vertalen, terwijl je de oude machines (de laag-niveau trucjes) weggooit.
De Oplossing: De Robot Architect
De auteurs (Younoussa Sow en zijn team) bouwden een robot architect om de verhuizing te regelen. Ze gebruikten niet alleen een simpel "zoek en vervang"-instrument; ze gebruikten een geavanceerde methode genaamd Model-Driven Engineering.
Zo werkt hun robot, gebruikmakend van een analogie:
Het Lezen van de Blauwdruk (Het Model):
In plaats van de ruwe tekst van de code te lezen, zet de robot de code eerst om in een 3D architectonisch model. Het begrijpt de structie: "Dit is een gebruiker," "Dit is een boek," "Dit is een pointer." Het negeert even de rommelige syntaxis en focust op de vorm van de data.De Transformatie (De Renovatie):
De robot neemt dit oude model en past een reeks regels toe om het te herbouwen voor het nieuwe huis.- De "Dubbele Indirectie"-truc: In het oude systeem gebruikte Esope een slimme truc om ervoor te zorgen dat als een lijst groeide, het adres van de lijst niet veranderde (zodat niemand verdwaalde). De robot moest deze magie recreëren met moderne Fortran-tools, waarbij werd gewaarborgd dat als een ontwikkelaar een lijst aanpast, hij zich geen zorgen hoeft te maken over gebroken pointers.
- De "Grafiek" van Data: De oude code bevatte complexe webben van data die naar elkaar wezen. De robot herbouwde deze webben met moderne "derived types" (zoals aangepaste containers), zodat ze natuurlijk in het nieuwe systeem passen.
- Opruimen: De robot verwijderde oude, slordige gewoonten zoals "implicit typing" (waarbij de computer raadt wat een variabele is) en dwong alles om duidelijk gelabeld te worden, wat de code veiliger en makkelijker leesbaar maakt.
De Output (Het Nieuwe Huis):
De robot exporteert het nieuwe model terug naar Fortran 2008-code.- Leesbaar: De nieuwe code ziet eruit als schone, moderne Fortran, niet als een stapel laag-niveau geheugenadressen.
- Schaalbaar: Zelfs als één regel oude code veranderde in 100 regels nieuwe code (omdat het nieuwe systeem explicieter is), handelde de robot dit automatisch af.
- Traceerbaar: Als de robot een opmerking moest toevoegen om uit te leggen waarom hij iets veranderde, deed hij dat duidelijk, zodat mensen weten wat er is gebeurd.
De Resultaten: Een Sneller, Schoner Huis
Het team testte hun robot op een "Boekwinkel"-simulatie (het beheren van gebruikers, boeken en leningen).
- Snelheid: De nieuwe Fortran 2008-code draaide drie keer sneller dan de oude Esope-versie.
- Geheugen: Het gebruikte minder geheugen.
- Betrouwbaarheid: Het produceerde exact dezelfde resultaten als het oude systeem, wat bewees dat de "vertaling" perfect was.
De Kernboodschap
Het paper laat zien dat je een legacy-systeem dat gebouwd is op een "spiekbriefje" (Esope) automatisch kunt migreren naar een moderne, robuuste standaard (Fortran 2008) zonder de oorspronkelijke logica te verliezen of het systeem te breken.
Ze hebben niet alleen de code gerepareerd; ze hebben het hele fundament geüpgraded. Het resultaat is een systeem dat sneller, veiliger en klaar is om nog decennia mee te gaan, zonder dat de ontwikkelaars miljoenen regels code handmatig hoeven te herschrijven. De "robot architect" deed het zware werk, waardoor de menselijke ingenieurs zich konden concentreren op de bedrijfslogica in plaats van op de stoffige, kapotte machines uit het verleden.
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.