School of Computing

Farming: Towards a rigorous definition and efficient transputer implementation

Warren Day and Steve Hill

Technical Report 1-93*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, February 1993.

Abstract

This paper documents the early results of a rigorous study of farming, one of the method of parallelising programs. This study involved the theory of programming UNITY and extensive testing on farming harness designs. We show that farming can be used to parallelise a much larger domain of applications than it is often thought. We also arrived at how to implement efficient harnesses for the first generation of Inmos transputers.

(An updated version of the paper that appeared in `Transputer systems - ongoing research', Alastair Allen (ed.), pp49-62, Proceedings of the fifteenth conference of the World occam and Transputer User Group, 1992, IOS Press, Amsterdam.)

Download publication 93 kbytes

Bibtex Record

@techreport{92,
author = {Warren Day and Steve Hill},
title = {Farming: Towards a Rigorous Definition and Efficient Transputer Implementation},
month = {February},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/92},
    address = {University of Kent, Canterbury, UK},
    hensa_abstractfilename = {pub/misc/ukc.reports/comp.sci/abstracts/1-93},
    hensa_ftpaddress = {unix.hensa.ac.uk},
    hensa_reportfilename = {pub/misc/ukc.reports/comp.sci/reports/1-93.ps.Z},
    institution = {University of Kent, Computing Laboratory},
    number = {1-93*},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014