l*********
Lv.2 学术文献阅读之星
2020/08/07 18:38
lbc
提出的SNFURL以异步更新和直接更新的方式实现Undo+Redo日志。SNFURL采用不可缓存（Uncacheable）日志，因为日志在系统恢复时被访问，不会被应用在运行时重用。不可缓存日志天然地保证了日志—>数据的顺序，因为数据到达PM需要经过层层高速缓存，只要store完成之前创建日志，日志总会比数据先到达PM。日志合并优化所用的日志缓冲区会增加日志到达PM的时间，SNFURL精心配置了缓冲区的数量。不可缓存的Undo+Redo日志更加灵活，既可以在日志持久化过程中让store指令以偷窃（Steal）的方式执行，又不需要强迫（No Force）数据在事务结束前完成更新。对于两种日志所需的新值和旧值，因为日志和store操作紧密结合，新值很容易获得，新值必须采用高速缓存的写回和写分配策略获取。为了消除通过高速缓存写回指令，SNFURL利用FWB机制维持一个状态机，周期性地将脏的高速缓存行强制写回。在硬件改动上，包括扩展高速缓存标志位、可选的日志缓冲区以及环形日志结构所需的头尾指针寄存器等
领书计划详情
