[comp.os.research] Contacts for OS research projects

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)