Transaction DSL简介

注解

Transaction DSL 是一套使用C++编写的领域专用语言，通过它，可以简单直观的描述任意复杂的异步通信过程。

主要改进

2.0 版本相对于 1.x 版本的主要改进有：

• 简化用户定义方式

• 极小的内存占用

• 极快的性能

• 高度灵活的循环

• 清晰一致的错误处理策略

目录

• 1. 动机
  • 1.1. 状态机
  • 1.2. 同步模型
  • 1.3. 事务
  • 1.4. Transaction DSL
• 2. 快速开始
  • 2.1. 定义事务
  • 2.2. 定义基本操作
  • 2.3. 约束
  • 2.4. 运行
  • 2.5. 并发
  • 2.6. 时间约束
  • 2.7. 回到最初
  • 2.8. 优势
• 3. 过程控制
  • 3.1. __optional
  • 3.2. 路径选择
  • 3.3. 异常处理
• 4. 循环
  • 4.1. __loop
  • 4.2. __break_if
  • 4.3. __redo_if
  • 4.4. 用户状态
  • 4.5. 错误处理
• 5. 错误处理
  • 5.1. Action 外部行为规范
  • 5.2. Action 内部状态
  • 5.3. 错误传播
  • 5.4. 部分 Action 行为定义
• 6. 片段
  • 6.1. __def
  • 6.2. __apply
  • 6.3. __params
  • 6.4. __with
• 7. 多线程
  • 7.1. __fork
  • 7.2. __join
  • 7.3. 调度策略
• 8. 事件
  • 8.1. __wait
  • 8.2. __peek
• 9. 过程监控
  • 9.1. 观察者接口
  • 9.2. __with_id
  • 9.3. 嵌套
  • 9.4. 观察者的定义及注册
• 10. 语言及框架
• 11. 用户接口改进
  • 11.1. 同步操作或谓词
  • 11.2. __prot_procedure 的重新定义
  • 11.3. 更加自由的编写代码
  • 11.4. __with_id 自动感知及消除
• 12. 性能对比
• 13. 内存占用