A data structure for optimistic concurrency control on ranges of bitwise-lexicographically-ordered keys.

Intended as an alternative to FoundationDB's skip list.

Hardware for all benchmarks is an AMD Ryzen 9 7900 with (2x32GB) 5600MT/s CL28-34-34-89 1.35V RAM

Microbenchmark

Skip list

ns/op	op/s	err%	ins/op	cyc/op	IPC	bra/op	miss%	total	benchmark
172.03	5,812,791.77	0.4%	3,130.62	879.00	3.562	509.23	0.0%	0.01	point reads
167.44	5,972,130.71	0.2%	3,065.14	862.27	3.555	494.30	0.0%	0.01	prefix reads
238.77	4,188,130.84	0.9%	3,589.93	1,259.30	2.851	637.12	0.0%	0.01	range reads
424.01	2,358,426.70	0.2%	5,620.05	2,242.35	2.506	854.80	1.7%	0.01	point writes
418.45	2,389,780.56	0.4%	5,525.07	2,211.05	2.499	831.71	1.7%	0.01	prefix writes
254.87	3,923,568.88	2.6%	3,187.01	1,366.50	2.332	529.11	2.7%	0.02	range writes
675.96	1,479,374.50	3.3%	7,735.41	3,468.60	2.230	1,386.02	1.8%	0.01	monotonic increasing point writes
137,986.20	7,247.10	0.6%	789,752.33	699,462.00	1.129	144,824.14	0.0%	0.01	worst case for radix tree
21.63	46,231,564.03	1.0%	448.00	107.14	4.181	84.00	0.0%	0.01	create and destroy

Radix tree (this implementation)

ns/op	op/s	err%	ins/op	cyc/op	IPC	bra/op	miss%	total	benchmark
11.04	90,614,308.12	0.8%	180.38	55.13	3.272	41.51	0.4%	0.01	point reads
14.96	66,843,629.12	0.4%	274.41	74.73	3.672	55.05	0.3%	0.01	prefix reads
37.06	26,982,847.61	0.2%	791.04	185.28	4.269	142.67	0.2%	0.01	range reads
17.89	55,887,365.73	0.6%	335.54	89.79	3.737	43.84	0.4%	0.01	point writes
31.85	31,394,336.65	0.3%	615.32	159.63	3.855	87.69	0.2%	0.01	prefix writes
36.17	27,647,221.45	0.6%	705.11	182.80	3.857	100.62	0.1%	0.01	range writes
79.01	12,656,457.78	0.7%	1,498.35	402.46	3.723	270.50	0.1%	0.01	monotonic increasing point writes
303,667.50	3,293.08	1.1%	3,931,273.00	1,612,702.50	2.438	806,223.33	0.0%	0.01	worst case for radix tree
83.70	11,947,443.83	0.7%	1,738.03	429.06	4.051	270.01	0.0%	0.01	create and destroy

"Real data" test

Point queries only, best of three runs. Gc ratio is the ratio of time spent doing garbage collection to time spent adding writes or doing garbage collection. Lower is better.

skip list

Check: 4.47891 seconds, 364.05 MB/s, Add: 4.55599 seconds, 123.058 MB/s, Gc ratio: 37.1145%

radix tree

Check: 0.958985 seconds, 1700.28 MB/s, Add: 1.35083 seconds, 415.044 MB/s, Gc ratio: 44.4768%, Peak idle memory: 2.33588e+06

hash table

(The hash table implementation doesn't work on range queries, and its purpose is to provide an idea of how fast point queries can be)

Check: 0.804094 seconds, 2027.81 MB/s, Add: 0.652952 seconds, 858.645 MB/s, Gc ratio: 35.3885%