Flexible software development for multiple computer systems

The authors develop a model of concurrent software and the associated programming tools that jointly permit flexible software development for experimental programming on the Cm* multiprocessor. The model's implementation in the TASK and Bliss-11 programming languages is described using a sample concurrent program.

[1]  Richard M. Brown,et al.  The ILLIAC IV Computer , 1968, IEEE Transactions on Computers.

[2]  Jack C. Wileden,et al.  A description scheme to aid the design of collections of concurrent processes , 1978, AFIPS National Computer Conference.

[3]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1975, IEEE Transactions on Software Engineering.

[4]  Gerald Estrin,et al.  SARA aided design of software for concurrent systems , 1978, AFIPS National Computer Conference.

[5]  Toby Bloom,et al.  Dynamic module replacement in a distributed programming system , 1983 .

[6]  David R. Cheriton,et al.  Thoth, a portable real-time operating system , 1979, CACM.

[7]  A.K. Jones,et al.  Programming issues raised by a multiprocessor , 1978, Proceedings of the IEEE.

[8]  S.H. Fuller,et al.  Multi-microprocessors: An overview and working example , 1978, Proceedings of the IEEE.

[9]  William C. Lynch,et al.  Pilot: A Software Engineering Case Study , 1979, ICSE.

[10]  William R. Crowther,et al.  A new minicomputer/multiprocessor for the ARPA network , 1973, AFIPS National Computer Conference.

[11]  John K. Ousterhout,et al.  Medusa: An experiment in distributed operating system structure (Summary) , 1979, SOSP '79.

[12]  Victor Lesser,et al.  An Experiment in Distributed Interpretation , 1979 .

[13]  Mack W. Alford.  A Requirements Engineering Methodology for Real-Time Processing Requirements , 1977, IEEE Transactions on Software Engineering.

[14]  Michael Stonebraker,et al.  A Distributed Data Base Version of INGRES. , 1976 .

[15]  Marvin H. Solomon,et al.  The Roscoe distributed operating system , 1979, SOSP '79.

[16]  C. U. Smith,et al.  The prediction and evaluation of the performance of software from extended design specifications , 1980 .

[17]  Jack C. Wileden,et al.  Languages for representing software specifications and designs , 1978, SOEN.

[18]  Larry D. Wittie,et al.  Naming in Distributed Language Systems , 1984, ICDCS.

[19]  Per Brinch Hansen.  Joyce. A Language for Computer Networks. , 1979 .

[20]  Karsten Schwan,et al.  TASK Forces: Distributed Software for Solving Problems of Substantial Size , 1979, ICSE.

[21]  George G. Robertson,et al.  Accent: A communication oriented network operating system kernel , 1981, SOSP.

[22]  Daniel P. Siewiorek,et al.  Decomposition of data flow graphs on multiprocessors , 1977, AFIPS '77.

[23]  Daniel M. Berry,et al.  The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology , 1979, ICSE.

[24]  Peter M. Schwarz,et al.  Experience Using Multiprocessor Systems—A Status Report , 1980, CSUR.

[25]  Richard T. Snodgrass,et al.  Monitoring in a software development environment: A relational approach , 1984, SDE 1.

[26]  Wesley W. Chu,et al.  Task Allocation in Distributed Data Processing , 1980, Computer.

[27]  J N Lancaster.  Naming in a Programming Support Environment. , 1984 .

[28]  Mary Shaw,et al.  A formal system for specifying and verifying program performance , 1979 .

[29]  Barton P. Miller,et al.  Process migration in DEMOS/MP , 1983, SOSP '83.

[30]  Andrew Birrell,et al.  Implementing remote procedure calls , 1984, TOCS.

[31]  Richard D. Fennell,et al.  Parallelism in AI Problem Solving: A Case Study of Hearsay 2 , 1975 .

[32]  Michael J. Flynn,et al.  Very high-speed computing systems , 1966 .

[33]  William C. McDonald,et al.  A flexible distributed testbed for real-time applications , 1982, Computer.

[34]  Roy H. Campbell,et al.  The SAGA project: A system for software development , 1984, SDE 1.

