深入解析Java并发包(JUC)中的Semaphore

本文涉及的产品
公共DNS(含HTTPDNS解析),每月1000万次HTTP解析
全局流量管理 GTM,标准版 1个月
云解析 DNS,旗舰版 1个月
简介: 深入解析Java并发包(JUC)中的Semaphore

一、Semaphore简介

Semaphore,即信号量,是操作系统中的一个经典概念。在Java并发包(java.util.concurrent,简称JUC)中,Semaphore类实现了这一概念,用于控制同时访问特定资源的线程数量。与synchronized关键字和ReentrantLock类不同,Semaphore可以实现更为复杂的线程同步需求,允许一定数量的线程同时访问共享资源。


二、Semaphore的工作原理

Semaphore内部维护了一组许可证(permits)。每个线程在访问共享资源之前,必须先获取一个许可证。如果许可证不足,则线程将被阻塞,直到有许可证可用。当线程释放资源时,它会归还一个许可证,从而允许其他等待的线程获取资源。

通过控制许可证的数量,Semaphore可以实现对共享资源访问的精细控制。例如,如果有一个需要限制并发访问次数的资源池,就可以使用Semaphore来实现。

三、Semaphore的特性

  1. 公平性Semaphore可以配置为公平的或非公平的。公平的Semaphore将按照线程请求许可证的顺序来分配它们,而非公平的Semaphore则不保证这种顺序。
  2. 可重用性:与CountDownLatch等一次性使用的同步工具不同,Semaphore可以多次使用。一旦线程释放了许可证,其他线程就可以再次获取它。
  3. 资源池控制:通过调整许可证的数量,Semaphore可以灵活地控制对资源池的并发访问。这对于保护有限资源或实现流量控制非常有用。

四、Semaphore源码分析

首先,Semaphore类中的主要组成部分是一个继承自AbstractQueuedSynchronizer(AQS)的内部类Sync。AbstractQueuedSynchronizer是Java并发包中提供的一个用于构建锁和其他同步组件的基础框架。

public class Semaphore implements java.io.Serializable {
    // 当前的许可数
    private final Sync sync;

    // 构造函数,创建一个具有给定许可数的Semaphore,默认非公平策略
    public Semaphore(int permits) {
        sync = new Sync(permits);
    }

    // 构造函数,创建一个具有给定许可数的Semaphore,并指定公平策略
    public Semaphore(int permits, boolean fair) {
        sync = fair ? new FairSync(permits) : new NonfairSync(permits);
    }

    // 获取一个许可,如果当前没有可用许可,则等待
    public void acquire() throws InterruptedException {
        sync.acquireSharedInterruptibly(1);
    }

    // 释放一个许可
    public void release() {
        sync.releaseShared(1);
    }

    // ... 其他方法,如acquire(int), release(int), tryAcquire(), tryRelease(), drainPermits()等

    // 同步器抽象类
    abstract static class Sync extends AbstractQueuedSynchronizer {
        // 返回当前许可数
        final int getPermits() {
            return getState();
        }

        // ... 其他方法,如tryAcquireShared(), tryReleaseShared()等

        // 提供给子类实现的公平锁和非公平锁
        // 这些方法需要由子类根据公平策略来实现
        protected abstract boolean tryAcquireShared(int acquires);
        protected abstract boolean tryReleaseShared(int releases);

        // 减少许可数
        final void reducePermits(int reductions) {
            // ... 实现细节
        }

        // ... 其他方法
    }

    // 非公平同步器
    static final class NonfairSync extends Sync {
        // ... 实现tryAcquireShared()等方法
    }

    // 公平同步器
    static final class FairSync extends Sync {
        // ... 实现tryAcquireShared()等方法,保证FIFO顺序
    }
}

源码解读:


状态管理:Semaphore使用AQS的同步状态来管理许可的数量。在Semaphore中,同步状态表示当前可用的许可数。getState()方法返回当前的许可数。


许可的获取与释放:当线程调用acquire()方法时,它会尝试通过Sync的acquireSharedInterruptibly()方法获取一个许可。如果当前没有可用许可,线程将被阻塞。类似地,当线程调用release()方法时,它会通过Sync的releaseShared()方法释放一个许可,这可能会唤醒正在等待的线程。


公平性:Semaphore可以在创建时指定为公平或非公平。公平Semaphore确保等待时间最长的线程优先获得许可,而非公平Semaphore则不保证等待线程的获取顺序。这是通过FairSync和NonfairSync两个内部类来实现的,它们分别实现了tryAcquireShared()和tryReleaseShared()方法以提供不同的获取和释放策略。


等待队列:AQS维护了一个等待队列,用于管理等待获取许可的线程。当线程尝试获取许可但失败时(即许可不足),它将被添加到等待队列中。当其他线程释放许可时,等待队列中的线程可能会被唤醒并尝试再次获取许可。这个过程是由AQS的内部机制自动管理的。


