A post-mortem JavaSpaces debugger

Jason Howarth, Edward Stow

Research output: Book chapter/Published conference paperConference paper

26 Downloads (Pure)

Abstract

We describe a post-mortem debugger called JavaSpaces Debugger (JSD) that is able to detect a class of properties that occur in a distributed JavaSpaces program. To detect a property using JSD, the user specifies a global predicate to be evaluated. This global predicate is divided into a series of local predicates that are eva-luated by each system node. During execution, an event message is sent to the debugger whenever one of these local predicates is true. The debugger arranges event messages according to logical time, and reports whether the global predicate occurred. JSD can detect both weak and strong unstable predicates, using integer, boolean, or bytecode expressions.
Original languageEnglish
Title of host publicationECC2007
EditorsSpringer Verlag
Place of PublicationUK?
PublisherSpringer
Pages553-562
Number of pages10
Volume2
ISBN (Electronic)9780387848181
Publication statusPublished - 2007
EventEuropean Computing Conference (ECC) - Vouliagmeni Beach, Athens, Greece, Greece
Duration: 25 Sep 200727 Sep 2007

Conference

ConferenceEuropean Computing Conference (ECC)
CountryGreece
Period25/09/0727/09/07

Cite this

Howarth, J., & Stow, E. (2007). A post-mortem JavaSpaces debugger. In S. Verlag (Ed.), ECC2007 (Vol. 2, pp. 553-562). Springer.