JavaConcurrency-如何理解线程安全的集合CurrentHashMap为例

本文主要是介绍JavaConcurrency-如何理解线程安全的集合CurrentHashMap为例,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

如果多线程要并发修改一个数据结构
例如: 散列表,
很容易会破坏这个数据结构,
例如:
一个线程可能要开始向表中插入一个新元素,假定在调整散列表各个桶之间的链接关系的过程中,被剥夺了控制权。
如果另一个线程也开始比那里同一个链表,可能使用无效的链接并造成混乱,会爆出异常or陷入死循环。

可以选择锁来保护共享数据结构,但是选择线程安全的实现作为替代可能更容易

高效的映射,集合和队列:
java.util.concurrent包提供了映射,有序集和队列的高效实现:
ConcurrentHashMap
ConcurrentSkipListMap
ConcurrentSkipListSet
ConcurrentLinkedQueue
这些几何使用复杂的短发,通过允许并发地访问数据结构的不同部分来使竞争极小化。

线程安全集合的原子更新:
ConcurrentHashMap<String,Long> 让计数代码自增,下面的代码是不安全的:

long oldValue=map.get(word);
long newValue=oldValue == null ?1:oldValue+1;
map.put(word,newValue);

多线程操作的时候 get和put代码不会破坏数据结构,不过,由于操作序列不是原子的,所以结果不可预知

正确做法是使用ConcurrentHashMap的replace方法,它会以原子方式用一个新值替换原值,前提是之前没有其他线程把原值替换为其他值。并且必须一直这么做,直到replace成功。 这是一个CAS操作

do{long oldValue=map.get(word);long newValue=oldValue == null ?1:oldValue+1;
}while(!map.replace(word,oldValue,newValue))

还可以使用:

map.putIfAbsent(word,new LongAdder());
map.get(word).increment();

第一个语句确保有一个LongAdder可以完成原子自增。由于putIfAbsent 返回映射的值(可能是原来的值,或者是新设置的值),可以组合成一句:

map.putIfAbsent(word,new LongAdder().increment());

computer方法时可以提供一个键和一个计算新值得函数。这个函数接收键和相关联的值(如果没有值,则为null),它会计算新值。
例如:可以如下更新一个整数计数器的映射:

map.computer(word,(k,v)-> ==null? 1 : v+1);

注意 ConcurrentHashMap中不允许有null值。有很多方法都是用null值来指示映射中某个给定的键不存在

另外还有computerIfPresent 和computeIfAbsent 方法:
他们分别只有在已经有原值的情况下计算新值 or 只有没有原值的情况下计算新值。可以如下更新一个LongAdder计数器映射:

map.computerIfAbsent(word,k->new LongAdder()).increment();

这与之前的putIfAbsent调用几乎一样的,不过LongAdder构造器只有确实需要一个新的计数器才会调用。

当新增一个键时通常需要做些特殊处理。利用merge方法可以非常方便地做到这一点。这个方法有一个参数表示键不存在时使用的初始值。
否则,就会调用你体统的函数来结合原值与初始值。

map.merge(word,1L,(existingValue,newValue) -> existingValue + newValue);
//或者更加简单的写为
map.merge(word,1L,Long::sum);

注意:如果传入computer or merge 的函数 返回null,将从映射中删除现有的条目。
使用computer or merge 时,要记住你提供的函数不能做太多的工作。这个函数运行时,可能会阻塞对映射的其他更新。当然,这个函数也不能更新映射的其他部分。

CurrentHashMap的批操作:
Java8为并发散列映射提供了批操作,即使有其他线程在处理映射,这些操作也能安全的执行,无需冻结当前映射的快照。
三种操作:

  • 搜索(search)为每个键or值提供一个函数,直到函数生成一个非null的结果。然后搜索终止,返回这个函数的结果
  • 规约(reduce)组合所有的键or值,这里要使用所提供的一个累加函数
  • forEach为所有的键or值提供一个函数

每个操作都有4个版本:
operationKeys:处理键
operationValues:处理值
operation:处理键和值
operationEntries:处理MapEntry对象

对于上述各个操作,需要指定一个参数化阈值(threshold)。如果映射包含的元素多于这个阈值,就会并行完成批操作。
如果希望批操作在一个线程中运行,可以使用阈值LongMAX_VALUE。吐过希望佣金可能多的线程运行批操作,可以使用阈值1。

String result =map.search(threshold,(k,v)-> 1000? k:null);

找出第一个出现次数超过1000次的单词,result会这是为第一个匹配的单词,如果操作函数对所有输入都返回null,则返回null。

forEach方法有两种形式。第一个只为各个映射条目提供一个消费者函数,例如:

map.forEach(threshold,(k,v)-> System.out.println(k+"->"+v));

第二种形式还有一个转换器函数,这个函数要先提供,其结果会传递到消费者:

