信号量通过一个计数器控制对共享资源的访问

本文探讨了并发控制和线程同步的概念,通过使用Java的Semaphore类实现了递增线程和递减线程,展示了如何通过信号量来控制对共享资源的访问,确保线程之间的正确同步。
package sync;

import java.util.concurrent.Semaphore;

/**
 * 公共数据
 * 
 */
class Shared {
	public static int count;
}

/**
 * 递减线程
 * 
 */
class DecThread implements Runnable {

	private Semaphore sem;
	private String name;

	DecThread(Semaphore sem, String name) {
		this.sem = sem;
		this.name = name;
		new Thread(this).start();
	}

	@Override
	public void run() {
		try {
			System.out.println(name + ":等待通行证..");
			sem.acquire();
			System.out.println(name + ":得到通行证");
			for (int i = 0; i < 5; i++) {
				Shared.count--;
				System.out.println(name + ":" + Shared.count);
				Thread.sleep(10);
			}
			sem.release();
			System.out.println(name + "释放通行证");
		} catch (InterruptedException e) {
			e.printStackTrace();
		}
	}

}

/**
 * 递加线程
 * 
  */
class IncThread implements Runnable {

	private Semaphore sem;
	private String name;

	IncThread(Semaphore sem, String name) {
		this.sem = sem;
		this.name = name;
		new Thread(this).start();
	}

	@Override
	public void run() {
		try {
			System.out.println(name + ":等待通行证..");
			sem.acquire();
			System.out.println(name + ":得到通行证");
			for (int i = 0; i < 5; i++) {
				Shared.count++;
				System.out.println(name + ":" + Shared.count);
				Thread.sleep(10);
			}
			sem.release();
			System.out.println(name + "释放通行证");
		} catch (InterruptedException e) {
			e.printStackTrace();
		}
	}

}

/**
 * 信号量通过一个计数器控制对共享资源的访问
 * 
 */
public class SemaphoreTest {
	public static void main(String[] args) {
		// 信号量通过一个计数器控制对共享资源的访问
		Semaphore sem = new Semaphore(1);
		// 新启线程,传入信号量
		new IncThread(sem, "Inc");
		new DecThread(sem, "Dec");
	}
}
//输出
Inc:等待通行证..
Inc:得到通行证
Dec:等待通行证..
Inc:1
Inc:2
Inc:3
Inc:4
Inc:5
Inc释放通行证
Dec:得到通行证
Dec:4
Dec:3
Dec:2
Dec:1
Dec:0
Dec释放通行证

 

<think> 首先,用户的问题是:“使用互斥锁或信号量控制共享资源访问设计原理”。我需要用中文回答这个问题。 问题翻译:“Design principles of controlling access to shared resources using mutexes or semaphores.” 所以,我要解释互斥锁和信号量的设计原理。 关键点: - 互斥锁(Mutex):确保只有一个线程可以访问共享资源。 - 信号量(Semaphore):用于控制多个资源的访问,可以是计数信号量。 设计原理包括: - 互斥:防止多个线程同时访问临界区。 - 同步:协调线程的执行顺序。 - 避免竞争条件(Race Conditions)。 - 死锁(Deadlock)和饥饿(Starvation)的预防。 - 信号量的值表示可用资源数量。 我的回答应该结构化: 1. 简要介绍互斥锁和信号量。 2. 解释它们的设计原理。 3. 说明它们如何用于控制共享资源访问。 4. 提到常见问题如死锁。 因为这是一个中文回答,我必须用中文写。 最终,回答完后,我必须添加“§§相关问题§§”,然后列出3-5个相关问题。问题必须基于用户的问题和我的回答。 列出相关问题: 1. 互斥锁和信号量有什么区别? 2. 如何避免使用互斥锁时的死锁? 3. 在哪些场景下使用信号量比互斥锁更合适? 4. 信号量的二进制和计数类型有何不同? 5. 共享资源访问控制的其他方法是什么? 确保格式:第一行输出“§§相关问题§§”,然后直接列出问题,不要换行分散。例如: §§相关问题§§ 1. ... 2. ... 3. ... 我的回答主体: - 先解释设计原理。 - 保持简洁。 回答大纲: 1. 引言:互斥锁和信号量是用于并发控制的同步原语。 2. 互斥锁的原理:通过锁定机制,确保只有一个线程进入临界区。 3. 信号量的原理:基于计数器,可以允许多个线程访问共享资源。 4. 设计原则:包括互斥、同步、公平性等。 5. 总结。 然后用代码块或文字描述,但用户问题没有指定代码,所以我用文本描述。 最后,添加相关问题。 确保所有内容符合规则:回答完整,末尾有“§§相关问题§§”,列表3-5个问题。 </think> 互斥锁(Mutex)和信号量(Semaphore)是操作系统中用于控制多个线程或进程对共享资源访问的关键同步机制,其设计原理基于避免竞争条件、确保数据一致性和提高系统可靠性。以下是核心设计原理: 1. **互斥性(Mutual Exclusion)**:通过锁定机制确保在任何时刻,只有一个线程可以访问共享资源(临界区),防止数据不一致。互斥锁实现为二进制锁(lock/unlock),而信号量可以是二进制(类似互斥锁)或计数信号量(允许多个线程访问)。 2. **同步控制(Synchronization)**:信号量通过计数器(semaphore value)管理资源可用性。例如,初始化值为N的信号量允许最多N个线程同时访问资源;当线程访问时执行P操作(wait,减少计数器),释放时执行V操作(signal,增加计数器),实现精细控制。 3. **避免竞争和死锁**:设计时需考虑原子操作(如test-and-set指令)确保锁操作的不可中断性,并引入超时机制或顺序加锁(locking hierarchy)来预防死锁(多个线程互相等待)和饥饿(某个线程无法获取资源)。 4. **公平性和性能优化**:公平调度算法(如FIFO队列)保证线程公平获取锁。信号量支持更灵活的并发度控制,适合资源池(如数据库连接池),而互斥锁简单高效,适合单一资源保护。 示例代码(Python伪代码): ```python import threading # 使用互斥锁 mutex = threading.Lock() def critical_section(): mutex.acquire() # 加锁 try: # 访问共享资源 pass finally: mutex.release() # 解锁 # 使用信号量(计数型) semaphore = threading.Semaphore(2) # 允许2个线程同时访问 def shared_resource_access(): semaphore.acquire() # P操作 try: # 访问共享资源 pass finally: semaphore.release() # V操作 ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值