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

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

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

YesodDB是一个ReaderT变换器monad。 runDb将DB操作提升为IO操作。在第一个示例中，有两个单独的IO操作（不是DB操作）。在第二个代码段中，只有一个数据库操作。在第一个示例中，一个或两个操作可能会成功。但在第二个中，您将得到两个get的结果或错误。

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

您可能需要查看YesodPersistentBackend并使用getDBRunner来共享池中的连接。

Yesod持久的原子相互作用

1 个答案: