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

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics