pGNAT : the Ravenscar cross compiler for the Gurkh Project
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2004.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2005
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/17994 |
| _version_ | 1826195066235912192 |
|---|---|
| author | Seeumpornroj, Pee, 1979- |
| author2 | I. Kristina Lundqvist. |
| author_facet | I. Kristina Lundqvist. Seeumpornroj, Pee, 1979- |
| author_sort | Seeumpornroj, Pee, 1979- |
| collection | MIT |
| description | Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2004. |
| first_indexed | 2024-09-23T10:06:22Z |
| format | Thesis |
| id | mit-1721.1/17994 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T10:06:22Z |
| publishDate | 2005 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/179942019-04-10T15:09:40Z pGNAT : the Ravenscar cross compiler for the Gurkh Project Ravenscar cross compiler for the Gurkh Project Seeumpornroj, Pee, 1979- I. Kristina Lundqvist. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2004. Includes bibliographical references (leaves 54-56). Concurrency has greatly simplified the design of embedded software, but the gain in design simplicity is offset by the complexity of system implementation. The Ravenscar profile of Ada95 defines safe tasking constructs that enable the use of deterministic concurrency. The translation of these high-level constructs by the compiler to deterministic object code is dependent on both the underlying operating system and the system operation platform. The commonly available open-source development tools for compiling Ravenscar compliant Ada95 assume that the operating system is implemented as software. A hardware implemented run-time kernel requires a radical rethink of the execution architecture because operating system calls have to be routed from the host processor running the tasks to the hardware implemented kernel RavenHaRT. The redesigned compiler pGNAT is based on the open-source GNAT compiler and uses the GCC back end to cross compile application code to PowerPC object code. The GNAT run-time library (GNARL) is modified to support the use of RavenHaRT. This thesis presents the technical challenges faced and the modifications carried out for generating RavenHaRT compatible, Ravenscar compliant object code. by Pee Seeumpornroj. M.Eng. 2005-06-02T19:32:55Z 2005-06-02T19:32:55Z 2004 2004 Thesis http://hdl.handle.net/1721.1/17994 57195897 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 122 leaves 6018033 bytes 6033411 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Seeumpornroj, Pee, 1979- pGNAT : the Ravenscar cross compiler for the Gurkh Project |
| title | pGNAT : the Ravenscar cross compiler for the Gurkh Project |
| title_full | pGNAT : the Ravenscar cross compiler for the Gurkh Project |
| title_fullStr | pGNAT : the Ravenscar cross compiler for the Gurkh Project |
| title_full_unstemmed | pGNAT : the Ravenscar cross compiler for the Gurkh Project |
| title_short | pGNAT : the Ravenscar cross compiler for the Gurkh Project |
| title_sort | pgnat the ravenscar cross compiler for the gurkh project |
| topic | Electrical Engineering and Computer Science. |
| url | http://hdl.handle.net/1721.1/17994 |
| work_keys_str_mv | AT seeumpornrojpee1979 pgnattheravenscarcrosscompilerforthegurkhproject AT seeumpornrojpee1979 ravenscarcrosscompilerforthegurkhproject |