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 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 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 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 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.