Discovering Thread Interactions in a Concurrent System

  • Authors:

  • J. E. Cook;Z. Du

  • Affiliations:

  • -;-

  • Venue:
  • WCRE '02 Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02)
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

Understanding the behavior of a system is a centralreverse engineering task, and is crucial for being ableto modify, maintain, and improve the system. An often difficult aspect of some system behaviors is concurrency, in particular identifying those areas that exhibitmutual exclusion and those that exhibit synchronization. In this paper we present a technique that buildson our previous work in behavior discovery to find thepoints in the system that demonstrate mutually exclusive and synchronized behavior. Finding these pointsin the behavior of the system is an important aid in reverse engineering a complete and correct model of thesystem.