基于事务内存的云计算编程模型研究

云计算受到了学术界和工业界的广泛关注，这种新型计算模式对其编程模型也提出了新的要求，如：透明资源访问、良好的可扩展性和容错性。传统的并行编程机制MPI/MVP和Gasnet对于底层的资源访问完全不透明；分布式共享内存DSM可扩展性差；现有云计算编程模型如Google的MapReduce框架简单，但是内部的编程仍然可能需要复杂的同步机制。事务内存由于屏蔽了底层的锁同步机制，使编程变得简单。本项目拟将事务内存扩展到云计算环境，充分考虑云程序员难以了解硬件条件、处理器对内存的访问代价不均匀、普遍采用的副本机制以及节点失效成为常态的特点，研究一种能够透明访问资源、具有可扩展和容错性的基于事务内存的云计算编程模型。研究内容主要包括：基于事务内存的云计算编程语义，性能优化和可扩展的容错机制。本研究将对云计算编程和应用的发展起到积极的推动作用。

本项目研究和实现分布式事务内存的原型系统。1）在系统中提出一种基于事务内存的编程框架。2）提出一种分布式环境下的事务内存一致性协议。3）设计了一种可在分布式事务内存系统中自由调度和执行的计算单元——并发函数。