java skipmap_Java并发集合(二)-ConcurrentSkipListMap分析和使用

一、ConcurrentSkipListMap介绍

ConcurrentSkipListMap是线程安全的有序的哈希表,适用于高并发的场景。

ConcurrentSkipListMap和TreeMap,它们虽然都是有序的哈希表。但是,第一,它们的线程安全机制不同,TreeMap是非线程安全的,而ConcurrentSkipListMap是线程安全的。第二,ConcurrentSkipListMap是通过跳表实现的,而TreeMap是通过红黑树实现的。

在4线程1.6万数据的条件下,ConcurrentHashMap 存取速度是ConcurrentSkipListMap 的4倍左右。

但ConcurrentSkipListMap有几个ConcurrentHashMap 不能比拟的优点:

1、ConcurrentSkipListMap 的key是有序的。

2、ConcurrentSkipListMap 支持更高的并发。ConcurrentSkipListMap 的存取时间是log(N),和线程数几乎无关。也就是说在数据量一定的情况下,并发的线程越多,ConcurrentSkipListMap越能体现出他的优势。

在非多线程的情况下,应当尽量使用TreeMap。此外对于并发性相对较低的并行程序可以使用Collections.synchronizedSortedMap将TreeMap进行包装,也可以提供较好的效率。对于高并发程序,应当使用ConcurrentSkipListMap,能够提供更高的并发度。

所以在多线程程序中,如果需要对Map的键值进行排序时,请尽量使用ConcurrentSkipListMap,可能得到更好的并发度。

注意,调用ConcurrentSkipListMap的size时,由于多个线程可以同时对映射表进行操作,所以映射表需要遍历整个链表才能返回元素个数,这个操作是个O(log(n))的操作。

二、ConcurrentSkipListMap数据结构

ConcurrentSkipListMap的数据结构,如下图所示:

5dc231a09918d3cfea3cdb5154ea6a09.png

说明:

先以数据“7,14,21,32,37,71,85”序列为例,来对跳表进行简单说明。

跳表分为许多层(level),每一层都可以看作是数据的索引,这些索引的意义就是加快跳表查找数据速度。每一层的数据都是有序的,上一层数据是下一层数据的子集,并且第一层(level 1)包含了全部的数据;层次越高,跳跃性越大,包含的数据越少。

跳表包含一个表头,它查找数据时,是从上往下,从左往右进行查找。现在“需要找出值为32的节点”为例,来对比说明跳表和普遍的链表。

情况1:链表中查找“32”节点

路径如下图1-02所示:

1994b5387624a9d4c495a079e2b85610.png

需要4步(红色部分表示路径)。

情况2:跳表中查找“32”节点

路径如下图1-03所示:

38cec8c74cac42585700beb48097d08a.png

忽略索引垂直线路上路径的情况下,只需要2步(红色部分表示路径)。

下面说说Java中ConcurrentSkipListMap的数据结构。

(01) ConcurrentSkipListMap继承于AbstractMap类,也就意味着它是一个哈希表。

(02) Index是ConcurrentSkipListMap的内部类,它与“跳表中的索引相对应”。HeadIndex继承于Index,ConcurrentSkipListMap中含有一个HeadIndex的对象head,head是“跳表的表头”。

(03) Index是跳表中的索引,它包含“右索引的指针(right)”,“下索引的指针(down)”和“哈希表节点node”。node是Node的对象,Node也是ConcurrentSkipListMap中的内部类。

ConcurrentSkipListMap主要用到了Node和Index两种节点的存储方式,通过volatile关键字实现了并发的操作

static final class Node{finalK key;volatile Object value;//value值

volatile Node next;//next引用

……

}static class Index{final Nodenode;final Index down;//downy引用

volatile Indexrigh

……

}

三、ConcurrentSkipListMap源码分析(JDK1.7.0_40版本)

下面从ConcurrentSkipListMap的添加,删除,获取这3个方面对它进行分析。

1. 添加

实际上,put()是通过doPut()将key-value键值对添加到ConcurrentSkipListMap中的。

doPut()的源码如下:

