semaphore本身作为一种并发访问控制机制，并不具备线程安全或非线程安全的属性，它充当着资源的“门卫”。当其许可数大于1时，允许多个线程同时访问受保护的资源。文章将深入探讨semaphore的工作原理，区分其与被保护资源线程安全性的关系，并指导如何在多许可semaphore场景下有效保障共享数据的完整性，避免潜在的并发问题。
在并发编程中，Semaphore（信号量）是一种常用的同步工具，用于控制对共享资源的访问数量。它本质上维护着一个许可计数器。当线程需要访问资源时，它会尝试获取一个许可；如果许可可用，计数器减一，线程获得访问权；如果许可不可用，线程将被阻塞，直到有其他线程释放许可。当线程完成对资源的访问后，它会释放许可，计数器加一。
理解Semaphore的关键在于认识到它是一个“门控”机制，而不是它所保护的“资源”本身。因此，我们不能简单地将Semaphore标记为线程安全或非线程安全。Semaphore自身的设计是线程安全的，即其内部对许可计数器的增减操作是原子性的，无需外部额外同步。然而，这并不意味着被Semaphore保护的资源在任何许可数量下都是线程安全的。资源的线程安全性取决于其自身的设计以及多线程访问时的并发行为。
当Semaphore的许可数（permits）被初始化为1时，它被称为二元信号量（Binary Semaphore），其行为类似于一个互斥锁（Mutex）。在这种情况下，Semaphore确保在任何给定时刻，只有一个线程能够获取许可并访问受保护的代码区域或资源。
由于二元信号量强制了对资源的独占访问，因此，如果共享资源在此独占区域内进行操作，通常无需额外考虑该资源自身的线程安全性问题。因为只有一个线程在操作它，不会出现其他线程同时修改导致的数据不一致问题。例如，如果一个非线程安全的计数器被一个二元信号量保护，那么在信号量的acquire()和release()之间，计数器的操作是安全的。
当Semaphore的许可数大于1时（例如，new Semaphore(2)），它被称为计数信号量（Counting Semaphore）。这意味着在任何给定时刻，最多可以有指定数量的线程同时获取许可，并进入受保护的代码区域。
在这种多许可的场景下，一个关键的并发挑战浮现出来：即使线程成功获取了Semaphore的许可，也可能有其他同样获取了许可的线程同时访问同一个共享资源。 这就引入了潜在的竞态条件。如果被多个线程同时访问的共享资源（例如，一个普通的ArrayList或一个非线程安全的自定义对象）本身不是线程安全的，那么即使有Semaphore的保护，数据一致性仍然可能遭到破坏。Semaphore只是限制了同时访问资源的线程数量，但并没有解决这些线程内部对共享资源进行并发修改时的同步问题。
同步（Synchronization）与同时访问（Simultaneous Access）的区别：
因此，当Semaphore的许可数大于1时，它允许“同时访问”，但如果这些同时访问的线程需要修改非线程安全的共享资源，就需要额外的“同步”措施。
在使用计数信号量时，必须明确被保护资源的线程安全性。
如果资源本身是线程安全的：例如，java.util.concurrent.ConcurrentHashMap或一个不可变对象，那么即使多个线程通过Semaphore同时访问它，也不会有数据一致性问题。在这种情况下，Semaphore主要用于限制并发度，例如控制数据库连接池的大小。
如果资源是非线程安全的：例如，一个普通的ArrayList、HashMap或一个自定义的包含可变状态的类，那么仅仅使用计数信号量是不够的。在Semaphore的acquire()和release()之间，对该非线程安全资源进行修改的代码块，仍需要使用更细粒度的同步机制（如synchronized块或ReentrantLock）来确保同一时刻只有一个线程进行修改。
示例：使用计数信号量保护非线程安全资源
假设我们有一个非线程安全的计数器UnsafeCounter，我们希望允许多个线程同时访问它，但对计数器本身的增量操作必须是原子的。
import java.util.concurrent.Semaphore;
// 这是一个非线程安全的资源类
class UnsafeCounter {
private int count = 0;
public void increment() {
// count++ 不是原子操作，包含读取、修改、写入三个步骤
// 在多线程环境下可能导致数据丢失
count++;
}
public int getCount() {
return count;
}
}
// 使用Semaphore和内部同步来保护UnsafeCounter
class ProtectedResourceExample {
private final Semaphore semaphore;
private final UnsafeCounter counter; // 假设这是需要保护的非线程安全资源
private final Object internalLock = new Object(); // 用于保护UnsafeCounter内部操作的锁
public ProtectedResourceExample(int permits) {
this.semaphore = new Semaphore(permits);
this.counter = new UnsafeCounter();
}
public void performSafeIncrement() throws InterruptedException {
semaphore.acquire(); // 获取Semaphore许可，允许最多permits个线程进入
try {
// 即使获取了Semaphore许可，如果permits > 1，仍可能有其他线程同时在此执行
// 因此，如果counter本身是非线程安全的，需要额外的同步来保护其内部状态
synchronized (internalLock) { // 使用内部锁保护对非线程安全资源的修改
counter.increment();
System.out.println(Thread.currentThread().getName() + " incremented counter to: " + counter.getCount());
}
} finally {
semaphore.release(); // 确保释放许可
}
}
public int getFinalCount() {
return counter.getCount();
}
public static void main(String[] args) throws InterruptedException {
final int NUM_THREADS = 10;
final int SEMAPHORE_PERMITS = 3; // 允许3个线程同时访问
final ProtectedResourceExample example = new ProtectedResourceExample(SEMAPHORE_PERMITS);
Thread[] threads = new Thread[NUM_THREADS];
for (int i = 0; i < NUM_THREADS; i++) {
threads[i] = new Thread(() -> {
try {
example.performSafeIncrement();
} catch (InterruptedException e) {
Thread.currentThread().interrupt();
}
}, "Thread-" + i);
threads[i].start();
}
for (Thread t : threads) {
t.join();
}
// 最终计数应为NUM_THREADS
System.out.println("Final counter value: " + example.getFinalCount());
}
}在上述示例中，Semaphore限制了最多3个线程可以同时进入performSafeIncrement方法。然而，由于UnsafeCounter的increment()方法本身是非线程安全的，即使有Semaphore，这3个线程也可能同时尝试修改count，导致错误。因此，我们引入了一个synchronized (internalLock)块来确保对counter.increment()的调用是原子性的，从而保障了最终结果的正确性。
通过清晰地区分Semaphore的角色与被保护资源的线程安全性，并采取相应的同步策略，开发者可以有效地利用Semaphore来管理并发度，同时确保共享数据的完整性和一致性。
以上就是Semaphore与资源线程安全：多许可场景下的并发控制解析的详细内容，更多请关注php中文网其它相关文章！
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移，垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是，许多工具可以让 Windows 保持平稳运行。
广告Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号
716
收藏
