Towards a new distributed programming environment (CORDS)

The main objective of the proposed research described here is to create a prototype environment for developing and managing distributed applications. Its specific focuses are: building extensions to third-generation languages to exploit the process model; developing a new high-level language based on the process model; designing new techniques for recovery and network transport abstractions; network management techniques for distributed applications; modelling and analysis of distributed systems; integration of transaction, database and directory services to support distributed applications; distributed debugging; and visualization of distributed applications. The environment is to be built upon existing platforms, such as X-windows, Motif, Open Software Foundation's Distributed Computing Environment (OSF/DCE), ISO Open Systems Interconnect (ISO/OSI), Systems Application Architecture (SAA). This collaborative research brings together experts in different areas of computer science and the technologies and tools developed will be experimentally validated through the construction of distributed applications operating across the member sites.

[1]  Nicholas Carriero,et al.  The S/Net's Linda kernel , 1986, TOCS.

[2]  Shmuel Katz,et al.  High-level language debugging for concurrent programs , 1990, TOCS.

[3]  Ouri Wolfson,et al.  The Communication Complexity of Atomic Commitment and of Gossiping , 1991, SIAM J. Comput..

[4]  Per-Åke Larson,et al.  Query Transformation for PSJ-Queries , 1987, VLDB.

[5]  Robert E. Strom,et al.  Process semantics: universal axioms compositional rules, and applications , 1988, PODC '88.

[6]  Gerald W. Neufeld.  Descriptive names in X.500 , 1989, SIGCOMM 1989.

[7]  Robert E. Strom,et al.  Optimistic recovery in distributed systems , 1985, TOCS.

[8]  Daniel M. Yellin,et al.  High-level language support for programming reliable distributed systems , 1992 .

[9]  Jacob Slonim,et al.  Analysis of X.500 distributed directory refresh strategies , 1991, CASCON.

[10]  Y. Yemini,et al.  NETMATE: A network management environment , 1991, IEEE Network.

[11]  Daniel M. Berry,et al.  A modular verifiable exception handling mechanism , 1985, TOPL.

[12]  Michael Anthony Bauer,et al.  A simulation model for X.500 directories: initial experiences , 1991, CASCON.

[13]  David Harel,et al.  On visual formalisms , 1988, CACM.

[14]  David F. Bacon,et al.  A Portable Run-time System for the Hermes Distributed Programming Language , 1990, USENIX Summer.

[15]  Greg Thiel,et al.  LOCUS a network transparent, high reliability distributed system , 1981, SOSP.

[16]  James R. Russell,et al.  Full abstraction for nondeterministic dataflow networks , 1989, 30th Annual Symposium on Foundations of Computer Science.

[17]  Ouri Wolfson.  The overhead of locking (and commit) protocols in distributed databases , 1987, TODS.

[18]  Daniel M. Yellin,et al.  High-level language support for programming distributed systems , 1991, CASCON.

[19]  Mandyam M. Srinivasan,et al.  NetMod: A Design Tool for Large-Scale Heterogeneous Campus Networks , 1991, IEEE J. Sel. Areas Commun..

[20]  Robert E. Strom,et al.  Typestate: A programming language concept for enhancing software reliability , 1986, IEEE Transactions on Software Engineering.

[21]  Jan K. Pachl,et al.  A Robust Ring Transmission Protocol , 1987, Comput. Networks.

[22]  Jonathan Schaeffer,et al.  A Template-Based Approach to the Generation of Distributed Applications Using a Network of Workstations , 1991, IEEE Trans. Parallel Distributed Syst..

[23]  Per-Åke Larson,et al.  Updating derived relations: detecting irrelevant and autonomously computable updates , 1986, VLDB.

[24]  Yechiam Yemini,et al.  Psi: A Silicon Compiler for Very Fast Protocol Processing , 1989 .

[25]  John T. Kohl.  The use of Encryption in Kerberos for Network Authentication , 1989, CRYPTO.

[26]  Kelly A. Lyons,et al.  Narratives of space and time: visualization for distributed applications , 1991, CASCON.

[27]  Mahadev Satyanarayanan,et al.  Andrew: a distributed personal computing environment , 1986, CACM.

[28]  Alberto O. Mendelzon,et al.  GraphLog: a visual formalism for real life recursion , 1990, PODS '90.

[29]  Jeannette M. Wing,et al.  A language for distributed applications , 1990, Proceedings. 1990 International Conference on Computer Languages.

[30]  Jacob Slonim,et al.  Building an open system , 1987 .

[31]  Chinya V. Ravishankar,et al.  Name space models for locating services , 1991, CASCON.

[32]  Alberto O. Mendelzon,et al.  Expressing structural hypertext queries in graphlog , 1989, Hypertext.

[33]  Arthur P. Goldberg.  Transparent Recovery of Mach Applications , 1990, USENIX MACH Symposium.

[34]  Yechiam Yemini,et al.  NEST: a network simulation and prototyping testbed , 1990, CACM.

[35]  Mihalis Yannakakis,et al.  Deadlock-Freedom (and Safety) of Transactions in a Distributed Database , 1986, J. Comput. Syst. Sci..

[36]  William J. Bolosky,et al.  Mach: A New Kernel Foundation for UNIX Development , 1986, USENIX Summer.

[37]  Nagui Halim,et al.  A New Programming Methodology for Long-Lived Software Systems , 1984, IBM J. Res. Dev..

[38]  James R. Russell,et al.  Optimistic failure recovery for very large networks , 1991, [1991] Proceedings Tenth Symposium on Reliable Distributed Systems.

[39]  Toby J. Teorey,et al.  Nestmod: the NetMod - NEST interface , 1991, CASCON.

[40]  Shaula Yemini.  On the suitability of Ada multitasking for expressing parallel algorithms , 1982, AdaTEC '82.

[41]  Arthur P. Goldberg,et al.  Restoring consistent global states of distributed computations , 1991, PADD '91.

[42]  Mihalis Yannakakis,et al.  Deadlock-freedom (and saftey) of transactions in a distributed database , 1985, PODS '85.

[43]  R.E. Strom,et al.  A recoverable object store , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.

[44]  Per-Åke Larson,et al.  Letter from the TC Chair , 1988, IEEE Data Eng. Bull..

[45]  Joshua S. Auerbach.  TACT: A Protocol Conversion Toolkit , 1990, IEEE J. Sel. Areas Commun..

[46]  Jock D. Mackinlay.  Automatic design of graphical presentations , 1987 .

[47]  David F. Bacon,et al.  Optimistic parallelization of communicating sequential processes , 1991, PPOPP '91.

[48]  Lily B. Mummert,et al.  Camelot and Avalon: A Distributed Transaction Facility , 1991 .

[49]  Per-Åke Larson,et al.  Supporting database access in the Hermes programming language , 1991, CASCON.

[50]  Peter Wegner,et al.  Viewing Ada from a process model perspective , 1985 .

[51]  R. E. Strom.  Hermes: an integrated language and system for distributed programming , 1990, IEEE Workshop on Experimental Distributed Systems.

[52]  Alberto O. Mendelzon,et al.  Low Complexity Aggregation in GraphLog and Datalog , 1993, Theor. Comput. Sci..

[53]  Yi-Hsiu Wei,et al.  CONCERT: a high-level-language approach to heterogeneous distributed systems , 1989, [1989] Proceedings. The 9th International Conference on Distributed Computing Systems.