操作系统论文(计算机类的论文)

OSDI(操作系统设计与实现研讨会,Operating Systems Design and Implementation)是计算机系统软件领域全球最顶级的会议之一,被誉为「操作系统原理领域的奥斯卡」,拥有极高的学术地位,由 USENIX 主办。

USENIX 成立于 1975 年,起初名字为 Unix 用户群,其主要目的是学习和开发 Unix 以及类似系统,后该用户群更名为「USENIX」。OSDI 汇集了来自学术和行业领域的专业人士,是探讨系统软件的设计、实现和影响的首要论坛。

实际上 OSDI 所覆盖的领域已经远远超过操作系统。OSDI 是系统领域和 SOSP 并驾齐驱的两个顶级会议之一,机器学习经典框架 TensorFlow 最初就是发表于 OSDI。因此 OSDI 的获奖论文对于想深入系统领域的研究者来说是必读的。

第 15 届 USENIX OSDI 于 2021 年 7 月 14 日至 16 日线上举行,日前最佳论文等奖项已经陆续公布,共有 3 篇最佳论文,来自卡内基 · 梅隆大学(CMU)邢波教授的研究团队摘得其中一篇。我们来看一下这 3 篇最佳论文的具体内容。

操作系统论文(计算机类的论文)-1

 

最佳论文

论文一:MAGE: Nearly Zero-Cost Virtual Memory for Secure Computation

操作系统论文(计算机类的论文)-1

 

论文地址:https://people.eecs.berkeley.edu/~samkumar/papers/mage_osdi2021.pdf

安全计算(Secure Computation,SC)是指在单方和多方设置下,用于计算加密数据的一系列密码原语。尽管 SC 越来越多地被用于各种行业应用,但在实际应用中使用 SC 的一个重大障碍是底层加密的内存开销。该研究提出了一种新的 SC 执行引擎 MAGE,在内存开销不合适的情况下也能够有效地执行 SC 计算。研究者观察到,由于其预期的安全保障,SC 方案本质上是不经意的(oblivious)即其内存访问模式独立于输入数据。使用此属性,MAGE 会提前计算内存访问模式,并使用此属性生成内存管理计划。这种内存管理形式,可称为内存编程,是分页的的一种泛化形式,允许 MAGE 为 SC 提供一个高效的虚拟内存抽象。MAGE 的性能比 OS 虚拟内存系统高出一个数量级,并且在许多情况下,运行不合适内存的 SC 计算速度与底层机器拥有无限物理内存来满足整个计算的速度几乎相同。

如下图所示,MAGE 的工作流程包含两个阶段。SC 应用程序是在 C++ 内部的 DSL 中编写的。MAGE 的 planner 将 DSL 代码展开以生成字节码,然后对字节码执行转换来生成内存程序。

操作系统论文(计算机类的论文)-1

 

MAGE 的 planner 工作流程分为三个阶段:布局、替换、调度。

操作系统论文(计算机类的论文)-1

 

论文二:Pollux: Co-adaptive Cluster Scheduling for Goodput-Optimized Deep Learning

操作系统论文(计算机类的论文)-1

 

  • 论文地址:https://www.pdl.cmu.edu/PDL-FTP/CloudComputing/osdi21-pollux.pdf
  • 项目地址:https://github.com/petuum/adaptdl

大多数现有调度程序希望用户为每个作业指定资源数量,这通常会导致资源使用效率低下。近来,一些调度程序帮助用户选择分配给作业的资源,但却忽略了重新优化深度学习训练,无法更好地利用所提供的资源。该研究提出的 Pollux 通过在 per-job 级别和 cluster-wide 级别自适应地协同优化相互依赖的因子,提高了深度学习 (DL) 集群中的调度性能。

该研究同时考虑了上述两个方面,并提出了一种名为 Goodput 的新指标,将系统吞吐量与统计效率相结合。通过在训练期间监控每个作业的状态,Pollux 模拟了在添加和移除资源时每个作业的 Goodput 变化。利用这些信息,Pollux 动态(重新)分配资源以提高 cluster-wide 的 goodput,同时尊重公平性并不断优化每个深度学习作业,以更好地利用资源。

在实际深度学习作业和轨迹驱动(trace-driven)模拟的实验中,相比于 SOTA 深度学习调度程序,Pollux 将平均作业完成时间减少了 37-50%,并为每个作业提供了理想的资源和训练配置。Pollux 基于对有用作业完成进度提出更有意义的衡量指标,来提升深度学习作业竞争资源的公平性,并揭示了在云环境下降低深度学习成本具有新机会。

操作系统论文(计算机类的论文)-1

Pollux 的协同自适应调度架构。

论文三:DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols

操作系统论文(计算机类的论文)-1

 

论文地址:https://www.usenix.org/system/files/osdi21-yao.pdf

论文摘要:分布式系统很难正确实现,主要原因在于其不确定性。找到分布式协议的归纳不变式是验证分布式系统正确性的关键步骤,但即使是简单的分布式协议也需要花费很长的时间。该研究提出了 DistAI,一个用于学习分布式协议归纳不变式的数据驱动自动化系统。DistAI 通过模拟不同实例大小的分布式协议并将状态记录为样本来生成数据。观察发现,不变式在实践中通常是比较简洁的,DistAI 从小型不变式开始,并列举适用于所有样本的最强可能不变式。然后,DistAI 将这些不变式和所需的安全属性提供给 SMT 求解器,以检查不变量和安全属性的结合是否归纳。

