syncronized深入

java提供两种锁机制,syncronized及lock。前者基于jvm软件层实现,后者基于cpu的cas原语硬件级来实现。


基本流程是:进入syncronized的线程,首先会自旋,尝试获取锁。

一段时间后,依然不能获取,才被放入contentionList(先进后出),之后,由owner拥有对象资源锁的线程(在owner线程交出锁的时候),将从contentionList取出若干个线程放入到entryList。并选择一个线程标为ready线程。ready线程只是表明它有竞争锁的权利。


这里可以看到,syncronized这种实现方式是不公平的。因为ready(很早就进入等待的线程)与刚进入syncronized的代码块拥有相同的权利获取锁。


对于两个队列。一个是contentionList和一个是entryList,它们的操作理解:

contentionList是通过链表实现。加入的线程会放在队首。而取的操作则发生在队尾。

syncronized深入_第1张图片

我的理解是,往contentionList放入线程是同步线性的。否则假设,有 a->b->c三个结点线程。

这时线程D加入到contentionList,线程E也加入到队首。会发生线程D被线程E,覆盖的可能。

即线程D进入加入队首操作,这时取得了a结点,在做指针指向a结点前,线程E也执行加入队首操作。

这时由于线程D未执行将其指针指向线程a,线程E也是获取到结点a。

最后,线程D将其指针指向线程a,完成后,线程E也将其指向结点a。这时就有两个结点同时指向了结点a。


因此入队操作,我认为是同步进行的,而取的操作,由于同一时刻只有一个owner线程释放锁,它首先从entryList取出一个结点,

如果有结点,则取出将这个结点标为ready。

如果entryList为空再从contentionList队尾取出结点。


entryList的引入,我认为是为了减少加入与取出两个线程对于contentionList的竞争。



你可能感兴趣的:(syncronized深入)