Premium
Experimenting with dynamic linking with ADA
Author(s) -
Inverardi Paola,
Mazzanti Franco
Publication year - 1993
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380230102
Subject(s) - unix , control reconfiguration , computer science , programming language , operating system , kernel (algebra) , unix architecture , code (set theory) , semantics (computer science) , semaphore , embedded system , software , mathematics , set (abstract data type) , combinatorics
An approach to achieving dynamic reconfiguration within the framework of Ada 1 is described. A technique for introducing a kernel facility for dynamic reconfiguration in Ada is illustrated, and its implementation using the Verdix VADS 5.5 Ada compiling system on a Sun3–120 running the 4.3 BSD Unix operating system is discussed. This experimental kernel allows an Ada program to change its own configuration dynamically, linking new pieces of code at run‐time. It is shown how this dynamic facility can be integrated consistently at the Ada language level, without introducing severe inconsistencies with respect to the Standard semantics.