Re: looking for other distributed debuggers
Matej Kosik <[email protected]>
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <[email protected]> |
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Terry Stanley wrote: > I've been working on Causeway to make it more generally useful to > developers debugging asynchronous message-passing programs. This > effort includes writing a paper, which I'm considering submitting > here: > > http://debs08.dis.uniroma1.it/ > > Here's a link to the draft paper, which is pretty rough, only half written. > > http://www.erights.org/elang/tools/causeway/causeway-paper.pdf > > Trying to write the Related Works section has been pretty frustrating. > Can anyone point me at debuggers built for the communicating event > loops concurrency model? I am not sure if Erlang's debugger (described in appendix E.2 on page 429 in the book Joe Armstrong: Programming Erlang. Software for a Concurrent World. (try to google this file: Pragmatic.Programming.Erlang.Jul.2007.pdf ) is a kind of related work you are looking for. I have tried to use it but I did not like it. One approach that worked for me is to record historical trace of processes, record it to file so that I can later "go back in time" to see why something crashed or why something happed. The aforementioned debugger cannot provide this kind of functionality. To be able to do that, I have to intersperse my source code with small macros that record to logs - - filename - - line number - - date and tim - - (and optionally value of some relevant variable) Recording that is laborious but it makes debugging possible (even though it is not very effective way of doing things). > > Thanks, > Terry > _______________________________________________ > e-lang mailing list > [email protected] > http://www.eros-os.org/mailman/listinfo/e-lang > - -- Matej -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFHuVB2L+CaXfJI/hgRAofGAKCg0Jn+S12lIkUoB3W7iniD1ZSp1wCgjM1O zdkpKhsTchaT8G9XL8WSrFU= =kRWQ -----END PGP SIGNATURE-----