Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-02 00:48:21 -0800 (Wed, 02 Nov 2005)
Revision: 8078
Log message:

      
      Added most of the code for the consensus protocol. Also got the 
      code for the flooder test program to compile and in the meanwhile 
      fixed a bug in the OMakefile for libmojave.
      
      What we miss right now is the code for processing the replies sent
      when the consensus is done. Timeouts need to be added too.
      
      

Changes  Path
+1 -1 mojavefs/shmem/common/OMakefile
+197 -20 mojavefs/shmem/gc/gcomm.ml
+3 -0 mojavefs/shmem/gc/helper_functions.ml
+2 -0 mojavefs/shmem/gc/helper_functions.mli
+18 -1 mojavefs/shmem/gc/type_defs.ml
+7 -3 mojavefs/shmem/test/OMakefile
+6 -2 mojavefs/shmem/test/flooder.ml

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-03 02:07:10 -0800 (Thu, 03 Nov 2005)
Revision: 8083
Log message:

      Fixed a few problems with the code. Updated the OMakefile to 
      include $(LIBMOJAVE_HOME) in .SUBDIRS.
      
      One of the issues we have is that ControlMsgs don't have a group
      sequence number, which makes it impossible to acknowledge them
      through the standard procedure. 
      
      I still need to add timeouts.  I spent a LOT of time trying to find a 
      stupid Marshalling/Unmarshalling bug.
      
      

Changes  Path
+4 -2 mojavefs/shmem/OMakefile
+7 -3 mojavefs/shmem/gc/clib_implem.c
+19 -39 mojavefs/shmem/gc/gcomm.ml
+123 -122 mojavefs/shmem/gc/helper_functions.ml
+2 -1 mojavefs/shmem/model/gc/view_change/tla/OMakefile
+2 -3 mojavefs/shmem/test/OMakefile
+15 -14 mojavefs/shmem/test/flooder.ml
+17 -30 mojavefs/shmem/test/hints_server.ml

Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-11-03 17:25:13 -0800 (Thu, 03 Nov 2005)
Revision: 8086
Log message:

      Added a portion of the timeout implementation for the view change protocol. It is not quite done yet, but it is close. What is remaining is the proper setting (and clearing) of the timers in all the relevant locations.
      
      

Changes  Path
+109 -33 mojavefs/shmem/gc/gcomm.ml

Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-11-04 18:02:10 -0800 (Fri, 04 Nov 2005)
Revision: 8099
Log message:

      Finished adding the timout code for the view change stages. It still needs to be tested, but at least everything should be in there.
      
      

Changes  Path
+474 -421 mojavefs/shmem/gc/gcomm.ml

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-05 00:28:25 -0800 (Sat, 05 Nov 2005)
Revision: 8103
Log message:

      The code for the consensus algorithm is in place. I still need to add
      timers for timeouts, but I'll do it in the morning. 
      
      

Changes  Path
+131 -73 mojavefs/shmem/gc/gcomm.ml
+1 -1 mojavefs/shmem/gc/type_defs.ml

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-06 01:11:25 -0800 (Sun, 06 Nov 2005)
Revision: 8113
Log message:

      The code works as expected for two nodes, including timeouts, failure 
      detection and consensus.
      
      We had a few nasty bugs that would depend on a particular interleaving of
      messages that were hard to debug but now they are fixed.
      
      We need to take out the output and try to get some benchmarks. We also have
      to tweak the timeouts and the time we hold on to the token to be able to 
      get good results. 
      
      

Changes  Path
+1 -1 mojavefs/shmem/OMakefile
+2 -0 mojavefs/shmem/common/gctimer.ml
+278 -201 mojavefs/shmem/gc/gcomm.ml
+1 -1 mojavefs/shmem/gc/helper_functions.ml

Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-11-06 02:16:26 -0800 (Sun, 06 Nov 2005)
Revision: 8114
Log message:

      A couple of minor fixes were made and some of the code was cleaned up a bit.
      
      