[35]  Willy Zwaenepoel,et al.  The distributed V kernel and its performance for diskless workstations , 1983, SOSP '83.

[36]  W. F. Burger,et al.  Gypsy: A language for specification and implementation of verifiable programs , 1977, Language Design for Reliable Software.

[37]  Kenneth J. Thurber,et al.  Associative and Parallel Processors , 1975, CSUR.

[38]  Jack B. Dennis,et al.  Data flow schemas , 1972, International Sympoisum on Theoretical Programming.

[39]  Barbara Liskov,et al.  Primitives for distributed computing , 1979, SOSP '79.

[40]  William A. Wulf,et al.  Overview of the Hydra Operating System development , 1975, SOSP.

[41]  Gerard Maurice Baudet,et al.  The design and analysis of algorithms for asynchronous multiprocessors. , 1978 .

[42]  Taylor L. Booth,et al.  Performance Abstract Data Types as a Tool in Software Performance Analysis and Design , 1980, IEEE Transactions on Software Engineering.

[43]  Robert P. Cook,et al.  *MOD—A Language for Distributed Programming , 1980, IEEE Transactions on Software Engineering.

[44]  Gordon Bell,et al.  C.mmp: a multi-mini-processor , 1972, AFIPS '72 (Fall, part II).

[45]  Dorothy E Lang.  Conference Report: Seventh lntemational Symposium on Computer Architecture , 1980, Computer.

[46]  Jerome A. Feldman,et al.  High level programming for distributed computing , 1979, CACM.

[47]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[48]  James R. Low,et al.  Chess , 1975, SGAR.

[49]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[50]  Steven P. Reiss,et al.  PECAN: Program Development Systems that Support Multiple Views , 1984, IEEE Transactions on Software Engineering.

[51]  Daniel P. Siewiorek,et al.  Reliability in multiprocessor systems : a case study of C.mmp, Cm* and C.vmp. , 1978 .

[52]  Jack C. Wileden,et al.  Behavior Modeling During Software Design , 1978, IEEE Transactions on Software Engineering.

[53]  Edward F. Gehringer,et al.  The Cm* Testbed , 1982, Computer.

[54]  Victor R. Lesser,et al.  A High-Level simulation Testbed for cooperative distributed problem solving , 1982, ICDCS.

[55]  David Lorge Parnas,et al.  On the Design and Development of Program Families , 2001, IEEE Transactions on Software Engineering.

[56]  Gérard Le Lann.  A Distributed System for Real-Time Transaction Processing , 1981, Computer.

[57]  Walter F. Tichy.  Software Development Control Based On System Structure Description , 1980 .

[58]  Brian A. Wichmann,et al.  Rationale for the design of the Ada programming language , 1979, SIGP.

[59]  Barbara Liskov,et al.  Guardians and Actions: Linguistic Support for Robust, Distributed Programs , 1983, TOPL.

[60]  Karsten Schwan,et al.  Software management of Cm*: a distributed multiprocessor , 1977, AFIPS '77.

[61]  Per Brinch Hansen,et al.  Distributed processes: a concurrent programming concept , 1978, CACM.

[62]  David J. Kuck.  ILLIAC IV Software and Application Programming , 1968, IEEE Transactions on Computers.

[63]  Edward F. Gehringer,et al.  The Cm* Multiprocessor Project: A Research Review , 1980 .

[64]  Roger M. Needham,et al.  A Universal File Server , 1980, IEEE Transactions on Software Engineering.

[65]  Ellis Horowitz,et al.  Abstract data types and software validation , 1978, CACM.

[66]  Robert Metcalfe,et al.  Ethernet: distributed packet switching for local computer networks , 1988, CACM.

[67]  Warren Teitelman,et al.  A Tour Through Cedar , 1984, IEEE Transactions on Software Engineering.

[68]  Samuel P. Harbison,et al.  Reflections in a pool of processors - An experience report on C.mmp/Hydra , 1978, AFIPS National Computer Conference.

[69]  Karsten Schwan.  Tailoring software for multiple processor systems , 1985 .

[70]  Thelma Louie.  Array Processors: A Selected Bibliography , 1981, Computer.