永续原子相互作用

Question

我完全忽略了数据库打开连接和回滚功能的要点，所以每次都使用runDB myAction，因为我没有意识到发生了什么。今天，我做了一些测试，试图了解它是如何实现回滚的，其中一个测试是：

getTestR :: Handler Text
getTestR = do
 runDB $ insert $ Test 0
 runDB $ do
   forM_ [1..] $ \n -> do 
     if n < 10
       then do
         insert $ Test n
         return ()
       else undefined
 return "completed"

按照预期，我在运行时得到了一个undefined错误，只有第一个runDB操作进入数据库，第二个runDB被回滚，当我插入另一个注册表时，它的id从最后一个持久化元素前面的9个位置开始。

假设我必须在数据库中执行两个get的操作，并且我以两种方式执行它们，首先我这样做：

getTestR :: FooId -> BooId-> Handler Text
getTestR fooid booid = do
  mfoo <- runDB $ get fooid
  mboo <- runDB $ get booid
  return "completed"

然后我试着：

getTest'R :: FooId -> BooId-> Handler Text
getTest'R fooid booid = do
  (mfoo, mboo) <- runDB $ do
     mfoo <- get fooid
     mboo <- get booid
     return (mfoo,mboo)
  return "completed"

哪一个是实际的整体差异？在这种情况下，我认为数据库一致性不是问题，但是性能可能是问题(或者Haskell懒惰会使它们平等，因为mfoo和mboo从来没有被使用过，所以从来没有被查询过)。也许这些问题看起来都是胡说八道，但我想确定的是，我的理解并没有空白。

Answer 1

在讨论两个DB操作时，我认为您已经回答了自己的问题。'runDB‘有下面的签名。

runDB :: YesodDB site a -> HandlerT site IO a

YesodDB是一个ReaderT变压器单片。runDb将DB操作提升到IO操作。在第一个示例中，有两个单独的IO操作(不是DB操作)。在第二个片段中，只有一个DB操作。在第一个示例中，一个或两个操作都可能成功。但是在第二个例子中，您将得到两个get的结果或一个错误。

由于有两个IO操作结束了两个runDB的操作，所以DB交互没有得到优化，因为每个runDB都代表一个操作。然而，在第二个操作中，这两个操作将共享相同的连接。

您可能需要查看YesodPersistentBackend，并使用getDBRunner从池共享连接。