从 Pixel 2 XL 换到 Pixel 4

在服役几乎整整两年后,我的 Pixel 2 XL 终于迎来了退休。 为什么要换 Pixel 4? Google 在 2020 年的发布会彻底搅乱了整个 Pixel 产品线。 不以“a”结尾的 Pixel 系列向来都是旗舰,代表 Android 阵营的最高水平。就算 Pixel 5 在除了 Soc 以外的其它方面做得还不错,但是终归算不上是旗舰机。最重要的是,即使换了更差的 Soc,Pixel 5 的价格还是那么高,综合来看,连 OnePlus Nord 都打不过? 所以我买

MySQL · 引擎特性 · page cleaner 算法

Page cleaner 刷脏流程 主要的代码和流程在参考文档 3,4 这种已经讲解的比较清楚了,一个 Coordinator 线程负责处理刷脏请求,计算刷脏的量,然后分配给几个 Worker 线程去刷不同的 Buffer Pool Instance, 完成刷脏后,Coordinator 线程进入下一轮刷脏。 Coordinator 和 Worker 之间通过 page_cleaner->slots[i]->state 来协同,page_cleaner_st