concurrent_test.go 7.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281
  1. package DB
  2. import (
  3. "fmt"
  4. "path/filepath"
  5. "sync"
  6. "testing"
  7. )
  8. // ccRow 并发用例的行: 只有一列, 免得用例本身被别的机制干扰。
  9. type ccRow struct {
  10. BaseModel
  11. Name string `vrtx:"maxlen:32"`
  12. }
  13. // TestConcurrentInsertAndCommit 一个 goroutine 写、另一个 goroutine 提交 —— 这是
  14. // 「自动提交开着 + 业务自己再显式 Commit」以及各种后台提交线程的常见写法, 也是旧实现
  15. // 会稳定 panic 的那条路。
  16. //
  17. // 旧实现的窗口: DB.Commit 先 CollectDirty —— 把脏页【移出】缓冲池, 再走 WAL
  18. // (writeWALPages + 两次 fsync) 和逐页回写。从移出到回写完成这段时间里, 那些页
  19. // 既不在缓存、也还没落到自己的位置: 并发的读一旦缓存未命中就回源, 要么读到旧内容,
  20. // 要么 (页在本会话刚分配、盘上还从没写过) 读到全零 —— 而 btree 把全零页当成
  21. // 「EntryLen == 0 的节点」, 直接在 btPID 里切片越界 panic。
  22. //
  23. // 修复后脏页在提交期间【留在缓存】, 只有等它确实回写成功、且期间没被再改过, 才转成
  24. // 干净页。因此下面这个用例必须整轮跑完且一行不少。
  25. func TestConcurrentInsertAndCommit(t *testing.T) {
  26. dbPath := filepath.Join(t.TempDir(), "concurrent.db")
  27. db, err := Open(dbPath)
  28. if err != nil {
  29. t.Fatalf("打开 %s: %v", dbPath, err)
  30. }
  31. defer db.Close()
  32. tbl, err := UseTable[ccRow](db, "cc")
  33. if err != nil {
  34. t.Fatalf("建表: %v", err)
  35. }
  36. // 关掉防抖定时器: 提交时机完全由下面那个 goroutine 决定, 用例才可复现。
  37. db.SetAutoCommitDelay(0)
  38. const rows = 3000
  39. // 写入侧与提交侧各自把 panic / error 交回来: goroutine 里 panic 会直接带走整个
  40. // 进程, 测试根本跑不到断言 —— 必须在 goroutine 内 recover 才能把它变成失败。
  41. fail := make(chan any, 1)
  42. report := func(v any) {
  43. select {
  44. case fail <- v:
  45. default:
  46. }
  47. }
  48. var writer sync.WaitGroup
  49. writer.Add(1)
  50. go func() {
  51. defer writer.Done()
  52. defer func() {
  53. if r := recover(); r != nil {
  54. report(fmt.Errorf("写入 goroutine panic: %v", r))
  55. }
  56. }()
  57. for i := 0; i < rows; i++ {
  58. if err := tbl.Insert(&ccRow{Name: fmt.Sprintf("n%06d", i)}); err != nil {
  59. report(fmt.Errorf("第 %d 行写入失败: %w", i+1, err))
  60. return
  61. }
  62. }
  63. }()
  64. stop := make(chan struct{})
  65. var committer sync.WaitGroup
  66. committer.Add(1)
  67. go func() {
  68. defer committer.Done()
  69. defer func() {
  70. if r := recover(); r != nil {
  71. report(fmt.Errorf("提交 goroutine panic: %v", r))
  72. }
  73. }()
  74. for {
  75. select {
  76. case <-stop:
  77. return
  78. default:
  79. }
  80. if err := db.Commit(); err != nil {
  81. report(fmt.Errorf("提交失败: %w", err))
  82. return
  83. }
  84. }
  85. }()
  86. writer.Wait()
  87. close(stop)
  88. committer.Wait()
  89. select {
  90. case v := <-fail:
  91. t.Fatal(v)
  92. default:
  93. }
  94. // 行数必须一行不少: 少的那部分正是「提交与写入重叠时被吞掉 / 被当成干净页丢掉」的。
  95. if err := db.Commit(); err != nil {
  96. t.Fatalf("收尾提交: %v", err)
  97. }
  98. n, err := tbl.Count()
  99. if err != nil {
  100. t.Fatalf("查行数: %v", err)
  101. }
  102. if n != rows {
  103. t.Fatalf("行数应当 %d, 实际 %d", rows, n)
  104. }
  105. // 关掉再开一遍: 确认提交出去的东西真的在盘上, 而不只是活在缓存里。
  106. if err := db.Close(); err != nil {
  107. t.Fatalf("关闭: %v", err)
  108. }
  109. reopened, err := Open(dbPath)
  110. if err != nil {
  111. t.Fatalf("重开: %v", err)
  112. }
  113. defer reopened.Close()
  114. tbl2, err := UseTable[ccRow](reopened, "cc")
  115. if err != nil {
  116. t.Fatalf("重开表: %v", err)
  117. }
  118. if n2, err := tbl2.Count(); err != nil || n2 != rows {
  119. t.Fatalf("重开后行数应当 %d, 实际 %d (err=%v)", rows, n2, err)
  120. }
  121. }
  122. // TestWritePageDirectKeepsCacheCoherent 直写盘之后缓存副本必须失效 —— 且失效动作要
  123. // 排在【落盘之后】。
  124. //
  125. // 反了的话, WritePageDirect 先删缓存再写盘, 中间这一小段页同样"两头都不在": 对一页
  126. // 本会话刚分配、盘上从没写过的页, 并发读会拿到全零。
  127. func TestWritePageDirectKeepsCacheCoherent(t *testing.T) {
  128. dbPath := filepath.Join(t.TempDir(), "direct.db")
  129. db, err := Open(dbPath)
  130. if err != nil {
  131. t.Fatalf("打开 %s: %v", dbPath, err)
  132. }
  133. defer db.Close()
  134. tbl, err := UseTable[ccRow](db, "direct")
  135. if err != nil {
  136. t.Fatalf("建表: %v", err)
  137. }
  138. db.SetAutoCommitDelay(0) // 脏页留在缓存里, 好让下面读到的是缓存副本
  139. for i := 0; i < 50; i++ {
  140. if err := tbl.Insert(&ccRow{Name: fmt.Sprintf("d%06d", i)}); err != nil {
  141. t.Fatalf("第 %d 行写入失败: %v", i+1, err)
  142. }
  143. }
  144. // 有脏页在缓存里时反复"直写盘 + 读回", 全程不允许出现读到全零页的情况。
  145. // 这里直接调 ORM 的 Commit (内部就是 WAL 直写回填), 再立刻按 pk 读回。
  146. for round := 0; round < 20; round++ {
  147. if err := db.Commit(); err != nil {
  148. t.Fatalf("第 %d 轮提交: %v", round+1, err)
  149. }
  150. got, err := tbl.Find(1)
  151. if err != nil {
  152. t.Fatalf("第 %d 轮按主键读回: %v", round+1, err)
  153. }
  154. if got == nil || got.Name != "d000000" {
  155. t.Fatalf("第 %d 轮读回的内容不对: %+v", round+1, got)
  156. }
  157. }
  158. }
  159. // TestConcurrentCommitDoesNotLoseDirtyPages 提交窗口里被再次改脏的页, 不能因为一次
  160. // 「提交成功」就被顺手标成干净页。
  161. //
  162. // ClearAll 那种「提交成功就把整个缓存标干净」的做法, 对并发写入是致命的: 窗口期内
  163. // 新弄脏的页没有被写进本笔 WAL, 却被抹掉脏标记 —— 缓存里是新值, 盘上是旧值, 而引擎
  164. // 以为两边一致; 该页一旦被淘汰, 新值就永久消失。
  165. func TestConcurrentCommitDoesNotLoseDirtyPages(t *testing.T) {
  166. dbPath := filepath.Join(t.TempDir(), "dirty.db")
  167. db, err := Open(dbPath)
  168. if err != nil {
  169. t.Fatalf("打开 %s: %v", dbPath, err)
  170. }
  171. defer db.Close()
  172. tbl, err := UseTable[ccRow](db, "dirty")
  173. if err != nil {
  174. t.Fatalf("建表: %v", err)
  175. }
  176. db.SetAutoCommitDelay(0)
  177. // 先把表建出来并落一次盘, 让后面的写入都发生在"已提交结构"之上。
  178. if err := tbl.Insert(&ccRow{Name: "base"}); err != nil {
  179. t.Fatalf("写入基线行: %v", err)
  180. }
  181. if err := db.Commit(); err != nil {
  182. t.Fatalf("基线提交: %v", err)
  183. }
  184. // 写入侧持续改同一批行 (Update 会反复弄脏同一批索引页/数据页, 最容易撞上窗口),
  185. // 提交侧同时不停提交。
  186. const rounds = 400
  187. fail := make(chan any, 1)
  188. report := func(v any) {
  189. select {
  190. case fail <- v:
  191. default:
  192. }
  193. }
  194. stop := make(chan struct{})
  195. var committer sync.WaitGroup
  196. committer.Add(1)
  197. go func() {
  198. defer committer.Done()
  199. defer func() {
  200. if r := recover(); r != nil {
  201. report(fmt.Errorf("提交 goroutine panic: %v", r))
  202. }
  203. }()
  204. for {
  205. select {
  206. case <-stop:
  207. return
  208. default:
  209. }
  210. if err := db.Commit(); err != nil {
  211. report(fmt.Errorf("提交失败: %w", err))
  212. return
  213. }
  214. }
  215. }()
  216. for i := 1; i <= rounds; i++ {
  217. row := &ccRow{Name: fmt.Sprintf("v%06d", i)}
  218. if err := tbl.Insert(row); err != nil {
  219. report(fmt.Errorf("第 %d 行写入失败: %w", i, err))
  220. break
  221. }
  222. }
  223. close(stop)
  224. committer.Wait()
  225. select {
  226. case v := <-fail:
  227. t.Fatal(v)
  228. default:
  229. }
  230. // 收尾: 提交 + 关闭重开。任何"被标成干净但其实没落盘"的页都会在这里现形。
  231. if err := db.Commit(); err != nil {
  232. t.Fatalf("收尾提交: %v", err)
  233. }
  234. want := int64(rounds + 1)
  235. if n, err := tbl.Count(); err != nil || n != want {
  236. t.Fatalf("关闭前行数应当 %d, 实际 %d (err=%v)", want, n, err)
  237. }
  238. if err := db.Close(); err != nil {
  239. t.Fatalf("关闭: %v", err)
  240. }
  241. reopened, err := Open(dbPath)
  242. if err != nil {
  243. t.Fatalf("重开: %v", err)
  244. }
  245. defer reopened.Close()
  246. tbl2, err := UseTable[ccRow](reopened, "dirty")
  247. if err != nil {
  248. t.Fatalf("重开表: %v", err)
  249. }
  250. if n, err := tbl2.Count(); err != nil || n != want {
  251. t.Fatalf("重开后行数应当 %d, 实际 %d (err=%v)", want, n, err)
  252. }
  253. if _, err := tbl2.Find(1); err != nil {
  254. t.Fatalf("重开后按主键读回: %v", err)
  255. }
  256. }