• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Operating systems review >Extensibility, Safety and Performance in the SPIN Operating System
【24h】

Extensibility, Safety and Performance in the SPIN Operating System

机译：SPIN操作系统中的可扩展性，安全性和性能

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper describes the motivation, architecture and performance of SPIN, an extensible operating system. SPIN provides an extension infrastructure, together with a core set of extensible services, that allow applications to safely change the operating system's interface and implementation. Extensions allow an application to specialize the underlying operating system in order to achieve a particular level of performance and functionality. SPIN uses language and link-time mechanisms to inexpensively export fine-grained interfaces to operating system services. Extensions are written in a type safe language, and are dynamically linked into the operating system kernel. This approach offers extensions rapid access to system services, while protecting the operating system code executing within the kernel address space. SPIN and its extensions are written in Modula-3 and run on DEC Alpha workstations.
机译：本文描述了可扩展操作系统SPIN的动机，架构和性能。 SPIN提供了扩展基础结构以及一组核心的可扩展服务，使应用程序可以安全地更改操作系统的界面和实现。扩展允许应用程序专用于底层操作系统，以实现特定级别的性能和功能。 SPIN使用语言和链接时间机制，以廉价的方式将细粒度的接口导出到操作系统服务。扩展以一种类型安全的语言编写，并动态链接到操作系统内核。这种方法为扩展提供了对系统服务的快速访问，同时保护了在内核地址空间内执行的操作系统代码。 SPIN及其扩展使用Modula-3编写，并在DEC Alpha工作站上运行。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号