• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文学位 >Automatic recovery for request oriented systems.
【24h】

Automatic recovery for request oriented systems.

机译：针对面向请求的系统的自动恢复。

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

摘要

Gracefully recovering from software and hardware faults is important to ensuring highly reliable and available systems. Operating systems have privileged access to all aspects of system operation, thus a fault related to them is able to affect the entire system. Existing approaches to operating system recovery either do not protect the entire system or require a completely new operating system design.;This dissertation presents a new approach to fault recovery in operating systems called Recovery Domains. This approach allows recovery from unanticipated faults in commodity operating systems. Recovery is organized around the concept of a dynamic request. Operating system entry points initiate requests to perform some action. System calls, for example, are a request by an application to the operating system. When a fault is detected, the recovery system rolls back the effects of the offending recovery domain while leaving the remainder of the system running. To ensure that the entire system (including the state of other concurrent kernel threads) remains consistent after the rollback, dependencies between domains are tracked as the system runs. When rolling back a faulting domain, any other domains that were dependent on the it, because of dataflow between the domains, are rolled back and restarted.;Recovery Domains do not make faults transparent. Request failures are reported to the requester. This visibility allows handling of faults which are permanent: those faults which would reoccur if the request were retried. Recovery Domains also handle timing and transient faults.;Recovery Domains require compiler support to instrument the system. The necessary support is simple, but can cause unnecessarily large system overhead. This dissertation describes several performance improvements to Recovery Domains based on dynamic analysis of the system state and static analysis of memory regions, allocators, and locks. Runtime analysis of the interdependence of the active requests can allow reduced tracking of state changes. The recovery compiler can reason about memory regions and data structures protected by a lock to eliminate instrumentation on many operations to locked memory. "Fresh" heap objects, those objects which have been allocated and have not yet become visible to other requests and threads, require no instrumentation. These improvements to the recovery runtime and compiler provide substantial performance improvements over more simple implementations.;This dissertation describes the goals, approach, semantics, and programming model of Recovery Domains; the minimal implementation of the runtime and compiler; the static analysis and optimization at the compiler level and dynamic optimization to the runtime; and the porting of two significantly different versions of the Linux kernel to the recovery system. It evaluates the overhead, effectiveness, and coverage of recovery. Finally it describes the potential integration of a model fault detector with the Recovery Domains system.
机译：从软件和硬件故障中正常恢复对于确保高度可靠和可用的系统很重要。操作系统具有对系统操作所有方面的特权，因此，与它们有关的故障会影响整个系统。现有的操作系​​统恢复方法不能保护整个系统，也不能要求全新的操作系统设计。本文提出了一种新的操作系统故障恢复方法，称为恢复域。这种方法可以从商品操作系统中的意外故障中恢复。恢复是围绕动态请求的概念组织的。操作系统入口点会发起请求以执行某些操作。例如，系统调用是应用程序对操作系统的请求。当检测到故障时，恢复系统将回退有问题的恢复域的影响，同时保持系统的其余部分运行。为了确保回滚后整个系统（包括其他并发内核线程的状态）保持一致，将在系统运行时跟踪域之间的依赖关系。回滚故障域时，由于域之间的数据流，依赖于该域的其他任何域也会回滚并重新启动。恢复域不会使故障透明化。请求失败将报告给请求者。这种可见性允许处理永久性的错误：如果重试请求，这些错误将再次发生。恢复域还可以处理定时故障和瞬态故障。恢复域需要编译器支持才能对系统进行检测。必要的支持很简单，但是会导致不必要的大系统开销。本文基于对系统状态的动态分析以及对内存区域，分配器和锁的静态分析，描述了恢复域的一些性能改进。对活动请求的相互依赖性进行运行时分析可以减少对状态更改的跟踪。恢复编译器可以推断出受锁保护的内存区域和数据结构，从而消除了对锁存的许多操作的检测。 “新鲜”堆对象（已分配但尚未对其他请求和线程可见的那些对象）不需要任何检测。这些对恢复运行时和编译器的改进比更简单的实现提供了实质性的性能改进。；本文描述了恢复域的目标，方法，语义和编程模型。运行时和编译器的最小实现；编译器级别的静态分析和优化以及运行时的动态优化；并将两个明显不同的Linux内核版本移植到恢复系统。它评估开销，恢复有效性和覆盖范围。最后，它描述了模型故障检测器与Recovery Domains系统的潜在集成。

著录项

  • 作者

    Lenharth, Andrew David.;

  • 作者单位

    University of Illinois at Urbana-Champaign.;

  • 授予单位 University of Illinois at Urbana-Champaign.;
  • 学科 Computer Science.
  • 学位 Ph.D.
  • 年度 2010
  • 页码 153 p.
  • 总页数 153
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号