Changes  Path
+83 -155 mojavefs/shmem/gc/gcomm.ml

Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-11-06 15:12:32 -0800 (Sun, 06 Nov 2005)
Revision: 8115
Log message:

      This commit fixes a bug where we couldn't cancel timers from within the timer processing function.
      
      
      

Changes  Path
+13 -14 mojavefs/shmem/gc/gcomm.ml

Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-11-06 21:00:45 -0800 (Sun, 06 Nov 2005)
Revision: 8118
Log message:

      This commit fixes some problems in sync_request_received and sync_reply_received where messages were being sent to the wrong nodes.
      
      

Changes  Path
+33 -13 mojavefs/shmem/gc/gcomm.ml

Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-11-07 19:08:30 -0800 (Mon, 07 Nov 2005)
Revision: 8126
Log message:

      Some assignment orderings were fixed and the timeout code was cleaned up a bit.
      
      

Changes  Path
+161 -148 mojavefs/shmem/gc/gcomm.ml

Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-11-08 01:06:44 -0800 (Tue, 08 Nov 2005)
Revision: 8131
Log message:

      A number of changes were made to make the implementation more true to the spin/TLA models. In particular, some of the sections dealing with the postponed_joins were reworked. For the most part, things are now working as expected for 3 nodes.
      
      One problem remaining, however, is that sometimes the consensus reply_ack_timer is being started when it is already running.
      
      

Changes  Path
+313 -296 mojavefs/shmem/gc/gcomm.ml

Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-11-08 01:08:45 -0800 (Tue, 08 Nov 2005)
Revision: 8132
Log message:

      This is just a small edit to get the flooder to report its ip address to gcomm properly.
      
      
      

Changes  Path
+1 -1 mojavefs/shmem/test/flooder.ml

Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-11-08 12:45:24 -0800 (Tue, 08 Nov 2005)
Revision: 8133
Log message:

      The consensus reply_ack_timer problem should be fixed now.
      
      

Changes  Path
+17 -3 mojavefs/shmem/gc/gcomm.ml

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-08 14:41:39 -0800 (Tue, 08 Nov 2005)
Revision: 8136
Log message:

      Modified the flooder and removed a set of directories from .SUBDIRS
      
      

Changes  Path
+3 -1 mojavefs/shmem/OMakefile
+21 -14 mojavefs/shmem/test/flooder.ml

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-08 14:45:19 -0800 (Tue, 08 Nov 2005)
Revision: 8137
Log message:

      My previous commit broke the flooder... 
      
      

Changes  Path
+1 -1 mojavefs/shmem/test/flooder.ml

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-08 15:48:18 -0800 (Tue, 08 Nov 2005)
Revision: 8142
Log message:

      Added the first version of the testing scripts.
      
      

Changes  Path
Added mojavefs/shmem/scripts/clean_output.sh
Properties mojavefs/shmem/scripts/clean_output.sh
Added mojavefs/shmem/scripts/deploy.sh
Properties mojavefs/shmem/scripts/deploy.sh
Added mojavefs/shmem/scripts/deploy_instances.sh
Properties mojavefs/shmem/scripts/deploy_instances.sh
Added mojavefs/shmem/scripts/flooder_wrapper.sh
Properties mojavefs/shmem/scripts/flooder_wrapper.sh
Added mojavefs/shmem/scripts/hints_server_wrapper.sh
Properties mojavefs/shmem/scripts/hints_server_wrapper.sh
Added mojavefs/shmem/scripts/kill.sh
Properties mojavefs/shmem/scripts/kill.sh
Added mojavefs/shmem/scripts/kill_instances.sh
Properties mojavefs/shmem/scripts/kill_instances.sh
Added mojavefs/shmem/scripts/test1_deploy.sh
Properties mojavefs/shmem/scripts/test1_deploy.sh

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-08 17:54:43 -0800 (Tue, 08 Nov 2005)
Revision: 8143
Log message:

      Modified the scripts and fixed the flooder.
      Added a new test program to be used for our first round of tests (test1group)
      
      