private V doPut(K kkey, V value, booleanonlyIfAbsent) {

Comparable super K> key =comparable(kkey);for(;;) {//找到key的前继节点

Node b =findPredecessor(key);//设置n为“key的前继节点的后继节点”,即n应该是“插入节点”的“后继节点”

Node n =b.next;for(;;) {if (n != null) {

Node f =n.next;//如果两次获得的b.next不是相同的Node,就跳转到”外层for循环“,重新获得b和n后再遍历。

if (n !=b.next)break;//v是“n的值”

Object v =n.value;//当n的值为null(意味着其它线程删除了n);此时删除b的下一个节点,然后跳转到”外层for循环“,重新获得b和n后再遍历。

if (v == null) { //n is deleted

n.helpDelete(b, f);break;

}//如果其它线程删除了b;则跳转到”外层for循环“,重新获得b和n后再遍历。

if (v == n || b.value == null) //b is deleted

break;//比较key和n.key

int c =key.compareTo(n.key);if (c > 0) {

b=n;

n=f;continue;

}if (c == 0) {if (onlyIfAbsent ||n.casValue(v, value))return(V)v;else

break; //restart if lost race to replace value

}//else c < 0; fall through

}//新建节点(对应是“要插入的键值对”)

Node z = new Node(kkey, value, n);//设置“b的后继节点”为z

if (!b.casNext(n, z))break; //多线程情况下,break才可能发生(其它线程对b进行了操作)//随机获取一个level//然后在“第1层”到“第level层”的链表中都插入新建节点

int level =randomLevel();if (level > 0)

insertIndex(z, level);return null;

}

}

}

说明:doPut() 的作用就是将键值对添加到“跳表”中。

要想搞清doPut(),首先要弄清楚它的主干部分 —— 我们先单纯的只考虑“单线程的情况下,将key-value添加到跳表中”,即忽略“多线程相关的内容”。它的流程如下:

第1步:找到“插入位置”。

即,找到“key的前继节点(b)”和“key的后继节点(n)”;key是要插入节点的键。

第2步:新建并插入节点。

即,新建节点z(key对应的节点),并将新节点z插入到“跳表”中(设置“b的后继节点为z”,“z的后继节点为n”)。

第3步:更新跳表。

2. 删除

实际上,remove()是通过doRemove()将ConcurrentSkipListMap中的key对应的键值对删除的。

doRemove()的源码如下:

finalV doRemove(Object okey, Object value) {

Comparable super K> key =comparable(okey);for(;;) {//找到“key的前继节点”

Node b =findPredecessor(key);//设置n为“b的后继节点”(即若key存在于“跳表中”,n就是key对应的节点)

Node n =b.next;for(;;) {if (n == null)return null;//f是“当前节点n的后继节点”

Node f =n.next;//如果两次读取到的“b的后继节点”不同(其它线程操作了该跳表),则返回到“外层for循环”重新遍历。

if (n != b.next) //inconsistent read

break;//如果“当前节点n的值”变为null(其它线程操作了该跳表),则返回到“外层for循环”重新遍历。

Object v =n.value;if (v == null) { //n is deleted

n.helpDelete(b, f);break;

}//如果“前继节点b”被删除(其它线程操作了该跳表),则返回到“外层for循环”重新遍历。

if (v == n || b.value == null) //b is deleted

break;int c =key.compareTo(n.key);if (c < 0)return null;if (c > 0) {

b=n;

n=f;continue;

}//以下是c=0的情况

if (value != null && !value.equals(v))return null;//设置“当前节点n”的值为null

if (!n.casValue(v, null))break;//设置“b的后继节点”为f

if (!n.appendMarker(f) || !b.casNext(n, f))

findNode(key);//Retry via findNode

else{//清除“跳表”中每一层的key节点

findPredecessor(key); //Clean index//如果“表头的右索引为空”,则将“跳表的层次”-1。

if (head.right == null)

tryReduceLevel();

}return(V)v;

}

}

}

说明:doRemove()的作用是删除跳表中的节点。

和doPut()一样,我们重点看doRemove()的主干部分,了解主干部分之后,其余部分就非常容易理解了。下面是“单线程的情况下,删除跳表中键值对的步骤”:

第1步:找到“被删除节点的位置”。

即,找到“key的前继节点(b)”,“key所对应的节点(n)”,“n的后继节点f”;key是要删除节点的键。

第2步:删除节点。

即,将“key所对应的节点n”从跳表中移除 -- 将“b的后继节点”设为“f”!

第3步:更新跳表。

3. 获取

下面以get(Object key)为例,对ConcurrentSkipListMap的获取方法进行说明。

publicV get(Object key) {returndoGet(key);

}

privateV doGet(Object okey) {

Comparable super K> key =comparable(okey);for(;;) {//找到“key对应的节点”

Node n =findNode(key);if (n == null)return null;

Object v=n.value;if (v != null)return(V)v;

}

}

说明:doGet()是通过findNode()找到并返回节点的。

private Node findNode(Comparable super K>key) {for(;;) {//找到key的前继节点

Node b =findPredecessor(key);//设置n为“b的后继节点”(即若key存在于“跳表中”,n就是key对应的节点)

Node n =b.next;for(;;) {//如果“n为null”,则跳转中不存在key对应的节点,直接返回null。

if (n == null)return null;

Node f =n.next;//如果两次读取到的“b的后继节点”不同(其它线程操作了该跳表),则返回到“外层for循环”重新遍历。

if (n != b.next) //inconsistent read

break;

Object v=n.value;//如果“当前节点n的值”变为null(其它线程操作了该跳表),则返回到“外层for循环”重新遍历。

if (v == null) { //n is deleted

n.helpDelete(b, f);break;

}if (v == n || b.value == null) //b is deleted

break;//若n是当前节点,则返回n。

int c =key.compareTo(n.key);if (c == 0)returnn;//若“节点n的key”小于“key”,则说明跳表中不存在key对应的节点,返回null

if (c < 0)return null;//若“节点n的key”大于“key”,则更新b和n,继续查找。

b =n;

n=f;

}

}

}

