Przemysl/aw Pardyak and Brian N. Bershad. Dynamic Binding for an Extensible System. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, pages 201--212, Seattle, Washington, October 1996.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....and system call type; an extension that only wishes to trace the open( system call from process 4191 can specify this easily. The signal dispatcher provides similar functionality, enabling filtering on process id and signal type. These predicates are roughly analogous to the guards found in SPIN [35]. Table 1 presents a simplified portion of the system call dispatcher interface. Upon receiving an event, an extension has a number of options available: the extension can pass along the event unmodified, the extension can modify the event parameters in struct Slic SyscallInfo and then pass it ....

....because they are in the protected kernel region of the address space. There are a number of limitations to this approach: the kernel is not protected from malicious or faulty extension code and there is no support for user level development tools. Methods of protecting the kernel are well known [35, 26, 43, 41]. By supplying extensions with the same interface, whether at the user level or in the kernel, extensions can be safely developed at the user level and then inserted into the kernel. This enables development in a safe environment without sacrificing the potential for good performance. SLIC ....

Przemysl/aw Pardyak and Brian N. Bershad. Dynamic binding in an extensible system. In Proceedings of the Second Symposium on Operating Systems Design and Implementation (OSDI '96), pages 201--212, Seattle, WA, October 1996. University of Washington, USENIX Association.

....region of the address space. There are a number of limitations to this approach: the kernel is not protected from malicious or faulty extension code and there is no support for user level development tools. A number of methods of protecting the kernel from extensions have been explored by others [34, 24, 41, 39, 31]. By supplying extensions with the same interface, whether at the user level or in the kernel, extensions can be safely developed at the user level and then inserted into the kernel. This enables development in a safe environment without sacrificing the potential for good performance. SLIC ....

Przemysl/aw Pardyak and Brian N. Bershad. Dynamic binding in an extensible system. In Proceedings of the Second Symposium on Operating Systems Design and Implementation (OSDI '96), pages 201--212, Seattle, WA, October 1996. University of Washington, USENIX Association.

....faulty applications and are enforced on uncoopertive applications. This feature enables extensions which manage shared resources and or enforce security guarantees. Note that SLIC assumes that extensions are trusted. Other research efforts have addressed issues involved with untrusted extensions [45, 5, 18, 26, 29, 33]. Ease of Development: During development and testing, extension writers are able to use state of theart programming tools such as symbolic debuggers and performance analysis utilities. Efficiency: Once development is complete, extensions impose minimal overhead on the system. Per extension ....

Przemysl/aw Pardyak and Brian N. Bershad. Dynamic binding in an extensible system. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation, pages 201--212, October 1996.

No context found.

Przemysl/aw Pardyak and Brian N. Bershad. Dynamic Binding for an Extensible System. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, pages 201--212, Seattle, Washington, October 1996.

....with other code. Consequently, it is necessary to devise and apply security mechanisms that allow the expression of policies controlling an extension s access to other extensions and its ability to extend, or override, the behavior of already existing services. In the SPIN operating system [3, 4] built at the University of Washington, we are experimenting with a version of domain and type enforcement (DTE) 1, 2] that has been extended to address the security concerns of extensible systems. We are critically concerned with the performance of DTE, as extensible systems enable the ....

....within the operating system kernel. Extensions are written in Modula 3, a type safe programming language, and execute within the same address space. They interact by calling other parts of the system and by extending existing interfaces to provide new services. A central event dispatcher [4] supports both mechanisms: to call on a service, an extension raises an event, and, to extend an existing interface, an extension registers a handler for that event. The invocation mechanism for events is simply a procedure call, and no context switches are required for the interaction between ....

Przemysl/aw Pardyak and Brian N. Bershad. Dynamic Binding for an Extensible System. In Proceedings of the Second Symposium of Operating Systems Design and Implementation, pages 201-212, Seattle, Washington, October 1996.

.... (which is sometimes referred to as specialization) Both mechanisms are usually provided by a central facility, by either building on programming language support (for example, the use of inheritance in Java or VINO) or a dynamic dispatch model (for example, the event dispatch model in SPIN, see [17]) While seemingly similar, the two mechanisms represent different semantics: In the first case, an extension invokes other services, while in the second case, an extension is invoked by another service. The combination of both mechanisms provides extensions with considerable flexibility and ....

Przemysl/aw Pardyak and Brian N. Bershad. Dynamic Binding for an Extensible System. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, pages 201--212, Seattle, Washington, October 1996.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC