UTSA Tongping Liu博士学术讲座预告
作者：DMIR 来自： 发表时间：2015-12-15 浏览量：1116
报告题目: Deterministic Systems to Defeat Reliability Problems
报告人: Tongping Liu 博士
Tongping Liu is an Assistant Professor at the University of Texas at San Antonio. He got his Ph.D. from the University of Massachusetts Amherst in 2014. His research spans runtime systems, operating systems, programming languages, compiler, and distributed systems. His primary research goal is to practically improve the reliability and performance of parallel software. His work appeared in those most prestigious system conferences, such as SOSP, OSDI and OOPSLA. He has been awarded a 2015 Google Faculty Research Award for his work in improving the performance of multithreaded programs.
The advent of multi-cores drives the biggest revolution of software development - parallel programming. Inherent non-determinism inside parallel programs can greatly complicate the debugging, testing, and reproducing of program errors. We develop an efficient deterministic system, Dthreads, to defeat this non-determinism problem of multithreaded programs. Dthreads enforces that a program will always generate the same executions if fed with the same input, even in the face of data races. Dthreads explodes multithreaded applications into multiple processes with private mappings, then uses standard virtual memory protection to track writes, and deterministically orders updates by each thread. Dthreads substantially outperforms the existing deterministic systems, and provides a great foundation for all future research in this field. Dthreads appeared at SOSP 2011, and has been cited over 150 times after its publication.