Show simple item record

Files in this item


Item metadata

dc.contributor.advisorCole, A. J. (Alfred John)
dc.contributor.authorHarland, David M.
dc.coverage.spatial173 p.en_US
dc.description.abstractThe development of concurrency in computer systems will be critically reviewed and an alternative strategy proposed. This is a programming language designed along semantic principles, and it is based upon the treatment of concurrent processes as values within that language's universe of discourse. An asynchronous polymorphic message system is provided to enable co-existent processes to communicate freely. This is presented as a fundamental language construct, and it is completely general purpose, as all values, however complex, can be passed as messages. Various operations are also built into the language so as to permit processes to discover and examine one another. These permit the development of robust systems, where localised failures can be detected, and action can be taken to recover. The orthogonality of the design is discussed and its implementation in terms of an incremental compiler and abstract machine interpreter is outlined in some detail. This thesis hopes to demonstrate that message-oriented communication in a highly parallel system of processes is not only a natural form of expression, but is eminently practical, so long as the entities performing the communication are values in the languageen_US
dc.publisherUniversity of St Andrews
dc.subject.lcshComputer progamming.en
dc.titleThe application of message passing to concurrent programmingen_US
dc.contributor.sponsorScience Research Council (Great Britain)en_US
dc.type.qualificationnamePhD Doctor of Philosophyen_US
dc.publisher.institutionThe University of St Andrewsen_US

This item appears in the following Collection(s)

Show simple item record