软件事务内存相关论文
随着多核处理器的广泛应用,并发编程成为软件开发的主流方式,但是并发编程给程序员带来了很大的挑战。传统的并发编程主要是用锁机......
事务内存(Transactional Memory)是一种模拟数据库事务执行的并发控制机制,相较于锁它为共享内存的访问提供了更简易安全的方式。P......
软件精化技术是软件形式方法的基石之一,是保证软件可靠性的重要手段。精化技术可分为逐步精化和精化验证。逐步精化用于递增式开......
软件事务内存是为了简化并行程序设计而出现的一种新的程序设计技术。为了降低软件事务内存系统中事务冲突的发生频率以提升系统整......
