ConcurrentSkipListMap深入分析

1.前言

　　ConcurrentHashMap与ConcurrentSkipListMap性能测试

　　在4线程1.6万数据的条件下，ConcurrentHashMap 存取速度是ConcurrentSkipListMap 的4倍左右。但ConcurrentSkipListMap有几个ConcurrentHashMap 不能比拟的优点：

• ConcurrentSkipListMap 的key是有序的。

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

2.使用建议

　　在非多线程的情况下，应当尽量使用TreeMap。此外对于并发性相对较低的并行程序可以使用 Collections.synchronizedSortedMap将TreeMap进行包装，也可以提供较好的效率。对于高并发程序，应当使用 ConcurrentSkipListMap，能够提供更高的并发度。
所以在多线程程序中，如果需要对Map的键值进行排序时，请尽量使用ConcurrentSkipListMap，可能得到更好的并发度。
注意，调用ConcurrentSkipListMap的size时，由于多个线程可以同时对映射表进行操作，所以映射表需要遍历整个链表才能返回元素个数，这个操作是个O(log(n))的操作。

 3.什么是SkipList

　　　　Skiplist(跳表）是一种可以代替平衡树的数据结构，默认是按照Key值升序的。Skiplist让已排序的数据分布在多层链表中，以0-1随机数决定一个数据的向上攀升与否，通过“空间来换取时间”的一个算法，在每个节点中增加了向前的指针，在插入、删除、查找时可以忽略一些不可能涉及到的结点，从而提高了效率。
从概率上保持数据结构的平衡比显示的保持数据结构平衡要简单的多。对于大多数应用，用Skip list要比用树算法相对简单。由于Skip list比较简单，实现起来会比较容易，虽然和平衡树有着相同的时间复杂度(O(logn)),但是skip list的常数项会相对小很多。Skiplist在空间上也比较节省。一个节点平均只需要1.333个指针（甚至更少）。
                
图1-1 Skip list结构图（以7,14,21,32,37,71,85序列为例）

Skip list的性质

(1) 由很多层结构组成，level是通过一定的概率随机产生的。
(2) 每一层都是一个有序的链表，默认是升序，也可以根据创建映射时所提供的Comparator进行排序，具体取决于使用的构造方法。
(3) 最底层(Level 1)的链表包含所有元素。
(4) 如果一个元素出现在Level i 的链表中，则它在Level i 之下的链表也都会出现。
(5) 每个节点包含两个指针，一个指向同一链表中的下一个元素，一个指向下面一层的元素。

三、什么是ConcurrentSkipListMap

ConcurrentSkipListMap提供了一种线程安全的并发访问的排序映射表。内部是SkipList（跳表）结构实现，在理论上能够在O(log(n))时间内完成查找、插入、删除操作。
       注意，调用ConcurrentSkipListMap的size时，由于多个线程可以同时对映射表进行操作，所以映射表需要遍历整个链表才能返回元素个数，这个操作是个O(log(n))的操作。

ConcurrentSkipListMap存储结构

ConcurrentSkipListMap存储结构图

跳跃表（SkipList）：（如上图所示）
1.多条链构成，是关键字升序排列的数据结构；
2.包含多个级别，一个head引用指向最高的级别，最低（底部）的级别，包含所有的key；
3.每一个级别都是其更低级别的子集，并且是有序的；
4.如果关键字 key在 级别level=i中出现，则，level<=i的链表中都会包含该关键字key；

------------------------

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

[java] view
plaincopy

 

1. staticfinalclass
   final
   volatile
2. volatile
3. staticclass
   final
   final
4. volatile
5. }

------------------------

ConcurrentSkipListMap的查找

通过SkipList的方式进行查找操作：（下图以“查找91”进行说明：）

红色虚线，表示查找的路径，蓝色向右箭头表示right引用；黑色向下箭头表示down引用；

/get方法，通过doGet操作实现

[java] view
plaincopy

 

1. public
   return
2. private
   super
   null
3. int
   for
4. ifnullnull
   if) {
5. continue
   elseif) {
6. returnnull
   else
7. ifnull

   else
   break

8. fornull
   ifnull
   if) {
9. returnnull
   elseif)
10. break

    returnnull
        }

------------------------------------------------

ConcurrentSkipListMap的删除

通过SkipList的方式进行删除操作：（下图以“删除23”进行说明：）

红色虚线，表示查找的路径，蓝色向右箭头表示right引用；黑色向下箭头表示down引用；

[java] view
plaincopy

 

1. //remove操作，通过doRemove实现，把所有level中出现关键字key的地方都delete掉
   public
   returnnull

   final
   super
   for

2. for
3. ifnull//如果next引用为空，直接返回
   returnnull

   if

4. break

   ifnull

5. break

   ifnull

6. break
   int
   if)
7. returnnull
   if) {
8. continue

   ifnull
   returnnull
   ifnull
   break
   if

9. else
10. ifnull
11. return

    }

-------------------------------------

ConcurrentSkipListMap的插入

通过SkipList的方式进行插入操作：（下图以“添加55”的两种情况，进行说明：）

在level=2（该level存在）的情况下添加55的图示:只需在level<=2的合适位置插入55即可

--------

在level=4(该level不存在，图示level4是新建的)的情况下添加55的情况：首先新建level4,然后在level<=4的合适位置插入55

-----------

[java] view
plaincopy

 

1. //put操作，通过doPut实现
   public
   ifnull
   thrownew
   returnfalse

   privateboolean
   super
   for

2. for
   ifnull

   if

3. break

   ifnull

4. break

   ifnull

5. break
   int
   if) {
6. continue

   if) {

7. if
   return
   else
   break
8. new
   if
   break
9. int
10. if)
11. returnnull

    * 获得一个随机的level值

12. */
    privateint
    int
    ;
13. ;
14. ;
15. if) != )
16. return;
17. int;
18. while) & ) != ) ++level;
19. return

    //执行插入操作：如上图所示，有两种可能的情况：
    //1.当level存在时，对level<=n都执行insert操作
    //2.当level不存在（大于目前的最大level）时，首先添加新的level，然后在执行操作1 
    privatevoidint

    int
    if

20. null
    forint; i <= level; ++i)
21. newnull
22. else
23. ;
24. new];
25. null
    forint; i <= level; ++i)
26. newnull

    int
    for

    int
    if

27. break

    forint; j <= level; ++j)

28. new
29. if

    break

    /**

30. *在1~indexlevel层中插入数据
31. */
    privatevoidint
32. int
    super
    ifnullthrownew
33. for
    int

    for
    ifnull

34. int
    ifnull
    if
    break

    continue

    if) {

35. continue

    if

36. if
37. return

    if

38. break
39. if) {
40. if

    return

    if

41. }