[kaffe] Checkpointing Java

[Dalibor Topic]

hi Tsjoert,

--- Tsjoert <Tsjoert at hotmail.com> wrote:
> On http://www.cs.utk.edu/~plank/javackp.html i read:
> "We have started with a virtual machine called ``
> Kaffe'' with public domain
> source code. We have modified the virtual machine to
> take
> architecture-independent checkpoints, which are
> currently in a format that
> can only be recovered by another instrumented Kaffe.
> machine. However, since
> Kaffe is portable across architectures, so are the
> checkpoints. "
> Is this functionality included in Kaffe 1.0.6? And
> if so, does somebody know
> how to use it?

I don't think it's included in the codebase, since
searching all files for checkpoint yields no results.
Searching for check and point only yields results
related to checking pointers.

Your best bet is to write to the authors directly, and
 ask them about their research.

Your other bet is to try to extend the BDBJ debugger
based on/for kaffe, written by Jonathan Cook,
available online at
http://www.dcs.ed.ac.uk/home/jjc/dl.html . This one
might get merged into our tree, if time permits and
someone stands up to the task. Derek L Davies and
Andrew Dalgleish have offered help with merging the
code. I think they are waiting for a response on
non-kaffe code's licensing status.

This debugger allows you to step backward through
program execution, which seems to be related to
checkpointing.

cheers,

dalibor topic

__________________________________________________
Do You Yahoo!?
Yahoo! Health - your guide to health and wellness
http://health.yahoo.com