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

Design and simulation of a kind of software transactional memory

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

To make full use of parallel computing performance in muhi-core processors, the greatest challenge is parallel programming model. Nowadays locks are used to keep parallel threads synchronized, but may lead to deadlock and other mistakes, and also make the performance hard to optimize. In the transactional memory model, a series of shared memory operations are regarded as a transaction, to ensure atomicity, consistency and isolation. It can replace the lock, simplify prograrmning model, and improve the parallel computing performance. This paper introduces a derivative of software transactional memory （Buffering Software Transactional Memory, BSTM）, which implements write buffering, simplifies the design of transactional memory model. The experimental results indicate the model brings significant advantages compared with the other implementations.