Skip to content

0.4.0 Concurrency-Agnostic Debugger

Compare
Choose a tag to compare
@smarr smarr released this 20 Jun 11:57

This release introduces concurrency-agnostic debugging based on Kómpos.
It is realized by using a debugger protocol that abstracts from concurrency
concepts and instead uses a uniform representation and meta data that instructs
Kómpos how to understand and visualize breakpoints, stepping operations, and
data visualization

  • introduced a uniform trace format (PR #155)
  • added process view
  • refactor handling of breakpoints and stepping in interpreter and Kómpos
  • added advanced stepping operations and breakpoints for STM, fork/join, actors, CSP, threads and locks

Other Enhancements

  • Switch to unified Truffle+Graal repo PR #149

  • Updated to Truffle 0.25 PR #132

  • Use precise array type check PR #128

  • Make Kómpos tests more robust, include more info on failures, and use ephemeral ports if necessary PR #144

  • Fix various single stepping issues PR #143

  • Fix #perform:withArguments: primitive PR #130

  • Make sure that ./som without arguments does something useful PR #156