القائمة
Implements software transactional memory. Use when: (1) Building concurrent data structures, (2) Simplifying lock-free code, (3) Composing atomic operations.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
Implement abstract machines for defining and executing operational semantics of programming languages.
Implements alias and points-to analysis for pointer programs. Use for: (1) Optimizing compilers, (2) Verifying memory safety, (3) Program understanding, (4) Parallelization.
Define program meaning through logical assertions and proof rules (Hoare logic).
Transforms closures to explicit environments. Use when: (1) Implementing functional languages, (2) Building compilers, (3) Understanding closures.
Implements common subexpression elimination (CSE). Use when: (1) Building compilers, (2) Optimizing code, (3) Program analysis.
Implements general dataflow analysis framework. Use when: (1) Building compilers, (2) Static analysis tools, (3) Program verification.
| name | software-transactional-memory |
| description | Implements software transactional memory. Use when: (1) Building concurrent data structures, (2) Simplifying lock-free code, (3) Composing atomic operations. |
| version | 1.0.0 |
| tags | ["concurrency","stm","transactions","synchronization"] |
| difficulty | intermediate |
| languages | ["haskell","rust"] |
| dependencies | [] |
Implements STM for lock-free concurrent programming.
| Concept | Description |
|---|---|
| Read set | Variables read in transaction |
| Write set | Variables written in transaction |
| Commit | Validate and apply writes |
| Abort | Discard changes, restart |
| Retry | Wait for condition, restart |
| OrElse | Alternative on abort |
actor-model-implementer - Actor concurrencyrace-detection-tool - Race detectionweak-memory-model-verifier - Verify concurrencySTM implementations:
| System | Language | What to Learn |
|---|---|---|
| Haskell STM | Haskell | Composable transactions |
| Clojure refs | Clojure | Production STM |
| Intel TSX | C/C++ | Hardware support |
| TinySTM | C | Fast STM |
| Pitfall | Real Consequence | Solution |
|---|---|---|
| Starvation | Transactions never commit | Bounded retries |
| Contention | High abort rate | Careful design |