自定义同步器:Semaphore通过扩展AQS并实现必要的方法来定义自己的同步语义。这包括实现tryAcquireShared()和tryReleaseShared()等方法,这些方法根据Semaphore的当前状态和公平性策略来决定是否允许线程获取或释放许可。

五、Semaphore的主要方法

Semaphore类提供了几个主要的方法来操作许可证:

  1. acquire(): 获取一个许可证。如果当前没有可用的许可证,则线程将被阻塞,直到有许可证可用。
  2. release(): 释放一个许可证。这将增加可用许可证的数量,并可能唤醒正在等待的线程。
  3. acquire(int permits): 获取指定数量的许可证。如果当前没有足够的许可证,则线程将被阻塞。
  4. release(int permits): 释放指定数量的许可证。

此外,Semaphore还提供了带有超时参数的acquire方法,允许线程在等待指定时间后放弃获取许可证。

六、Semaphore实现控制资源的访问

我们使用Semaphore来控制对资源访问,代码如下:

import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;
import java.util.concurrent.Semaphore;

public class SemaphoreExample {

    // 定义一个Semaphore,初始许可数为3
    private static final Semaphore semaphore = new Semaphore(3);

    public static void main(String[] args) {
        // 创建一个固定大小的线程池
        ExecutorService executor = Executors.newFixedThreadPool(5);

        // 模拟5个线程尝试访问一个只允许3个并发访问的资源
        for (int i = 0; i < 5; i++) {
            final int threadId = i;
            executor.execute(() -> {
                try {
                    // 获取一个许可
                    semaphore.acquire();
                    accessResource(threadId);
                    // 访问完成后释放许可
                    semaphore.release();
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            });
        }

        // 关闭线程池(这在实际应用中通常会在所有任务完成后进行)
        // executor.shutdown();
    }

    // 模拟访问资源的方法
    private static void accessResource(int threadId) throws InterruptedException {
        System.out.println("线程 " + threadId + " 获取到许可,开始访问资源。");
        // 模拟资源访问时间
        Thread.sleep(1000);
        System.out.println("线程 " + threadId + " 访问资源结束,释放许可。");
    }
}

代码解释:

  1. 我们首先定义了一个Semaphore对象,其初始许可数设置为3。这意味着最多允许3个线程同时访问某个资源。
  2. 然后,我们创建了一个固定大小为5的线程池,用于模拟5个线程尝试并发访问资源。
  3. 在循环中,我们为每个线程提交了一个任务到线程池。每个任务首先尝试通过调用semaphore.acquire()来获取一个许可。如果许可可用,线程将继续执行并访问资源;如果许可不可用(即已达到最大并发数),线程将被阻塞,直到有许可可用。
  4. accessResource方法中,我们模拟了线程访问资源的过程,通过Thread.sleep(1000)来模拟资源访问所需的时间。
  5. 访问资源完成后,线程通过调用semaphore.release()来释放许可,这样其他等待的线程就有机会获取许可并访问资源。

七、适用场景

Semaphore适用于以下场景:

