0

0

信号量与线程安全:深入理解并发访问控制

霞舞

霞舞

发布时间:2025-10-22 13:23:05

|

997人浏览过

|

来源于php中文网

原创

信号量与线程安全:深入理解并发访问控制

信号量本身并非线程安全或非线程安全的概念,它是一种并发访问控制机制。当信号量的许可数量大于1时,允许多个线程同时访问共享资源。此时,资源的线程安全性至关重要,若资源本身不具备线程安全特性,则需额外同步措施以避免数据竞争,确保程序正确性。

在多线程编程中,我们经常需要控制对共享资源的访问。信号量(Semaphore)作为一种强大的同步原语,扮演着“门卫”的角色,它不直接声明资源是否线程安全,而是管理有多少个线程可以同时进入临界区,从而间接影响资源的并发访问模式。

信号量:并发访问的“门卫”

信号量本质上维护着一个许可计数器。当一个线程需要访问受保护的资源时,它会尝试获取一个许可(acquire()操作)。如果许可计数器大于零,线程成功获取许可,计数器减一,线程继续执行。如果许可计数器为零,线程将被阻塞,直到有其他线程释放许可(release()操作)为止。当线程完成对资源的访问后,它必须释放许可,计数器加一。

信号量的核心作用在于限制同时访问某个资源的线程数量。它不负责保护资源内部的数据一致性,而是提供了一种机制来控制并发级别。

二进制信号量(许可数 = 1)

当信号量的许可数被初始化为1时,它被称为二进制信号量。在这种配置下,信号量的行为与互斥锁(Mutex)非常相似。它确保在任何给定时刻,只有一个线程能够获取许可并访问受保护的资源。

在这种严格的串行访问模式下,即使被访问的共享资源本身不具备内部的线程安全机制(例如,一个普通的非同步集合或对象),通过二进制信号量的保护,实际上也实现了对该资源的线程安全访问,因为并发冲突被完全避免了。因此,对于只需要独占访问的场景,二进制信号量是一个有效的选择。

计数信号量(许可数 > 1)

当信号量的许可数大于1时,它被称为计数信号量。这意味着信号量允许指定数量的线程同时访问共享资源。例如,如果信号量初始化为3,则最多允许3个线程同时执行临界区代码。

在这种情况下,对资源线程安全性的考量变得至关重要:

  1. 资源本身线程安全: 如果被访问的共享资源本身就是线程安全的(例如,Java中的ConcurrentHashMap,或者一个设计为不可变的对象,或者其内部已经通过synchronized关键字或ReentrantLock等机制做好了同步),那么计数信号量可以安全地用于控制并发访问。在这种情况下,信号量只是限制了同时访问的线程数量,而资源的内部同步机制确保了数据的一致性。

    PHP 网络编程技术与实例(曹衍龙)
    PHP 网络编程技术与实例(曹衍龙)

    PHP网络编程技术详解由浅入深,全面、系统地介绍了PHP开发技术,并提供了大量实例,供读者实战演练。另外,笔者专门为本书录制了相应的配套教学视频,以帮助读者更好地学习本书内容。这些视频和书中的实例源代码一起收录于配书光盘中。本书共分4篇。第1篇是PHP准备篇,介绍了PHP的优势、开发环境及安装;第2篇是PHP基础篇,介绍了PHP中的常量与变量、运算符与表达式、流程控制以及函数;第3篇是进阶篇,介绍

    下载
  2. 资源本身非线程安全: 如果被访问的共享资源不是线程安全的(例如,一个普通的ArrayList或一个包含可变状态且未加锁的对象),那么即使通过计数信号量限制了同时访问的线程数量,仍然可能发生数据竞争(Race Condition)。当多个线程同时修改非线程安全资源时,可能会导致数据损坏、不一致或不可预测的行为。在这种情况下,仅仅使用计数信号量是不够的,你需要在资源内部或访问资源的关键代码段中,额外实现同步机制(如使用synchronized关键字、ReentrantLock、原子变量等)来保护非线程安全的部分。

