kurt@hi.unm.edu (Kurt Zeilenga) (01/23/88)
Kurt Zeilenga zeilenga@hc.dspo.gov Parallel Processing Research Group Dept. of Electrical and Computer Engineering U. of New Mexico Albuquerque, NM 87131 The HyperUnix Project* Presently we are working on porting 4.2BSD Unix to the UNMHC**, the U. of New Mexico Hypercube (under development, too). Each node runs its own instance of a kernel. Interesting features of the OS is support of high speed communication links to adjacent nodes, dual processor support (we have TWO CPUs on each node and they are not the same CPU!). We also have multilayered communications which are accessible to applications. Future work: distributed operating systems, distributed filesystems (any ideas of what to do with a hypercube of filesystems?). For more information, please contact me at the address given. * This work is support by Los Alamos National Laboratory (MEE-10). ** Kurt Zeilenga, W. Tait Cyrus and L. Howard Pollard, "UNMHC: The University of New Mexico and Los Alamos National Laboratory Hypercube" to appear proceedings of 3rd HCCA conference (ACM, ~ 2nd quarter of 1988). -- Kurt (zeilenga@hc.dspo.gov)
Maurice.Herlihy@C.CS.CMU.EDU (01/24/88)
The Avalon project at CMU is developing high-level language support for programming reliable distributed applications. We have two major goals: one is to design and implement a set of appropriate high-level programming language primitives; the second is to devise formal methods for reasoning about such programs. We are currently implementing Avalon/C++, a series of extensions to the C++ language. These extensions include primitives to support distribution, concurrency, reliability, and fault-tolerance. Avalon/C++ will run on top of Camelot and Mach. [ Thanks Maurice. Perhaps Prof. Spector can be persuaded into contributing ] [ something on Camelot? We've had some discussion of MACH, but a publication ] [ list would be useful. --DL ] PUBLICATIONS @Inproceedings(FTCS87-1, Author = "M.P. Herlihy and J.M. Wing", BookTitle = "17th Symposium on Fault-Tolerant Computer Systems (FTCS)", Title = "Avalon: language support for reliable distributed systems", Note = "Also CMU-CS-86-167", Month = jul, Year = 1987) @InProceedings(Inherit, Author = "D.L. Detlefs, M.P. Herlihy, and J.M. Wing", Title = "Inheritance of Synchronization and Recovery Properties in Avalon/C++", BookTitle = "Proceedings of HICSS-21", Month = jan, Year = 1988) @InProceedings(PODS88, Author = "M.P. Herlihy and W.E. Weihl", Title = "Hybrid Concurrency Control for Abstract Data Types", BookTitle = "Seventh ACM-SIGMOD-SIGACT Symposium on Principles of Database Systems (PODS)", Month = Mar, Year = 1988, Note = "To appear") @TechReport (REASON, Author = "M.P. Herlihy and J.M. Wing", Title = "Reasoning about Atomic Objects", Institution = "CMU Computer Science Dept.", Number = "CMU-CS-87-176", Note = "Submitted for Publication") @InProceedings (Experience, Author = "D.L. Detlefs, M.P. Herlihy, K.Y. Keitzke, and J.M. Wing", Title = "Avalon/C++: C++ Extensions for Transaction-Based Programming", BookTitle = "Proceedings of the 1986 USENIX Workshop on C++", Month = nov, Year = 1987)