线程与进程
- 进程
- 程序由指令和数据组成,但这些指令要运行,数据要读写,就必须将指令加载至 CPU,数据加载至内存。在 指令运行过程中还需要用到磁盘、网络等设备。进程就是用来加载指令、管理内存、管理 IO 的
- 当一个程序被运行,从磁盘加载这个程序的代码至内存,这时就开启了一个进程。
- 进程就可以视为程序的一个实例。大部分程序可以同时运行多个实例进程(例如记事本、画图、浏览器 等),也有的程序只能启动一个实例进程(例如网易云音乐、360 安全卫士等)
- 线程
- 个进程之内可以分为一到多个线程。
- 一个线程就是一个指令流,将指令流中的一条条指令以一定的顺序交给 CPU 执行
- Java 中,线程作为最小调度单位,进程作为资源分配的最小单位。 在 windows 中进程是不活动的,只是作 为线程的容器
- 二者对比
- 进程基本上相互独立的,而线程存在于进程内,是进程的一个子集
- 进程拥有共享的资源,如内存空间等,供其内部的线程共享
- 进程间通信较为复杂 同一台计算机的进程通信称为 IPC(Inter-process communication) 不同计算机之间的进程通信,需要通过网络,并遵守共同的协议,例如 HTTP
- 线程通信相对简单,因为它们共享进程内的内存,一个例子是多个线程可以访问同一个共享变量
- 线程更轻量,线程上下文切换成本一般上要比进程上下文切换低
并发理解:将cpu的时间分片,利用任务调度器将 cpu 的时间片(windows 下时间片最小约为 15 毫秒)分给不同的程序使用。因为cpu在线程间切换的时间很短,所以给人一种线程是同时运行的感觉。总结起来是:微观上串行(第一个时间片给thread1,第二个时间片给thread2,他们是排队进行的,所以是串行),宏观上并行
异步与同步
- 如果两个方法在一个线程中(如main)执行,则他们间存在先后顺序,即为同步
- 如果两个方法在两个线程中执行,则后面的方法无需等待其前面的方法执行完,即为异步
线程切换(thread context switch):因为以下一些原因导致 cpu 不再执行当前的线程,转而执行另一个线程的代码
- 线程的cpu时间片用完
- 垃圾回收;垃圾回收线程启动时,其他线程都会阻塞
- 有更高优先级的线程需要运行
- 线程之间调用了了 sleep、yield、wait、join、park、synchronized、lock 等方法
synchronized 理解
- 几个定义
临界区: 一段代码块内如果存在对共享资源的读写操作,称这段代码块为临界区
竞态条件:多个线程在临界区中执行,由于代码的执行序列不同而导致结果无法预测,称之为发生了竞态条件
- 以分别为自增自减的两线程案例展开分析
未加锁的代码
正常自增自减在jvm中的过程:
出现错误时的过程
采用synchronized后的两线程工作过程
该过程主要是通过 对象锁 保证线程1能够完整的执行完临界区的代码,才会有线程2来执行。即加锁保证了临界区代码的原子性。如何保证?(即在thread1还未执行了真个临界区代码,但此时thread1的时间片用完,要发生context switch时,thread2获得了时间片,此时他要进行临界区操作。但临界区操作加了锁,他要执行临界区的代码必须先获得锁。但是此时锁属于thread1,因此thread2无法获取锁,thread2被阻塞了,无法进行操作。因此当thread1重新获得时间片,他又可以继续执行上一步代码,知道全部执行完,释放锁,并notifyall。此时thread2才能获得锁,进行下一步操作。在这整个过程中,thread1的临界区代码的具有原子性的,即在代码未结束前,其他线程无法访问到临界区会用到的公共资源)
如果两线程synchronized锁的对象不是同一个,或者一个线程加sync一个线程不加sync,则无法保证线程的安全。因为加锁主要是通过“其他线程获取锁获取不到而被阻塞”来保证临界区的原子性。如果sync加的不对,或者其中有一个不加,则其他线程就不需要获取指定锁,从而也没有线程被阻塞而保证线程安全的作用了
- 线程8锁——强化对synchronized的理解
- 当sync加在类的普通方法上是,锁住的是 this,即创建出来的类的实例对象
- 如果是两个对象,则两线程抢的不是同一把锁,即不存在抢的情况
- 当sync加载类的静态方法上时,锁住的是类名.class,即锁住的是类
- 即使创建了两个对象,只要是同一个类的对象,他们同时都要调用这个sync的静态方法,则他们抢的是同一把锁
- 主要上面指代的 实例对象的锁和类的锁不是同一把锁
- 即两个线程调用同一个对象的 普通方法/静态方法 时,抢的不是同一把锁
- 当sync加在类的普通方法上是,锁住的是 this,即创建出来的类的实例对象
- 待更新