第28届SOSP 2021:虚拟活动/德国科布伦茨
罗伯特·范·雷内西 , 尼古拉·泽利多维奇 :
SOSP’21:ACM SIGOPS第28届操作系统原理研讨会,虚拟事件/德国科布伦茨,2021年10月26-29日。 ACM公司 2021 ,国际标准图书编号 978-1-4503-8709-5
拜占庭容错
弗洛里安·苏里·佩耶 , 马修·伯克 , 郑旺(音) , 张云浩 , 洛伦佐·阿尔维西 , Natacha Crooks公司 :
巴兹尔:用ACID打破BFT(事务)。 1-17 季琦 , 陈旭升 , 姜云鹏 , 姜建宇 , 沈天祥 , 赵世雄 , 王森 , 龚张(音) , 李晨 , Man Ho Au先生 , 崔鹤鸣 :
Bidl:数据中心网络的高吞吐量、低效率许可区块链框架。 18-34 雷·内海泽 , 米盖尔·马托斯 , 路易斯·罗德里格斯 :
考里:可扩展的BFT共识,基于流水线树的传播和聚合。 35-48
查找Bug
阿迪蒂亚·卡马特 , 阿尔卡普拉瓦·巴苏 :
iGUARD:In-GPU高级比赛检测。 49-65 四怀宫 , 丹尼斯·阿尔廷布肯 , 佩德罗·丰塞卡 , Petros Maniatis公司 :
Snowboard:通过系统的线程间通信分析发现内核并发错误。 66-83 Yechan Bae公司 , 杨素金(Youngsuk Kim) , 阿马尔·阿斯卡 , 林俊元(音) , 泰索·金 :
Rudra:在生态系统规模的锈迹中发现记忆安全漏洞。 84-99
一致性
辛威福(Xinwei Fu) , Wook-Hee Kim(Wook-Hee-Kim) , 阿杰·帕达尤鲁·什利帕蒂 , 莫汉娜德·伊斯梅尔 , 桑尼·瓦德卡 , 东洋·李 , 昌宇敏 :
Witcher:非易失性内存键值存储的系统崩溃一致性测试。 100-115 张永乐 , 杨俊文 , 朱奇金 , 乌萨夫·塞提 , 柯克·罗德里格斯 , 山路 , 丁元 :
了解和检测分布式系统中的软件升级故障。 116-131 廖晓剑 , 陆友友 , 哲阳(Zhe Yang) , 《纪武书》 :
崩溃一致性非易失性内存Express。 132-146
数据库
阿达尔·泽塔克 , 亚当-莫里森 :
杜鹃尝试:利用内存级并行性实现高效DRAM索引。 147-162 杰弗里·赫特 , 马修·伯克 , 阿米特·利维 , 怀亚特·劳埃德 :
常规序列序列化和常规序列一致性。 163-179 戴勤 , 安吉拉·德姆克·布朗 , 阿什文·戈尔 :
Caracal:具有确定性并发控制的冲突管理。 180-194
数据中心的性能
艾琳·张 , 阿曼达·雷巴克 , Pratyush Patel公司 , 柯克·奥利尼克 , 雅各布尼尔森 , 奥马尔·纳瓦罗·莱贾 , 阿什利·马丁内斯 , 刘静(音译) , 安娜·科恩费尔德·辛普森 , 苏杰·贾亚卡尔 , 佩德罗·恩里克·佩纳 , 最大Demoulin , 皮亚利·乔杜里 , 阿尼鲁德·巴达姆 :
微秒级数据中心系统的半内核数据路径操作系统体系结构。 195-211 苏米特·库马尔·蒙加 , 萨尼迪亚·卡西亚普 , 昌宇敏 :
羽毛群中的鸟:用群缩放RDMA RPC。 212-227 马修·伯克 , Sowmya Dharanipragada公司 , 香农·乔伊纳 , 阿德里亚娜·塞克雷斯 , 雅各布尼尔森 , 艾琳·张 , Dan R.K.港口 :
PRISM:重新思考分布式系统的RDMA接口。 228-242
闪存存储
萨拉·麦卡利斯特 , 本杰明·伯格 , 朱利安·图图尼·马西亚斯 , 杨俊成 , 萨提亚·古纳塞卡尔 , 吉米·卢 , 丹尼尔·S·伯格 , 内森·贝克曼 , 格雷戈里·甘格 :
袋鼠:在Flash上缓存数十亿个微小对象。 243-262 李怀成 , 马丁·普特拉 , 罗纳德·施 , 杏林 , 格雷戈里·甘格 , Haryadi S.Gunawi先生 :
lODA:一种主机/设备协同设计,用于现代闪存的强可预测性契约。 263-279 琼玉公园 , 年轻的Ik Eom :
FragPicker:一种用于现代存储设备的新碎片整理工具。 280-294
图
银色傅 , 西尔维娅·拉纳萨米 :
dSpace:智能空间的可组合抽象。 295-310 柯扬 , 马晓松 , 萨拉瓦南·蒂尔穆鲁加纳坦 , 康晨 , 吴永伟 :
缓存效率下巨型图上的随机游动。 311-326 埃多·罗斯 , 卡兰·纽瓦提亚 , 马一平 , 柯忠 , 塞巴斯蒂安吉尔 , 安德烈亚斯·海伯伦 :
Mycelium:具有差异隐私的大规模分布式图形查询。 327-343
学习
郝孙 , 沈裕恒 , 王聪(音) , 刘建忠 , 余江 , 陈婷(Ting Chen) , 崔爱国 :
HEALER:关系学习引导的核心模糊。 344-358 白友慧 , 程莉 , 泉州 , Jun Yi先生 , 平贡 , 冯燕 , 陈瑞川 , 许银龙 :
梯度压缩增压高性能数据并行DNN训练。 359-375 谢恩·伯格斯玛 , 蒂莫西·泽尔 , 阿里克·森德罗维奇 , J.克里斯托弗·贝克 :
使用递归神经网络生成复杂、真实的云工作负载。 376-391
非易失性存储器
阿曼达·雷巴克 , 蒂姆·斯坦勒 , 张伟(音译) , 马坦·埃雷斯 , 西门彼得 :
HeMem:适用于大数据应用程序和真实NVM的可扩展分层内存管理。 392-407 阿纳托勒·勒福特 , 尤汉·皮佩罗 , Kwabena Amponsem公司 , 皮埃尔经 , 加尔·托马斯 :
J-NVM:Java中的Off-heap持久对象。 408至423 Wook-Hee Kim(Wook-Hee-Kim) , 马达瓦·克里希南·拉马纳桑 , 辛威福(Xinwei Fu) , 萨尼迪亚·卡西亚普 , 昌宇敏 :
PACTree:使用PAC指南的高性能持久范围索引。 424-439
复制
艾什瓦亚·甘尼桑 , 拉纳森·阿拉加潘 , 安德烈亚·阿帕西·杜塞奥 , Remzi H.Arpaci-Dusseau先生 :
利用零外部性实现快速复制存储。 440-456 英迪山 , 康晨 , 托玉宫 , 周立东 , 泰州 , 吴永伟 :
几何分区:探索最佳擦除代码修复的边界。 457-471年 潘浩晨 , 杰西·图格鲁 , 新洲(Neo Zhou) , 王天舒 , 沈一成 , 熊正 , 约瑟夫·塔萨洛蒂 , 刘易斯·曾荫权(Lewis Tseng) , 罗伯托·帕尔米耶里 :
拉比亚:通过随机化简化状态机复制。 472-487
资源分配
Seung-Seob Lee先生 , 于燕鹏 , 汤玉鹏 , 阿努拉·坎德瓦尔 , 林忠 , Abhishek Bhattacharjee公司 :
MIND:用于分解数据中心的网络内存管理。 488-504 安德鲁·纽厄尔 , 迪米特里奥斯·斯卡拉托斯 , 靖远范 , 库马尔 , 马克西姆·库特连科 , 马扬克·蓬迪尔 , 张一瑞 , 张明军(Mingjun Zhang) , 刘元来 , 林乐 , 布伦登·多尔蒂 , 阿普瓦·萨穆德拉 , Prasasti Baid公司 , 詹姆斯·尼兰德 , 伊戈尔·卡比尔霍 , 德米特里·施楚金 , 安德烈·罗德里格斯 , 斯科特·迈克尔逊 , 本·克斯藤森 , 考希克·维拉拉加万 , 唐纯强 :
RAS:持续优化区域范围的数据中心资源分配。 505-520 迪帕克·纳拉亚南 , 菲奥达尔·卡扎米亚卡 , 菲拉斯·阿布扎伊德 , 彼得·卡夫 , 阿克谢·阿格拉瓦尔 , 斯里坎思·坎杜拉 , 斯蒂芬·博伊德 , 马泰扎哈里亚 :
利用POP有效解决大规模粒度资源分配问题。 521-537
比例
马赫什·巴拉克利什南 , 陈申 , 艾哈迈德·贾弗里 , 苏约格·马帕拉 , 大卫·杰拉蒂 , 杰森·弗林 , 维迪亚·文卡特 , 伊瓦利奥·内德尔切夫 , 桑托什·戈什 , 米希尔·达拉姆什 , 刘敬明 , 菲利普·格鲁什琴斯基 , 李军(Jun Li) , 鲁纳克·蒂布雷瓦尔 , 阿里·扎维里 , 拉杰夫·纳加尔 , 艾哈迈德·约瑟夫 , 弗朗索瓦·理查德 , Yee Jiun Song(耶久松) :
Delos中的日志结构协议。 538-552 李桑民(Sangmin Lee) , 郭振华 , 奥马尔·桑纳坎 , 君英 , 泰国Kooburat , 苏里亚迪普·比斯瓦尔 , 陈军(Jun Chen) , 黄坤(Kun Huang) , Yatpang Cheung公司 , 周一丁 , 考希克·维拉拉加万 , 比伦·达马尼 , 波尔·毛里·鲁伊斯 , 维卡斯·梅塔 , 唐纯强 :
Shard Manager:用于地理分布应用程序的通用Shard管理框架。 553-569 杨晨 , 郭忠信 , 李润怀 , Shuo Chen(陈硕) , 周立东 , 周亚进 , 西安张 :
先驱者:以太坊基于约束的推测性事务执行。 570-587
行程安排
杰克·蒂加尔·汉弗莱斯 , 尼尔·纳图 , 阿什温·乔古勒 , 奥菲尔·韦斯 , 巴雷特·罗登 , 乔什·唐 , 路易吉·里佐 , 奥列格·隆巴赫 , 保罗·特纳 , 克里斯托斯·科兹拉基斯 :
ghOSt:Linux调度的快速灵活用户空间委派。 588-604 Kostis Kaffes公司 , 杰克·蒂加尔·汉弗莱斯 , 大卫·马齐埃尔 , 克里斯托斯·科兹拉基斯 :
糖浆:用户定义的跨堆栈调度。 605-620 亨利·马克西姆·德莫林 , 约书亚·弗里德 , 艾萨克·佩迪西奇 , 马里奥斯·科吉亚斯 , Boon Thau Loo公司 , 林思轩(Linh Thi Xuan Phan) , 艾琳·张 :
理想的空闲时间:使用Perséphone为重尾数据中心工作负载优化尾延迟。 621-637
安全
李丁吉 , 泽玉弥 , 夏玉斌 , Binyu Zang先生 , 陈海波 , 海冰关 :
TwinVisor:ARM的硬件隔离机密虚拟机。 638-654 艾玛·道特曼 , 维维安·方 , Ioannis Demertzis公司 , Natacha Crooks公司 , 罗卢卡·阿达·波帕 :
史努比:超越遗忘存储的可扩展性瓶颈。 655-671 伊斯蒂亚克·艾哈迈德 , 拉博尼·萨克 , 迪维坎特·阿格拉瓦尔 , 阿穆尔·阿巴迪 , 特里纳布·古普塔 :
Coeus:一个用于不经意的文档排序和检索的系统。 672-690
无服务器
贾志鹏 , 埃米特·维切尔 :
Boki:共享日志的状态无服务器计算。 691-707 杰夫·巴伯 , 余西明(Ximing Yu) , 兰尼·库恩泽尔·扎莫尔 , 林晓光 , 瓦希德·贾萨耶里 , 谢·埃利希 , 托尼·萨沃 , 迈克尔·斯图姆 :
Bladerunner:在边缘实时查看后端数据突变的大规模流处理。 708-723 张彦琦(Yanqi Zhang) , 伊尼戈·戈伊里 , 戈哈尔·伊尔凡·乔杜里 , 罗德里戈·丰塞卡 , 萨米赫·埃尔尼基蒂 , 克里斯蒂娜·德利米特鲁 , 里卡多·比安奇尼 :
在收集的资源上进行更快、更便宜的无服务器计算。 724-739
智能NIC
亨利·舒赫 , 梁伟浩 , 刘铭(音) , 雅各布尼尔森 , 阿尔温德·克里斯纳姆塞 :
Xenic:SmartNIC加速分布式事务。 740-755 Jongyul Kim先生 , 因苏·张 , 瓦利德·雷达 , Jaeseong我 , 马可·卡尼尼 , 德扬·科斯蒂奇 , Youngjin Kwon先生 , 西门彼得 , 埃米特·威切尔 :
LineFS:利用管道并行性高效地卸载分布式文件系统的SmartNIC。 756-771 邱一鸣 , 嘉荣兴 , 徐国峰 , 乔康 , 刘铭(音) , 斯里尼瓦斯·纳拉亚纳 , 陈昂(Ang Chen) :
网络功能的自动化SmartNIC卸载洞察力。 772-787
保管部
埃米尔·萨拉帕蒂斯 , 瑞安·汉考克 , 塔维安·巴恩斯 , 阿里·何塞·马什蒂扎德 :
Aurora单层商店操作系统。 788-803 罗汉·卡德科迪 , 沙特-卡德科迪 , Soujanya Ponnapalli公司 , 哈沙德·希尔瓦德卡 , 格雷戈里·甘格 , 阿希什·科利 , 维杰·奇丹巴拉姆 :
WineFS:一个用于持久内存的大型页面软件文件系统,可以优雅地老化。 804-818 刘静(音译) , 安东尼·雷贝洛 , 戴一凡 , 叶晨浩 , 苏达顺·坎南 , 安德烈亚·阿帕西·杜塞奥 , Remzi H.Arpaci-Dusseau先生 :
文件系统半微内核中的可扩展性和性能。 819-835
验证
詹姆斯·博恩霍尔特 , 拉杰夫·乔希 , 维塔塔斯·阿斯特劳斯卡斯 , 布伦丹·卡利 , 伯恩哈德·克拉格尔 , 塞斯·马克尔 , 凯尔·索里 , 德鲁·施莱特 , 格兰特·斯莱顿 , 塞尔达尔·塔西兰 , 雅各布·范·格芬 , 安德鲁·沃菲尔德 :
使用轻量级形式化方法验证Amazon S3中的密钥值存储节点。 836-850 拉斐尔·卢伦斯科·德利马·切哈布(Rafael Lourenco de Lima Chehab) , 安东尼奥·保利略 , 迪奥戈·贝伦斯 , 明复 , 赫尔曼·哈蒂格 , 陈海波 :
CLoF:多级NUMA系统的组合锁框架。 851-865 润州陶 , 姚建安 , 李旭鹏 , 李诗伟 , 杰森·聂 , 顾荣辉 :
臂松弛内存硬件上多处理器虚拟机监控程序的形式化验证。 866-881