从较小的不变式和可能的最强不变式开始,可以避免大型 SMT 查询,提高 SMT 求解器的性能。因为 DistAI 是从可能的最强不变式开始,如果 SMT 求解失败,DistAI 也不需要丢弃失败的不变式,会单调弱化这些不变式,并用求解器再次尝试,重复该过程直到最终成功。

该研究表明 DistAI 能够找到「∃-free」归纳不变式,如果存在该不变式,则能证明在有限时间内存在所期望的安全属性。该研究的评估实验表明,DistAI 成功地自动验证了 13 种常见的分布式协议,并在验证的协议数量和速度方面都优于其他常用方法,在某些情况下,它的速度超过其他方法两个数量级。

下图为 DistAI 的工作流程,从 IVy 的分布式协议规范开始,首先,DistAI 进行两阶段采样;其次,DistAI 进行枚举操作;然后,DistAI 将候选不变式提供给 IVy,IVy 要么成功地将不变式与所需的安全属性结合作为归纳不变式,要么失败并指出不成立的不变式;最后,DistAI 执行单调优化。

操作系统论文(计算机类的论文)-1

 

原创文章,作者:发布专员,如若转载,请注明出处:https://ziliaobaba.com/22635.html

(0)
发布专员发布专员
上一篇 2022年11月8日 09:52
下一篇 2022年11月8日 09:55

相关推荐

  • 砂锅用前要如何处理?沙锅注意事项

    新砂锅别直接用,容易坏!教你一招开锅,久用不开裂,特别耐用 砂锅是用不易传热的石英、长石、粘土等原料配合成的陶瓷锅,经过高温烧制而成,特点是保温性好,所以经常用来做炖、煮、煨等菜肴,比如砂锅米线、砂锅…

    2022年12月9日
  • 泰安站是高铁站吗

    泰安站是高铁站吗? ## 一、泰安站简介 泰安站位于山东省泰安市,是山东省的一个重要的铁路枢纽站,也是山东省的高铁枢纽站之一。泰安站是山东省铁路网的中心,也是山东省的一个重要的交通枢纽。 ## 二、泰安站的交…

    投稿 2023年8月7日
  • 黎明前的曙光啥意思

    黎明前的曙光 一、黎明前的曙光 黎明前的曙光,是一种特殊的景象,它会让人们感受到一种美好的温暖,它象征着新的一天的开始,也象征着希望的到来。 二、曙光的含义 曙光代表着新的开始,它象征着一个新的旅程,一个…

    投稿 2023年7月19日
  • 奇迹暖暖金色音乐厅(奇迹暖暖金色音乐厅搭配)

    奇迹暖暖云端舞娘发型怎么样?下面小编为大家带来奇迹暖暖云端舞娘发型详解,希望这篇攻略详解能够对大家有所帮助。一头及腰的长发稍稍的绑着,一串宝石吊坠轻轻的系在头发上额前的红宝石显得华丽高贵,这么美的发型人人看到都应该会喜欢吧。首先来讲讲这款发型,

    2021年12月30日
  • iphone12尺寸

    iPhone 12尺寸 ## 一、iPhone 12尺寸 iPhone 12尺寸是Apple新推出的一款手机,它拥有苹果最新的设计,拥有一个更大的屏幕,更薄的设计,更强大的处理器,更快的网络连接,以及更多的存储空间。iPhone 12尺寸拥有一个…

    投稿 2023年8月14日
  • 眼睛太小了怎么办?如何让眼睛变大

    那如何改变眼睛的大小呢?这里我从4个方面来浅析一下: 1、使眼睛的高度增加主要是通过双眼皮手术,在视觉上就会增加眼睛的高度,看起来眼睛更大更有神。 2、眼睛的长度主要采取开眼角的方式来增大。通常做的是开内…

    投稿 2022年11月30日
  • win10打开运行(win10打开运行命令)

    一台电脑使用久了,都会出现系统运行缓慢的现象,即便是性能再好的电脑,用了几年也会变得越来越卡顿。其实电脑好比汽车,如果不去保养也会变成糟糠,因此优化电脑是日常中必不可少的操作。出现win10系统运行缓慢,清理缓存后效果仍然不明显,这时候我们该怎么提升它的运行速度呢?方法一:检查损坏的windows系统文件1、在桌面右键点击“开始”,下拉菜单找到并点击

    2022年1月3日
  • 开公司注册资金(开公司注册资金500万需要多少钱)

    注册资金是指单位在建立时,所需要的投入成本,其目的是为了具有偿债能力。一般注册资金越大,所承担的风险越大,越容易拉大单。那么,营业执照上的注册资金是什么意思?注册资金的数额可以随便写吗?接下来,听一听小编是怎样说的:  1、注册资金太小,影响业务开展。  比如两个股东经过商量,决定注册资金为1元,从法律上1元的注册资金没有任何问题,但是目前在西安注册的

    2022年1月4日
  • 苹果序列号查询网址(苹果手机正品查询入口)

    最近经常有果粉朋友在后台给小编发自己iPhone或iPad的序列号,要帮忙给查下设备剩余保修时间等。其实,iOS设备查询序列号很简单,一个苹果手机序列号查询网址就搞定了,不建议将序列号泄露给陌生人或网上,以免被不…

    2022年11月13日
  • mc979ch/a是ipad几代

    MC979CH/A是iPad几代一、iPad简介iPad是苹果公司开发的一款平板电脑,于2010年4月3日正式发布,是

    投稿 2023年3月15日