steve@hubcap.clemson.edu ("Steve" Stevenson) (06/01/88)
[ There's a short survey enclosed, please be sure to mail your resposes back ]
[ to the author. He'll collect them and repost. DL ]
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