一些底层原理

最新推荐文章于 2023-05-03 10:10:17 发布

精神病有所好转O_O

最新推荐文章于 2023-05-03 10:10:17 发布

阅读量305

点赞数

分类专栏：数据结构和算法

本文链接：https://blog.csdn.net/m0_37443464/article/details/81502841

版权

数据结构和算法专栏收录该内容

14 篇文章 0 订阅

订阅专栏

1.Java锁的底层实现

AQS,CAS，AQS是AbstractQueuedSynchronized的缩写，是在可重入锁的内部实现中用到的类，在reentrantLock源码中，包括Sync的类就是继承与AQS，并且包括fairSync和nonFairSync两个内部类对象，并且可重入锁的lock以及unlock等方法都是基于sync的内部方法实现的，sync内部保存state状态，是0的话，表示可以获得，否则的话，判断拥有锁的是否是当前线程，如果是可以继续获得，state+1，可冲入锁原理，如果不是当前的线程用有锁，那么不可以获得这个锁，sync类内部维护一个双向的Node链表，也就是作为线程排队队列的保存，所以Node中包括想获得锁的线程Thread信息、还有一些状态信息，比如iscancelled（取消的）或者是正在挂起的等等。

2.Redis底层架构：

底层数据结构：SDS（simple dynamic String简单动态字符串），字符串采用的底层数据结构

3.Synchronized原理

Synchronized的语义底层是通过一个monitor的对象来完成，其实wait/notify等方法也依赖于monitor对象，这就是为什么只有在同步的块或者方法中才能调用wait/notify等方法，否则会抛出java.lang.IllegalMonitorStateException的异常的原因。

每个对象有一个监视器锁（monitor）。当monitor被占用时就会处于锁定状态，线程执行monitorenter指令时尝试获取monitor的所有权，过程如下：

1、如果monitor的进入数为0，则该线程进入monitor，然后将进入数设置为1，该线程即为monitor的所有者。

2、如果线程已经占有该monitor，只是重新进入，则进入monitor的进入数加1.

3.如果其他线程已经占用了monitor，则该线程进入阻塞状态，直到monitor的进入数为0，再重新尝试获取monitor的所有权。

4.ReentrantLock重入锁（独占锁）

底层原理：通过构造函数可以定义公平所和非公平锁，通过一个boolean参数实现，获得独占锁的功能以及线程排队是通过Sync类来实现的，包括NonfairSync和FairSync两个类，代表公平所和非公平所的不同操作。获取锁是通过CAS操作来完成的，如果ReentrantLock中的state变量是0，表示可以获得锁，其他的话就进入等待队列等待（等待队列是通过一个双向链表实现的）

5.ArrayList实现原理

ArrayList是List接口的可变数组非同步实现，并允许包括null在内的所有元素。

底层使用数组实现

该集合是可变长度数组，数组扩容时，会将老数组中的元素重新拷贝一份到新的数组中，每次数组容量增长大约是其容量的1.5倍，这种操作的代价很高。

采用了Fail-Fast机制，面对并发的修改时，迭代器很快就会完全失败，而不是冒着在将来某个不确定时间发生任意不确定行为的风险

remove方法会让下标到数组末尾的元素向前移动一个单位，并把最后一位的值置空，方便GC

6.LinkedList实现原理

LinkedList是List接口的双向链表非同步实现，并允许包括null在内的所有元素。

底层的数据结构是基于双向链表的，该数据结构我们称为节点

双向链表节点对应的类Node的实例，Node中包含成员变量：prev，next，item。其中，prev是该节点的上一个节点，next是该节点的下一个节点，item是该节点所包含的值。

它的查找是分两半查找，先判断index是在链表的哪一半，然后再去对应区域查找，这样最多只要遍历链表的一半节点即可找到

7.HashMap实现原理

HashMap是基于哈希表的Map接口的非同步实现，允许使用null值和null键，但不保证映射的顺序。

底层使用数组实现，数组中每一项是个单向链表，即数组和链表的结合体；当链表长度大于一定阈值时，链表转换为红黑树，这样减少链表查询时间。

HashMap在底层将key-value当成一个整体进行处理，这个整体就是一个Node对象。HashMap底层采用一个Node[]数组来保存所有的key-value对，当需要存储一个Node对象时，会根据key的hash算法来决定其在数组中的存储位置，在根据equals方法决定其在该数组位置上的链表中的存储位置；当需要取出一个Node时，也会根据key的hash算法找到其在数组中的存储位置，再根据equals方法从该位置上的链表中取出该Node。

HashMap进行数组扩容需要重新计算扩容后每个元素在数组中的位置，很耗性能

采用了Fail-Fast机制，通过一个modCount值记录修改次数，对HashMap内容的修改都将增加这个值。迭代器初始化过程中会将这个值赋给迭代器的expectedModCount，在迭代过程中，判断modCount跟expectedModCount是否相等，如果不相等就表示已经有其他线程修改了Map，马上抛出异常

8.Hashtable实现原理

Hashtable是基于哈希表的Map接口的同步实现，不允许使用null值和null键

底层使用数组实现，数组中每一项是个单链表，即数组和链表的结合体

Hashtable在底层将key-value当成一个整体进行处理，这个整体就是一个Entry对象。Hashtable底层采用一个Entry[]数组来保存所有的key-value对，当需要存储一个Entry对象时，会根据key的hash算法来决定其在数组中的存储位置，在根据equals方法决定其在该数组位置上的链表中的存储位置；当需要取出一个Entry时，也会根据key的hash算法找到其在数组中的存储位置，再根据equals方法从该位置上的链表中取出该Entry。

synchronized是针对整张Hash表的，即每次锁住整张表让线程独占

9.ConcurrentHashMap实现原理

ConcurrentHashMap允许多个修改操作并发进行，其关键在于使用了锁分离技术。

它使用了多个锁来控制对hash表的不同段进行的修改，每个段其实就是一个小的hashtable，它们有自己的锁。只要多个并发发生在不同的段上，它们就可以并发进行。

ConcurrentHashMap在底层将key-value当成一个整体进行处理，这个整体就是一个Entry对象。Hashtable底层采用一个Entry[]数组来保存所有的key-value对，当需要存储一个Entry对象时，会根据key的hash算法来决定其在数组中的存储位置，在根据equals方法决定其在该数组位置上的链表中的存储位置；当需要取出一个Entry时，也会根据key的hash算法找到其在数组中的存储位置，再根据equals方法从该位置上的链表中取出该Entry。

与HashMap不同的是，ConcurrentHashMap使用多个子Hash表，也就是段(Segment)

ConcurrentHashMap完全允许多个读操作并发进行，读操作并不需要加锁。如果使用传统的技术，如HashMap中的实现，如果允许可以在hash链的中间添加或删除元素，读操作不加锁将得到不一致的数据。ConcurrentHashMap实现技术是保证HashEntry几乎是不可变的。