[Javapathfinder-svn] SF.net SVN: javapathfinder:[1233] branches/mango/extensions/mango

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

Revision: 1233
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1233&view=rev
Author:   frankrimlinger
Date:     2009-02-26 20:08:11 +0000 (Thu, 26 Feb 2009)

Log Message:
-----------
Fixed slowness problem in Hash class.  There was a bug that caused most names to hash to the same place, which caused the radical slow down.  I also rewrote the low-level hash function code to use a static char[] instead of creating String objects like there was no tomorrow.  With all these improvements, the hash stress tests show the java version about twice as slow as C++.  This is not bad, since the C++ has had the benefit of fine tuning over the years.  Certainly Hash is fast enough for phase 2 purposes.

Fixed more E-Z bugs.  Finally back to the point several days ago with the locator indexing bug on session replay.  Now that the replay mechanism is working smoothly, it is time to proceed with this bug.

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/script/gui/action/ScriptSaveAction.java
    branches/mango/extensions/mango/Mango/src/mango/script/model/MangoScriptModel.java
    branches/mango/extensions/mango/Mango/src/mango/script/msg/ReplayedMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/Worker.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hash.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/msg/ScheduleRequestMsg.java
    branches/mango/extensions/mango/ThreadSupport/src/model/Command.java
    branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
    branches/mango/extensions/mango/local/franklocal/sessions/a.zip

Removed Paths:
-------------
    branches/mango/extensions/mango/local/franklocal/sessions/b.zip


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