  1. 保护有限资源:当需要限制对某个资源池的并发访问次数时,可以使用Semaphore。例如,数据库连接池或线程池。
  2. 流量控制:在需要限制对某个服务的并发请求数时,可以使用Semaphore作为限流器。这可以防止系统过载并保持稳定的性能。
  3. 实现复杂的同步模式:与其他同步工具结合使用,Semaphore可以实现更复杂的线程同步模式,如读写锁等。

总之,Semaphore是Java并发编程中一个强大而灵活的同步工具。通过掌握其工作原理和特性,开发人员可以更好地应对多线程环境中的并发挑战。

相关文章
|
3天前
|
人工智能 自然语言处理 Java
FastExcel:开源的 JAVA 解析 Excel 工具,集成 AI 通过自然语言处理 Excel 文件,完全兼容 EasyExcel
FastExcel 是一款基于 Java 的高性能 Excel 处理工具,专注于优化大规模数据处理,提供简洁易用的 API 和流式操作能力,支持从 EasyExcel 无缝迁移。
46 9
FastExcel:开源的 JAVA 解析 Excel 工具,集成 AI 通过自然语言处理 Excel 文件,完全兼容 EasyExcel
|
10天前
|
存储 缓存 Java
Java 并发编程——volatile 关键字解析
本文介绍了Java线程中的`volatile`关键字及其与`synchronized`锁的区别。`volatile`保证了变量的可见性和一定的有序性,但不能保证原子性。它通过内存屏障实现,避免指令重排序,确保线程间数据一致。相比`synchronized`,`volatile`性能更优,适用于简单状态标记和某些特定场景,如单例模式中的双重检查锁定。文中还解释了Java内存模型的基本概念,包括主内存、工作内存及并发编程中的原子性、可见性和有序性。
Java 并发编程——volatile 关键字解析
|
8天前
|
Java 数据库连接 Spring
反射-----浅解析(Java)
在java中,我们可以通过反射机制,知道任何一个类的成员变量(成员属性)和成员方法,也可以堆任何一个对象,调用这个对象的任何属性和方法,更进一步我们还可以修改部分信息和。
|
1月前
|
Java 编译器
Java 泛型详细解析
本文将带你详细解析 Java 泛型,了解泛型的原理、常见的使用方法以及泛型的局限性,让你对泛型有更深入的了解。
48 2
Java 泛型详细解析
|
1月前
|
存储 算法 Java
Java内存管理深度解析####
本文深入探讨了Java虚拟机(JVM)中的内存分配与垃圾回收机制,揭示了其高效管理内存的奥秘。文章首先概述了JVM内存模型,随后详细阐述了堆、栈、方法区等关键区域的作用及管理策略。在垃圾回收部分,重点介绍了标记-清除、复制算法、标记-整理等多种回收算法的工作原理及其适用场景,并通过实际案例分析了不同GC策略对应用性能的影响。对于开发者而言,理解这些原理有助于编写出更加高效、稳定的Java应用程序。 ####
|
1月前
|
存储 监控 算法
Java虚拟机(JVM)垃圾回收机制深度解析与优化策略####
本文旨在深入探讨Java虚拟机(JVM)的垃圾回收机制,揭示其工作原理、常见算法及参数调优方法。通过剖析垃圾回收的生命周期、内存区域划分以及GC日志分析,为开发者提供一套实用的JVM垃圾回收优化指南,助力提升Java应用的性能与稳定性。 ####
|
1月前
|
Java 数据库连接 开发者
Java中的异常处理机制:深入解析与最佳实践####
本文旨在为Java开发者提供一份关于异常处理机制的全面指南,从基础概念到高级技巧,涵盖try-catch结构、自定义异常、异常链分析以及最佳实践策略。不同于传统的摘要概述,本文将以一个实际项目案例为线索,逐步揭示如何高效地管理运行时错误,提升代码的健壮性和可维护性。通过对比常见误区与优化方案,读者将获得编写更加健壮Java应用程序的实用知识。 --- ####
|
2月前
|
监控 Java 应用服务中间件
高级java面试---spring.factories文件的解析源码API机制
【11月更文挑战第20天】Spring Boot是一个用于快速构建基于Spring框架的应用程序的开源框架。它通过自动配置、起步依赖和内嵌服务器等特性,极大地简化了Spring应用的开发和部署过程。本文将深入探讨Spring Boot的背景历史、业务场景、功能点以及底层原理,并通过Java代码手写模拟Spring Boot的启动过程,特别是spring.factories文件的解析源码API机制。
87 2
|
10天前
|
存储 设计模式 算法
【23种设计模式·全精解析 | 行为型模式篇】11种行为型模式的结构概述、案例实现、优缺点、扩展对比、使用场景、源码解析
行为型模式用于描述程序在运行时复杂的流程控制,即描述多个类或对象之间怎样相互协作共同完成单个对象都无法单独完成的任务,它涉及算法与对象间职责的分配。行为型模式分为类行为模式和对象行为模式,前者采用继承机制来在类间分派行为,后者采用组合或聚合在对象间分配行为。由于组合关系或聚合关系比继承关系耦合度低,满足“合成复用原则”,所以对象行为模式比类行为模式具有更大的灵活性。 行为型模式分为: • 模板方法模式 • 策略模式 • 命令模式 • 职责链模式 • 状态模式 • 观察者模式 • 中介者模式 • 迭代器模式 • 访问者模式 • 备忘录模式 • 解释器模式
【23种设计模式·全精解析 | 行为型模式篇】11种行为型模式的结构概述、案例实现、优缺点、扩展对比、使用场景、源码解析
|
10天前
|
设计模式 存储 安全
【23种设计模式·全精解析 | 创建型模式篇】5种创建型模式的结构概述、实现、优缺点、扩展、使用场景、源码解析
结构型模式描述如何将类或对象按某种布局组成更大的结构。它分为类结构型模式和对象结构型模式,前者采用继承机制来组织接口和类,后者釆用组合或聚合来组合对象。由于组合关系或聚合关系比继承关系耦合度低,满足“合成复用原则”,所以对象结构型模式比类结构型模式具有更大的灵活性。 结构型模式分为以下 7 种: • 代理模式 • 适配器模式 • 装饰者模式 • 桥接模式 • 外观模式 • 组合模式 • 享元模式
【23种设计模式·全精解析 | 创建型模式篇】5种创建型模式的结构概述、实现、优缺点、扩展、使用场景、源码解析

推荐镜像

更多