[comp.arch] Query on properties/performance measures in parallel/distrib environment.

steve@hubcap.UUCP ("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:
=================================================================

-- 
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906