Yesod 持久的原子相互作用

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 个位置开头在最后一个持久元素之前。

假设我必须在数据库中执行 2 个gets 操作，我通过两种方式执行它们，首先我这样做：

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

我认为您在讨论两个数据库操作时已经回答了自己的问题。 “runDB”具有以下签名。

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

YesodDB 是一个 ReaderT 转换器单子。 runDb 将 DB 操作提升为 IO 操作。在第一个示例中，有两个单独的 IO 操作（不是 DB 操作）。在第二个 sn-p 中，只有一个 DB 操作。在第一个示例中，一个或两个操作可能会成功。但在第二个中，您将得到两个gets 的结果或错误。

由于有两个 IO 操作包裹了两个 runDBs，因此数据库交互未优化，因为每个 runDB 代表一个操作。然而，在第二种情况下，这两个动作将共享相同的连接。

您可能想查看YesodPersistentBackend 并使用 getDBRunner 来共享来自池的连接。