能源监管局 swMATH ID: 23079 软件作者: Shapiro JS、Smith JM、Farber DJ 描述: EROS:快速能力系统。EROS是用于商品处理器的基于功能的操作系统,它使用单级存储模型。单级存储的持久性对应用程序是透明的。支持透明持久性和基于功能的体系结构的性能结果通常被认为是负面的。令人惊讶的是,EROS(如IPC)的基本操作在成本上通常与传统系统中的类似操作相当。这可以通过Linux中语义相似操作的一组微基准测试来证明。EROS系统通过将精心选择的抽象对象与这些对象的缓存技术相结合来实现其性能。对象(进程、节点和页面)受到传统硬件的良好支持,减少了功能开销。这些对象的软件管理缓存技术降低了持久性成本。由此产生的性能表明,组成受保护的子系统可能比通常认为的成本更低。 主页: https://dl.acm.org/citation.cfm?id=319163 相关软件: 梅林;J流量;层压;新加坡交易所;私人运输公司;F类*;寓言;护城河;VC3(VC3);有限责任公司;seL4级;伊莎贝尔/HOL;TAME公司;经验证的校准仪;存档正式证据;配套元件;Specware(特殊软件);NQTHM公司;HOL灯;哈斯克尔 引用于: 3文件 全部的 前5名7位作者引用 1 丹尼尔·戈拉 1 威廉·R·哈里斯。 1 Jha,萨默什 1 格温·克莱恩 1 罗萨里奥Pugliese 1 代表,Thomas W。 1 桑吉特·阿伦库马尔 3篇连载文章中引用 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 1 萨达纳 在1个字段中引用 三 计算机科学(68至XX) 按年份列出的引文