说明:findNode(key)的作用是在返回跳表中key对应的节点;存在则返回节点,不存在则返回null。

先弄清函数的主干部分,即抛开“多线程相关内容”,单纯的考虑单线程情况下,从跳表获取节点的算法。

第1步:找到“被删除节点的位置”。

根据findPredecessor()定位key所在的层次以及找到key的前继节点(b),然后找到b的后继节点n。

第2步:根据“key的前继节点(b)”和“key的前继节点的后继节点(n)”来定位“key对应的节点”。

具体是通过比较“n的键值”和“key”的大小。如果相等,则n就是所要查找的键。

四、ConcurrentSkipListMap示例

import java.util.*;import java.util.concurrent.*;/** ConcurrentSkipListMap是“线程安全”的哈希表,而TreeMap是非线程安全的。

*

* 下面是“多个线程同时操作并且遍历map”的示例

* (01) 当map是ConcurrentSkipListMap对象时,程序能正常运行。

* (02) 当map是TreeMap对象时,程序会产生ConcurrentModificationException异常。

*

* @author skywang*/

public classConcurrentSkipListMapDemo1 {//TODO: map是TreeMap对象时,程序会出错。//private static Map map = new TreeMap();

private static Map map = new ConcurrentSkipListMap();public static voidmain(String[] args) {//同时启动两个线程对map进行操作!

new MyThread("a").start();new MyThread("b").start();

}private static voidprintAll() {

String key, value;

Iterator iter=map.entrySet().iterator();while(iter.hasNext()) {

Map.Entry entry=(Map.Entry)iter.next();

key=(String)entry.getKey();

value=(String)entry.getValue();

System.out.print("("+key+", "+value+"), ");

}

System.out.println();

}private static class MyThread extendsThread {

MyThread(String name) {super(name);

}

@Overridepublic voidrun() {int i = 0;while (i++ < 6) {//“线程名” + "序号"

String val = Thread.currentThread().getName()+i;

map.put(val,"0");//通过“Iterator”遍历map。

printAll();

}

}

}

}

(某一次)运行结果:

(a1, 0), (a1, 0), (b1, 0), (b1, 0),

(a1,0), (b1, 0), (b2, 0),

(a1,0), (a1, 0), (a2, 0), (a2, 0), (b1, 0), (b1, 0), (b2, 0), (b2, 0), (b3, 0),

(b3,0), (a1, 0),

(a2,0), (a3, 0), (a1, 0), (b1, 0), (a2, 0), (b2, 0), (a3, 0), (b3, 0), (b1, 0), (b4, 0),

(b2,0), (a1, 0), (b3, 0), (a2, 0), (b4, 0),

(a3,0), (a1, 0), (a4, 0), (a2, 0), (b1, 0), (a3, 0), (b2, 0), (a4, 0), (b3, 0), (b1, 0), (b4, 0), (b2, 0), (b5, 0),

(b3,0), (a1, 0), (b4, 0), (a2, 0), (b5, 0),

(a3,0), (a1, 0), (a4, 0), (a2, 0), (a5, 0), (a3, 0), (b1, 0), (a4, 0), (b2, 0), (a5, 0), (b3, 0), (b1, 0), (b4, 0), (b2, 0), (b5, 0), (b3, 0), (b6, 0),

(b4,0), (a1, 0), (b5, 0), (a2, 0), (b6, 0),

(a3,0), (a4, 0), (a5, 0), (a6, 0), (b1, 0), (b2, 0), (b3, 0), (b4, 0), (b5, 0), (b6, 0),

结果说明:

示例程序中,启动两个线程(线程a和线程b)分别对ConcurrentSkipListMap进行操作。以线程a而言,它会先获取“线程名”+“序号”,然后将该字符串作为key,将“0”作为value,插入到ConcurrentSkipListMap中;接着,遍历并输出ConcurrentSkipListMap中的全部元素。 线程b的操作和线程a一样,只不过线程b的名字和线程a的名字不同。

当map是ConcurrentSkipListMap对象时,程序能正常运行。如果将map改为TreeMap时,程序会产生ConcurrentModificationException异常。

摘抄:

原文:https://blog.csdn.net/vernonzheng/article/details/8244984?utm_source=copy

原文:https://www.cnblogs.com/skywang12345/p/3498556.html

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值