I don’t think any significant changes will be required to the DWARF support that is being upstreamed at the moment. Some extra pieces will be needed, however, for example to obtain good backtraces. I believe that OCaml Labs has already prototyped these pieces. It may also be helpful to add some extra commands to the debugger to inspect multicore-specific aspects of a program, but this part should be straightforward.
4 Likes