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

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年10月21日
  • csgo加速器哪个好?csgo国服加速器哪个好

    csgo加速器哪个好?csgo加速器推荐。《CS:GO》是一款第一人称射击游戏,而且也属于一款外服游戏,所以大家在玩《CS:GO》的时候需要使用游戏加速器来辅助,那么,csgo加速器哪个好?csgo加速器推荐。 csgo加速器推荐…

    2021年11月20日
  • 清朝历代皇帝介绍?清朝的皇帝列表

    今天,让我们来看看清朝十二个皇帝,每个皇帝都有一宗“最”   1.清太祖努尔哈赤——登基时年龄最大的清朝皇帝   开国皇帝登基时往往已是人到中年 乃至年过半百,努尔哈赤也不例外。努尔哈赤生于公元1559年,…

    2022年11月24日
  • 国产和进口特斯拉model 3区别(特斯拉model 3国产和进口哪个好)

    说起特斯拉,大家都不陌生,作为推动全球电动汽车发展的领头羊,在电动车行业有着举足轻重的地位,前段时间特斯拉Model3国产版一上市,便在国内汽车圈中掀起轩然大波。既然专门命名为国产版,那么和进口版的Model3一定是有不同之处的。价格不同既然它是国产版的,按照正常的思路来看,它的售价一定是要比进口版的更便宜。在

    2022年1月5日
  • 新人直播不冷场的技巧(新手如何做主播)

    新主播直播冷场是正常的,我的第一次直播,开启之后就感觉到呼吸加速,甚至呼吸困难。呵呵,现在想想也很好笑。 脸红,怕自己长得不帅大家不喜欢,怕背景乱别人觉得不舒服。 很多主播开播就那几句话:欢迎来到直播间…

    投稿 2022年10月2日
  • 二表姐的新家如何装修?新家装修攻略细节

    表姐的新家历经3个月时间终于完成装修,便开始嘚瑟装修得有多么好看,我也顺势的去她家参观一下,看看是否真的如同传说中的一样漂亮? 一、客厅 表姐说刷大白墙容易脏而且太单调了,便了刷了浅黄色乳胶漆,同时电视…

    2021年11月3日
  • 怎样产生流星?流星雨的形成

    夜间,天空中不仅常常能见到单独的流星,有时也会见到阵阵“流星雨”。当天空出现流星雨时,几十条甚至几百条亮光划破天空,好象有人在高空放了一个大焰火似的,非常美丽。 出现流星雨的道理和流星一样。不同的是:流…

    2022年11月12日
  • 如何开淘宝店(零成本开网店)

    新用户注册店铺应该怎么操作呢? 1、第一步就是用户必须注册一个淘宝网会员账户,我们可以直接使用自己的淘宝账户登录电脑版官方凭条。 2、支付宝相信大家都有,我们只要绑定银行卡就可以完成实名认证,然后关联到淘…

    2022年12月8日
  • dvd转换器破解版(转换器使用说明)

      在生活工作中我们都会用很多视频,但是我们也遇到很多视频的格式和使用的设备不匹配,也不能为打开某一种格式去另找设备,也不可能每种格式都去准备一个可以打开的设备,怎么转换视频格式也成了很多人的烦恼,这时候视频转换软件就显得非常重要了。 &

    2022年1月10日
  • 开什么店女孩子喜欢买衣服

    开一家女孩子喜欢买衣服的店 随着社会的发展,越来越多的女孩子喜欢买衣服,他们喜欢穿上时尚的衣服,让自己变得更加美丽。因此,开一家女孩子喜欢买衣服的店是一个不错的选择。 一、店铺的位置 选择一个位置是开店…

    投稿 2023年6月3日