Schonberg, E. and Banner, B. The GNAT project: a GNU-Ada 9X compiler. In Proceedings of Tri-Ada'94 (Baltimore, USA, Nov 1994), ACM Press, 48-57.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....to ensure abstraction from kernel implementation, and also on top of the FTManager (responsible for the replica management and for the communication algorithms implementation) to provide the fault tolerance abstraction. The selected kernel and Ada compiler are, respectively, RTEMS [16] and GNAT [18]. Both GNAT and RTEMS sources are freely available and can be adapted and extended to implement the FTManager. CPU board RTEMS Communication Manager Replica Manager GNAT library Application Fig. 2 Multi Node Architecture The FTManager is responsible for the transparent incorporation of ....

Schonberg, E. and Banner, B. The GNAT project: a GNU-Ada 9X compiler. In Proceedings of Tri-Ada'94 (Baltimore, USA, Nov 1994), ACM Press, 48-57.

....units and we converted it into one unit which has about 8200 lines. A DUN had been generated from the unit, which had 2126 vertices and 2423 arcs. The generation took 2 minutes 7 seconds, where the execution environmentwas Sun Ultra1 (Ultra SPARC 200MHz, main memory 128MB) Solaris 2.6, gnat 3. 11p[13], ASIS for GNAT 3.11p[12] 6. A System Dependence Net Generator for Ada 95 Programs The SDN of the target program can be generated from its DUN. A SDN Generator can be implemented in a language independentway. As the first step of the generation, our SDN Generator computes control dependences ....

E. Schonberg, B. Banner. The GNAT Project: A GNU-Ada 9X Compiler. Ada Europe News, No. 20: 10--19, 1995.

....We thus can view ASIS as a re exive description interface for Ada. The CIAO DSA to IDL translator uses ASIS. This makes it independent of any particular Ada compilation environment, although it is developed primarily with the GNAT compiler, and the associated ASIS for GNAT implementation. GNAT [27] is a free software Ada compilation environment initially developed at New York University and now maintained by Ada Core Technologies 2 . 3.2.2 The CIAO translator The CIAO Translator uses ASIS to extract syntactic and semantic information from the GNAT Ada 95 compilation environment. The ....

E. Schonberg and B. Banner. The GNAT project: A GNU-Ada 9X compiler. In Proceedings of Tri-Ada'94, Baltimore, Maryland, USA, 1994.

....to ensure abstraction from kernel implementation, and also on top of the FTManager (responsible for the replica management and for the communication algorithms implementation) to provide the fault tolerance abstraction. The selected kernel and Ada compiler are, respectively, RTEMS [16] and GNAT [18]. Both GNAT and RTEMS sources are freely available and can be adapted and extended to implement the FTManager. Replica Management in Real Time Ada 95 Application , Luis M. Pinho, Francisco Vasques Submission to IRTAW 99 pag. 8 14 CPU board RTEMS Communication Manager Replica Manager GNAT ....

Schonberg, E. and Banner, B. The GNAT project: a GNU-Ada 9X compiler. In Proceedings of Tri-Ada'94 (Baltimore, USA, Nov 1994), ACM Press, 48-57.

....is built on top of the compiler library, to ensure abstraction from kernel implementation, and also on top of the FTManager, providing the fault tolerance abstraction. The selected kernel is the Real Time Executive for Multiprocessor Systems (RTEMS) 12] and the selected Ada compiler is GNAT [14]. RTEMS is a real time kernel suitable for real time applications as it implements the needed features (multitasking, multiprocessing, preemptive scheduling, intertask communication, priority inheritance, etc) It has a modular architecture, and so it is possible for non used features not to be ....

Schonberg, E. and Banner, B. The GNAT project: a GNU-Ada 9X compiler. In Proceedings of Tri-Ada'94 (Baltimore, USA, Nov 1994), ACM Press, 48-57.

