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

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

相关推荐

  • 中国电影票房前十名(中国影史票房排名)

    在全球电影票房排行榜前十中,有四部影片都属于“漫威电影宇宙”,这四部影片分别是《复仇者联盟4》、《复仇者联盟3》、《蜘蛛侠:英雄无归》和《复仇者联盟》。其中的《复仇者联盟4》,还曾做过一段时间的票房冠军。 …

    2022年10月5日
  • qq为什么登陆不上去?QQ登不上

    很多用户升级win10后发现qq无法登录提示错误0x00060017,遇到这种情况怎么办呢?下面给大家分享win10系统qq登录错误0x00060017解决步骤。   1、打开QQ个人文件默认目录:d:\Documents\Tencent Files,此文件夹…

    2022年12月7日
  • 牡丹凤凰图案(凤凰牡丹花)

    牡丹是花中之王,是精神的象征,意味着民族的团结、国家的兴旺。从古至今都是国人喜爱的花,而牡丹画更是倍受国人的喜爱,家庭装修,客厅书法卧室玄关随处可见都是自己最喜爱的牡丹富贵吉祥图,而牡丹以它特有的富丽…

    2023年1月8日
  • 龙之谷机械大师怎么样?龙之谷机械大师加点

    在龙之谷手游里,机械大师是工程师的转职职业之一,有着巨大的发展潜力和实力。那么,对于玩家而言机械大师该如何培养呢,又该怎么正确的加点呢,接下来就让我们详细的了解一番吧。 一、机械大师定位 在龙之谷手游里…

    投稿 2022年10月10日
  • (在淘宝买东西怎样买到质量好的)如何在淘宝上买东西

    一、设置长辈模式 1.打开淘宝,在底部栏右侧点击“我的”,接着点击页面右上角的设置。       2.找到模式切换之后点击,选择“长辈模式”即可。     二、搜索您想要购买的商品 1.语音输入,在…

    2022年10月26日
  • 变频器用于哪些行业?变频器的应用领域

    “变频器”是与电压以及电压频率有关的装置。对于变频器,很多人都是很陌生的,但其实变频器的应用领域是很广的,不过我们平时也比较少接触变频器。所以大家对变频器的原理作用应该也很陌生,那小编今天就来带大家了解…

    2022年11月18日
  • 苹果手机闹钟不响怎么回事?iPhone闹钟失灵

    手机侧面的静音键看看是不是关闭的!如果打开着,把音量调至最大,关机重启下。还是没有声音的话用数据线连接电脑刷下机,还是没有的话那就是硬件问题了,去售后解决 祝您生活愉快,如果对我的回答满意请采纳,谢谢 …

    投稿 2021年11月14日
  • 怎样做虾?最简单虾的做法

    岁月对中老年人来说就是一把杀猪刀,随着年龄一天天的增长,身体也开始慢慢走下坡路。中老年人想要保持一个良好的身体状态,除了经常锻炼之外,饮食也很重要,尤其是喜欢吃肉的中老年人们,不妨少吃点猪肉,多吃点虾…

    2022年12月1日
  • 76人马克西数据(76人队马克西)

    NBA常规赛,76人客场103-89轻取掘金,终结球队的五连败。双方开局连续得分,约基奇连续篮下得分后掘金11-4领先。马克西连续得分带队反超比分,约基奇也有连续得分,首节掘金以23-24落后1分。第二节塞斯和米尔顿各中三分,76人连续上篮得分打出一波11-0领先10分。约基奇补篮止血但塞斯和科克马茨各中三分,尼昂三分也中后7

    2022年1月5日
  • hisense是什么牌子电视机?hisense电视机

    今天就给大家安利5款海信热门电视,趁着优惠赶紧了解一下吧! 01海信ViddaV1F-R 系列: vidaa是海信旗下智能电视品牌,定位是“年轻、智能、潮牌”,型号丰富,性能在线,价格实惠,且和海信电视一样的售后服务。年轻…

    2022年10月24日