Thatched Partial Orders


Mitchell, Bill (2001) Thatched Partial Orders.

Download

[img] PDF - Draft Version
Available under License Creative Commons Attribution Non-commercial.

Download (93Kb)

Description/Abstract

A thatch is a type of partial ordering which is most naturally described as a geometric construction. The geometry of these constructions is outlined in this note. A wait-and-see concurrent process may include any number of sub-processes, each regarded as a separate thread of execution. However if at any point the process launches a collection of concurrent threads it must wait and see how they terminate before proceeding. Each sub-process may also launch further sub-processes, which are also subject to the wait and see restriction. A wait-and-see process can be regarded as a thatch. This note describes some interesting mathematical properties of thatching that are relevant to these concurrent processes.

Item Type: Other
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
Faculty of Physical Sciences and Engineering > Electronics and Computer Science > IT Innovation Centre
ePrint ID: 267412
Date Deposited: 28 May 2009 13:49
Last Modified: 27 Mar 2014 20:13
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/267412

Actions (login required)

View Item View Item