map.forEach(threshold,(k,v)->k+"->"+v,//TransformerSystem.out::println);//Consumer

转换器可以用作为一个过滤器,只要转换器返回null ,这个值就会被悄无声息的跳过。
例如,只打印有大于1000的条目:

map.forEach(threshold,(k,v)-> v>1000? k+"->"+v : null,// filter and transformerSystem.out::println);//the nulls are not passed to the consumer

reduce操作用一个累加函数组合其输入
例如:
可以如下计算所有值得总和:

Long sum =map.reduceValues(threshold,Long::sum);

和forEach类似,也可以提供一个转换器函数,
可以如下计算最长的键的长度:

Integer maxLength=map.reduceKeys(threshold,String::length,//TransformerInteger::max) //Accumulator

转换器可以作为一个过滤器,通过返回null来排除不想要的输入:
比如:

Long count =map.reduceValues(threshold,v -> v>1000 ? 1L : null,Long::sum);

如果map为null,或者所有条目都被滤掉,reduce操作会返回null。如果只有一个元素,则返回器转换结果,不会应用累加器。

对于int,long 和double输出还有相应的特殊化操作,分别有后缀ToInt,ToLong 和ToDouble。 需要把输入转化为一个基本类型值,并指定一个默认值和一个累加器函数。map为null时返回默认值。

long sum =map.reduceValuesToLong(threshold,Long::longValue,//Transformer to primitive type0,//Default value for empty mapLong::sum)//Primitive type accumulator

这篇关于JavaConcurrency-如何理解线程安全的集合CurrentHashMap为例的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/964290

相关文章

JVM 的类初始化机制

前言 当你在 Java 程序中new对象时,有没有考虑过 JVM 是如何把静态的字节码(byte code)转化为运行时对象的呢,这个问题看似简单,但清楚的同学相信也不会太多,这篇文章首先介绍 JVM 类初始化的机制,然后给出几个易出错的实例来分析,帮助大家更好理解这个知识点。 JVM 将字节码转化为运行时对象分为三个阶段,分别是:loading 、Linking、initialization

Spring Security 基于表达式的权限控制

前言 spring security 3.0已经可以使用spring el表达式来控制授权,允许在表达式中使用复杂的布尔逻辑来控制访问的权限。 常见的表达式 Spring Security可用表达式对象的基类是SecurityExpressionRoot。 表达式描述hasRole([role])用户拥有制定的角色时返回true (Spring security默认会带有ROLE_前缀),去

浅析Spring Security认证过程

类图 为了方便理解Spring Security认证流程,特意画了如下的类图,包含相关的核心认证类 概述 核心验证器 AuthenticationManager 该对象提供了认证方法的入口,接收一个Authentiaton对象作为参数; public interface AuthenticationManager {Authentication authenticate(Authenti

Spring Security--Architecture Overview

1 核心组件 这一节主要介绍一些在Spring Security中常见且核心的Java类,它们之间的依赖,构建起了整个框架。想要理解整个架构,最起码得对这些类眼熟。 1.1 SecurityContextHolder SecurityContextHolder用于存储安全上下文(security context)的信息。当前操作的用户是谁,该用户是否已经被认证,他拥有哪些角色权限…这些都被保

Spring Security基于数据库验证流程详解

Spring Security 校验流程图 相关解释说明(认真看哦) AbstractAuthenticationProcessingFilter 抽象类 /*** 调用 #requiresAuthentication(HttpServletRequest, HttpServletResponse) 决定是否需要进行验证操作。* 如果需要验证,则会调用 #attemptAuthentica

Spring Security 从入门到进阶系列教程

Spring Security 入门系列 《保护 Web 应用的安全》 《Spring-Security-入门(一):登录与退出》 《Spring-Security-入门(二):基于数据库验证》 《Spring-Security-入门(三):密码加密》 《Spring-Security-入门(四):自定义-Filter》 《Spring-Security-入门(五):在 Sprin

Java架构师知识体认识

源码分析 常用设计模式 Proxy代理模式Factory工厂模式Singleton单例模式Delegate委派模式Strategy策略模式Prototype原型模式Template模板模式 Spring5 beans 接口实例化代理Bean操作 Context Ioc容器设计原理及高级特性Aop设计原理Factorybean与Beanfactory Transaction 声明式事物

Java进阶13讲__第12讲_1/2

多线程、线程池 1.  线程概念 1.1  什么是线程 1.2  线程的好处 2.   创建线程的三种方式 注意事项 2.1  继承Thread类 2.1.1 认识  2.1.2  编码实现  package cn.hdc.oop10.Thread;import org.slf4j.Logger;import org.slf4j.LoggerFactory

认识、理解、分类——acm之搜索

普通搜索方法有两种:1、广度优先搜索;2、深度优先搜索; 更多搜索方法: 3、双向广度优先搜索; 4、启发式搜索(包括A*算法等); 搜索通常会用到的知识点:状态压缩(位压缩,利用hash思想压缩)。

JAVA智听未来一站式有声阅读平台听书系统小程序源码

智听未来,一站式有声阅读平台听书系统 🌟&nbsp;开篇:遇见未来,从“智听”开始 在这个快节奏的时代,你是否渴望在忙碌的间隙,找到一片属于自己的宁静角落?是否梦想着能随时随地,沉浸在知识的海洋,或是故事的奇幻世界里?今天,就让我带你一起探索“智听未来”——这一站式有声阅读平台听书系统,它正悄悄改变着我们的阅读方式,让未来触手可及! 📚&nbsp;第一站:海量资源,应有尽有 走进“智听