Path: utzoo!attcan!uunet!husc6!purdue!gatech!hubcap!steve From: steve@hubcap.clemson.edu (Steve Stevenson) Newsgroups: comp.parallel Subject: Query on properties of parallel/distributed processes Keywords: correctness performance Message-ID: <1788@hubcap.UUCP> Date: 1 Jun 88 12:50:26 GMT Sender: fpst@hubcap.UUCP Lines: 51 Approved: parallel@hubcap.clemson.edu 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: =================================================================