Skip to content

Latest commit

 

History

History
38 lines (30 loc) · 1.37 KB

sequential-objects.md

File metadata and controls

38 lines (30 loc) · 1.37 KB
Raw

Sequential Objects

A sequential object is a protocol inspired by the Sequential Object interface described in the book The Art of Multiprocessor Programming.

The interface ensures all function applications are linearised i.e. it is impossible for two or more threads to be executing functions simultaneously.

Linearised applications of functions is performed by the function

(defgeneric data-flow.sequential-object:linearized-apply (function sequential-object))

where FUNCTION is the function to linearize and SEQUENTIAL-OBJECT is an instance of the class DATA-FLOW.SEQUENTIAL-OBJECT:SEQUENTIAL-OBJECT.

The macro DATA-FLOW.SEQUENTIAL-OBJECT:LINEARIZE provides a more convenient form of invoking DATA-FLOW.SEQUENTIAL-OBJECT:LINEARIZED-APPLY.

(data-flow.sequential-object:linearize sequential-object
  (print "here"))

Note that the thread which executes FUNCTION may or may not be the same thread which called the function LINEARIZED-APPLY. Thus any exit points for a non local transfer of control e.g. go tags or restarts will not be available. Note that any error signalled during the execution of function will be re-signalled in the calling thread.