【Interview】深入理解Semaphore源码

2024-05-13 07:58

本文主要是介绍【Interview】深入理解Semaphore源码,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

概述

  • Semaphore 通常用于限制可以访问某些资源(物理或逻辑的)的线程数目。
  • 比如数据库的连接资源是非常有限的,如果同时有上千个线程去数据获取连接,对数据造成的压力是非常的,会造成数据库无法连接而报错,Semaphore就可以限制此类问题
  • Semaphore有非公平和公平模式,默认是非公平的。当Semaphore设置为1时,可以排它锁使用,同一个时刻,只能限制一个线程访问。和CountDownLatch一样的,内部都有一个Sync内部类,基于AQS实现同步状态的释放和获取。

Semaphore提供的方法

  • Semaphore(int permits) 创建非公平的指定许可数的信号量
  • Semaphore(int permits, boolean fair) 创建指定的许可数和指定是否是公平模式的信号量
  • void acquire() 从此信号量获取一个许可,在提供一个许可前一直将线程阻塞,否则线程被中断
  • void acquire(int permits) 从此信号量获取给定数目的许可,在提供这些许可前一直将线程阻塞,或者线程已被中断。
  • int availablePermits() 返回此信号量中当前可用的许可数。
  • int getQueueLength() 返回正在等待获取的线程的估计数目。
  • boolean hasQueuedThreads() 查询是否有线程正在等待获取。
  • Collection<Thread> getQueuedThreads() 返回一个 collection,包含可能等待获取的线程。
  • reducePermits(int reduction) 根据指定的缩减量减小可用许可的数目。
  • release() 释放一个许可,将其返回给信号量。
  • release(int permits) 返回标识此信号量的字符串,以及信号量的状态。

使用方法

public class SemaphoreTest {static Semaphore s=new Semaphore(3); //非公平static  class Task implements   Runnable{@Overridepublic void run() {try {s.acquire();  //获取一个许可System.out.println(Thread.currentThread().getName()+" 获取一个许可开始执行...");Thread.sleep(1000);System.out.println(Thread.currentThread().getName()+" 退出。");}catch (Exception e){}finally {s.release();  //规划一个许可}}}public static void main(String[] args) {for (int i = 0; i <=5 ; i++) {new Thread(new Task()).start();}}
}
  • 输出结果,可以看出同一时刻只能三个线程进入执行,当有一个线程退出归还许可后,立马就会有其余线程去竞争这个多出的许可。
Thread-0 获取一个许可开始执行...
Thread-1 获取一个许可开始执行...
Thread-2 获取一个许可开始执行...
Thread-2 退出。
Thread-1 退出。
Thread-3 获取一个许可开始执行...
Thread-0 退出。
Thread-4 获取一个许可开始执行...
Thread-5 获取一个许可开始执行...
Thread-4 退出。
Thread-3 退出。
Thread-5 退出

源码分析

初始化一个信号时

  • 当执行new Semaphore(3)时,默认是非公平的实现方式。看看内部是如何是实现的
    public Semaphore(int permits) {sync = new NonfairSync(permits);}
  • 源码中可以看出是通过NonfairSync``这个内部类返回的一个实列,NonfairSyncSync子类。

