基于openmp的事务存储同步语义研究

多核处理器环境下必须解决多核处理器的并行编程问题，才能够充分发挥多核处理器的性能。事务存储（transactionalmemory）机制提供了一种在多核环境下程序并行执行和同步的方法。已有的工作已将事务存储扩展到了openmp，为程序员提供满足事务原子性、一致性和隔离性的共享存储访问。但当前事务存储的语义并不完善，事务间不能交换中间结果，不能实现锁的部分语义。提出并实现了一种基于开放嵌套的事务存储的同步语义，从而解决了事务间不能交换中间结果的问题，增强了扩展事务存储后openmp的并行编程能力。