同步与并发访问:概念辨析

理解信号量时,区分“同步”和“并发访问”的概念至关重要:

  • 并发访问:指的是多个线程在时间上重叠地执行,可以同时访问共享资源。信号量就是用来管理这种并发访问的“数量”。
  • 同步:指的是确保在并发访问下,数据的一致性和操作的正确性。这通常通过互斥锁、条件变量、原子操作等机制来实现,以避免数据竞争和死锁。

计数信号量允许并发访问,但它本身并不提供“同步”的功能来保证被访问资源的内部数据一致性。它只是限制了同时访问的线程数量。因此,当计数信号量允许并发访问时,资源的“同步”责任就落在了资源本身或开发者对资源访问的额外保护上。

示例代码

以下Java示例展示了计数信号量与非线程安全资源结合使用时可能出现的问题,以及如何通过同步来解决:

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

// 这是一个非线程安全的共享资源
class SharedResource {
    private int count = 0;

    public void increment() {
        // 模拟耗时操作,增加出现竞争的概率
        int temp = count;
        try {
            Thread.sleep(10); 
        } catch (InterruptedException e) {
            Thread.currentThread().interrupt();
        }
        count = temp + 1;
        System.out.println(Thread.currentThread().getName() + " incremented count to: " + count);
    }

    public int getCount() {
        return count;
    }
}

public class SemaphoreConcurrencyExample {
    public static void main(String[] args) throws InterruptedException {
        final SharedResource resource = new SharedResource();
        // 允许2个线程同时访问
        final Semaphore semaphore = new Semaphore(2); 

        ExecutorService executor = Executors.newFixedThreadPool(5);

        System.out.println("--- 场景一:非线程安全资源与计数信号量 ---");
        for (int i = 0; i < 10; i++) {
            executor.submit(() -> {
                try {
                    semaphore.acquire(); // 获取许可
                    resource.increment(); // 访问非线程安全的共享资源
                } catch (InterruptedException e) {
                    Thread.currentThread().interrupt();
                } finally {
                    semaphore.release(); // 释放许可
                }
            });
        }

        executor.shutdown();
        executor.awaitTermination(1, TimeUnit.SECONDS); // 等待任务完成
        System.out.println("最终计数 (非线程安全): " + resource.getCount()); 
        // 预期结果是10,但由于SharedResource非线程安全,实际结果可能小于10

        // 重置并演示如何通过同步解决
        System.out.println("\n--- 场景二:线程安全资源(通过同步)与计数信号量 ---");
        final SynchronizedSharedResource synchronizedResource = new SynchronizedSharedResource();
        final Semaphore synchronizedSemaphore = new Semaphore(2); // 仍然允许2个线程同时访问
        ExecutorService synchronizedExecutor = Executors.newFixedThreadPool(5);

        for (int i = 0; i < 10; i++) {
            synchronizedExecutor.submit(() -> {
                try {
                    synchronizedSemaphore.acquire();
                    synchronizedResource.increment(); // 访问线程安全的共享资源
                } catch (InterruptedException e) {
                    Thread.currentThread().interrupt();
                } finally {
                    synchronizedSemaphore.release();
                }
            });
        }

        synchronizedExecutor.shutdown();
        synchronizedExecutor.awaitTermination(1, TimeUnit.SECONDS);
        System.out.println("最终计数 (线程安全): " + synchronizedResource.getCount());
        // 预期结果是10,且通常能得到10
    }
}

// 这是一个线程安全的共享资源(通过 synchronized 关键字)
class SynchronizedSharedResource {
    private int count = 0;

    public synchronized void increment() { // 使用 synchronized 关键字保护
        int temp = count;
        try {
            Thread.sleep(10); 
        } catch (InterruptedException e) {
            Thread.currentThread().interrupt();
        }
        count = temp + 1;
        System.out.println(Thread.currentThread().getName() + " incremented count to: " + count);
    }

    public synchronized int getCount() { // 读取操作也需要同步,以保证可见性
        return count;
    }
}

