1. Inicio
  2. Atrás
Título: Detecting race conditions in distributed concurrent systems
Autores: Lu, Rong, 1969-
Fecha: 2000
Publicador: McGill University - MCGILL
Fuente:
Tipo: Electronic Thesis or Dissertation
Tema: Computer Science.
Descripción: Nondeterminism makes distributed concurrent systems difficult to test, monitor and control. An execution of a message-passing system is nondeterministic when message races exist. Message race occurs when, e.g., multiple conflicting requests from different clients are competing to be executed within a server entity. Therefore, techniques for race detection by tracing messages are an essential part of a test and debugging tool for distributed concurrent systems. In this thesis, race conditions are investigated in the context of the Testing and Monitoring Tool (TMT). TMT is a monitoring and testing tool for distributed software systems, which is developed by the Department of Software Engineering, Corporate Technology (ZT SE), Siemens AG, Munich, Germany.
An existing method is used to determine the race set for each receive event in the trace from a single execution. Race sets indicate the potential races in a system run that may happen. The execution of the program is deterministic if and only if all race sets of the program execution are empty. The method is detailed, implemented in Java and integrated in the TMT tool.
A trace comparison method is developed that determines whether races actually occurred during two particular executions of the same system. If the race set for a receive event in the first trace is equal to the race set of the matching receive event in the second trace, a race did not happen for this receive event, otherwise, a race happened. The method is also implemented in Java and integrated in the TMT tool.
The GUI of the developed prototype tool is presented and the tool is illustrated on an example.
Idioma: en