9月16日下午，本学年的第三期博士沙龙在实验室210学术报告厅举行。此次沙龙的主题为“Transactional Memory的概念和实现”，由博士生邓莉主讲。

　　目前，微处理器设计已从单纯提高时钟频率这一思路转向在单个芯片上集成多个CPU内核形成CMP（Chip MultiProcessor）的思路，与此同时，多线程成为发挥多核处理能力的一项重要技术，而阻碍并行编程效率的首要问题是多进程或线程之间的通信和同步问题。

　　金海教授对事务内存TM（Transactional Memory）的研究现状和关键技术提出了自己的见解和指导意见，参加沙龙的老师和博士生共同探讨了事务内存的技术细节，以及TM如何与科研项目结合等问题。

　　事务内存TM（Transactional Memory）是Herlihy和Moss于1993年在ISCA会议上提出的一种基于硬件实现的无锁同步机制。该机制基于SMP结构，通过增加事务Cache，并修改 Cache一致性协议来实现。事务内存不仅避免了传统锁机制带来的一系列问题，增强了线程间的并行度，而且简化了并行程序开发的过程，更利于程序模块的组合。斯坦福大学于2004年提出了一种新的基于硬件的TM系统TCC（Transaction Memory Coherence and Consistency），该系统将事务作为并行工作任务、通信和内存一致性的基本单元。现在，除了基于硬件实现的HTM（Hardware Transactional Memory），还有用软件方法实现的STM（Software Transactional Memory），以及软硬件结合实现的Hybrid TM。