Skip to main navigation Skip to search Skip to main content

Identifying Potential Deadlocked Instructions in a Multi-threaded ooRexx Program

Publication: Chapter in book/Conference proceedingContribution to conference proceedings

Abstract

In dynamic runtime environments, like ooRexx applications, guard-locked multi-threaded applications may be deadlocked for many reasons. Breaking deadlocked code may yield the location of a deadlocked instruction but may not allow for identifying other deadlocked threads such that the causes may be difficult or even impossible to locate. With the introduction of collectible TraceObject instances in ooRexx 5.1, a new infrastructure becomes available that can be put to work for identifying guard lock-related deadlocks on any number of threads. This article introduces the principles for creating TraceObject trace logs that can be externalized (e.g., encoded as JSON or XML text files) and internalized later as the originally ordered collection of trace objects for analyzing and processing purposes. The ooRexx guard lock-based multi-threading rules can then be used to develop an algorithm to identify all deadlocked program instructions "post immobilization," analyzing the TraceObject trace logs and supplying information about the affected objects and threads.
Original languageEnglish
Title of host publicationVORTEX '24: Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution
EditorsDavide Ancona, Giorgio Audrito
Place of PublicationNew York
PublisherAssociation for Computing Machinery
Pages38-43
Number of pages6
ISBN (Print)979-8-4007-1119-0
DOIs
Publication statusPublished - 13 Sept 2024
EventISSTA 2024: International Symposium on Software Testing and Analysis, VORTEX '24: VORTEX '24: 7th ACM International Workshop on Verification and Monitoring at Runtime Execution - TU Wien, Wien, Austria
Duration: 16 Sept 202420 Sept 2024
https://conf.researchr.org/home/issta-ecoop-2024/vortex-2024#program

Conference

ConferenceISSTA 2024: International Symposium on Software Testing and Analysis, VORTEX '24
Abbreviated titleVORTEX '24
Country/TerritoryAustria
CityWien
Period16/09/2420/09/24
Internet address

Austrian Classification of Fields of Science and Technology (ÖFOS)

  • 102015 Information systems
  • 102022 Software development
  • 502050 Business informatics

Keywords

  • Runtime Verification
  • Multi-threaded
  • ooRexx
  • TraceObject
  • Trace Log
  • Deadlock
  • Guard Lock

Cite this