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 被回滚，当我插入另一个时registry，它的 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 转换器 monad。 runDb 将 DB 操作提升为 IO 操作。在第一个示例中，有两个独立的 IO 操作（不是 DB 操作）。在第二个片段中，只有一个数据库操作。在第一个示例中，一个或两个操作可能会成功。但是在第二个中，您将得到两个 get 的结果或一个错误。

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

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

Yesod 持久原子交互

Yesod Persistent atomic interaction

database

performance

haskell

yesod

acid