ART虚拟机中的同步抽象

art虚拟机中的同步抽象

 

最近，准备做一个关于解析art虚拟机的解读。算是给自己一个记录

 

一、同步抽象架构

    一图胜千言

 

 

 

二、解析

1、art虚拟机的实现，离不开互斥体，同步的因素。因为是多线程系统吗。像这样的同步机制，在linux操作系统中，就是各种个样的锁，原子体等。在java中就是sync关键字等等。

2、BaseMutex是art虚拟机同步机制的一个起点，其底层的实现是linux的futex机制。这个机制的效率相对比较高。

3、mutex，读写mutex就是两种对于互斥体的在不同场景下的具体用法。对于MutatorMutex这一种锁，主要用于线程的状态变化等。其中，mutator这个单词在英文的意思是增长的。根据我的理解，这里是对线程进行了一个分类，在art虚拟机中，对于thread分为两类，一类是不可变线程，应该指的是gc线程和debug线程；另外一类，都是可变线程，或者可增长线程。而这个锁，就是在这个场景下产生的

4、ConditionVariable 内部包含一个队列，也主要是用于管理线程的

5、lock 则是对mutex和conditonVariable的更进异步的包装

6、Barrier则是主要用于GC的

 

三、

以后，再有不对的地方，再进行改正。