xv6-labs-2020.lab7.lock
锁
实时光线追踪、RTX、RTX 的降噪方法、Temporal(时间上的滤波方法)、TAA
并发控制、两段锁协议、基本锁类型(排他锁、共享锁、更新锁)、意向锁(I、IS、IX)、SQL Server 的锁模式(码范围锁)、MySQL 的行锁
窗口函数、树、图、XML、JSON、RDF
事务冲突可串行化(交换非冲突指令、优先图)、事务视图可串行化(从读一致性)、事务模型
LTC、Disney 原则的 BRDF、非真实感渲染(NPR)
事务、事务隔离性级别(read uncommitted、read uncommitted、repeatable read、serializable)、快照隔离 SI、语句级快照隔离 RCSI
事务概念、事务的基本特性(ACID)、事务调度、串行与并行、可恢复调度、无级联调度、并发调度中的不一致现象
模式分解、模式分解中的问题(异常、违约、有损)、无损分解、保持函数依赖的分解、模式调优
关系规范化、逻辑蕴涵、Armstrong公理系统、闭包的计算、函数依赖的等价和覆盖