Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

What is Ariadne?

April 26, 2017ariadne

0

Posted

What is Ariadne?

1 Answer

0

Posted

Ariadne is an event based debugger. Traditionally, we use a state based debugger in debugging sequential programs. In an event based debugger, we model the intended behavior of the parallel program in terms of significant events that characterize its behavior. This model is then compared with the actual execution as captured in event traces by running the program. The matches or mismatches are analysed using querying facilities and then after locating the error, we set a breakpoint and reexecute the program under a deterministic replay system. On reaching the breakpoint, we are free to examine the state of the program using traditional state based debuggers.