Swift Concurrency 6 2
affaan-m/ECC
Swift 6.2 Approachable Concurrency — single-threaded by default, @concurrent for explicit background offloading, isolated conformances for main actor types.
Provides database transaction concurrency-control background.
Apache-2.0Auto-check passed
Install Transaction Concurrency Control Foundations
$ npx skills add benchflow-ai/skillsbench --skill transaction-concurrency-control-foundations -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install benchflow-ai/skillsbench transaction-concurrency-control-foundations --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/benchflow-ai/skillsbench.git skills-src && mkdir -p .claude/skills && cp -r skills-src/tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations .claude/skills/transaction-concurrency-control-foundations && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "transaction-concurrency-control-foundations" agent skill from https://github.com/benchflow-ai/skillsbench/tree/main/tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations into .claude/skills/transaction-concurrency-control-foundations/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "transaction-concurrency-control-foundations", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/benchflow-ai/skillsbench/tree/main/tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundationsType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add benchflow-ai/skillsbench --skill transaction-concurrency-control-foundations -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install benchflow-ai/skillsbench transaction-concurrency-control-foundations --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/benchflow-ai/skillsbench.git skills-src && mkdir -p .agents/skills && cp -r skills-src/tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations .agents/skills/transaction-concurrency-control-foundations && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "transaction-concurrency-control-foundations" agent skill from https://github.com/benchflow-ai/skillsbench/tree/main/tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations into .agents/skills/transaction-concurrency-control-foundations/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "transaction-concurrency-control-foundations", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add benchflow-ai/skillsbench --skill transaction-concurrency-control-foundations -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install benchflow-ai/skillsbench transaction-concurrency-control-foundations --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/benchflow-ai/skillsbench.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations .cursor/skills/transaction-concurrency-control-foundations && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "transaction-concurrency-control-foundations" agent skill from https://github.com/benchflow-ai/skillsbench/tree/main/tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations into .cursor/skills/transaction-concurrency-control-foundations/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "transaction-concurrency-control-foundations", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/benchflow-ai/skillsbench.git --path tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add benchflow-ai/skillsbench --skill transaction-concurrency-control-foundations -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install benchflow-ai/skillsbench transaction-concurrency-control-foundations --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/benchflow-ai/skillsbench.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations .gemini/skills/transaction-concurrency-control-foundations && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "transaction-concurrency-control-foundations" agent skill from https://github.com/benchflow-ai/skillsbench/tree/main/tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations into .gemini/skills/transaction-concurrency-control-foundations/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "transaction-concurrency-control-foundations", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install benchflow-ai/skillsbench transaction-concurrency-control-foundationsInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add benchflow-ai/skillsbench --skill transaction-concurrency-control-foundations -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/benchflow-ai/skillsbench.git skills-src && mkdir -p .github/skills && cp -r skills-src/tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations .github/skills/transaction-concurrency-control-foundations && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "transaction-concurrency-control-foundations" agent skill from https://github.com/benchflow-ai/skillsbench/tree/main/tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations into .github/skills/transaction-concurrency-control-foundations/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "transaction-concurrency-control-foundations", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add benchflow-ai/skillsbench --skill transaction-concurrency-control-foundations -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install benchflow-ai/skillsbench transaction-concurrency-control-foundations --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/benchflow-ai/skillsbench.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations .opencode/skills/transaction-concurrency-control-foundations && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "transaction-concurrency-control-foundations" agent skill from https://github.com/benchflow-ai/skillsbench/tree/main/tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations into .opencode/skills/transaction-concurrency-control-foundations/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "transaction-concurrency-control-foundations", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
transaction-concurrency-control-foundations- GitHub stars
- 1.8k
- Token cost
- ~1.2k tokens
- SKILL.md length
- 491 words
- Files
- 7 (incl. references)
- Skills in repo
- 189
- Repo updated
- First seen
- Licence
- Apache-2.0
At a glance
Provides database transaction concurrency-control background.
- Reasoning about transactions
- SKILL.md covers Quick Reference (pick the next…, Router: from “protocol cues”…, Minimal Working Vocabulary… and Checklist: classify a protocol…, plus 1 more section
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
- Commits and aborts
What it does
Transaction Concurrency Control Foundations is an agent skill from benchflow-ai/skillsbench. 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.
Its SKILL.md is about 1.2k tokens, which your agent loads only when the skill is triggered. The skill folder holds 7 other files, including reference files (for example `references/anomaly-and-isolation-taxonomy.md`, `references/concurrency-control-problems.md` and `references/conflict-taxonomy.md`).
The repository describes itself as: SkillsBench evaluates how well skills work and how effective agents are at using them. The licence is Apache-2.0.
When your agent uses it
- Reasoning about transactions
- Commits and aborts
- Serializability
- Isolation anomalies
Example prompts
- “Use the transaction-concurrency-control-foundations skill to provide database transaction concurrency-control background”
- “/transaction-concurrency-control-foundations”
What it can do on your machine
Read from SKILL.md and the folder at commit 9a1f4dd. It shows what the files ask for, not the result of running them.
Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
No scripts in the folder and no shell commands in SKILL.md.
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Context cost
Transaction Concurrency Control Foundations loads about 1.2k tokens when it runs, and up to ~6.2k if it reads all its reference files. Until then it costs about 82 tokens; SKILL.md has 491 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
Safety
Auto-check passed
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
SKILL.md
The full file from benchflow-ai/skillsbench at commit 9a1f4dd, republished under its Apache-2.0 licence (© benchflow-ai). 491 words, ~1,216 tokens.
Download SKILL.mdSave it as
.claude/skills/transaction-concurrency-control-foundations/SKILL.md (or your agent's skills folder). This skill also uses 6 other files; get the full folder from GitHub.- 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 |
| Where a mechanism fits (locking vs TO vs OCC vs MVCC vs SSI vs hybrid) | protocol-family-overview.md |
| Concrete protocol mini-specs (2PL/TO/OCC/MVCC/SSI/TicToc) | representative-protocols.md |
Router: from “protocol cues” to what to read
When you have a protocol description or trace fields but don’t know what family it is, route by cues.
A. Is the protocol primarily blocking or aborting?
- Blocking on conflicts, lock modes (S/X), deadlocks mentioned → go to 2PL in representative-protocols.md
- Nonblocking execution + commit-time validation → go to OCC (and often TicToc/SSI live here too)
B. Does it assign a fixed transaction timestamp early?
- Per-txn fixed TS(T), and objects store RTS/WTS → go to Basic Timestamp Ordering
- Per-txn snapshot/start_ts + multiple versions → go to MVCC / Snapshot Isolation
C. Do reads choose a version from a version chain?
- Yes (visibility rule, begin/end timestamps, “as of snapshot”) → go to MVCC
- No, single current version plus per-key metadata → go to TO / OCC / TicToc-like
D. Do you see read timestamp extension or “valid-through” metadata?
- Fields like rts (read-valid-through), extension checks, or “extend rts if unchanged” → go to TicToc
Show full SKILL.md (203 more words)Show less
E. Do you see dependency / anti-dependency tracking?
- Explicit rw anti-deps, “dangerous structure”, serialization-graph edges → go to SSI
F. What’s the proof object?
- Locks prove exclusion → 2PL
- Per-key RTS/WTS prove timestamp order → TO
- Read-set version check proves stability → OCC
- Visibility from snapshot + version chain proves consistent reads → MVCC/SI
- Anti-dep edges / dangerous structure prove no cycles → SSI
- Per-key wts/rts interval + extend-if-unchanged proves read validity at chosen commit_ts → TicToc
Minimal Working Vocabulary (keep this tiny)
When analyzing a trace or protocol, keep a running record with these nouns and edges:
transactions: T1, T2, ...
objects/keys: x, y, ...
versions: x@wts=..., x@ver=...
operations: R(x@...), W(x@...), commit(T), abort(T)
dependencies:
T_i ->wr T_j (T_j read from T_i's write)
T_i ->rw T_j (T_i read a version that T_j later overwrote; anti-dep)
T_i ->ww T_j (T_j overwrote T_i on same object)If you can’t name the version read/written, you’re still in “story mode,” not “proof mode.”
Checklist: classify a protocol decision
Use this checklist before labeling an abort “unnecessary” or a commit “unsafe”:
- Claimed guarantee: serializable? strict? SI? opacity?
- What the transaction read: object + which version/timestamp evidence.
- What changed by validation time: overwrite? timestamp extension? dependency edge?
- What order would make it safe: a serial order or a timestamp assignment.
- What evidence is missing: did the protocol lack history/versions to prove safety?
Common Pitfalls
- Mixing scopes: per-key counters and timestamps often cannot order different keys.
- Equating “row order” with “happened-before”: log order can be buffered/merged.
- Assuming abort == anomaly: aborts can be conservative proof failures, not unsafe histories.
© benchflow-ai, Apache-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
Files
SKILL.md and 6 other files (references) in tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations of benchflow-ai/skillsbench.
- SKILL.md
- references/anomaly-and-isolation-taxonomy.md
- references/concurrency-control-problems.md
- references/conflict-taxonomy.md
- references/protocol-family-overview.md
- references/representative-protocols.md
- references/transaction-concepts.md
Open the folder on GitHubat commit 9a1f4dd
Compare with similar skills
Transaction Concurrency Control Foundations next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Transaction Concurrency Control Foundations this skillbenchflow-ai/skillsbench | 1.8k | — | ~1.2k | Automated safety check: Pass | Apache-2.0 | |
| Swift Concurrency 6 2affaan-m/ECC | 276k | 4 repos | ~2k | Automated safety check: Pass | MIT | |
| Deepseek Reasonruvnet/ruflo | 74k | — | ~626 | Automated safety check: Notes | MIT | |
| Python Background Jobswshobson/agents | 40k | — | ~1.8k | Automated safety check: Pass | MIT | |
| Backgroundjeremylongshore/tons-of-skills-marketplace | 2.8k | — | ~2.2k | Automated safety check: Pass | MIT | |
| Motion Foundationsaffaan-m/ECC | 276k | 1 repos | ~2.4k | Automated safety check: Pass | MIT |
Similar skills
Deepseek Reason
ruvnet/ruflo
Reasoning-mode completion against DeepSeek's deepseek-reasoner model (R1) via /v1/chat/completions.
Python Background Jobs
wshobson/agents
Python background job patterns including task queues, workers, and event-driven architecture.
Background
jeremylongshore/tons-of-skills-marketplace
A skill your agent uses when the user wants to see, inspect, cancel, or prune background agents fired during prior chain runs.
Motion Foundations
affaan-m/ECC
Motion tokens, spring presets, performance rules, device adaptation, accessibility enforcement, and SSR safety for React / Next.js using motion/react.
Swift Concurrency 6 2
affaan-m/ECC
Swift 6.2 可接近的并发性 — 默认单线程，@concurrent 用于显式后台卸载，隔离一致性用于主 actor 类型。
More from benchflow-ai/skillsbench
All 189 skills in this repoLean4 Memories
benchflow-ai/skillsbench
This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences…
Senior Data Engineer
benchflow-ai/skillsbench
World-class data engineering skill for building scalable data pipelines, ETL/ELT systems, real-time streaming, and data infrastructure.
Ac Branch Pi Model
benchflow-ai/skillsbench
AC branch pi-model power flow equations (P/Q and |S|) with transformer tap ratio and phase shift, matching acopf-math-model.md and MATPOWER branch fields.
Civ6lib
benchflow-ai/skillsbench
Civilization 6 district mechanics library. An agent skill from benchflow-ai/skillsbench.
D3 Visualization
benchflow-ai/skillsbench
Build deterministic, verifiable data visualizations with D3.js (v6).
Dc Power Flow
benchflow-ai/skillsbench
DC power flow analysis for power systems. An agent skill from benchflow-ai/skillsbench.
Questions about Transaction Concurrency Control Foundations
What does Transaction Concurrency Control Foundations do?
Provides database transaction concurrency-control background. Transaction Concurrency Control Foundations is an agent skill from benchflow-ai/skillsbench. Provides database transaction concurrency-control background.
When should I use Transaction Concurrency Control Foundations?
Transaction Concurrency Control Foundations fits situations like: reasoning about transactions; commits and aborts; serializability; isolation anomalies.
How do I install Transaction Concurrency Control Foundations in Claude Code?
Run `npx skills add benchflow-ai/skillsbench --skill transaction-concurrency-control-foundations -a claude-code`. Or copy the skill folder (tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations in benchflow-ai/skillsbench) into .claude/skills/transaction-concurrency-control-foundations in your project. Claude Code loads it when a task matches its description.
How do I install Transaction Concurrency Control Foundations in Codex?
Run `npx skills add benchflow-ai/skillsbench --skill transaction-concurrency-control-foundations -a codex`. Or copy the skill folder (tasks/tictoc-unnecessary-abort-detection/environment/skills/transaction-concurrency-control-foundations in benchflow-ai/skillsbench) into .agents/skills/transaction-concurrency-control-foundations in your project. Codex loads it when a task matches its description.
Can I use Transaction Concurrency Control Foundations in Cursor, Gemini CLI or GitHub Copilot?
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add benchflow-ai/skillsbench --skill transaction-concurrency-control-foundations -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/transaction-concurrency-control-foundations, .gemini/skills/transaction-concurrency-control-foundations, .github/skills/transaction-concurrency-control-foundations and .opencode/skills/transaction-concurrency-control-foundations in your project.
What does Transaction Concurrency Control Foundations need to run?
SKILL.md names no scripts, command-line tools or credentials: Transaction Concurrency Control Foundations is instructions for the agent only.
Does Transaction Concurrency Control Foundations access the network?
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Is Transaction Concurrency Control Foundations safe to install?
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
What licence does Transaction Concurrency Control Foundations use?
Transaction Concurrency Control Foundations is published under the Apache-2.0 licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
How many tokens does Transaction Concurrency Control Foundations use?
About 1.2k tokens (SKILL.md is roughly 4.9k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 5k tokens, read only when the agent opens those files.
What are the alternatives to Transaction Concurrency Control Foundations?
Skills that share tags, products or a category with Transaction Concurrency Control Foundations: Swift Concurrency 6 2 (affaan-m/ECC, 276k stars), Deepseek Reason (ruvnet/ruflo, 74k stars), Python Background Jobs (wshobson/agents, 40k stars) and Background (jeremylongshore/tons-of-skills-marketplace, 2.8k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Transaction Concurrency Control Foundations?
benchflow-ai (a GitHub organization) maintains it in benchflow-ai/skillsbench, which has 1,835 GitHub stars. The repository holds 189 skills in this directory. The repository was last updated on July 23, 2026.
Source: benchflow-ai/skillsbench on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.