main · last commit
1 month ago ·
2npkec0r
tarantool-etcd-4b6 Nested-txn duplicate-key detection is flat, not recursive
Lined Up
bd update tarantool-etcd-4b6 --claim
bd close tarantool-etcd-4b6
| Created by | Eugene Blikh |
| Owner | bigbes@gmail.com |
| Created | 2026-07-17T13:20:51Z |
| Updated | 2026-07-17T13:20:51Z |
etcd's checkIntervals recursively rejects duplicate puts across nesting levels and puts intersecting delete ranges (ErrDuplicateKey), with the then/else carve-out. app/etcd/txn.lua:214-233 check_duplicate scans ONE FLAT op list. Nested EXECUTION is otherwise fully correct (txn.lua:182-198; auth recurses at auth.lua:321-322) — only validation fails to recurse. TestTxnNested passes because it tests execution, not validation. Impact: a nested txn with conflicting puts on the same key is accepted where etcd rejects it, giving order-dependent results.
Duplicate put across nesting levels rejected with ErrDuplicateKey shape; put intersecting a delete range rejected; then/else carve-out preserved; test covers the nested case.
No outgoing dependencies.
Nothing depends on this issue.
| id | tarantool-etcd-4b6 |
| content_hash | a21c1b53991947f5c9851d56fe61a624617e31e589fc020c0a1b0d35444734b5 |
| title | Nested-txn duplicate-key detection is flat, not recursive |
| description | etcd's checkIntervals recursively rejects duplicate puts across nesting levels and puts intersecting delete ranges (ErrDuplicateKey), with the then/else carve-out. app/etcd/txn.lua:214-233 check_duplicate scans ONE FLAT op list. Nested EXECUTION is otherwise fully correct (txn.lua:182-198; auth recurses at auth.lua:321-322) — only validation fails to recurse. TestTxnNested passes because it tests execution, not validation. Impact: a nested txn with conflicting puts on the same key is accepted where etcd rejects it, giving order-dependent results. |
| design | |
| acceptance_criteria | Duplicate put across nesting levels rejected with ErrDuplicateKey shape; put intersecting a delete range rejected; then/else carve-out preserved; test covers the nested case. |
| notes | |
| status | open |
| priority | 2 |
| issue_type | bug |
| assignee | NULL |
| estimated_minutes | NULL |
| created_at | 2026-07-17T13:20:51Z |
| created_by | Eugene Blikh |
| owner | bigbes@gmail.com |
| updated_at | 2026-07-17T13:20:51Z |
| closed_at | NULL |
| closed_by_session | |
| external_ref | NULL |
| spec_id | |
| compaction_level | 0 |
| compacted_at | NULL |
| compacted_at_commit | NULL |
| original_size | NULL |
| sender | |
| ephemeral | 0 |
| wisp_type | |
| pinned | 0 |
| is_template | 0 |
| mol_type | |
| work_type | |
| source_system | |
| metadata | <binary> |
| source_repo | |
| close_reason | |
| event_kind | |
| actor | |
| target | |
| payload | |
| await_type | |
| await_id | |
| timeout_ns | 0 |
| waiters | |
| hook_bead | |
| role_bead | |
| agent_state | |
| last_activity | NULL |
| role_type | |
| rig | |
| due_at | NULL |
| defer_until | NULL |
| no_history | 0 |
| started_at | NULL |
| is_blocked | 0 |
| issue_id | tarantool-etcd-4b6 |
| label | etcd-changelog-sweep |
| id | 019f703c-a85c-7c3c-8705-76d1b2efecfe |
| issue_id | tarantool-etcd-4b6 |
| event_type | created |
| actor | Eugene Blikh |
| old_value | |
| new_value | |
| comment | NULL |
| created_at | 2026-07-17T16:20:51Z |
| id | 019f703c-a85d-7612-aa23-3d4cc45618c2 |
| issue_id | tarantool-etcd-4b6 |
| event_type | label_added |
| actor | Eugene Blikh |
| old_value | NULL |
| new_value | NULL |
| comment | Added label: etcd-changelog-sweep |
| created_at | 2026-07-17T16:20:51Z |
No comments.