| EPSRC Reference: |
EP/D032423/1 |
| Title: |
Merging Single Assignment C and Vector Pascal Technologies |
| Principal Investigator: |
Cockshott, Dr P |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
School of Computing Science |
| Organisation: |
University of Glasgow |
| Scheme: |
Overseas Travel Grants Pre-FEC |
| Starts: |
01 September 2005 |
Ends: |
30 November 2005 |
Value (£): |
1,510
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The language Single Assignment C (SAC) has the syntactic appearance of conventional C but: 1 It has as its underlying implementation a purely functional model of programming. 2 It is actually an array language with intellectual antecedants in APL, allowing the expression of generic operations on array level data structures.3 It is compiled for parallel execution on shared memory multiprocessors. SAC was originally developed at the University of Kiel by Grelck and Scholz, who are now at the Universities of Luebeck and Hertfordshire respectively. A major goal of the language development has been to allow the expressive power of APL within the context of an efficiently compiled programming language. In particular, SAC allows the specification of generic operators over arrays of any rank including those whose rank is not known until function application. The language Vector Pascal (VP), is designed to be a superset of ISO Pascal. Like Single Assignment C, it is an array language, again showing the intellectual influence of Iverson's APL. It allows operations over whole arrays in a style similar to Fortran90.Its model of parallelism is based on the use of Map and Reduce. Mapping of operations over arrays is implicit and allowed for all operators whether primitive or user defined. Reduction of arrays by dyadic operators is similar to that in APL, and again appliesboth to primitive and user defined operators.It was developed at the University of Glasgow by Paul Cockshott and final year students in the department of Computing Science over the last 5 years. Whereas SAC is targeted at shared memory multiprocessors, VP is targeted at SIMD single processors. VP also has a type system optimised for image processing.We aim to explore approaches to building a merged system that targets image processing on hyper-threaded SIMD processors.This will involve a visit by C Grelck to Glasgow of perhaps 3 weeks duration to work out a technical approach with a short follow on visit to Luebeck a month or so later by Paul Cockshott.
|
|
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: |
http://www.gla.ac.uk |