From 332094a605bc046573b11bd584db2b1cbd37805b Mon Sep 17 00:00:00 2001
From: Dmitry Zuikov <dzuikov@gmail.com>
Date: Tue, 10 Jan 2023 16:19:48 +0300
Subject: [PATCH] works, slow

---
 hbs2-storage-simple/hbs2-storage-simple.cabal |  1 +
 .../lib/HBS2/Storage/Simple.hs                | 65 ++++++++++++-------
 hbs2-storage-simple/test/TestSimpleStorage.hs |  3 +-
 3 files changed, 43 insertions(+), 26 deletions(-)

diff --git a/hbs2-storage-simple/hbs2-storage-simple.cabal b/hbs2-storage-simple/hbs2-storage-simple.cabal
index 75d9ad8e..35839d01 100644
--- a/hbs2-storage-simple/hbs2-storage-simple.cabal
+++ b/hbs2-storage-simple/hbs2-storage-simple.cabal
@@ -68,6 +68,7 @@ library
                     , directory
                     , filepath
                     , microlens-platform
+                    , mtl
                     , prettyprinter
                     , stm
                     , transformers
diff --git a/hbs2-storage-simple/lib/HBS2/Storage/Simple.hs b/hbs2-storage-simple/lib/HBS2/Storage/Simple.hs
index cc957ccd..7e831745 100644
--- a/hbs2-storage-simple/lib/HBS2/Storage/Simple.hs
+++ b/hbs2-storage-simple/lib/HBS2/Storage/Simple.hs
@@ -1,8 +1,10 @@
 {-# Language TemplateHaskell #-}
 module HBS2.Storage.Simple where
 
+import Control.Concurrent
 import Control.Concurrent.Async
 import Control.Exception (try,tryJust)
+import Control.Monad.Except
 import Control.Monad
 import Control.Monad.IO.Class
 import Control.Monad.Trans.Maybe
@@ -101,23 +103,37 @@ simpleStorageInit opts = liftIO $ do
 simpleStorageWorker :: SimpleStorage h -> IO ()
 simpleStorageWorker ss = do
 
-  readOps <- async $ forever $ do
-    join $ atomically $ TBQ.readTBQueue ( ss ^. storageOpQ )
-
-  writeOps <- async $ forever $ do
+  ops <- async $ forever $ do
     join $ atomically $ TBQ.readTBQueue ( ss ^. storageOpQ )
 
   killer <- async $ forever $ do
     pause ( 1 :: Timeout 'Minutes ) -- FIXME: setting
     Cache.purgeExpired ( ss ^. storageHandles )
 
-  void $ waitAnyCatchCancel [readOps,writeOps,killer]
+  (_, e) <- waitAnyCatchCancel [ops,killer]
 
-simpleGetHandle :: SimpleStorage h -> Key (Raw LBS.ByteString) -> IO Handle
+  pure ()
+
+
+simpleGetHandle :: SimpleStorage h -> Key (Raw LBS.ByteString) -> IO (Maybe Handle)
 simpleGetHandle s k = do
   let cache = s ^. storageHandles
   let fn = simpleBlockFileName s k
-  Cache.fetchWithCache cache k $ const $ openFile fn ReadMode
+
+  -- h <- Cache.lookup cache k
+  -- runMaybeT $ do
+  -- print $ pretty "file to open: " <+> pretty fn
+  -- err <- runExceptT $ liftIO $ Cache.fetchWithCache cache k $ const $ openFile fn ReadMode
+  -- Cache.fetchWithCache cache k $ const $ openFile fn ReadMode
+  --
+
+  r <- tryJust (guard . isDoesNotExistError)
+               (openFile fn ReadMode)
+
+  case r of
+    Right h -> pure (Just h)
+    Left _  -> pure Nothing
+
 
 simpleBlockFileName :: SimpleStorage h -> Hash HbSync -> FilePath
 simpleBlockFileName ss h = path
@@ -147,6 +163,8 @@ simpleGetBlockLazy s key = do
         r <- tryJust (guard . isDoesNotExistError)
                      (BS.readFile fn <&> LBS.fromStrict)
 
+        -- error "FUCK!"
+
         result <- case r of
                     Right bytes -> pure (Just bytes)
                     Left _      -> pure Nothing
@@ -156,6 +174,8 @@ simpleGetBlockLazy s key = do
 
   void $ atomically $ TBQ.writeTBQueue ( s ^. storageOpQ ) action
 
+  yield
+
   atomically $ TBQ.readTBQueue resQ
 
 simpleGetChunkLazy :: SimpleStorage h
@@ -167,24 +187,19 @@ simpleGetChunkLazy :: SimpleStorage h
 simpleGetChunkLazy s key off size = do
   resQ <- TBQ.newTBQueueIO 1 :: IO (TBQueue (Maybe LBS.ByteString))
   let action = do
-
+       let fn = simpleBlockFileName s key
        r <- tryJust (guard . isDoesNotExistError)
-                    (simpleGetHandle s key)
-
-       chunk <- runMaybeT $ do
-
-                  handle <- MaybeT $ case r of
-                              Right  h -> pure (Just h)
-                              Left _   -> pure Nothing
-
-                  liftIO $ do
-                    hSeek handle AbsoluteSeek ( fromIntegral off )
-                    LBS.hGet handle (fromIntegral size)
-
-       void $ atomically $ TBQ.writeTBQueue resQ chunk
+             $ withBinaryFile fn ReadMode $ \handle -> do
+                  hSeek handle AbsoluteSeek ( fromIntegral off )
+                  LBS.hGet handle (fromIntegral size)
 
+       result <- case r of
+                   Right bytes -> pure (Just bytes)
+                   Left _      -> pure Nothing
+       void $ atomically $ TBQ.writeTBQueue resQ result
 
   void $ atomically $ TBQ.writeTBQueue ( s ^. storageOpQ ) action
+
   atomically $ TBQ.readTBQueue resQ
 
 simplePutBlockLazy :: SimpleStorage h
@@ -196,15 +211,17 @@ simplePutBlockLazy  s lbs = do
   let hash = hashObject lbs :: Key (Raw LBS.ByteString)
   let fn = simpleBlockFileName s hash
 
-  wait <- TBQ.newTBQueueIO 1 :: IO (TBQueue ())
+  waits <- TBQ.newTBQueueIO 1 :: IO (TBQueue ())
 
   let action = do
         LBS.writeFile fn lbs
-        atomically $ TBQ.writeTBQueue wait ()
+        atomically $ TBQ.writeTBQueue waits ()
 
   atomically $ TBQ.writeTBQueue (s ^. storageOpQ) action
 
-  void $ atomically $ TBQ.readTBQueue wait
+  yield
+
+  void $ atomically $ TBQ.readTBQueue waits
 
   pure (Just hash)
 
diff --git a/hbs2-storage-simple/test/TestSimpleStorage.hs b/hbs2-storage-simple/test/TestSimpleStorage.hs
index 5309b598..e77fd1df 100644
--- a/hbs2-storage-simple/test/TestSimpleStorage.hs
+++ b/hbs2-storage-simple/test/TestSimpleStorage.hs
@@ -41,7 +41,7 @@ testSimpleStorageInit = do
     let pieces = shrink [0x00 .. 0xFF] :: [[Word8]]
 
     forConcurrently_ (take 1000 pieces) $ \piece -> do
-    -- for_ (take 100 pieces) $ \piece -> do
+    -- for_ (take 1000 pieces) $ \piece -> do
 
       let str = LBS.pack piece
 
@@ -83,7 +83,6 @@ testSimpleStorageInit = do
 
       pure ()
 
-
     cancel worker