transaction-concurrency-control-foundations
Provides database transaction concurrency-control background. Use when reasoning about transactions, commits and aborts, serializability, isolation anomalies, conflicts, dependencies, and protocol families such as locking, timestamp ordering, OCC, MVCC, SSI, TicToc, hybrid protocols.
Best for Transaction protocol analys…Works with GitHubLow risk
⌘source
- author
@benchflow-ai- language
- PDDL
★1.1kstars
279forks
May 5, 2026
✦overview.md
Key Features
- ·Shared vocabulary for concurrency control
- ·Decision lenses for protocol analysis
- ·Quick reference to concept files
Use Cases
- →Identifying isolation anomalies in a transaction trace
- →Determining if an abort is needed for correctness
- →Understanding conflict types before choosing a protocol
Best for
- ✓Transaction protocol analysis
- ✓Database internals study
Not ideal for
- !Direct execution or implementation
- !Novice readers without database background
FAQs
tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations/SKILL.md
name
transaction-concurrency-control-foundations
description
Provides database transaction concurrency-control background. Use when reasoning about transactions, commits and aborts, serializability, isolation anomalies, conflicts, dependencies, and protocol families such as locking, timestamp ordering, OCC, MVCC, SSI, TicToc, hybrid protocols.
Transaction Concurrency-Control Foundations
Use this skill when you need shared vocabulary + decision lenses for transaction concurrency control before analyzing a specific protocol or trace.
This skill is most useful when you catch yourself asking:
- “What exactly is the anomaly / conflict here?”
- “What does the protocol need to prevent, and what metadata would prove it?”
- “Is this abort required for correctness or just conservative?”
Quick Reference (pick the next file to read)
| If you need… | Read |
|---|---|
| Core terms and what “commit/abort” means in histories | transaction-concepts.md |
| A crisp definition of the bug pattern (lost update, dirty read, write skew, phantoms) | concurrency-control-problems.md |
| A guarantee taxonomy (serializable vs SI vs strict serializable; opacity if relevant) | anomaly-and-isolation-taxonomy.md |
| Dependency/conflict edge types (rw/wr/ww; anti-deps; visibility) | conflict-taxonomy.md |
$install
1-click copynpx skills add benchflow-ai/skillsbench --skill transaction-concurrency-control-foundationsSafety assessment
★
Clarity score
How clear and easy to understand the SKILL.md instructions are, rated from 1 to 5.
3/ 5
goodMostly clear, but there are still a few confusing or poorly structured parts.
◎
Actionability score
How directly an agent can act on the SKILL.md instructions, rated from 1 to 5.
1/ 5
not actionableThe SKILL.md is hard to act on; an agent would not know what to do.