如何用XQuery在MarkLogic中实现自增数字主键？相关方案有何风险？

MarkLogic本身没有内置和关系型数据库完全一致的自增主键功能，可根据业务需求选择以下实现方案：

• 优先使用内置唯一标识生成函数：直接调用xdmp:uuid()生成全局唯一字符串，或者xdmp:random()生成64位随机数，两者在分布式场景下都不会出现重复，不需要额外维护计数逻辑，性能最高，是官方推荐的首选方案，唯一不足是生成的主键不是连续递增的数字。
• 乐观锁维护全局计数文档：如果业务必须要求连续的数字型自增主键，可以创建一个独立的计数文档存储当前最大主键值，每次生成主键时先读取当前值加1，再通过xdmp:document-update()带乐观锁校验更新计数文档，更新成功则用新数值作为主键，更新失败说明存在并发冲突，重试即可。
• 节点分段分配号段：集群部署场景下可以给每个节点分配独立的号段区间，每个节点各自维护自身的计数，完全避免跨节点的锁冲突，性能远高于全局统一计数方案，仅会出现号段之间的少量断号，大部分业务都可以接受。

存在的副作用 #

• 并发重复风险：XQuery库的Singleton模式是基于单请求上下文生效的，多请求、多线程同时调用时，会同时读取到XML中相同的计数值，最终生成重复的主键，仅在加了锁的场景下能避免重复。
• 事务一致性问题：如果生成主键后当前事务因为其他逻辑异常回滚，已经更新的计数不会跟随事务回滚，要么出现主键跳号，要么后续重试时会生成重复主键。
• 持久化异常风险：如果计数存储的配置XML放在模块数据库而非内容数据库中，模块数据库的集群同步机制可能会导致计数读取不一致的问题。

集群适用性 #

该方案仅适用于单节点MarkLogic部署，无法在集群环境中正常运行。MarkLogic集群的每个节点的模块上下文互相独立，XQuery单例的状态不会跨节点同步，不同节点读取的计数如果没有做全局原子更新，必然会出现不同节点生成相同主键的问题。即使将配置XML存储在共享的内容数据库中，没有额外加分布式锁的前提下，多节点同时更新计数依然会出现冲突。

Corb多线程任务的性能影响 #

如果为了保证主键唯一增加了分布式锁逻辑，该方案一定会成为多线程Corb任务的性能瓶颈。所有线程的主键生成请求都会排队等待锁释放，相当于主键生成部分完全变成串行执行，并发量越高阻塞越严重，甚至会触发大量事务超时异常。如果没有加锁，虽然不会有性能瓶颈，但会生成大量重复主键，完全不符合业务要求。

内容的提问来源于stack exchange，提问作者XCELERENT - I want to dance