Changes  Path
+1 -1 mojavefs/shmem/scripts/hints_server_wrapper.sh
+8 -6 mojavefs/shmem/scripts/test1_deploy.sh
Added mojavefs/shmem/scripts/test1group_wrapper.sh
Properties mojavefs/shmem/scripts/test1group_wrapper.sh
+7 -2 mojavefs/shmem/test/OMakefile
+7 -3 mojavefs/shmem/test/flooder.ml
Added mojavefs/shmem/test/test1group.ml

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-08 18:24:17 -0800 (Tue, 08 Nov 2005)
Revision: 8144
Log message:

      Fixed the hints server to accept remote connections properly and 
      modified the scripts too.
      
      

Changes  Path
+1 -1 mojavefs/shmem/scripts/deploy.sh
+2 -8 mojavefs/shmem/scripts/hints_server_wrapper.sh
+5 -1 mojavefs/shmem/scripts/test1_deploy.sh
+5 -5 mojavefs/shmem/test/hints_server.ml

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-08 18:26:16 -0800 (Tue, 08 Nov 2005)
Revision: 8145
Log message:

      Another small fix... ;-)
      
      

Changes  Path
+1 -1 mojavefs/shmem/scripts/hints_server_wrapper.sh
+1 -1 mojavefs/shmem/test/hints_server.ml

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-09 16:12:21 -0800 (Wed, 09 Nov 2005)
Revision: 8152
Log message:

      Compiling, but not tested.
      
      This code should restrict the processing of old control messages.
      
      

Changes  Path
+30 -5 mojavefs/shmem/gc/gcomm.ml

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-09 16:49:35 -0800 (Wed, 09 Nov 2005)
Revision: 8154
Log message:

      Updated the scripts to use ports in the range 10000:20000
      
      

Changes  Path
+1 -1 mojavefs/shmem/scripts/deploy_instances.sh
+1 -1 mojavefs/shmem/scripts/test1_deploy.sh

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-09 16:59:53 -0800 (Wed, 09 Nov 2005)
Revision: 8155
Log message:

      Fixed a bug in the wrapper for the hints server
      
      

Changes  Path
+3 -1 mojavefs/shmem/scripts/hints_server_wrapper.sh

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-09 17:21:33 -0800 (Wed, 09 Nov 2005)
Revision: 8156
Log message:

      Another small fix.
      
      

Changes  Path
+5 -1 mojavefs/shmem/scripts/kill.sh

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-09 17:26:43 -0800 (Wed, 09 Nov 2005)
Revision: 8157
Log message:

      Now the kill scripts should be working
      
      

Changes  Path
+2 -2 mojavefs/shmem/scripts/kill.sh
+1 -1 mojavefs/shmem/scripts/kill_instances.sh

Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-11-22 15:07:49 -0800 (Tue, 22 Nov 2005)
Revision: 8198
Log message:

      Minor fixes to the scripts and the test program

Changes  Path
Added mojavefs/shmem/scripts/README
+1 -1 mojavefs/shmem/scripts/deploy_instances.sh
+4 -3 mojavefs/shmem/scripts/kill.sh
+2 -1 mojavefs/shmem/scripts/kill_instances.sh
+5 -8 mojavefs/shmem/scripts/test1_deploy.sh
Added mojavefs/shmem/scripts/test1_killall.sh
Properties mojavefs/shmem/scripts/test1_killall.sh
+2 -1 mojavefs/shmem/scripts/test1group_wrapper.sh
+5 -4 mojavefs/shmem/test/test1group.ml

Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-11-23 16:11:17 -0800 (Wed, 23 Nov 2005)
Revision: 8208
Log message:

      With these changes we can now compile gcomm with all the default warnings enabled.
      
      

Changes  Path
+1 -1 mojavefs/shmem/OMakefile
+1 -0 mojavefs/shmem/gc/gcomm.ml
+3 -3 mojavefs/shmem/gc/helper_functions.ml
+1 -1 mojavefs/shmem/scripts/test1_deploy.sh
+5 -5 mojavefs/shmem/test/flooder.ml
+1 -1 mojavefs/shmem/test/hints_server.ml
+7 -8 mojavefs/shmem/test/test1group.ml