说实话，我在准备探究Java线程同步的实现原理时，并没有听说过AbstractQueuedSynchronizer。所以作为一个昨天才第一次听说的自旋锁实现方式，AQS成功地吸引了我。AQS的实现基于CLH锁(Craig, Landin, and Hagersten Lock)，这种数据结构的特点在于把“临界数据”和“进程控制”同时实现。相比于我以前看到的方法，这种实现明显更加高效和简洁。在Java concurrent库中，AQS是最重要的基础之一。
一个同步线程工具大致要实现以下三个功能：
对于第一个功能，AQS使用了一个int型的字段来管理锁的状态。类似于物理硬件的compareAndSwap原子指令，Java… 【查看更多】
《Posix多线程程序设计》是我读的第一本关于多线程程序设计的书籍。这本书生动且深刻地讲解了多线程程序设计的难点与Pthread库的使用方式，我从中收获颇丰。Pthread作为操作系统接口标准，直接用于应用层开发难免会让人感觉到有些单薄。Java对多线程程序设计模式进行了一定的封装，以方便大家的使用。然而在基础功能上，Java的多线程程序与Pthread其实非常相似，这也是这篇blog是使用这个标题的原因。
Mutex是Pthread提供的最基本的线程同步工具，Mutex的功能突出一个简单粗暴，类似于操作系统中的自旋锁(当然，Mutex会… 【查看更多】
前面一段时间，瞄了一下《七周七并发模型》。感叹还是有很多语言不会，导致有的章节现在还没法看。但是，Actor并发模型还是给我留下了比较深的印象，因为它适合应用于分布式架构，而且具有很好的容错性。和Actor-based相对应的模型就是Task-based。
Actor-based和Task-based的含义要从”计算“的内涵说起，”计算“包含两个要素：
因为，线程主动地对信息进行计算处理，所以我们把线程作为计算的“主体”，把信息作为计算的“客体”。对应到并发模型中，Actor-based模型注重主体，而Task-based注重客体。
在Task-based模式中，工作线程之间通过对”客体“的同步操作，并发地完成计算任务。常见的情况下，各个线程引用同一个信息客体，而且… 【查看更多】
在MP系统中，每个CPU都有自己独立的cache，缓存之间的一致性很很容易受到破坏的，所以缓存一致性协议就应运而生了。MESI是一种使用非常广泛的缓存一致性协议。
MESI存在”modified”,”exclusive”,”shared”和”invalid”四种状态，协议可以在一个指定的缓存中应用这四种状态。因此，协议在每一个缓存行中维护一个两位的状态”tag”，这个”tag”附着在缓存行的物理地址或者数据后。
最新评论