Checksums

buildInSandbox.sh

@@ -2,14 +2,14 @@
 
 ocamlbuild -use-ocamlfind arakoon.native
 
-mkdir -p /opt/qbase3/apps/arakoon/bin/
-cp arakoon.native /opt/qbase3/apps/arakoon/bin/arakoon
-cp -r pylabs/extensions/* /opt/qbase3/lib/pymonkey/extensions/
-cp pylabs/Compat.py /opt/qbase3/lib/pymonkey/extensions/Compat.py
-
-mkdir -p /opt/qbase3/var/tests/arakoon_system_tests/
-touch /opt/qbase3/var/tests/arakoon_system_tests/__init__.py
-cp -r pylabs/test/* /opt/qbase3/var/tests/arakoon_system_tests/
-mkdir -p /opt/qbase3/lib/python/site-packages/arakoon/
-cp src/client/python/*.py /opt/qbase3/lib/python/site-packages/arakoon/
+sudo mkdir -p /opt/qbase3/apps/arakoon/bin/
+sudo cp arakoon.native /opt/qbase3/apps/arakoon/bin/arakoon
+sudo cp -r pylabs/extensions/* /opt/qbase3/lib/pymonkey/extensions/
+sudo cp pylabs/Compat.py /opt/qbase3/lib/pymonkey/extensions/Compat.py
+
+sudo mkdir -p /opt/qbase3/var/tests/arakoon_system_tests/
+sudo touch /opt/qbase3/var/tests/arakoon_system_tests/__init__.py
+sudo cp -r pylabs/test/* /opt/qbase3/var/tests/arakoon_system_tests/
+sudo mkdir -p /opt/qbase3/lib/python/site-packages/arakoon/
+sudo cp src/client/python/*.py /opt/qbase3/lib/python/site-packages/arakoon/
 

doc/design/rolling-checksums.rst

@@ -0,0 +1,97 @@
+=================
+Rolling Checksums
+=================
+
+Problem
+=======
+If a node crashed, and failed to write some tlog entries to disk, this is not detected by Arakoon. The node announces it's in sync up to the last entry in the tlogs, even if other nodes diverged while the node was offline. Note that this should not happen if fsync is set to true (which is the default) and none of the layers below (file system, hardware) lie about fsync behaviour.
+
+Another problematic situation occurs when for some reason tlog files, databases or even nodes end up in the wrong cluster. The nodes will continue as if nothing happened, and don't know they are diverged.
+
+Example
+-------
+Consider this situation:
+
++----------------------------------+------------------------------------+------------------------------------+
+| node0                            | node1                              | node 2                             |
++==================================+====================================+====================================+
+| 0:(Vm (node0,0.000000))          | 0:(Vm (node0,0.000000))            | 0:(Vm (node0,0.000000))            |
++----------------------------------+------------------------------------+------------------------------------+
+| 1:(Vc ([Set;"a";1;"...";],false) | 1:(Vc ([Set;"a";1;"...";],false)   | 1:(Vc ([Set;"a";1;"...";],false)   |
++----------------------------------+------------------------------------+------------------------------------+
+| 2:(Vc ([Set;"b";1;"...";],false) | *2:(Vc ([Set;"b";1;"...";],false)* | *2:(Vc ([Set;"b";1;"...";],false)* |
++----------------------------------+------------------------------------+------------------------------------+
+| 3:(Vc ([Set;"c";1;"...";],false) | *3:(Vc ([Set;"c";1;"...";],false)* |                                    |
++----------------------------------+------------------------------------+------------------------------------+
+
+Node1 and node2 crashed, and the last tlog entries were lost. They are restarted, while node0 is still offline. When node0 comes back, this will result in the following situation:
+
++--------------------------------------+----------------------------------+----------------------------------+
+| node0                                | node1                            | node 2                           |
++======================================+==================================+==================================+
+| 0:(Vm (node0,0.000000))              | 0:(Vm (node0,0.000000))          | 0:(Vm (node0,0.000000))          |
++--------------------------------------+----------------------------------+----------------------------------+
+| 1:(Vc ([Set;"a";1;"...";],false)     | 1:(Vc ([Set;"a";1;"...";],false) | 1:(Vc ([Set;"a";1;"...";],false) |
++--------------------------------------+----------------------------------+----------------------------------+
+| **2:(Vc ([Set;"b";1;"...";],false)** | **2:(Vm (node1,0.000000))**      | **2:(Vm (node1,0.000000))**      |
++--------------------------------------+----------------------------------+----------------------------------+
+| 3:(Vc ([Set;"d";1;"...";],false)     | 3:(Vc ([Set;"d";1;"...";],false) | 3:(Vc ([Set;"d";1;"...";],false) |
++--------------------------------------+----------------------------------+----------------------------------+
+
+Checksums
+=========
+This problem can be solved by using a rolling checksum, computed over all the entries in the tlogs. This checksum should be the same for all nodes. The checksum is part of the value that is synced with multi-paxos.
+
+1. The client sends a request to the master node.
+2. The master computes the rolling checksum, and makes a value of this checksum and the update commands.
+3. This value is sent to the slaves in an accept request.
+4. The slaves compute the rolling checksum, and compare it with the checksum in the value.
+5. If the checksums are equal, the tlogs are in sync, the value is written to the tlogs, and the algorithm proceeds as usual.
+6. If the checksums are different, something bad happened. The node halts, and the tlogs need to be inspected manually.
+
+The catchup consists of two phases. In the first phase, the missing tlog entries are received from another node. The checksum of the first of these entries will be validated, to prevent a catchup from a diverged node. During the second phase, the tlog entries are replayed to the store, and all checksums are validated.
+
+Remark
+------
+When several consecutive entries in the tlogs have the same number, it is only the last one that is agreed upon by multi-paxos, and thus only this entry is used in the computation of the checksum.
+
+Tlog Specification
+==================
+* Serial number (int64)
+* Crc-32 checksum of Cmd (int32)
+* Cmd
+  - Value
+  - Marker, optional (string option)
+
+Older value format
+------------------
+* Update
+  - Update type (int32 between 1 and 16)
+  - Update details (depends on type)
+* Synced (bool)
+
+Old value format
+----------------
+* 0xff (int32)
+* Value type (char 'c' or 'm')
+* Value details (depends on type)
+
+New value format
+----------------
+* 0x100 (int32)
+* Checksum (int32 if crc-32 is used)
+* Value type (char 'c' or 'm')
+* Value details (depends on type)
+
+Checksums in store
+==================
+The current tlog index and checksum are stored in the local store. When a node starts, they are compared with the values in the tlog.
+Thus, after a collapse, the checksum of the last collapsed value is saved in the head database. Therefore the rolling tlog checksum is a continuation of the checksum in the head database.
+
+Upgrade Path
+============
+To upgrade Arakoon to the new version, with a new tlog format, the nodes need to be restarted. A node that restarts after the upgrade can still read the old tlogs, and the checksums of these values will be set to None. Values with checksum None will never be valuated.
+
+Nodes that need to do a catchup will do this as usual. The first received values will have checksum None, and are written to the tlogs in the old format, until all values from before the upgrade are synced. All values that are created after the upgrade will get a checksum. The checksum of the first value is a normal checksum (not depending on previous values), and all following checksums are rolling.
+
+New and old nodes can not and will not communicate (they have a different magic). If the nodes are restarted one by one, the old nodes will keep going as long as possible, while the new nodes can't make progress because they don't have a majority. When the critical point is reached, the new nodes will do a catchup and take over.

pylabs/test/server/left/system_tests_long_left.py

@@ -49,6 +49,7 @@ def test_catchup_only():
     C.stopOne(n0)
     C.compare_stores(n1,n0)
     C.start_all()
+    time.sleep(1.0)
     C.assert_running_nodes(2)
 
 

pylabs/test/server/quick/test_checksums.py

@@ -0,0 +1,80 @@
+"""
+Copyright (2010-2014) INCUBAID BVBA
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+"""
+
+
+
+import time
+import shutil
+
+from .. import system_tests_common as C
+from nose.tools import *
+
+from Compat import X
+
+"""
+@C.with_custom_setup(C.setup_3_nodes, C.basic_teardown)
+def test_diverge ():
+    C.iterate_n_times(100, C.simple_set)
+    C.stop_all()
+
+    C.remove_node(1)
+    C.remove_node(2)
+    C.regenerateClientConfig(C.cluster_id)
+    C.start_all()
+    C.iterate_n_times(5, C.simple_set, 100)
+    C.stop_all()
+
+    C.remove_node(0)
+    C.add_node(1)
+    C.add_node(2)
+    C.regenerateClientConfig(C.cluster_id)
+    C.start_all()
+    C.iterate_n_times(10, C.simple_set)
+    C.stop_all()
+
+    C.add_node(0)
+    C.regenerateClientConfig(C.cluster_id)
+    C.start_all()
+    time.sleep(3.0)
+"""
+
+@C.with_custom_setup(C.setup_2_nodes_forced_master ,C.basic_teardown)
+def test_power_failure ():
+    cluster = C._getCluster()
+    logging.info("")
+    C.iterate_n_times(50, C.simple_set)
+
+    for i in range(2):
+        node_id = C.node_names[i]
+        C.stopOne(node_id)
+        home = cluster.getNodeConfig(node_id)['home']
+        backup = '/'.join([X.tmpDir, 'backup_' + node_id])
+        shutil.copytree(home, backup)
+        C.startOne(node_id)
+
+    C.iterate_n_times(10, C.simple_set)
+    C.stop_all()
+
+    for i in range(2):
+        node_id = C.node_names[i]
+        home = cluster.getNodeConfig(node_id)['home']
+        backup = '/'.join([X.tmpDir, 'backup_' + node_id])
+        shutil.rmtree(home)
+        shutil.move(backup, home)
+        C.startOne(node_id)
+
+    C.iterate_n_times(10, C.simple_set)
+    C.startOne(C.node_names[2])

pylabs/test/server/right/system_tests_long_right.py

@@ -508,34 +508,6 @@ def test_sabotage():
     returncode = X.subprocess.call(cmd)
     assert_equals(returncode, 50)
 
-@Common.with_custom_setup( Common.setup_3_nodes_forced_master, Common.basic_teardown )
-def test_large_catchup_while_running():
-    """ make sure catchup does not interphere with normal operation (eta : 720s) """
-    cli = Common.get_client()
-    cluster = Common._getCluster()
-
-    cli.set('k','v')
-    m = cli.whoMaster()
-
-    nod1 = Common.node_names[0]
-    nod2 = Common.node_names[1]
-    nod3 = Common.node_names[2]
-
-    n_name,others = (nod1, [nod2,nod3]) if nod1 != m else (nod2, [nod1, nod3])
-    node_pid = cluster._getPid(n_name)
-
-    time.sleep(0.1)
-    X.subprocess.call(["kill","-STOP",str(node_pid)])
-    Common.iterate_n_times( 200000, Common.simple_set )
-    for n in others:
-        Common.collapse(n)
-
-    time.sleep(1.0)
-    X.subprocess.call(["kill","-CONT", str(node_pid) ])
-    cli.delete('k')
-    time.sleep(10.0)
-    Common.assert_running_nodes(3)
-
 
 @Common.with_custom_setup(Common.setup_1_node, Common.basic_teardown)
 def test_log_rotation():

pylabs/test/server/system_tests_common.py

@@ -537,6 +537,11 @@ def add_node ( i ):
     cluster.addLocalNode (ni )
     cluster.createDirs(ni)
 
+def remove_node(i):
+    ni = node_names[i]
+    cluster = _getCluster()
+    cluster.removeNode(ni)
+
 def start_all(clusterId = None) :
     cluster = _getCluster(clusterId )
     cluster.start()

src/client/arakoon_client.mli

@@ -85,7 +85,7 @@ class type client = object
 
   method nop : unit -> unit Lwt.t
   (** [nop ()] is a paxos no-operation.
-   *)
+  *)
   method confirm: key -> value -> unit Lwt.t
   (** [confirm key value] does nothing if this value was already
       associated to the key, otherwise, it behaves as [set key value]
@@ -118,7 +118,7 @@ class type client = object
       [replace key wanted] assigns the wanted value to the key,
       and returns the previous assignment (if any) for that key.
       If wanted is None, the binding is deleted.
-   *)
+  *)
 
   method ping: string -> string -> string Lwt.t
 

src/client/client_protocol.ml

@@ -312,18 +312,24 @@ let one_command stop (ic,oc,id as conn) (backend:Backend.backend) =
     end
   | LAST_ENTRIES ->
     begin
-      Sn.input_sn ic >>= fun i ->
-      Logger.debug_f_ "connection=%s LAST_ENTRIES: i=%Li" id i >>= fun () ->
-      response_ok oc >>= fun () ->
-      backend # last_entries i oc >>= fun () ->
-      Lwt.return false
+      wrap_exception
+      (fun () ->
+         let msg = "Operation LAST_ENTRIES is not supported" in
+         Lwt.fail (XException(Arakoon_exc.E_NOT_SUPPORTED, msg)))
     end
   | LAST_ENTRIES2 ->
+    begin
+      wrap_exception
+      (fun () ->
+         let msg = "Operation LAST_ENTRIES2 is not supported" in
+         Lwt.fail (XException(Arakoon_exc.E_NOT_SUPPORTED, msg)))
+    end
+  | LAST_ENTRIES3 ->
     begin
       Sn.input_sn ic >>= fun i ->
-      Logger.debug_f_ "connection=%s LAST_ENTRIES2: i=%Li" id i >>= fun () ->
+      Logger.debug_f_ "connection=%s LAST_ENTRIES3: i=%Li" id i >>= fun () ->
       response_ok oc >>= fun () ->
-      backend # last_entries2 i oc >>= fun () ->
+      backend # last_entries i oc >>= fun () ->
       Lwt.return false
     end
   | WHO_MASTER ->

src/client/common.ml

@@ -49,6 +49,7 @@ type client_command =
   | TEST_AND_SET
   | LAST_ENTRIES
   | LAST_ENTRIES2
+  | LAST_ENTRIES3
   | RANGE_ENTRIES
   | MIGRATE_RANGE
   | SEQUENCE
@@ -133,6 +134,7 @@ let code2int = [
   GET_TXID                , 0x43l;
   COPY_DB_TO_HEAD         , 0x44l;
   USER_HOOK               , 0x45l;
+  LAST_ENTRIES3           , 0x46l;
 ]
 
 let int2code =

src/client/remote_nodestream.ml

@@ -25,9 +25,9 @@ let section = Logger.Section.main
 
 class type nodestream = object
   method iterate:
-    Sn.t -> (Sn.t * Value.t -> unit Lwt.t) ->
-    Tlogcollection.tlog_collection ->
-    head_saved_cb:(string -> unit Lwt.t) -> unit Lwt.t
+    Sn.t -> f_entry:(Sn.t * Value.t -> unit Lwt.t) ->
+    f_head:(Lwt_io.input_channel -> unit Lwt.t) ->
+    f_file:(string -> int64 -> Lwt_io.input_channel -> unit Lwt.t) -> unit Lwt.t
 
   method collapse: int -> unit Lwt.t
 
@@ -50,18 +50,13 @@ class type nodestream = object
   method drop_master: unit -> unit Lwt.t
 end
 
-class remote_nodestream ((ic,oc) as conn) = 
-        (object
-  method iterate (i:Sn.t) (f: Sn.t * Value.t -> unit Lwt.t)  
-    (tlog_coll: Tlogcollection.tlog_collection) 
-    ~head_saved_cb
-    =
+class remote_nodestream ((ic,oc) as conn) = (object
+  method iterate i ~f_entry ~f_head ~f_file =
     let outgoing buf =
-      command_to buf LAST_ENTRIES2;
+      command_to buf LAST_ENTRIES3;
       Sn.sn_to buf i
     in
     let incoming ic =
-      let save_head () = tlog_coll # save_head ic in
       let last_seen = ref None in
       let rec loop_entries () =
         Sn.input_sn ic >>= fun i2 ->
@@ -78,7 +73,7 @@ class remote_nodestream ((ic,oc) as conn) =
               Llio.input_int32 ic >>= fun _chksum ->
               Llio.input_string ic >>= fun entry ->
               let value = Value.value_from (Llio.make_buffer entry 0) in
-              f (i2, value) >>= fun () ->
+              f_entry (i2, value) >>= fun () ->
               loop_entries ()
             end
         end
@@ -94,10 +89,8 @@ class remote_nodestream ((ic,oc) as conn) =
           end
         | 2 ->
           begin
-            Logger.info_f_ "save_head" >>= fun ()->
-            save_head () >>= fun () ->
-            let hf_name = tlog_coll # get_head_name () in
-            head_saved_cb hf_name >>= fun () ->
+            Logger.info_f_ "save_head" >>= fun () ->
+            f_head ic >>= fun () ->
             loop_parts ()
           end
         | 3 ->
@@ -106,7 +99,7 @@ class remote_nodestream ((ic,oc) as conn) =
             Llio.input_string ic >>= fun name ->
             Llio.input_int64 ic >>= fun length ->
             Logger.info_f_ "got %s (%Li bytes)" name length >>= fun () ->
-            tlog_coll # save_tlog_file name length ic >>= fun () ->
+            f_file name length ic >>= fun () ->
             loop_parts ()
           end
         | x  -> Llio.lwt_failfmt "don't know what %i means" x