Skip to content

Conversation

@rogerszy
Copy link

@rogerszy rogerszy commented Dec 8, 2020

Next-key Locks 应该是前开后闭的区间,所以示例中最后的 (20, +∞),应该修改为 (20, +supremum],因为 +∞ 是开区间,应该设置一个不存在的最大值 supremum 代表闭区间。

Next-key Locks 应该是前开后闭的区间,所以示例中最后的 (20, +∞),应该修改为 (20, +supremum],因为 +∞ 是开区间,应该设置一个不存在的最大值 supremum 代表闭区间。
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant