java 并发编程之同步器

2024-05-09 08:08
文章标签 java 并发 编程 同步器

本文主要是介绍java 并发编程之同步器,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

 

 在讨论Java的锁的时候,有一个概念很重要,那就是同步器,同步器可以想象成一种互斥量,当一个线程在进入临界区之前先要获得互斥量,同样,在线程获得同步状态之前也是需要获取到同步器。今天看到《java并发编程的艺术》第五章的时候觉得蛮有收获,所以这一篇算是整理下看书思路。

 

首先,我们来看一下Lock的接口

 

public interface Lock {
void lock();
boolean tryLock();
void unlock();
Condition newCondition();
}

 这个接口只是提供了几个常见的方法,而没有实现,当我们需要使用锁的时候会实现这个接口的lock和unlock方法,在这些方法的实现就是需要用到队列同步器 .AbstractQueuedSynchronizer, AbstractQueuedSynchronizer这个类提供了很多的同步方法,主要可分为三类:

1,状态追踪方法

       getState()   :获取当前状态

       setState(int ):设置当前状态

       compareAndSetState(int expect,int update);  CAS如果当前是expect值则设置其值为update,CAS具有同步功能,因为它具有volatile的读写特性,保证编译器不会对这一段代码进行重排序

2,独占锁同步

       acquire(int arg) 获取锁

       acquireInterruptibly(int arg)  中断

       tryAcquireNanos(int arg,long nanos)  尝试获取锁,并且如果超时则放弃

       

       boolean release(int arg)  释放锁

       

3,共享锁同步 共享锁和独占所方法解释差不多,只是共享锁能够同时让多个线程执行,独占锁只能单独的线程获取同步状态后执行,其余线程会进入等待队列

       acquireShared(int arg)

       acquireSharedInterruptibly(int arg)

      tryAcqiuireSharedNanos(int arg,long nanos)

 

      boolean releaseShared(int arg);      

     

AbstractQueuedSynchronizer这个同步队列在很多的并行类或者容器中都能看到身影,因为它是负责很多的同步处理的关键,一个线程在进入临界区之前需要执行acquire方法获得同步机会,而acquire方法先要tryAcquire()如果能够获取则进入执行,如果不能获取则进入等待队列(acquire有比较复杂的方法使得进入等待队列能够实现同步,而且保持FIFO的算法)。

 

我们可以自定义自己的锁和同步器,通过继承AbstractQueuedSynchronizer这个类实现自己的同步器,而因为AbstractQueuedSynchronizer的acquire和release方法的都要执行tryAcquire和tryRelease方法,因此我们只需要重写这两个方法就能实现自定义的同步算法。

 

首先,我们来实现一个自定义的独占锁

 

package com.luchi.concurrencyImpl;
import java.util.concurrent.TimeUnit;
import java.util.concurrent.locks.AbstractQueuedSynchronizer;
import java.util.concurrent.locks.Condition;
import java.util.concurrent.locks.Lock;
public class Mutex implements Lock{
//自定义内部类同步器
private static class Sync extends AbstractQueuedSynchronizer{
@Override
protected boolean isHeldExclusively(){
return getState()==1;
}
@Override
public boolean tryAcquire(int acquires){
if(compareAndSetState(0, 1)){
setExclusiveOwnerThread(Thread.currentThread());
return true;
}
return false;
}
@Override
public boolean tryRelease(int release){
if(getState()==0){
throw new IllegalMonitorStateException();
}
setExclusiveOwnerThread(null);
setState(0);
return true;
}
Condition newCondition(){return new ConditionObject();}
}
private final Sync sync=new Sync();
@Override
public void lock() {
// TODO Auto-generated method stub
sync.acquire(1);
}
@Override
public void unlock() {
// TODO Auto-generated method stub
sync.release(1);
}
@Override
public void lockInterruptibly() throws InterruptedException {
// TODO Auto-generated method stub
sync.acquireInterruptibly(1);
}
@Override
public boolean tryLock() {
// TODO Auto-generated method stub
return sync.tryAcquire(1);
}
@Override
public boolean tryLock(long time, TimeUnit unit)
throws InterruptedException {
// TODO Auto-generated method stub
return sync.tryAcquireNanos(1,unit.toNanos(time));
}
@Override
public Condition newCondition() {
// TODO Auto-generated method stub
return sync.newCondition();
}
}

 

接着我们来定义一段共享锁

 

package com.luchi.concurrencyImpl;
import java.util.concurrent.TimeUnit;
import java.util.concurrent.locks.AbstractQueuedSynchronizer;
import java.util.concurrent.locks.Condition;
import java.util.concurrent.locks.Lock;
public class TwinsLock implements Lock{
private final Sync sync=new Sync(2);
//自定义队列同步器
private static final class Sync extends AbstractQueuedSynchronizer{
//初始化队列同步器的
Sync(int count){
if(count<=0){
throw new  IllegalArgumentException("count must larger than zero");
}
setState(count);
}
@Override
public int tryAcquireShared(int reduceCount){
while(true){
int current=getState();
int newCount=current-reduceCount;
if(newCount<0 || compareAndSetState(current,newCount)){
return newCount;
}
}
}
@Override
public boolean tryReleaseShared(int returnCount){
while(true){
int current=getState();
int newCount=current+returnCount;
if(compareAndSetState(current, newCount)){
return true;
}
}
}
}
@Override
public void lock() {
// TODO Auto-generated method stub
sync.acquireShared(1);
}
@Override
public void lockInterruptibly() throws InterruptedException {
// TODO Auto-generated method stub
}
@Override
public boolean tryLock() {
// TODO Auto-generated method stub
return false;
}
@Override
public boolean tryLock(long time, TimeUnit unit)
throws InterruptedException {
// TODO Auto-generated method stub
return false;
}
@Override
public void unlock() {
// TODO Auto-generated method stub
sync.releaseShared(1);
}
@Override
public Condition newCondition() {
// TODO Auto-generated method stub
return null;
}
}

  可以看到,无论是共享锁合适独占锁,在自定义的时候只需要重写tryAcquire(或者tryAcquireShare)方法和tryRelease(或者tryReleaseShared)方法即可,独占锁因为“互斥量”为1所以不需要初始化,共享锁则可以自定义互斥量的多少,也就是定义多少个线程能够同时进入同步区。

 

另外我们也可以看到,锁和同步器的分离降低了两者之间的耦合度,也方便程序开发人员进行模块化定义和分工,这符合软件工程的思维

 

 

这篇关于java 并发编程之同步器的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

Spring Boot整合Redis注解实现增删改查功能(Redis注解使用)

《SpringBoot整合Redis注解实现增删改查功能(Redis注解使用)》文章介绍了如何使用SpringBoot整合Redis注解实现增删改查功能,包括配置、实体类、Repository、Se... 目录配置Redis连接定义实体类创建Repository接口增删改查操作示例插入数据查询数据删除数据更

Java Lettuce 客户端入门到生产的实现步骤

《JavaLettuce客户端入门到生产的实现步骤》本文主要介绍了JavaLettuce客户端入门到生产的实现步骤,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要... 目录1 安装依赖MavenGradle2 最小化连接示例3 核心特性速览4 生产环境配置建议5 常见问题

Java使用Swing生成一个最大公约数计算器

《Java使用Swing生成一个最大公约数计算器》这篇文章主要为大家详细介绍了Java使用Swing生成一个最大公约数计算器的相关知识,文中的示例代码讲解详细,感兴趣的小伙伴可以了解一下... 目录第一步:利用欧几里得算法计算最大公约数欧几里得算法的证明情形 1:b=0情形 2:b>0完成相关代码第二步:加

Java 的ArrayList集合底层实现与最佳实践

《Java的ArrayList集合底层实现与最佳实践》本文主要介绍了Java的ArrayList集合类的核心概念、底层实现、关键成员变量、初始化机制、容量演变、扩容机制、性能分析、核心方法源码解析、... 目录1. 核心概念与底层实现1.1 ArrayList 的本质1.1.1 底层数据结构JDK 1.7

Java Map排序如何按照值按照键排序

《JavaMap排序如何按照值按照键排序》该文章主要介绍Java中三种Map(HashMap、LinkedHashMap、TreeMap)的默认排序行为及实现按键排序和按值排序的方法,每种方法结合实... 目录一、先理清 3 种 Map 的默认排序行为二、按「键」排序的实现方式1. 方式 1:用 TreeM

Java中流式并行操作parallelStream的原理和使用方法

《Java中流式并行操作parallelStream的原理和使用方法》本文详细介绍了Java中的并行流(parallelStream)的原理、正确使用方法以及在实际业务中的应用案例,并指出在使用并行流... 目录Java中流式并行操作parallelStream0. 问题的产生1. 什么是parallelS

Java中Redisson 的原理深度解析

《Java中Redisson的原理深度解析》Redisson是一个高性能的Redis客户端,它通过将Redis数据结构映射为Java对象和分布式对象,实现了在Java应用中方便地使用Redis,本文... 目录前言一、核心设计理念二、核心架构与通信层1. 基于 Netty 的异步非阻塞通信2. 编解码器三、

SpringBoot基于注解实现数据库字段回填的完整方案

《SpringBoot基于注解实现数据库字段回填的完整方案》这篇文章主要为大家详细介绍了SpringBoot如何基于注解实现数据库字段回填的相关方法,文中的示例代码讲解详细,感兴趣的小伙伴可以了解... 目录数据库表pom.XMLRelationFieldRelationFieldMapping基础的一些代

一篇文章彻底搞懂macOS如何决定java环境

《一篇文章彻底搞懂macOS如何决定java环境》MacOS作为一个功能强大的操作系统,为开发者提供了丰富的开发工具和框架,下面:本文主要介绍macOS如何决定java环境的相关资料,文中通过代码... 目录方法一:使用 which命令方法二:使用 Java_home工具(Apple 官方推荐)那问题来了,

Java HashMap的底层实现原理深度解析

《JavaHashMap的底层实现原理深度解析》HashMap基于数组+链表+红黑树结构,通过哈希算法和扩容机制优化性能,负载因子与树化阈值平衡效率,是Java开发必备的高效数据结构,本文给大家介绍... 目录一、概述:HashMap的宏观结构二、核心数据结构解析1. 数组(桶数组)2. 链表节点(Node