2014年第11届OSDI:美国科罗拉多州布鲁姆菲尔德
谁把内核放在我的操作系统会议上?
西门彼得 , 李嘉林 , 艾琳·张 , 丹·R·K·波特 , 道格·伍斯 , 阿尔温德·克里斯纳姆塞 , 托马斯·安德森 , 蒂莫西·罗斯科 :
Arrakis:操作系统是控制平面。 1-16 Gerd Zellweger公司 , 西蒙·格伯 , Kornilios Kourtis公司 , 蒂莫西·罗斯科 :
解耦内核、内核和操作系统。 17-31 西王 , 勒萨 , 尼古拉·泽利多维奇 , 亚当·克利帕拉 , 扎卡里·塔特洛克 :
Jitk:值得信赖的内核解释器基础结构。 33-47 亚当·贝莱 , 乔治·普雷卡斯 , 安娜·克里莫维奇 , 塞缪尔·格罗斯曼 , 克里斯托斯·科兹拉基斯 , 爱德华·布尼翁 :
九: 高吞吐量和低延迟的受保护数据平面操作系统。 49-65
摘要中的数据
苏达尔桑·塞沙德里 , 马克·加哈根 , Meenakshi Sundaram Bhaskaran公司 , 特雷弗煤仓 , Arup De公司 , 金燕琴 , 杨柳 , 史蒂文·斯旺森 :
Willow:一个用户可编程的SSD。 67-80 蓝月路 , 张玉浦 , Thanh Do(谢谢) , 萨梅尔·基斯瓦尼 , 安德烈亚·阿帕西·杜塞奥 , Remzi H.Arpaci-Dusseau先生 :
基于容器的文件系统中的物理解纠缠。 81-96 艾琳·张 , 阿德里安娜·塞克雷斯 , 达娜·范·阿肯 , 艾萨克·阿克曼 , 史蒂文·格里布尔 , 阿尔温德·克里斯纳姆塞 , 亨利·M·利维 :
针对移动/云应用程序的可定制和可扩展部署。 97-112 莱利·斯帕恩 , 乔纳森·贝尔 , 迈克尔·李 , 斯拉万·巴米迪帕蒂 , 罗克萨娜·吉安巴苏 , 盖尔·凯泽 :
鹅卵石:现代操作系统的精细数据管理抽象。 113-129
我的不安全感
戴安·斯特凡 , 爱德华·Z·杨 , 彼得·马尔琴科 , 亚历杭德罗·拉索 , 大卫·赫尔曼 , 布拉德·卡普 , 大卫·马齐埃尔 :
通过使用COWL限制JavaScript来保护用户。 131-146 沃洛德米尔·库兹涅佐夫 , 拉斯洛·塞克雷斯 , 马蒂亚斯·帕耶 , 乔治·坎迪亚 , R.塞卡尔 , 黎明之歌 :
代码指针完整性。 147-163 克里斯·霍布利泽尔 , 乔恩·豪厄尔 , 雅各布·R·洛奇 , 阿琼·纳拉扬 , 布莱恩·帕诺 , 张丹凤 , 布莱恩·齐尔 :
铁甲应用程序:通过自动全系统验证实现端到端安全。 165-181 斯科特摩尔 , 克里斯托斯·迪穆拉斯 , 丹·金 , 斯蒂芬·庄(Stephen Chong) :
SHILL:一种安全的Shell脚本语言。 183-199
多样化包装
桑曼·金 , Seonggu Huh先生 , 张新亚 , 胡一格 , 阿米尔·沃特德 , 埃米特·维切尔 , 马克·西尔伯斯坦 :
GPUnet:GPU程序的网络摘要。 201-216 迈克尔·周 , 大卫·梅斯纳 , 杰森·弗林 , 丹尼尔·皮克 , 托马斯·韦尼施 :
神秘机器:大型互联网服务的端到端性能分析。 217-231 塞巴斯蒂安吉尔 , 希特斯·巴拉尼 , 托马斯·卡拉吉安尼斯 , 格雷格·奥谢 , 伊诺·特里斯卡 :
通过虚拟数据中心实现端到端性能隔离。 233-248 丁元 , 于洛 , 辛庄 , 吉尔赫梅·雷纳·罗德里格斯 , 徐昭 , 张永乐 , Pranay Jain公司 , 迈克尔·斯图姆 :
简单测试可以防止大多数关键故障:分布式数据密集型系统生产故障分析。 249-265
云端(Head in the Cloud)
安德鲁·鲍曼 , 马库斯·佩纳多 , 盖伦·C·亨特 :
使用Haven将应用程序从不受信任的云中屏蔽。 267-283 埃里克·鲍廷 , 贾利亚·埃卡纳亚克 , 魏琳 , 冰石 , 周敬仁 , 钱正平(音) , 吴铭(音) , 周立东 :
阿波罗:云计算的可伸缩和协调调度。 285-300 Shivaram Venkataraman公司 , Aurojit熊猫 , 加内什-阿南塔纳拉亚南 , 迈克尔·富兰克林 , 离子斯托伊卡 :
数据软件集群调度中的选择能力。 301-316 恩南斋 , 陈瑞川 , 戴维·艾萨克·沃林斯基 , 布莱恩·福特 :
通过“独立即服务”解决相关故障。 317-334
存储冷热运行
Jake Wires公司 , 斯蒂芬·英格拉姆 , 扎卡里·德鲁迪 , 尼古拉斯·J·A·哈维 , 安德鲁·沃菲尔德 :
使用计数器堆栈表征存储工作负载。 335-349 Shobana Balakrishnan公司 , 理查德·布莱克 , 奥斯汀·唐纳利 , 保罗·英格兰 , 亚当·格拉斯 , 大卫·哈珀 , 谢尔盖·莱琴科 , 亚伦·奥古斯 , 彼得森 , 安东尼·罗斯特龙(Antony I.T.Rowstron) :
鹈鹕:Exascale冷数据存储的构建块。 351-365 马苏德·萨伊达·阿尔德卡尼 , 道格拉斯·B·特里 :
一个可自我配置的地理复制云存储系统。 367-381 穆拉利达尔·苏布拉曼尼亚语 , 怀亚特·劳埃德 , 萨比亚萨奇·罗伊 , 科里山 , 欧内斯特·林 , 刘伟文 , Satadru锅 , Shiva Shankar公司 , 西瓦库马尔·维斯瓦纳坦 , 唐林鹏 , 森吉·昆玛 :
f4:Facebook的Warm BLOB存储系统。 383-398
有害生物控制
塔纳科恩·利萨塔波恩旺萨 , 明哲豪 , 帕拉维·乔希 , 杰弗里·卢克曼 , 哈里亚迪·S·古纳维 :
SAMC:语义软件模型检查,用于快速发现云系统中的深层缺陷。 399-414 佩德罗·丰塞卡 , 罗德里戈·罗德里格斯 , 比约恩·勃兰登堡 :
SKI:通过系统的进度探索暴露内核并发错误。 415-431 Thanumalayan Sankaranarayana Pillai先生 , 维贾伊·奇丹巴拉姆 , 拉纳森·阿拉加潘 , 萨梅尔·基斯瓦尼 , 安德烈亚·阿帕西·杜塞奥 , Remzi H.Arpaci-Dusseau先生 :
并非所有文件系统都是平等创建的:关于创建崩溃一致性应用程序的复杂性。 433-448 麦政 , 约瑟夫·塔克 , 黄大川 , 冯琴 , 马克·利利布里奇 , 伊丽莎白·S·杨 , 比尔·W·赵 , 沙申克·辛格 :
扭转数据库以获取乐趣和利润。 449-464
事务处理操作
郑文亭 , 斯蒂芬·图 , 埃迪·科勒 , 芭芭拉·利斯科夫 :
通过多核并行实现快速持久性和恢复的快速数据库。 465-477 帅牧 , 杨翠 , Yang Zhang(张阳) , 怀亚特·劳埃德 , 李金阳 :
从分布式事务中提取更多并发性。 479-494 赵燮 , 苏春芝 , 马诺斯·卡普里索斯 , 杨旺(Yang Wang) , 纳维德·雅格马扎德 , 洛伦佐·阿尔维西 , 马哈扬王子 :
Salt:在分布式数据库中结合ACID和BASE。 495-509 内哈·纳鲁拉 , 科迪·卡特勒 , 埃迪·科勒 , 罗伯特·泰潘·莫里斯 :
冲突内存事务的阶段对账。 511-524
再玩一次,山姆
大卫·德韦克里 , 迈克尔·周 , 仙政斗 , 杰森·弗林 , 彼得·M·陈 :
Eidetic系统。 525-540 陈昂(Ang Chen) , W.布拉德·摩尔 , 肖汉军(Hanjun Xiao) , 安德烈亚斯·海伯伦 , 林思轩(Linh Thi Xuan Phan) , 迈卡·谢尔 , 周文超 :
使用时间确定重播检测隐蔽定时信道。 541-554 陈浩刚 , 泰索·金 , 西王 , 尼古拉·泽利多维奇 , M.Frans Kaashoek先生 :
使用追溯审计识别Web应用程序中的信息披露。 555-569
帮助我学习
Trishul M.Chilimbi公司 , Yutaka Suzue公司 , 约翰逊阿帕西布尔 , 卡提克·卡利亚纳拉曼 :
亚当项目:构建高效、可扩展的深度学习培训系统。 571-582 穆力 , 大卫·安徒生 , 骏宇公园 , 亚历山大·斯莫拉 , 阿姆尔·艾哈迈德 , 瓦尼娅·约西福夫斯基 , 詹姆斯·朗 , 尤金·谢基塔 , 苏伯乐 :
使用参数服务器扩展分布式机器学习。 583-598 约瑟夫·冈萨雷斯 , 雷诺·S·辛 , 安库尔·戴夫 , 丹尼尔·克兰肖 , 迈克尔·富兰克林 , 离子斯托伊卡 :
GraphX:分布式数据流框架中的图形处理。 599-613
锤子和锯子
朱利安·班格特 , 尼古拉·泽利多维奇 :
Nail:解析和生成数据格式的实用工具。 615-628 徐昭 , 张永乐 , 大卫·利昂 , 穆罕默德·法桑·乌拉 , 于洛 , 丁元 , 迈克尔·斯图姆 :
lprof:用于分布式系统的非侵入式请求流分析器。 629-644 斯特凡·C·米勒 , 古斯塔沃·阿隆索 , 亚当·阿马拉 , 安德烈·西尔拉希 :
Pydron:多核和云的半自动并行。 645-659 列昂尼德·瑞日克 , 亚当·沃克 , 约翰·凯斯 , 亚历山大·莱格 , 阿伦·拉古纳特(Arun Raghunath) , 迈克尔·斯图姆 , 莫娜·维吉 :
用户指导的设备驱动程序合成。 661-676