A post-mortem JavaSpaces debugger

Jason Howarth, Edward Stow

Research output: Book chapter/Published conference paperConference paper

26 Downloads (Pure)


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?
Number of pages10
ISBN (Electronic)9780387848181
Publication statusPublished - 2007
EventEuropean Computing Conference (ECC) - Vouliagmeni Beach, Athens, Greece, Greece
Duration: 25 Sep 200727 Sep 2007


ConferenceEuropean Computing Conference (ECC)

Cite this

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