stabilise periodically

contributes to #44

app/Main.hs

@@ -55,4 +55,5 @@ readConfig = do
       , confIP = toHostAddress6 . read $ ipString
       , confDhtPort = read portString
       , confBootstrapNodes = [(bootstrapHost, read bootstrapPortString)]
+      --, confStabiliseInterval = 60
                            }

src/Hash2Pub/FediChord.hs

@@ -181,11 +181,16 @@ cacheWriter nsSTM =
         modifyTVar' (nodeCacheSTM ns) cacheModifier
 
 stabiliseThread :: LocalNodeStateSTM -> IO ()
-stabiliseThread nsSTM = do
+stabiliseThread nsSTM = forever $ do
+    ns <- readTVarIO nsSTM
     -- TODO: update successfully stabilised nodes in cache
-    -- placeholder
+    -- first stabilise immediate neihbours, then the next ones
-    stabiliseNeighbour nsSTM successors 1
+    forM_ [1..(kNeighbours ns)] (\num -> do
-    pure ()
+        stabiliseNeighbour nsSTM predecessors num
+        stabiliseNeighbour nsSTM successors num
+                               )
+    -- TODO: make delay configurable
+    threadDelay (60 * 1000)
   where
     stabiliseNeighbour :: LocalNodeStateSTM
                        -> (LocalNodeState -> [RemoteNodeState])

src/Hash2Pub/FediChordTypes.hs

@@ -613,6 +613,7 @@ data FediChordConf = FediChordConf
     , confIP             :: HostAddress6
     , confDhtPort        :: Int
     , confBootstrapNodes :: [(String, PortNumber)]
+    --, confStabiliseInterval :: Int
     }
     deriving (Show, Eq)
 

test/FediChordSpec.hs

@@ -154,7 +154,7 @@ spec = do
     describe "successors and predecessors do not disturb the ring characteristics of EpiChord operations (see #48)" $ do
         let
             emptyCache = initCache
-            -- implicitly relies on kNieghbours to be <= 3
+            -- implicitly relies on kNeighbours to be <= 3
             thisNid = toNodeID 1000
             thisNode = setNid thisNid <$> exampleLocalNode
             nid2 = toNodeID 1003