熄灯问题 python

原创

mob649e815f494b 2024-10-19 05:46:41 ©著作权

©著作权归作者所有：来自51CTO博客作者mob649e815f494b的原创作品，请联系作者获取转载授权，否则将追究法律责任

熄灯问题解析与Python实现

引言

“熄灯问题”是一个经典的同步和并发问题，常用于学习计算机科学中的多线程和进程间通信的基本概念。该问题的背景通常涉及一组进程或线程，这些进程需要通过协作来控制一个共享资源的访问。在这个例子中，我们将通过一个“熄灯”的场景来探讨这个问题，并提供Python实现的示例代码。

问题描述

在一个会议室中，有多位与会者。当某位与会者想要开始发言时，他需要确保房间的灯是灭的。可以将灯的状态视为一个共享资源，与会者需要通过某种方式来控制灯的状态。熄灯问题的主要挑战在于确保不会出现冲突的情况（即多个与会者同时尝试发言），从而造成“灯未熄灭”的问题。

状态图

为了更好地理解熄灯问题的状态转移，我们可以使用状态图来表示不同状态之间的转换关系。以下是熄灯问题的状态图，展示了灯的状态（开或关）以及与会者的行为（请求发言、发言结束）：

stateDiagram
    [*] --> 灯关
    灯关 --> 请求发言: 发出请求
    请求发言 --> 灯开: 灯目前开
    请求发言 --> 灯关: 灯目前关
    灯开 --> 发言中: 灯开，开始发言
    发言中 --> 灯关: 发言结束
    灯关 --> [*]

在这个图中，状态转移表明与会者如何通过彼此的行为导致灯的状态变化。接下来，我们将讨论如何使用Python来实现这一过程。

Python实现

为了实现熄灯问题，我们将使用Python的线程库（threading）和锁（Lock）来确保多线程之间的互斥访问。

代码示例

以下是一个简单的熄灯问题的实现：

import threading
import time
import random

class MeetingRoom:
    def __init__(self):
        self.lock = threading.Lock()
        self.light_on = False
        self.speakers = []

    def request_to_speak(self, name):
        print(f"{name} 请求发言")
        with self.lock:  # 进入临界区
            while self.light_on:  # 等待灯熄灭
                print(f"{name} 等待灯熄灭...")
                time.sleep(random.uniform(0.5, 1.5))  # 模拟等待时间
            print(f"{name} 发言中, 灯已熄灭")
            self.light_on = True  # 灯亮起
            time.sleep(2)  # 模拟发言时间
            self.light_on = False  # 发言结束，灯熄灭
            print(f"{name} 发言结束, 灯已熄灭")

    def add_speaker(self, name):
        self.speakers.append(name)

def speaker_thread(meeting_room, name):
    meeting_room.add_speaker(name)
    meeting_room.request_to_speak(name)

if __name__ == "__main__":
    meeting_room = MeetingRoom()
    threads = []
    for i in range(5):
        t = threading.Thread(target=speaker_thread, args=(meeting_room, f"发言者{i+1}"))
        threads.append(t)
        t.start()

    for t in threads:
        t.join()

代码解析

类定义：
- MeetingRoom类用于管理会议室状态和灯的控制。
- lock用于控制线程之间的互斥访问，确保只有一个与会者可以在同一时间发言。
请求发言的方法：
- request_to_speak方法用于处理与会者请求发言的逻辑。如果灯是亮的，线程会等待，并在循环中检查灯的状态。
- 舞台阶段1：与会者请求发言，灯Ω关，进入发言状态，用time.sleep模拟发言时间。
- 舞台阶段2：发言结束，灯再次熄灭。
多线程创建与启动：
- 主函数创建多个线程，模拟不同与会者发言的场景，演示了线程如何通过锁控制是否可以发言。