....tolerance abstraction. CPU board RTEMS Communication Manager Replica Manager GNAT library Application Fig. 1 Multi Node Architecture Fault Tolerance Manager The selected kernel is the Real Time Executive for Multiprocessor Systems (RTEMS) 8] and the selected Ada compiler is GNAT [9]. RTEMS is a real time kernel suitable for real time applications as it implements the needed features (multitasking, multiprocessing, preemptive scheduling, intertask communication, priority inheritance, etc. It has a modular architecture, and so it is possible for non used features not to be ....

Schonberg, E. and Banner, B. The GNAT project: a GNU-Ada 9X compiler. In Proceedings of Tri'Ada'94 (Baltimore, USA, Nov. 1994), ACM Press, pp. 48-57.

....entity. We thus can view ASIS as a reflexivity interface for Ada. The CIAO DSA to IDL translator uses ASIS. This makes it independent of any particular Ada compilation environment, although it is developed primarily with the GNAT compiler, and the associated ASIS for GNAT implementation. GNAT [8] is a free software Ada compilation environment initially developed at New York University and now maintained by Ada Core Technologies 1 . 3.2 The CIAO translator 3.2.1 Overview The CIAO Translator [7] uses ASIS to extract syntactic and semantic information from the GNAT Ada 95 compilation ....

E. Schonberg and B. Banner. The GNAT project: A GNUAda 9X compiler. In Proceedings of Tri-Ada'94, Baltimore, Maryland, USA, 1994. 8

....our solutions to these problems by augmenting Ada95 with appropriate language features. Currently we are building a precompiler for Ada95 which implements these language features. Its output is again Ada95 and the precompiler is actually built by modifying GNAT, the Gnu Ada Translator (cf. [SB94]) 2 Discrete Loops Ordinary programming languages support two different forms of loop statements: for loops: A loop variable assumes all values of a given integer range. Starting with the smallest value of the range, the loop body is iterated until the value of the loop variable is outside the ....

....that is aimed at the determination of the timing behavior of software for real time systems. 2 GNAT has been developed at New York University and its source code is distributed under terms of the GNU General Public License as published by the Free Software Foundation. 3 Details can be found in [SB94] as possible while providing extra functionality in separate units that are called where appropriate (e.g. on encountering keyword discrete during syntactic or semantic analysis) Because of arising dependencies it was on the other hand necessary to properly integrate our extensions into the ....

[Article contains additional citation context not shown here]

E. Schonberg and B. Banner. The GNAT project: A GNU-Ada9X compiler. In Conference Proceedings of TRI-Ada 94, 1994. This article was processed using the L a T E X macro package with LLNCS style

....Project GNAT (an acronym for GNU NYU Ada Translator) is a front end and runtime system for Ada 95 that uses the successful GCC back end as a retargettable code generator. GNAT is thus part of the GNU software, and is distributed according to the guidelines of the Free Software Foundation [SGC94, Section 1]. GNAT has been developed by two cooperating teams: GNAT Development Team (New York University) Guided by professors Edmond Schonberg and Robert B.K. Dewar. This group developed the front end of the Ada compiler. Project PART Team (Florida State University) Guided by professor Theodore ....

....then uses the RTL, which GCC maps when necessary into the target machine language. The leverage for constructing a front end for GCC is thus enormous: GNAT potentially has over 30 targets. Furthermore, GCC produces high quality code, comparable to that of the best commercial compilers [SGC94, Section 2]. 1.2 GNAT Organization The first decision involved choosing the language in which GNAT should be written. GCC is fully written in C, but for technical reasons as well as non technical ones, it was inconceivable to use anything but Ada for GNAT itself. The GNAT team started using a relatively ....

E. Schonberg, F. Gasperoni, and C. Comar. The GNAT Project: A GNU-Ada9X Compiler. New York University, 1994.

No context found.

Edmond Schonberg and Bernard Banner. The GNAT project: A GNU-Ada 9X compiler. In Proceedings of TriAda '94, Baltimore, Maryland, 1994.

No context found.

Edmond Schonberg and Bernard Banner. The GNAT project: A GNU-Ada 9X compiler. In Proceedings of Tri-Ada'94, Baltimore, Maryland, USA, 1994.

No context found.

Ed Schonberg & Bernard Banner. The GNAT Project: A GNU-Ada 9X Compiler. Proceedings of Tri-Ada '94, pp. 48-57, November

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC