带WHERE条件的INSERT是否原子？Azure Synapse中是否会出现重复ID？

问题描述 #

请问以下SQL语句是否具备原子性？是否存在生成两条相同id行的风险？

INSERT INTO [dbo].[table] (id, whatever)
SELECT *
FROM (SELECT '00000000-0000-0000-0000-000000000001' as id,
             'something'                            as whatever)
         AS input
WHERE NOT EXISTS (SELECT 1
                  FROM [dbo].[table]
                  WHERE id = '00000000-0000-0000-0000-000000000001')

当前运行环境为Azure Synapse，该环境不支持主键约束，且因限制无法使用MERGE操作。

解答 #

1. 原子性分析 #

这条INSERT语句具备原子性。在Azure Synapse中，单个SQL语句的执行属于原子操作：要么整个语句执行完成，成功插入符合条件的行；要么执行失败，不会有任何行被插入到目标表中，不会出现部分插入的中间状态。

2. 重复ID风险分析 #

存在生成重复ID行的风险，核心原因如下：

• 在高并发场景下，多个会话可能同时执行这条语句。当多个会话执行到NOT EXISTS检查步骤时，目标表中还不存在该ID的行，所有会话都会通过检查。
• 后续这些会话都会执行插入操作，最终导致多条拥有相同ID的行被插入到表中。
• 由于Azure Synapse不支持主键约束，无法从数据库层面强制ID唯一性；同时禁用了MERGE操作，也无法借助MERGE的原子性来规避重复。

规避建议 #

• 应用层控制：在发起插入请求前，由应用程序保证同一ID的插入请求不会并发执行，比如通过分布式锁、请求队列等方式限流。
• 预处理去重：如果是批量插入场景，可以先将待插入数据放入临时表，在临时表中完成去重后，再将唯一的ID数据插入目标表。
• 调整事务隔离级别：将事务隔离级别提升至SERIALIZABLE，但这会降低并发性能，需根据业务场景权衡使用。

内容的提问来源于stack exchange，提问作者Tar