1. 基本概念同步(Synchronous)和异步(Asynchronous)并发(Conncurrency)和并行(Parallelism)临界区阻塞(Blocking)与非阻塞(Non-Blocking)死锁(Deadlock)、饥饿(Starvation)和活锁(Livelock)同步(Synchronous)和异步(Asynchronous)
并发(Conncurrency)和并行(Parallelism)
临界区临界区:公共资源或共享数据,可被多个线程使用,但每次只能有一个线程使用,其他线程需等待
阻塞(Blocking)与非阻塞(Non-Blocking)阻塞:一个线程占用了临界区资源,其他线程就会在就必须在临界区等待,等待会导致线程挂起,这就是阻塞 非阻塞:没有一个线程可以妨碍其他线程执行,所有线程都会不断尝试向前
死锁(Deadlock)、饥饿(Starvation)和活锁(Livelock)死锁:A线程中占用a资源,并且尝试去获取b资源,同时B线程中占用着b资源,并且尝试去获取a资源,此时谁也无法进行下去,导致死锁 饥饿:资源竞争激烈时,某个线程长时间无法获取到资源,产生饥饿 活锁:两个线程竞争同一资源时相互谦让,导致两个线程一直在谦让而无法正常工作
2. 并发级别阻塞无饥饿(Starvation-Free)无障碍(Obstruction-Free)无锁(Lock-Free)无等待(Wait-Free)阻塞 使用synchronized关键字或重入锁等时,会阻塞其他线程获取临界区资源无饥饿(Starvation-Free) 使用公平锁时,先到先得,不会产生饥饿;非公平锁,由于竞争激烈,或者某些线程优先级高导致低优先级的线程有可能产生饥饿无障碍(Obstruction-Free) 无障碍是最弱的非阻塞调度,两个线程均可修改临界区数据,一旦检测到数据不安全,即对自己修改的数据进行回滚,确保数据安全,冲突严重时所有线程会不停回滚从而造成系统无法正常工作. 一般会配合"一致性标记"一起使用,操作前读取一致性标记,修改后再次读取此标记,若不一致则表示数据不安全无锁(Lock-Free) 无锁的并行都是无障碍的.无锁的并发必然有一个线程能够在有限步内完成操作离开临界区.一般都会包含无穷循环,且可能产生饥饿无等待(Wait-Free) 无等待在无所的基础上更进一步,要求所有线程必须在有限步内访问完临界区,这样就不会引起饥饿问题 读线程都是无等待的,写数据时,采用RCU(Read Copy Update)策略,先取得原数据副本,再修改副本数据,修改完后在合适的机会写回数据3.JMM内存模型JMM的技术点围绕多线程的原子性、可见性和有序性来建立的原子性(Atomicity) 32位虚拟机中操作long型变量是非原子性的,可能造成数据不安全public class MultiThreadLong { public volatile static long t=0; public static class ChangeT implements Runnable{ private long to; public ChangeT(long to){ this.to=to; } @Override public void run() { while(true){ MultiThreadLong.t=to; //赋值临界区的t Thread.yield(); //让出资源 } } } public static class ReadT implements Runnable{ @Override public void run() { while(true){ long tmp=MultiThreadLong.t; if(tmp!=111L && tmp!=-999L && tmp!=333L && tmp!=-444L) System.out.println(tmp); //打印非正常值 Thread.yield(); //让出资源 } } } public static void main(String[] args) { new Thread(new ChangeT(111L)).start(); new Thread(new ChangeT(-999L)).start(); new Thread(new ChangeT(333L)).start(); new Thread(new ChangeT(-444L)).start(); new Thread(new ReadT()).start(); //输出: //-4294966963 //4294966852 //-4294966963 }}可见性 可见性是指一个线程修改某一个共享变量的值时,其他线程是否能够立即知道这个修改 原因:缓存优化或者硬件优化问题(内存读写不会立即触发,而先进入一个硬件队列);指令重排和编辑器的优化
...