database - 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 个 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

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

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

YesodDB 是一个 ReaderT 转换器 monad。 runDb 将 DB 操作提升为 IO 操作。在第一个示例中，有两个独立的 IO 操作(不是 DB 操作)。在第二个片段中，只有一个数据库操作。在第一个示例中，一个或两个操作可能会成功。但在第二个中，您将获得两个 get 的结果或一个错误。

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

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