Evaluating our tool on 11 popular open- source multi-threaded C# applications shows that Waffle can expose more bugs with less overhead than state-of-the- art techniques. Based on these insights, we propose Waffle - a delay injection tool that tailors key design points to better match the nature of MemOrder bugs. We first show ex perimentally that the current state-of-the-art delay injection technique leads to high overhead and low detection cover age since MemOrder bugs exhibit particular characteristics that cause high delay density and interference. Contemporary, Healthy food, Street food, Vegetarian options. We aim to answer this question by focusing on MemO rder bugs - a type of concurrency bug caused by incorrect timing between a memory access to a particular object and the object’s initialization or deallocation. We would be totally pleased if there is any chance of launching a couple of Waffle Lab stores in another countries. However, how to efficiently apply active delay injection to broader classes of concurrency bugs is still an open question. Head, high coverage, and minimal code analysis. Recently, active delay injection has proven efficient for exposing one such type of bug - thread-safety violations - with low over. Concurrency bugs are difficult to detect, reproduce, and diag nose, as they manifest under rare timing conditions.
0 Comments
Leave a Reply. |