Skip to content

daleiyang/LockFreeHashTable

Repository files navigation

Lock Free Hash Table / CAS Hash Table / 无锁哈希表

背景

2015年8月份,我在微信公众号“大数据文摘”上看到《史上最强算法论战:请不要嘻哈,这是哈希》一文中阐述的上交所股票交易系统的核心数据结构和算法十分吸引人。我用了一个月的业余时间做了一份C#的实现,并在公司某产品的测试阶段进行实测。希望我的这份实现能够给各位观众的日常工作带来帮助。如需表达感谢之情,请感谢“知象科技”的“龙白滔”,没有他的分享,就没有我的这一份实现。

性能实测结果汇总

测试机为Dell Z440 工作站,16GB内存,8核CPU;当key为64位整形、value为256 bytes 时,测试结果如下

  • 单进程装载3百万键值对用时4秒。
  • CPU压满情况下,一秒钟处理711,3400 随机“读取” 请求,892,7004 随机 “更新” 请求以及1356,6043随机 “删除” 请求。此处的随机指的是从装载入表的3百万Key中随机选取。
  • 测试时在内存中保存了3百万键值对当作数据源,用来装载Hash表以及随机挑选测试数据。
  • “删除”操作会从Hash表中将指定的Key标记为“已删除”,“更新”操作会重置标记为“已删除”数据的“已删除”标签,将这条数据重新恢复。
  • 我的实现和原文中的实现区别在于:上交所hash表的value是int64,我的实现中hash表的value是256 bytes,这样的话,性能上就是Buffer.BlockCopy()拖了后腿。其实尽量避免memcpy在任何语言中都是一个很重要的优化方向,上交所key和value都是int64,也确实是做到了极致。
  • 由于是CPU密集型计算,实际吞吐量能够随着CPU Core的数量增加而同比例增长。

在同样条件下,Lock-Free Hash Table 与 .Net Concurrent Dictionary 性能对比

操作类型 Lock-Free Hash Table .Net Concurrent Dictionary 优势百分比
Get 7,113,400 1,681,929 422.93%
Add/Update 8,927,004 240,321 3714.61%
Delete 13,566,043 245,884 5517.26%

性能对比结果、压力测试报告PerfTestingResults.xlsx详解

在下面两组测试中,每组测试中的三种操作的总次数是经过反复调整的,目的是使得测试中使用的30个进程尽量在同一时间结束,这样能够让下面截图中的各种测试结果有意义。

随机抽取数据的方式测试,同时10个进程“读取”、10个进程“更新”、10个进程“删除”

10个“读取”进程测试结果

alt tag 每列含义:

  • Get Attemps:尝试“读取”的总次数。每次调用时在装载的3百万的键值中随机选择一个。
  • API Call Elapsed Time:单纯TryGet函数调用所消耗时间,排除其他辅助测试逻辑的时间消耗。
  • Get RPS/One Thread:每秒执行的TryGet函数调用次数。
  • Get API Call Elapsed Time/100,000,000 Attemps:每1亿次TryGet调用所消耗的时间。
  • Get Successfully:成功取到值的次数。
  • Get Successfully Percentage:成功取到值的次数占总尝试次数的百分比。
  • Is Deleted:目标数据已经删除的次数。
  • Is Deleted Percentage:目标数据已经删除次数占总尝试次数百分比。
  • Result Match:数据正确性验证,确保取到的值和原始值一致。
  • Result Match Percentage:数据正确性百分比。
  • Test Elapsed Time:测试总用时。

10个“更新”进程测试结果

alt tag 每列含义:

  • Update Attemps:尝试“更新”的总次数。每次调用时在装载的3百万的键值中随机选择一个。
  • API Call Elapsed Time:单纯TrySet函数调用所消耗时间,排除其他辅助测试逻辑的时间消耗。
  • Update RPS/Thread:每秒执行的TrySet函数调用次数。
  • Update API Call Elapsed Time/100,000,000 Attemps:每1亿次TrySet调用所消耗的时间。
  • Update Successfully:更新成功的次数。
  • Test Elapsed Time:测试总用时。

10个“删除”进程测试结果

alt tag 每列含义:

  • Delete Attemps:尝试“删除”的总次数。每次调用时在装载的3百万的键值中随机选择一个。
  • API Call Elapsed Time:单纯TryDelete函数调用所消耗时间,排除其他辅助测试逻辑的时间消耗。
  • Delete RPS/Thread:每秒执行的TryDelete函数调用次数。
  • Delete API Call Elapsed Time/100,000,000 Attemps:每1亿次TryDelete调用所消耗的时间。
  • Delete Successfully:删除成功的次数。
  • Delete Successfully Percentage:删除成功次数占总尝试次数的百分比。
  • Is Deleted:目标数据已经删除的次数。
  • Is Deleted Percentage:目标数据已经删除次数占总尝试次数百分比。
  • Test Elapsed Time:测试总用时。

对同一个数据进行测试,同时10个进程“读取”、10个进程“更新”、10个进程“删除”

10个“读取”进程测试结果

alt tag 每列含义:同上,除了30个测试进程选择同样一条数据进行测试。

10个“更新”进程测试结果

alt tag 每列含义:同上,除了30个测试进程选择同样一条数据进行测试。

10个“删除”进程测试结果

alt tag 每列含义:同上,除了30个测试进程选择同样一条数据进行测试。

源代码说明:

  • CASHashTable工程中的KeyIn54BitCASHashTableBase.cs是核心代码、基类,代码中提供了详细的注释,解释了每种位运算的原理、对应不同操作(set/update,get,delete)时CAS操作应该出现的位置和原理。

  • CASHashTable工程中的KeyIn54BitCASHashTable.cs是使用基类的例子,使用者需要提供TrySet,TryGet,TryDelete和GenerateKey的实现。如果需要理解代码,可以从这里入手。

  • Test测试工程中的KeyIn54BitCASHashTableFunctionalTest.cs是功能测试,包括各种情况下的增删改查的正确性验证。

  • Test测试工程中的KeyIn54BitCASHashTablePerfTest.cs 是压力测试,测试方法和结果分析请参考上面“性能对比结果、压力测试报告”一节的内容。

  • 代码中的位运算逻辑和其他逻辑经过了大量反复的测试,应该没有Bug,如果你发现了,请发pull request。

  • 上述逻辑正确的断言是基于大量测试而没有发现问题的经验,并不是严格的证明。关于多进程、高并发的严格测试方法,我在学习研究Paxos算法时发现可以采用Leslie Lamport提出的方法:首先把算法用PlusCal语言进行描述,然后用TLA+框架来长时间的测试。Leslie的Specifying Systems这本书详细讲解了这种方法,我读了前9章。目前还没有实施这种测试。

使用方法:

  • Utility.cs 中获取数据的SQL字段,可以随机生成key/value测试。

  • 修改KeyIn54BitCASHashTable.cs,提供你自己的TrySet,TryGet,TryDelete, GenerateKey函数。

  • 跑Test测试工程中的功能测试文件KeyIn54BitCASHashTableFunctionalTest.cs测试正确性。

Releases

No releases published

Packages

No packages published

Languages