Presidential Faculty Fellows

总统教职研究员

• 批准号: 9453330
• 负责人: Brian Bershad
• 金额: $ 21.75万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-09-15 至 1997-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9453330&HistoricalAwards=false
• 关键词: Presidential; Faculty; Fellows

The project develops an operating system called SPIN that provides fine-grained control to applications over physical resources in ways that are safe, predictable and efficient. The SPIN system is structured around an extensible microkernel architecture. The system is extensible in the sense that application programs can dynamically install restricted program sequences that execute in the kernel in response to a set of pre-defined events allowing for flexible and rapid response. For example, an application program could install a scheduling filter that runs each time a thread from that program's address space is preempted. The notion of event filtering can be applied to a wide class of events and services, including virtual memory, scheduling, network communication, local interprocess communication and disk management. By viewing system resource management as a process by which physical resources are reassigned across applications, and interpreting each reassignment as a discreet event, SPIN defines critical control points for application feedback, enabling dynamic resource allocation policies. By associating application-defined control sequences with these control points, SPIN enforces a wide range of policies at each event, enabling a single operating system to work well across many types of applications. By executing the control sequences within the kernel, the dynamic control is achieved with very low overhead.

该项目开发了一个名为SPIN的操作系统，以安全、可预测和高效的方式为应用程序提供对物理资源的细粒度控制。 SPIN系统是围绕一个可扩展的微内核体系结构构建的。 该系统是可扩展的，因为应用程序可以响应于一组预定义的事件动态地安装在内核中执行的受限程序序列，从而允许灵活和快速的响应。 例如，应用程序可以安装一个调度过滤器，每当程序地址空间中的线程被抢占时，该过滤器就会运行。 事件过滤的概念可以应用于广泛的事件和服务，包括虚拟内存，调度，网络通信，本地进程间通信和磁盘管理。 通过将系统资源管理视为跨应用程序重新分配物理资源的过程，并将每个重新分配解释为一个离散事件，SPIN定义了应用程序反馈的关键控制点，从而实现动态资源分配策略。 通过将应用程序定义的控制序列与这些控制点相关联， 在每个事件中实施广泛的策略，使单个操作系统能够在多种类型的应用程序中正常工作。 通过在内核中执行控制序列，以非常低的开销实现了动态控制。