一种软件事务存储模型的设计和模拟

要使多核处理器充分发挥并行计算性能,最大的挑战是并行编程模型。目前并行线程使用锁来保证线程间的同步,但锁会带来死锁等错误,并且性能很难优化。事务存储模型将一系列共享存储操作看成一个事务,保证其原子性,一致性和隔离性。它可以取代锁结构,简化编程模型,提高并行计算的性能。介绍了一种软件事务存储模型(Buffering Software Transactional Memory,BSTM)的结构,它主要采用了写缓冲的办法,简化了事务模型的设计。实验的结果表明这种模型存在一定的优势。