单线程中,如果后面代码依赖于前面的代码,就不会发生指令重排。
锁定规则:如果一个锁处于被锁状态,一定执行unlock后才能lock。
变量规则:volatile,如果一个线程先写了volatile变量,另一个线程再读取的值一定是写之后的值。
线程启动规则:一个线程通过B.start()启动B,A对变量的修改一定对B可见。
线程中断规则:interrupt()方法调用先于被中断线程的代码检测,直到中断。(即外部调用interrupt方法肯定执行在线程里面检测到被中断之前)
线程终结规则:A调用B.join()等B终止,B终止前对共享变量的修改对A可见。
对象初始化:对象初始化完成在它的finalize()之前。
reentrantlock可以传入true设置公平锁,根据请求锁的顺序去得到锁执行代码。
读写锁(ReentrantReadWriterLock):
通过new创建该对象,有两个锁,在写锁没有释放前,读锁会等待。
共享锁(CountDownLatch):
通过计数的方式记录当前有几个线程持有锁,增加一个线程则计数+1,没有到达最大数值(例如10)则允许线程持有并执行,否则等待。
Object可以作为锁的原因:每个对象头重都含有一个Monitor(实现类为ObjectMonitor)。
ObjectMonitor维护了一个waitSet,一个EntryList,记录处于wait状态的线程和block状态的线程。owner为正在执行的线程
owner执行的线程执行notify,则将waitSet中的线程放到entrySet中,重新竞争锁。
Java对synchronized的优化:
1、自旋:让线程等一段时间,看持有锁的线程是否释放。基本用不到,浪费CPU。
2、轻量级锁:线程会交替持有锁,基本不会等待,如果不交替,就变重量级锁。
3、偏向锁:线程获得偏向锁,没有其他线程竞争锁,则该线程再次进入同步代码块,不会占锁/释放锁。(判断锁对象中的ThreadId是否相同,相同则不需再加锁)。有线程竞争会变轻量级锁
AQS:
总结,ReentrantLock里面维护一个Sync变量,NonfairSync和fairSync是其实现类,Sync继承自AQS,所以ReentrantLock就拥有了AQS的功能,当获取锁的时候,会执行AQS的compareAndSetState方法,将state设置有锁状态,其他线程获取锁的时候会添加到获取队列中。在acquiredQueued中,如果在等待队列头部,就再尝试下获取锁,不行再执行线程挂起操作。
获取锁流程:
1、acquire通过调用子类自定义的tryAcquire获取锁
2、如果没获取到,addWaiter将线程封装成Node插入队列尾部
3、在acquireQueued中用自旋方式尝试获取锁,失败就判断是否将线程阻塞,若阻塞执行LockSupport的native方法阻塞
唤醒流程:
调用unlock方法,从队列一开始去判断status,找到第一个状态非cancel的节点,执行LockSupport的unpark方法
线程池工作原理:(阿里严禁使用Excutors创建线程池)
Worker集合:本质是一个HashSet,保存所有的线程。
等待队列:corePoolSize满时,保存在等待队列,本质BlockingQueue。等待队列再满才添加最大线程数
ctl:AtomicInteger类型,高3位保存线程池状态(RUNNING:接收新任务并处理排队任务。
SHUTDOWN:不接受新任务,但处理排队任务。调用shutdown()
STOP:不接受新任务,不处理排队任务,中断正在运行的任务。调用shutdownnow()
TIDYING:所有任务停止且workerCount为0时为这个状态,然后运行terminate()方法
TERMINATED:调用terminate()方法后为此状态),低29位保存线程数量。
keepAliveTime是用来针对超过核心线程数后的最大线程,空闲到达这个时间直接销毁。
我们需要定义RejectedExecutionHandler,如果所有的任务无法加入corePoolSize、等待队列、maxSize,又没有定义该handler,就会抛
RejectedExecutionException异常。
阿里禁止使用原因:newFixedThreadPool、newSingleThreadExecutor会创建无边界的等待队列,当队列中任务很多时,会OOM。
newCachedThreadPool的最大线程数是int最大值,当核心线程耗时久的时候,线程池会创建新线程执行任务,内存不足会OOM。
DVM启动的时候,只有一个堆,当Zygote fork进程时已经使用的称为Zygote堆,没使用的称为Active堆,后续需要分配对象的时候都在Active上进行。