Vincent F. Russo

Learn More
C++ uses inheritance as a substitute for subtype polymorphism. We give examples where this makes the type system too innexible. We then describe a conservative language extension that allows a programmer to deene an abstract type hierarchy independent of any implementation hierarchies, to retroactively abstract over an implementation, and to decouple(More)
This paper describes the object-oriented design and implementation of a family of stream-oriented le systems under UNIX and under an object-oriented operating system called Choices. A class hierarchy provides an object-oriented taxonomy of the algorithms and data structures used in the design of this family. The family includes the System V le system, the(More)
The programming of the interrupt handling mechanisms, process switching primitives, scheduling mechanisms, and synchronization primitives of an operating system for a multiprocessor require both efficient code in order to support the needs of high-performance or real-time applications and careful organization to facilitate maintenance. Although many(More)
1. I n t r o d u c t i o n This paper describes the design for an operating system family called Choices being built for the Embedded Operating System (EOS) project at the University of Illinois at Urbana-Champaign. Choices embodies the notion of customized operating systems that are tailored for particular hardware configurations or for particular(More)
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conformance to interfaces as well: Any class that provides an implementation for each method in an interface conforms structurally to the interface, and any instance of the class can be(More)