TinySTM源代码分析 2.pptVIP

tinySTM工作流程： ● Main函数开始 ● Stm_init定义线程副本数据 ● Main函数开始 pthread_create 创建多线程 ● stm_init_thread 线程初始化 ● ● ● ● stm_start 事务开始 事务操作 stm_commit 事务提交 stm_exit_thread 线程退出 ● pthread_join 结束多线程 ● ● Stm_exit 结束事务 函数结束 事务，进程及共享内存的关系： 进程1 共享内存 ● ● 事务 线程 附：同一个线程内部的事务之间的关系暂不考虑 事务状态转移图： 附：同一个线程内部的事务之间的关系暂不考虑 TX_IDLE TX_ACTIVE TX_ABORTED TX_COMMITTED stm_init_thread stm_rollback stm_start stm_commit TinySTM数据结构 元素 类型 意义 DESIGN 0,1,2 写内存方式 Commit Time Locking (WRITE_BACK_ETL,WRITE_BACK_CTL,WRITE_THROUGH) CM Char * 冲突管理SUICIDE (自毁) (SUICIDE,DELAY,BACKOFF,PRIORITY) 0. 全局变量 TinySTM数据结构 1. locks （全局锁指针） 数组 static volatile stm_word_t locks[LOCK_ARRAY_SIZE]; lock最后一位表示是否锁上了 如果锁上了，前面的位表示一个指向当前在写内存的事务的TX 如果没有锁上，前面的位表示版本号 附： CTL模式是不加全局锁的。 数组的每一个元素对应一个内存数据，根据内存数据的地址得到索引 TinySTM数据结构 元素 类型 意义 attr Stm_tx_attr_t * 包含事务id，和是否只读 Status Stm_word_t 事务状态 (TX_IDLE空闲, TX_COMMITTED以提交, TX_ACTIVE活动的 可以读或写, TX_ABORTED中断) R_set R_set_t 读集 W_set W_set_t 写集 Nesting Int 嵌套等级(只是记录嵌套等级，不进行任何操作，为了控制提交和回滚的粒度) 2. stm_tx_t 事务控制块 TinySTM数据结构 3. w_set_t 写集 元素 类型 意义 Entries W_entry_t * 数据列表 Nb_entries Int 数据条数 Size Int 列表总长度 Nb_acuired Int 已获得锁的数目 TinySTM数据结构 4. w_entry_t 写集里面的数据 元素 类型 意义 Addr Stm_word_t * 数据地址 Value Stm_word_t 数据值 Mask Stm_word_t 数据掩码 Version Stm_word_t 数据版本 tinySTM工作流程： ● Main函数开始 ● Stm_init定义线程副本数据 ● Main函数开始 ● stm_init_thread 线程初始化 ● ● ● ● stm_start 事务开始 事务操作 stm_commit 事务提交 stm_exit_thread 线程退出 ● pthread_join 结束多线程 ● ● Stm_exit 结束事务 函数结束 pthread_create 创建多线程 TinySTM初始化 stm_init 相关操作： 操作变量 操作 作用 Thread_tx 创建（pthread_key_create） 指向线程副本数据 Sigaction act 定义（局部变量） Stm_word_t locks[] 赋0值 Stm_word_t gclock 赋0值 Int tx_count 赋0值 Int tx_overflow 赋0值 Sigaction act : __sighandler_t Sa_handler : 信号处理函数，定义为signal_catcher Sigset_t sa_mask：信号集，注册SIGBUS（硬件错误）与SIGSEGV（无效内存引用）两个信号 tinySTM工作流程： ● Main函数开始 ● Stm_init定义线程副本数据 ● 线程初始化 ● stm_init_thread 线程初始化 ● ● ● ● stm_start 事务开始 事务操作 stm_commit 事务提交 stm_exit_thread 线程退出 ● pthread_join 结束多线程 ● ●