fix(journal): make hard limit more precise

src/journal/test/JournalTest.hs

@@ -168,7 +168,10 @@ appendBSFake' bs fj@(FakeJournal rles ix termCount) =
     limit = readBytes + termLen `div` 2
 
     hardLimit :: Int
-    hardLimit = readBytes + termLen -- TODO: calculate this correctly
+    hardLimit = limit + maxLen * 5 -- Since we can have 5 concurrent appends
+                                   -- that sneak passed the backpressure limit.
+      where
+        maxLen = oTermBufferLength testOptions `div` 2 - hEADER_LENGTH
 
     readBytes :: Int
     readBytes = Vector.sum
@@ -299,8 +302,9 @@ exec DumpJournal    j = Result . Right <$> dumpJournal j
 genRunLenEncoding :: Gen [(Int, Char)]
 genRunLenEncoding = sized $ \n -> do
   len <- elements [ max 1 n -- Disallow n == 0.
-                  , maxLen
-                  , maxLen - 1
+                  -- , maxLen
+                  -- , maxLen - 1
+                  , 8 * 1024
                   ]
   chr <- elements ['A'..'Z']
   return [(len, chr)]
@@ -309,7 +313,7 @@ genRunLenEncoding = sized $ \n -> do
 
 genCommand :: Gen Command
 genCommand = frequency
-  [ (5, AppendBS <$> genRunLenEncoding)
+  [ (1, AppendBS <$> genRunLenEncoding)
   , (1, pure ReadJournal)
   ]
 
@@ -809,7 +813,7 @@ concExec queue jour cmd = do
   pid <- toPid <$> myThreadId
   atomically (writeTQueue queue (Invoke pid cmd))
   -- Adds some entropy to the possible interleavings.
-  sleep <- randomRIO (5, 20)
+  sleep <- randomRIO (0, 5)
   threadDelay sleep
   resp <- execMP cmd jour
   atomically (writeTQueue queue (Ok pid resp))