什么叫做线性安全?怎么保证?
1.定义:
- 某个类的行为及其规范一致
- 不管多少个线程是以怎样的执行顺序或者优先级,一个类能够在多线程访问下能够正常运转,并且访问类不需要额外的同步处理,则代表它线性安全
2.保证:
- 对变量使用volilate
- 对程序段使用sychronized和lock
既然这里提到了sychronized和lock,那么说下他们俩的区别吧
sychronized和lock的区别是什么?
-
sychronized是一种隐式锁,主要用于代码块上、方法上。在后面的括号中加入需要加锁的对象即可
lock是一种显示锁,需要自己显示的去指定同步的起始位置和终点位置
分别对应方法lock()和unlock() -
sychronized托管给JVM去执行
lock主要自己去控制(毕竟是自己手写的嘛) -
sychronized采用的CPU的悲观锁机制
lock则是一种乐观锁
那再来说说volatile和sychronized的区别吧哈哈
volatile和sychronized的区别?
1.volatile是一种弱式的同步机制(简单来说它不会加锁)
2.那么从第一点上可以看出,他没有sychronized线性安全,因为sychronized有加锁呀。
3.volatile不能同时保证原子性和内存可见性(只能保证内存可见性)
而sychronized可以(因为他加锁了啊)
4.volatile变量作用类似于同步变量的读写操作
从内存可见性的角度来看:
写入volalite变量===退出同步块代码
的要求也volalite变量=进入同步块代码
多线程共用一个数据变量需要注意什么?
1.当在线程对象中定义一个全局变量的时候,且run方法会对这个全局变量进行修改。那么如果多个线程同时操作这个对象,会造成全局变量的值同时被多个线程修改,造成错误
2.对于第一个问题,可以使用ThreadLocal来声明这个变量来解决上述问题。但是新的问题就来了,这个变量一旦被ThreadLocal定义,那么这个变量对于所有的线程都是独立的(即使他是全局变量)
3.可以使用volatile声明变量。但是这种情况不能保证原子性,只能保证内存的可见性。
什么是内存的可见性?
就是说每次使用这个变量的时候,线程都会从主内存当中去读取这个volatile声明的变量,能够保证这个变量读取出来的值是最新的值,但是有个缺点你每次调用它都要从主内存中取读取,那这个操作难道不需要时间的吗?显然,你不能够及时的看到该变量的最新值
进程间通信的方式有什么?
1.管道:可用具有亲缘关系的进程间的通信
2.信号:用于通知进程有某种事情发生
3.消息队列:消息的链接表,可以存放消息
4.共享内存:使多个线程可以访问同一块区域(如堆)
一个线程独占哪些资源?
1.线程ID
2.线程自身的栈(栈是私有的,所以当然属于自身,而堆是公有的)
3.错误码
4.信号掩码
什么是临界区?
各个进程中对临界资源(比如互斥资源、共享变量 这一类只能允许同一时刻内只有一个线程去访问)进行操作的程序片段
同步和异步的概念?
1.同步:多个进程因为合作关系而演变成进程的运作有着一定的先后顺序
比如线程A需要线程B所占有的资源或者信息,那么在B释放资源或者把信息传给A前,A会进入堵塞状态
2.异步:多个线程在同一时刻只能有一个线程进入临界区
这里有一个重要的考点,就直接手写了,上图,字不是很好看请见谅
什么叫做优先级反转?如何解决呢?
就简单的说这些吧,后续更新