Re: [abc] abc release

On 25/07/07, Oege de Moor <Oege.de.Moor_at_comlab.ox.ac.uk> wrote:
> Uh, I cannot speak for Ondrej, obviously, who is on his way to Oxford
> and then ECOOP right now. We'll try to be ready with the abc stuff,
> and if we have to admit the cflow experiments were flawed, that's just
> the way it is.

Oh, I did not know that he's attending ECOOP. Well, in that case I
will just prepare everything and you can maybe let me know (by mail)
when you are ready to go. If it does not work out by next Friday it's
also not too bad. We should maybe just agree on an abc version number
that I can give people.

> Great, thanks. When you apply the gold standard AspectJ version of
> FailSafeIter, does it run fast? If so, stay tuned for Julian's
> ITD optimisation...

I did not apply any AspectJ versions, just tracematches. We should
talk about our journal paper again, shortly. When Julian is done with
the ITD stuff (which I am very much looking forward to) then I think
it's about time to wrap all this up with some common benchmark runs.

> On irc, I was asking earlier today whether you could give some advice
> on how to run your optimisations on our benchmarks, so we can
> include some numbers when discussing your papers in related work.
> Is it tough to run the optimisations? Most of our benchmarks are
> multi-threaded, so I guess the POPL stuff is not safe to apply?

The POPL stuff is not safe to apply, right. But furthermore that's not
in the main abc branch yet, anyway. It's separated in our SVN here, on
purpose, because we still need to fix some corner cases. (e.g. the
shadow motion gets into trouble with labeled jumps in bloat etc.) So I
think the POPL optimizations should not be included yet in the
upcoming release.

*however* you can already run the quick check and flow-insensitive
analysis from ECOOP. For "quick" just add this:

-wp-tmopt -laststage quick

for quick and flow-insensitive:

-wp-tmopt -laststage flowins

This should just work. Threads are no issue there because we do not
take control flow into account.

Eric
Received on Wed Jul 25 2007 - 13:56:46 BST