Dumpling is an object model and domain specific language to represent and query the state of process threads and their lock based dependencies