| EPSRC Reference: |
GR/J11089/01 |
| Title: |
THE IMPLEMENTATION OF UFO ON VIRTUAL SHARED MEMORY MULTIPROCESSORS |
| Principal Investigator: |
Kirkham, Dr CC |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Victoria University of Manchester, The |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 April 1993 |
Ends: |
30 June 1996 |
Value (£): |
156,364
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
To investigate the issues concerned with the implementation of United Functions and Objects (UFO), a new architecture-independent parallel programming language, on virtual shared memory multiprocessors. To manage updateable state UFO adds Objects to a strict functional language base, producing a language in which various forms of parallelism may be exploited automatically.Progress:Since the start of the grant, a compiler for a large subset of UFO has been developed. This is written in UFO and generates sequential C, which has been shown to work on the KSR-1. In this period the design of the language has been refined, on the basis of experience with the language in programming both the project software and other applications. As a result, there is now considerable confidence in the features of the language. A major achievement in the past year has been the design of an appropriate intermediate code, known as UFLOW, which will form the basis for many of the transformations necessary for the efficient exploitation of parallelism. UFLOW represents a UFO program using a computational model which combines dataflow with a modified form of actors. The compiler can generate it, and there is also an interpreter for UFLOW to provide a debugging/visualisation tool. Work has started on implementing UFLOW to UFLOW transformations to perform the simple optimisations needed for e.g. update-in-situ, common sub expression removal, etc. Generation of parallel code from UFLOW will then commence.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
|