[comp.parallel] Query on properties of parallel/distributed processes

steve@hubcap.clemson.edu (Steve Stevenson) (06/01/88)

I. I am trying to set up a class in programming parallel/distributed
   systems.  Among the things I would like to include is a section 
   on properties which have been proposed as being important to
   think about.  Below is the list that I have:

	{Resource,Global} invariants.
	Total correctness [seems to have a multiplicity of definitions].
	Invariants across interrupts.
	Potentiality [Definition ref?]
	Inevitability. [Definition ref?]
	Blocking Free.
	Starvation Free.
	Deadlock Free. [Different than Starvation Free?]
	Cooperation. [Ref? Def?]
	Liveness.

   I would like to come up with a good common set of definitions.
   Please fill in as many "votes" as you want.  I'll edit
   and repost.

===========================cut here==============================
Name of property (I):

Definition(may same as reference):

Reference:
=================================================================
II.  The below properties are loosely used in various places.  Please
     give examples plus definition
	Noninterference properties.
	Safety Properties
	Temporality properties

===========================cut here==============================
Name of property (II):

Definition(may same as reference):

Reference:
=================================================================

III.  Please include your favorite measures of program performance in
     this environment.

===========================cut here==============================
Name of measure:

Definition(may same as reference):

Reference:
=================================================================