[Javapathfinder-svn] SF.net SVN: javapathfinder:[1607] branches/mango/MangoJPF

[<fra...@us...>]

Revision: 1607
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1607&view=rev
Author:   frankrimlinger
Date:     2009-06-10 15:13:17 +0000 (Wed, 10 Jun 2009)

Log Message:
-----------
Auto reset now works hot when the definition window is closed if the auto reset preference is set.  This involved some delicate negotiation to avoid deadlock.  But what is really cool is that running a session will close the definition window, which kicks the auto-reset, which creates a new rulebase worker image and fires up jpf, which gets all the way to the INVOKETARGET bug.  Thus with just a roster of session names, regression testing can be automated using the existing auto threads.  So all the old rmi database stuff can be disposed of.

In other news, there is a crash when you alter preferences in the login window.  It is actually a race condition, sometimes resulting in access of inconsistent preference state (it can't be duplicated if you step through with debugger- a fun bug).  The workaround is just turn on auto-login from the preference panel after you make your change.  Then start again after crash and all-is-well.  Clearly this should be fixed someday, or hopefully this bug will go away in a future RCP update.

At this point, we should honor the auto-save preference, saving both rulebase and session (if dirty) when auto reset kicks.  The rulebase save must block, to avoid issues, so make it its own PermCommand on the auto thread.

Since the session save is much faster than the rulebase, and more important, probably want two separate preferences here.

Finally, fix the INVOKETARGET bug and start some serious testing.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/control/action/control/StopWorkerAction.java
    branches/mango/MangoJPF/Mango/src/mango/control/action/control/WorkerAction.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/msg/CoalesceStandingHypothesesMsg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
    branches/mango/MangoJPF/Mango/src/mango/worker/msg/NewWorkerMsg.java
    branches/mango/MangoJPF/ThreadSupport/src/threadModel/CommandState.java
    branches/mango/MangoJPF/ThreadSupport/src/threadModel/SystemBuilder.java

Added Paths:
-----------
    branches/mango/MangoJPF/Mango/src/mango/worker/msg/AutoResetMsg.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.