@inproceedings{32515fdeb1c34351bc1f2150ee917abe,
title = "Deterministic replay for multi-core VxWorks applications",
abstract = "Debugging is an important and yet expensive activity in software development. With the adoption of multi-core computing platform, the debugging of multi-core bugs on real-time platform becomes challenging. Those multi-core concurrency bugs are often called Heisenbugs, because they manifest randomly during replay. As a result, it would be difficult for a programmer to use cyclic debugging to locate the fault. In this work, we present a deterministic replay tool for multi-core real-time VxWorks applications. We combine static analysis and source code instrumentation to help record interleaved access to shared memory for multi-tasking VxWorks applications. Our experimental results show that our tool can effectively reply multi-core real-time VxWorks applications with reasonable overhead.",
keywords = "VxWorks, deterministic replay, multi-core debugging",
author = "Junjie Liu and Xiaopeng Gao and Bo Jiang and Shunkun Yang and Zhenyu Zhang",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 4th International Conference on Dependable Systems and Their Applications, DSA 2017 ; Conference date: 31-10-2017 Through 02-11-2017",
year = "2017",
month = jul,
day = "2",
doi = "10.1109/DSA.2017.27",
language = "英语",
series = "Proceedings - 4th International Conference on Dependable Systems and Their Applications, DSA 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "118--125",
booktitle = "Proceedings - 4th International Conference on Dependable Systems and Their Applications, DSA 2017",
address = "美国",
}