在上述SemaphoreConcurrencyExample中:

  • 场景一展示了SharedResource是非线程安全的。即使我们使用许可数为2的信号量限制了并发访问,由于increment()方法内部没有同步机制,当两个线程同时执行temp = count;和count = temp + 1;时,仍然可能发生数据丢失,导致最终count的值小于10。
  • 场景二中,SynchronizedSharedResource通过在increment()和getCount()方法上添加synchronized关键字,使其成为线程安全的。在这种情况下,即使信号量允许两个线程同时进入临界区,但由于increment()方法内部的synchronized锁,实际上同一时间只有一个线程能够修改count变量,从而保证了数据的一致性,最终count的值将是正确的10。

注意事项与总结

  1. 信号量管理并发数量,不保证资源线程安全: 信号量控制的是同时访问某段代码或资源的线程数量。当许可数大于1时,它并不能自动使被访问的共享资源变得线程安全。
  2. 资源本身的责任: 当使用计数信号量允许并发访问时,务必确保被访问的共享资源本身是线程安全的,或者在访问这些资源的临界区内部,已通过其他同步机制(如synchronized、Lock、原子变量等)妥善处理了数据竞争问题。
  3. 二进制信号量与互斥锁: 许可数为1的信号量可以实现互斥锁的功能,确保独占访问。
  4. 正确设计并发: 在设计并发系统时,需要综合考虑信号量的作用(限制并发数)和资源本身的线程安全特性(保证数据一致性),两者协同工作才能构建出健壮、高效且正确的并发应用。

总而言之,信号量是控制并发访问的有力工具,但它不是万能的。理解其工作原理和适用场景,并结合资源的线程安全特性进行设计,是编写高质量并发程序的关键。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
counta和count的区别
counta和count的区别

Count函数用于计算指定范围内数字的个数,而CountA函数用于计算指定范围内非空单元格的个数。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

198

2023.11.20

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

503

2023.08.10

Python 多线程与异步编程实战
Python 多线程与异步编程实战

本专题系统讲解 Python 多线程与异步编程的核心概念与实战技巧,包括 threading 模块基础、线程同步机制、GIL 原理、asyncio 异步任务管理、协程与事件循环、任务调度与异常处理。通过实战示例,帮助学习者掌握 如何构建高性能、多任务并发的 Python 应用。

166

2025.12.24

java多线程相关教程合集
java多线程相关教程合集

本专题整合了java多线程相关教程,阅读专题下面的文章了解更多详细内容。

14

2026.01.21

C++多线程相关合集
C++多线程相关合集

本专题整合了C++多线程相关教程,阅读专题下面的的文章了解更多详细内容。

15

2026.01.21

俄罗斯Yandex引擎入口
俄罗斯Yandex引擎入口

2026年俄罗斯Yandex搜索引擎最新入口汇总,涵盖免登录、多语言支持、无广告视频播放及本地化服务等核心功能。阅读专题下面的文章了解更多详细内容。

167

2026.01.28

包子漫画在线官方入口大全
包子漫画在线官方入口大全

本合集汇总了包子漫画2026最新官方在线观看入口,涵盖备用域名、正版无广告链接及多端适配地址,助你畅享12700+高清漫画资源。阅读专题下面的文章了解更多详细内容。

35

2026.01.28

ao3中文版官网地址大全
ao3中文版官网地址大全

AO3最新中文版官网入口合集,汇总2026年主站及国内优化镜像链接,支持简体中文界面、无广告阅读与多设备同步。阅读专题下面的文章了解更多详细内容。

74

2026.01.28

php怎么写接口教程
php怎么写接口教程

本合集涵盖PHP接口开发基础、RESTful API设计、数据交互与安全处理等实用教程,助你快速掌握PHP接口编写技巧。阅读专题下面的文章了解更多详细内容。

2

2026.01.28

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Kotlin 教程
Kotlin 教程

共23课时 | 3万人学习

C# 教程
C# 教程

共94课时 | 7.8万人学习

Java 教程
Java 教程

共578课时 | 52.6万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号