acquire 获取一个许可

 public void acquire() throws InterruptedException {sync.acquireSharedInterruptibly(1);}
  • 获取许可时调用的是AQS中的acquireSharedInterruptibly方法,以共享模式获同步状态,如果被中断则中止。
    public final void acquireSharedInterruptibly(int arg)throws InterruptedException {// 判断线程是否中断if (Thread.interrupted())throw new InterruptedException();if (tryAcquireShared(arg) < 0)//获取同步状态失败 执行如下方法,这个方法以自旋的方式一直获取同步状态doAcquireSharedInterruptibly(arg);}
  • tryAcquireShared由Sync类提供实现,非公平模式调用NonfairSync的,否则调用FairSync类的方法

非公平

   static final class NonfairSync extends Sync {private static final long serialVersionUID = -2694183684443567898L;NonfairSync(int permits) {super(permits);}//获取锁protected int tryAcquireShared(int acquires) {// Sync类的非公平获取同步状态方法return nonfairTryAcquireShared(acquires);}}

公平

    static final class FairSync extends Sync {private static final long serialVersionUID = 2014338818796000944L;FairSync(int permits) {super(permits);}//公平模式获取信号量protected int tryAcquireShared(int acquires) {//自旋操作for (;;) {//公平模式,先要判断该线程是否位于CLH同步队列的列头if (hasQueuedPredecessors())return -1;//获取同步状态总数(信号量)int available = getState();//当前信号量减去获取的acquires个信号。int remaining = available - acquires;//CAS方式设置信号量。unsafe类提供实现,返回信号量if (remaining < 0 ||compareAndSetState(available, remaining))return remaining;}}}
  • Sync`是继承AQS队列同步器,是自定义同步组件的具体的实现。
    abstract static class Sync extends AbstractQueuedSynchronizer {private static final long serialVersionUID = 1192457210091910933L;Sync(int permits) {setState(permits);}final int getPermits() {return getState();}//非公平获取信号量final int nonfairTryAcquireShared(int acquires) {//自旋 for (;;) {//获取同步状态总数(信号量)int available = getState();//当前信号量减去获取的acquires个信号。int remaining = available - acquires;//CAS方式设置信号量。unsafe类提供实现,返回信号量if (remaining < 0 ||compareAndSetState(available, remaining))return remaining;}}final void reducePermits(int reductions) {for (;;) {int current = getState();int next = current - reductions;if (next > current) // underflowthrow new Error("Permit count underflow");if (compareAndSetState(current, next))return;}}final int drainPermits() {for (;;) {int current = getState();if (current == 0 || compareAndSetState(current, 0))return current;}}}
  • 从源码中得出,Semaphore获取信号量许可时,公平和非公平的区别是,公平模式首先判断当前线程是否位于CLH同步队列的队列头中。
  • 而非公平模式是的竞争是抢占式,谁竞争到就谁获取。
  • 先是获取当前信号总数减去acquires个许可信号,然后以CAS方式设置CAS方式设置信号,并返回新的信号总数。CAS内部是依赖于AQS队列同步器中的unsafel类提供实现。

release归还许可

    public void release() {sync.releaseShared(1);}public final boolean releaseShared(int arg) {if (tryReleaseShared(arg)) {doReleaseShared();return true;}return false;}
  • 释放信号量 release 首先会调用AQSreleaseShared.
  • tryReleaseShared 会调用SynctryReleaseShared方法
  • 释放操作时以自旋方式执行,首先获取总的信号建去要释放的信号量,然后判断这个信号量是否小于大于总的信号量,如果大于则抛出异常,否则以CAS的方式设置信号量
		//释放同步状态,也就是归还信号量protected final boolean tryReleaseShared(int releases) {// 自旋操作for (;;) {int current = getState();int next = current + releases;if (next < current) // overflowthrow new Error("Maximum permit count exceeded");if (compareAndSetState(current, next))return true;}}

总结

  • 从源码中可以看出Semaphore的实现方式主要是依靠AQS实现的,以state同步状态成变量作为信号量的总数,获取和释放都是以CAS+自旋操作的方式设置state成员变量。
  • JDK并发包中的工具了哦都是AQS为基石实现的。大多都是使用CAS+自旋的方式去改变state来达到锁的获和释放

这篇关于【Interview】深入理解Semaphore源码的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

回调的简单理解

之前一直不太明白回调的用法,现在简单的理解下 就按这张slidingmenu来说,主界面为Activity界面,而旁边的菜单为fragment界面。1.现在通过主界面的slidingmenu按钮来点开旁边的菜单功能并且选中”区县“选项(到这里就可以理解为A类调用B类里面的c方法)。2.通过触发“区县”的选项使得主界面跳转到“区县”相关的新闻列表界面中(到这里就可以理解为B类调用A类中的d方法

springboot家政服务管理平台 LW +PPT+源码+讲解

3系统的可行性研究及需求分析 3.1可行性研究 3.1.1技术可行性分析 经过大学四年的学习,已经掌握了JAVA、Mysql数据库等方面的编程技巧和方法,对于这些技术该有的软硬件配置也是齐全的,能够满足开发的需要。 本家政服务管理平台采用的是Mysql作为数据库,可以绝对地保证用户数据的安全;可以与Mysql数据库进行无缝连接。 所以,家政服务管理平台在技术上是可以实施的。 3.1

高仿精仿愤怒的小鸟android版游戏源码

这是一款很完美的高仿精仿愤怒的小鸟android版游戏源码,大家可以研究一下吧、 为了报复偷走鸟蛋的肥猪们,鸟儿以自己的身体为武器,仿佛炮弹一样去攻击肥猪们的堡垒。游戏是十分卡通的2D画面,看着愤怒的红色小鸟,奋不顾身的往绿色的肥猪的堡垒砸去,那种奇妙的感觉还真是令人感到很欢乐。而游戏的配乐同样充满了欢乐的感觉,轻松的节奏,欢快的风格。 源码下载

如何理解redis是单线程的

写在文章开头 在面试时我们经常会问到这样一道题 你刚刚说redis是单线程的,那你能不能告诉我它是如何基于单个线程完成指令接收与连接接入的? 这时候我们经常会得到沉默,所以对于这道题,笔者会直接通过3.0.0源码分析的角度来剖析一下redis单线程的设计与实现。 Hi,我是 sharkChili ,是个不断在硬核技术上作死的 java coder ,是 CSDN的博客专家 ,也是开源

基于Java医院药品交易系统详细设计和实现(源码+LW+调试文档+讲解等)

💗博主介绍:✌全网粉丝10W+,CSDN作者、博客专家、全栈领域优质创作者,博客之星、平台优质作者、专注于Java、小程序技术领域和毕业项目实战✌💗 🌟文末获取源码+数据库🌟 感兴趣的可以先收藏起来,还有大家在毕设选题,项目以及论文编写等相关问题都可以给我留言咨询,希望帮助更多的人  Java精品实战案例《600套》 2023-2025年最值得选择的Java毕业设计选题大全:1000个热

MySQL理解-下载-安装

MySQL理解: mysql:是一种关系型数据库管理系统。 下载: 进入官网MySQLhttps://www.mysql.com/  找到download 滑动到最下方:有一个开源社区版的链接地址: 然后就下载完成了 安装: 双击: 一直next 一直next这一步: 一直next到这里: 等待加载完成: 一直下一步到这里

PyTorch模型_trace实战:深入理解与应用

pytorch使用trace模型 1、使用trace生成torchscript模型2、使用trace的模型预测 1、使用trace生成torchscript模型 def save_trace(model, input, save_path):traced_script_model = torch.jit.trace(model, input)<

美容美发店营销版微信小程序源码

打造线上生意新篇章 一、引言:微信小程序,开启美容美发行业新纪元 在数字化时代,微信小程序以其便捷、高效的特点,成为了美容美发行业营销的新宠。本文将带您深入了解美容美发营销微信小程序,探讨其独特优势及如何助力商家实现业务增长。 二、微信小程序:美容美发行业的得力助手 拓宽客源渠道:微信小程序基于微信社交平台,轻松实现线上线下融合,帮助商家快速吸引潜在客户,拓宽客源渠道。 提升用户体验:

风水研究会官网源码系统-可展示自己的领域内容-商品售卖等

一款用于展示风水行业,周易测算行业,玄学行业的系统,并支持售卖自己的商品。 整洁大气,非常漂亮,前端内容均可通过后台修改。 大致功能: 支持前端内容通过后端自定义支持开启关闭会员功能,会员等级设置支持对接官方支付支持添加商品类支持添加虚拟下载类支持自定义其他类型字段支持生成虚拟激活卡支持采集其他站点文章支持对接收益广告支持文章评论支持积分功能支持推广功能更多功能,搭建完成自行体验吧! 原文

HTML5文旅文化旅游网站模板源码

文章目录 1.设计来源文旅宣传1.1 登录界面演示1.2 注册界面演示1.3 首页界面演示1.4 文旅之行界面演示1.5 文旅之行文章内容界面演示1.6 关于我们界面演示1.7 文旅博客界面演示1.8 文旅博客文章内容界面演示1.9 联系我们界面演示 2.效果和源码2.1 动态效果2.2 源代码2.3 源码目录 源码下载万套模板,程序开发,在线开发,在线沟通 作者:xcLeigh