IPADS实验室在2019年的计算机领域著名学术会议“USENIX 年度技术会议”(USENIX ATC, USENIX Annual Technical Conference)有两篇论文被接收,连续三年连中两元,延续了良好的势头。USENIX ATC本次会议将于2019年7月10日-12日在美国伦顿召开,共投稿356篇论文,接收71篇(接收率为19.94%)。向勤耕不辍的老师和同学们表示祝贺!
论文细节如下:
· Xiating Xie, Xingda Wei, Rong Chen, Haibo Chen. Pragh: Locality-preserving Graph Traversal with Split Live Migration. USENIX Annual Technical Conference, Renton, WA, USA, Jul, 2019.
· Jinyu Gu, Qianqian Yu, Xiayang Wang, Zhaoguo Wang, Binyu Zang, Haibing Guan, Haibo Chen. Janus: A Scalable and Efficient Persistent Transactional Memory. USENIX Annual Technical Conference, Renton, WA, USA, Jul, 2019.
【Pragh】
Pragh是一个高效的实时图迁移方法,为以键值对存储的图存储优化了局部性。它的核心思想是一种键值分离的迁移——只在物理上迁移值而保存键在初始位置。这样既能提供细粒度的迁移又能避免维护大量的元数据。Pragh迁移到Wukong系统[OSDI’16]上后,进一步将吞吐量提升了2.53倍。
该工作是 IPADS 实验室近5年来,继 Cyclops [HPDC’14](高性能分布式图计算系统)、Imitator [DSN’14](分布式图计算容错方法)、PowerLyra [EuroSys 2015/最佳论文奖](差异化图划分和计算系统)、PowerSwitch [PPoPP''15](混合图计算引擎)、Polymer [PPoPP'15](NUMA感知内存图计算系统)、Wukong [OSDI'16](基于RDMA的高并发图查询系统)、Wukong+S [SOSP'17](亚毫秒级图数据流查询系统)、Wukong+G[ATC’18](基于CPU/GPU混合计算平台的图查询系统)之后,在探索面向图结构数据的高效处理(计算、划分、查询等)方法和技术上的系列工作之一。该工作正在被整合到开源系统Wukong中(https://github.com/SJTU-IPADS/wukong)。
【Janus】
为了在新兴硬件非易失性内存(NVM)上提供具有ACID属性的事务支持,近年来研究者提出并研究持久化事务内存(PTM)编程模型。该模型具有传统软件事务内存(STM)相同的易编程等属性,且利用NVM特性提供了持久性和崩溃一致性。然而经过分析,在现有一些PTM设计中,读操作可能会被高延迟的写操作阻塞,进而会造成整体效率的下降;另一些PTM设计避免了上述问题,但引入了低并发或低效持久化的问题,造成可扩展性差。
为此,我们提出了对读操作友好的Janus系统,是第一个基于快照隔离(snapshot isolation)的PTM系统。Janus通过复用redo log作为新版本的方法,高效地将多版本控制(MVCC)引入到PTM设计之中;进一步提出双版本控制(DVCC)和三阶段提交(three-stage commit)方法,从而能够实现几乎不阻塞读操作。实验数据表明,Janus在micro-benchmarks和macro-benchmarks上分别能够达到现有系统10倍以上和2倍的吞吐量,且具有更好的可扩展性。
撰稿人:吴明瑜
软件学院IPADS实验室供稿