Running chord on "Open Programs" and User Guide links

[Yiling]

Hi Mayur,

I remember reading in your paper about running Chord on open programs/
libraries which automatically generates a harness to run. Currently,
I've been writing my own test harnesses but I was wondering how you
were able to automatically generate the test harness and how to do
that with Chord as it could help save some time even if the generated
harnesses are not entirely sound?

Also, the links for the user guide and other information in the Readme
seem to be dead.

Thanks,
Yiling

[Mayur Naik]

Yiling,

I no longer have the code I used to generate harnesses in Chord but I believe it was quite primitive and semi-automatic: given a set of classes, it would call all public methods in each class, while trying to induce as many aliasing relationships between their arguments as possible.

The chord user guide and other information is available at pag.cc.gatech.edu/chord, while concurrency-specific stuff is available at http://pag.cc.gatech.edu/conchord/.  I believe all the links in the latest version in SVN are working; I haven't checked links in any of the earlier, released versions.

-- Mayur

Yiling

--
You received this message because you are subscribed to the Google Groups "chord-discuss" group.
To post to this group, send email to chord-...@googlegroups.com.
To unsubscribe from this group, send email to chord-discus...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/chord-discuss?hl=en.

[Ariel Rabkin]

I wrote a similar but possibly less sophisticated tool for stub generation.

It's in conf_analyzer/src/java/chord/analyses/makestub

Possibly it should be promoted out to "extras" if it's useful for a
second person?

--Ari

--
Ari Rabkin asra...@gmail.com
UC Berkeley Computer Science Department