< BK21 플러스 BEST 정보기술 사업단 세미나 개최 안내 >

개최일시 : 2017년 04월 05일 수요일 16:30 ~ 18:00

개최장소 : 제 3공학관 C616호

세미나 제목 : Taming Concurrency Errors in Multithreaded Programs and Event-Driven Programs

발표초록 : Concurrent programming is hard. It is well known that multithreaded programs are vulnerable to race conditions between unordered threads. Interestingly, event-driven programs can also have concurrency bugs between unordered events. The resulting concurrency errors have serious consequences, including server crashes and inconsistent database states. To help programmers develop reliable concurrent programs, this talk presents ProRace, a lightweight data race detector for multithreaded programs, and Node.fz, a fuzz testing tool for event-driven programs.

ProRace uses the performance monitoring unit (PMU) in commodity processors to track memory accesses at a low cost. Moreover, ProRace uses PMU-provided execution contexts including register states and program path to reconstruct unsampled memory accesses offline. This technique allows ProRace to overcome inherent limitations of sampling (i.e., false negatives) and improve the detection coverage by performing data race detection on the trace with not only sampled but also reconstructed memory accesses.

In Node.fz, we present the first concurrency bug characteristic study of real world open-source event-driven applications, based in Node.js. Based on the bug study, we propose Node.fz, a schedule fuzzing test tool. Node.fz randomly perturbs the execution of a Node.js program, allowing Node.js developers to explore a variety of possible schedules. Node.fz enables a developer to explore a broader “schedule space”with the same test time budget, ensuring that applications will be stable in a wide variety of deployment conditions.

강연자 : Dongyoon Lee, Assistant Professor / Virginia Tech

초청자 : 전기전자공학과 교수 노원우