首页

基于TL2软件事务内存机制的并发程序的精化验证 10月05日

【摘要】随着多核处理器的广泛应用,并发编程成为软件开发的主流方式,但是并发编程给程序员带来了很大的挑战。传统的并发编程主要是用锁机制来保证共享资源的互斥访问,锁机制是一种常用的同步手段。但是粗粒度锁性能较差;而细粒度锁性能较好,但使用过于复杂,容易出错,编写简单高效的代码非常困难,容易导致死锁和优先级倒置等问题。软件事务内存(STM)并发机制将对共享存储复杂的同步访问控制转嫁给底层系统开发者,从而 […]