lightweight locking for main memory database systems 康涛2013.12..pptVIP

Lightweight Locking for Main Memory Database Systems 康涛 2013.12. VLDB 2012 Northwestern Polytechnical University, ChinaYale University Kun Ren，Alexander Thomson，Daniel J. Abadi 论文背景 越来越多的OLTP数据库部分或全部存储在内存中的，事务吞吐量受到磁盘IO的限制较少，而锁管理成为性能瓶颈 处理器的增长也进一步使得锁管理成为瓶颈 通常数据库的锁管理由hash表实现 论文内容 在本文中，探讨锁管理器的两个主要改变：首先，将所有锁的信息从中心锁数据结构(a central locking data structure)移除，而把锁信息绑定在会被锁定的原始数据上；第二，删除未完成的从锁数据结构请求特定锁的所有信息，用信号量来取代请求列表 论文内容 very lightweight locking (VLL)—开销小但只能追踪竞争事务的较少信息，高竞争负载下降低并发性和较低的CPU利用率 Selective contention analysis (SCA)—高效地计算出竞争信息中最有用的子集 VLL VLL与传统的锁管理器的实现区别: VLL下每个记录的”锁表条目”作为记录的值之前一对整数值(CX,CS)存储 TxnQueue(事务处理请求的全局队列) 存在在每个分区，跟踪所有活动事务(按照请求锁的顺序) VLL critical section(临界资源)保证一次只有一个事务在一个分区中执行(the requesting of the locks and the adding of the transaction to the queue) Upon leaving the critical section, VLL decides how to proceed based on two factors : local or distributed；free or blocked VLL VLL所面临的一个问题是：随着TxnQueue大小的增长，一个新的事务能够立即获得其所有的锁的可能性降低，因为事务只能不与任何事务在整个TxnQueue冲突才可获得它的锁 解决方法：人为限制，若超出给定范围停止处理新事务，去寻找处理TxnQueue中unblocked的事务。(threshold与the contention ratio of the workload相关) 使用VLL执行{A ,B,C, D,E } 事务的序列 Single-threaded VLL 在一般版本的VLL，一旦进程开始执行一个事务，直到交易完成期间它什么也不做。 为了提高并发性在单线程的VLL的实现，我们允许交易进入第三状态(除了“封锁”和”自由”)”waiting”。 Impediments to acquiring all locks at once TxnQueue的队首要获得全部锁有两个问题：事务运行前其读、写操作集合未知；不同分区有自己的TxnQueue事务运行的顺序可能不同。 解决问题一：进入临界区前允许事务读任何需要的数据(在GetNewTxnRequest函数中实现) 解决问题二：允许产生死锁，取消死锁事务；协调分区使每个分区事务顺序一致 Tradeoffs of VLL VLL的主要缺点是在并发性的损失。VLL only test more selective predicates on the state: (a) whether this is the only lock in the queue, or (b) whether it is so old that it is impossible for any other transaction to precede it in any lock queue. SCA 为了最大化CPU资源利用率引入了SCA(selective contention analysis). SCA持有两个大小均为100KB位阵列， DX和DS 初始化都为0。DX[j] = 1 if an element of one of the scanned transactions’ write-sets hashes to j DS[k] = 1 if an element of one of the scanned trans-actions’ read-sets hashes to k SCA Therefore, if at any point the next transaction scanned (let’s call