Use this URL to cite or link to this record in EThOS:
Title: Parallel functional programming for message-passing multiprocessors
Author: Ostheimer, Gerald
Awarding Body: University of St Andrews
Current Institution: University of St Andrews
Date of Award: 1993
Availability of Full Text:
Access from EThOS:
Access from Institution:
We propose a framework for the evaluation of implicitly parallel functional programs on message passing multiprocessors with special emphasis on the issue of load bounding. The model is based on a new encoding of the lambda-calculus in Milner's pi-calculus and combines lazy evaluation and eager (parallel) evaluation in the same framework. The pi-calculus encoding serves as the specification of a more concrete compilation scheme mapping a simple functional language into a message passing, parallel program. We show how and under which conditions we can guarantee successful load bounding based on this compilation scheme. Finally we discuss the architectural requirements for a machine to support our model efficiently and we present a simple RISC-style processor architecture which meets those criteria.
Supervisor: Davie, Tony Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: QA76.6P2O8 ; Computer programming