|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
Rollbackable | The interface of rollbackable objects. |
Class Summary | |
---|---|
Checkpoint | The class of checkpoint objects. |
CheckpointState | The current state of a checkpoint object. |
Backtracking mechanism for Ptolemy models.
These papers on backtracking maybe helpful:
http://www.eecs.berkeley.edu/~tfeng/backtrack.html
-
This is somewhat outdated. It still talks about AspectJ,
which we experimented some time ago. We then moved to source-to-source
transformation. The reason was that AspectJ didn't allow us to
capture changes on some variables, such as individual elements of an
array. By taking the source transformation approach, we have full
control over the variables we need to keep track of.
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |