OS_Lab6

并发与锁机制

实验概述

使用硬件支持的原子指令来实现自旋锁SpinLock => 可以用来实现线程互斥
然后使用SpinLock来实现信号量，最后使用SpinLock和信号量来给出两个实现线程互斥的解决方案。

ddl：5.18

实验任务：

Assignment 1 代码复现题

1.1 代码复现

在本章中，我们已经实现了自旋锁和信号量机制。现在，同学们需要复现教程中的自旋锁和信号量的实现方法，分别使用二者解决一个同步互斥问题，如消失的芝士汉堡问题。最后，将结果截图并说说你是怎么做的。

SpinLock复现

复现过程：
首先实现了SpinLock：

class SpinLock
{
private:
    uint32 bolt;
public:
    SpinLock();
    void initialize();
    void lock();
    void unlock();
};

具体定义：


SpinLock::SpinLock()
{
    initialize();
}

void SpinLock::initialize()
{
    bolt = 0;
}

void SpinLock::lock()
{
    uint32 key = 1;

    do
    {
        asm_atomic_exchange(&key, &bolt);
        //printf("pid: %d\n", programManager.running->pid);
    } while (key);
}

void SpinLock::unlock()
{
    bolt = 0;
}

线程安排：可以看到在进入a_mother线程时上锁，保证 a_naughty_boy 线程无法同时访问临界区。然后在结束时再释放锁。

void a_mother(void *arg)
{
    aLock.lock();
    int delay = 0;

    printf("mother: start to make cheese burger, there are %d cheese burger now\n", cheese_burger);
    // make 10 cheese_burger
    cheese_burger += 10;

    printf("mother: oh, I have to hang clothes out.\n");
    // hanging clothes out
    delay = 0xfffffff;
    while (delay)
        --delay;
    // done

    printf("mother: Oh, Jesus! There are %d cheese burgers\n", cheese_burger);
    aLock.unlock();
}

void a_naughty_boy(void *arg)
{
    aLock.lock();
    printf("boy   : Look what I found!\n");
    // eat all cheese_burgers out secretly
    cheese_burger -= 10;
    // run away as fast as possible
    aLock.unlock();
}

使用SpinLock复现结果:

信号量复现

首先声明信号量：

class Semaphore
{
private:
    uint32 counter;
    List waiting;
    SpinLock semLock;

public:
    Semaphore();
    void initialize(uint32 counter);
    void P();
    void V();
};

用counter来表示芝士汉堡的数量。调用P操作时会检查芝士汉堡数量是否足够，如果足够就会分配给请求的单元，如果不够就将请求这个资源的线程挂载到芝士汉堡信号量的阻塞队列中，直到有资源被释放，线程被唤醒。

调用V操作时会释放芝士汉堡资源，同时检查阻塞队列中是否有线程存在，如果有就去唤醒。

具体定义：

Semaphore::Semaphore()
{
    initialize(0);
}

void Semaphore::initialize(uint32 counter)
{
    this->counter = counter;
    semLock.initialize();
    waiting.initialize();
}

void Semaphore::P()
{
    PCB *cur = nullptr;

    while (true)
    {
        semLock.lock();
        if (counter > 0)
        {
            --counter;
            semLock.unlock();
            return;
        }

        cur = programManager.running;
        waiting.push_back(&(cur->tagInGeneralList));
        cur->status = ProgramStatus::BLOCKED;

        semLock.unlock();
        programManager.schedule();
    }
}

void Semaphore::V()
{
    semLock.lock();
    ++counter;
    if (waiting.size())
    {
        PCB *program = ListItem2PCB(waiting.front(), tagInGeneralList);
        waiting.pop_front();
        semLock.unlock();
        programManager.MESA_WakeUp(program);
    }
    else
    {
        semLock.unlock();
    }
}

线程设置：可以看到mother线程在最开始的时候请求访问临界区，然后在执行完之后再释放资源，这样子调皮小孩就没办法同时访问临界资源了。

void a_mother(void *arg)
{
    semaphore.P();
    int delay = 0;

    printf("mother: start to make cheese burger, there are %d cheese burger now\n", cheese_burger);
    // make 10 cheese_burger
    cheese_burger += 10;

    printf("mother: oh, I have to hang clothes out.\n");
    // hanging clothes out
    delay = 0xfffffff;
    while (delay)
        --delay;
    // done

    printf("mother: Oh, Jesus! There are %d cheese burgers\n", cheese_burger);
    semaphore.V();
}

void a_naughty_boy(void *arg)
{
    semaphore.P();
    printf("boy   : Look what I found!\n");
    // eat all cheese_burgers out secretly
    cheese_burger -= 10;
    // run away as fast as possible
    semaphore.V();
}

使用信号量复现运行结果：

1.2 锁机制的实现

我们使用了原子指令xchg来实现自旋锁。但是，这种方法并不是唯一的。例如，x86指令中提供了另外一个原子指令bts和lock前缀等，这些指令也可以用来实现锁机制。现在，同学们需要结合自己所学的知识，实现一个与本教程的实现方式不完全相同的锁机制。最后，测试你实现的锁机制，将结果截图并说说你是怎么做的。

提示：在asm_utils.asm中实现你自己的原子操作your_asm_atomic_exchange，并在sync.cpp中做相应修改。

BTS指令：用于测试并设置指定位置的位值为1
指令：BTS dest,src

LOCK前缀：指令前缀，用于在多处理器环境中以原子方式执行
语法：LOCK instruction

工作原理：
1. 当指令执行时，处理器会锁定系统总线或使用缓存一致性机制
2. 防止其他处理器在当前指令完成前访问同一内存位置
3. 确保指令的操作是原子的，不会被其他处理器的操作中断
适用指令：只能用于某些特定指令，如ADD, ADC, AND, BTC, BTR, BTS, CMPXCHG, DEC, INC, NEG, NOT, OR, SBB, SUB, XOR等

; void my_asm_atomic_exchange(uint32 *register, uint32 *memeory);
my_asm_atomic_exchange:
    push ebp
    mov ebp, esp
    pushad  ; 保存所有寄存器状态

    mov ebx, [ebp + 4 * 2] ; register
    mov ebx, [ebp + 4 * 3] ; memory
    
    mov ebx, [esi]         ; 获取register指向的值到ebx
    
exchange_loop:
    mov eax, [edi]         ; 获取当前内存值到eax
    
    ; 使用lock cmpxchg原子地比较并交换
    lock cmpxchg [edi], ebx  ; 如果[edi]==eax，则[edi]=ebx，否则eax=[edi]
    
    ; 如果交换失败(ZF=0)，eax已经包含了最新的内存值
    jnz exchange_loop      ; 如果交换失败，则重试
    
    ; 此时eax包含原始内存值，将其存回register指针
    mov [esi], eax
    
    popad
    pop ebp
    ret

执行结果：

Assignment 2 生产者-消费者问题

2.1 Race Condition

同学们可以任取一个生产者-消费者问题，然后在lab6的代码环境下创建多个线程来模拟这个问题。在2.1中，我们不使用任何同步互斥的工具。因此，这些线程可能会产生冲突，进而无法产生我们预期的结果。同学们需要将这个产生错误的场景呈现出来，将结果截图并说说你是怎么做的。

var items = 0, space = 10, mutex = 1;
var in = 0, out = 0;
item buf[10] = { NULL };

producer {
    while( true ) {
        wait( space );  // 等待缓冲区有空闲位置， 在使用PV操作时，条件变量需要在互斥锁之前
        wait( mutex );  // 保证在product时不会有其他线程访问缓冲区

        // product
        buf.push( item, in );  // 将新资源放到buf[in]位置 
        in = ( in + 1 ) % 10;
        
        signal( mutex );  // 唤醒的顺序可以不同
        signal( items );  // 通知consumer缓冲区有资源可以取走
    }
}

consumer {
    while( true ) {
        wait( items );  // 等待缓冲区有资源可以使用
        wait( mutex );  // 保证在consume时不会有其他线程访问缓冲区

        // consume
        buf.pop( out );  // 将buf[out]位置的的资源取走
        out = ( out + 1 ) % 10;

        signal( mutex );  // 唤醒的顺序可以不同
        signal( space );  // 通知缓冲区有空闲位置
    }
}

设计一个生产者消费者问题，假设有一个生产者和一个消费者，我们让生产者先生产一个资源，然后再消费者去获取资源。我发现在生产者把资源生产出来之前，消费者就去取了，还对外声称拿到了资源！

修改了一下:

void producer(void *arg)
{
    int delay = 0;

    int before = resources;
    delay = 0xfffffff; // 模拟耗时操作
    while (delay--)
        ;

    resources = before + 1;
    printf("[Producer] Produced 1, resources = %d\n", resources);
}

void consumer(void *arg)
{
    int delay = 0;

    if (resources <= 0)
    {
        printf("[Consumer] No resources to consume! resources = %d\n", resources);
        return;
    }

    int before = resources;
    delay = 0xfffffff; // 模拟耗时操作
    while (delay--)
        ;

    resources = before - 1;
    printf("[Consumer] Consumed 1, resources = %d\n", resources);
}

void first_thread(void *arg)
{
    // 清屏
    stdio.moveCursor(0);
    for (int i = 0; i < 25 * 80; ++i)
        stdio.print(' ');
    stdio.moveCursor(0);

    resources = 0;

    // 创建多个生产者和消费者线程
    programManager.executeThread(producer, nullptr, "producer1", 1);
    programManager.executeThread(consumer, nullptr, "consumer1", 1);
    programManager.executeThread(consumer, nullptr, "consumer2", 1);
    programManager.executeThread(producer, nullptr, "producer2", 1);
    programManager.executeThread(consumer, nullptr, "consumer3", 1);

    asm_halt();
}

2.2 信号量解决方法

使用信号量解决上述你模拟的生产者-消费者问题。将结果截图并说说你是怎么做的。

提示：

①经典的生产者-消费者问题有读者-写者问题、有界缓冲区问题等，可任取一个来模拟。

②模拟生产者-消费者问题的步骤：1、在代码中创建多个线程，分别代表生产者和消费者。2、编写生产者和消费者的线程函数。在这些函数中，根据问题的具体场景实现生产数据和消费数据的逻辑。3、创建并启动生产者和消费者线程。观察线程之间的交互并记录结果。4、展示没有使用同步互斥工具（如信号量）时，线程之间可能产生的冲突。5、使用信号量解决同步问题，并展示解决后的结果。

③样例视频模拟了读者-写者问题的场景：

//模拟读错误
//创建线程读第1-4条记录
programManager.executeThread(readFirstQuote, nullptr, "second thread", 1);
programManager.executeThread(readSecondQuote, nullptr, "third thread", 1);
programManager.executeThread(readThirdQuote, nullptr, "fourth thread", 1);
programManager.executeThread(readFourthQuote, nullptr, "fifth thread", 1);
//创建线程，修改第2条和第4条记录为较长内容
//由于写时间较长，写线程运行时间大于RRschedule的time quantum
programManager.executeThread(writeSecondQuote, nullptr, "sixth thread", 1);
programManager.executeThread(writeFourthQuote, nullptr, "seventh thread", 1);
//创建线程读第2条和第4条记录
//发现没有读到修改后的项，而是输出了初始项
programManager.executeThread(readSecondQuote, nullptr, "eighth thread", 1);
programManager.executeThread(readFourthQuote, nullptr, "ninth thread", 1);

而使用信号量后，可以读到修改后的项。

使用信号量之后，生产者消费者问题得到了很好的解决

Assignment 3 哲学家就餐问题

假设有 5 个哲学家，他们的生活只是思考和吃饭。这些哲学家共用一个圆桌，每位都有一把椅子。在桌子中央有一碗米饭，在桌子上放着 5 根筷子。

哲学家就餐问题

当一位哲学家思考时，他与其他同事不交流。时而，他会感到饥饿，并试图拿起与他相近的两根筷子（筷子在他和他的左或右邻居之间）。一个哲学家一次只能拿起一根筷子。显然，他不能从其他哲学家手里拿走筷子。当一个饥饿的哲学家同时拥有两根筷子时，他就能吃。在吃完后，他会放下两根筷子，并开始思考。

3.1 初步解决方法

同学们需要在本教程的代码环境下，创建多个线程来模拟哲学家就餐的场景。然后，同学们需要结合信号量来实现理论课教材中给出的关于哲学家就餐问题的方法。最后，将结果截图并说说你是怎么做的。

该方案可能导致死锁，请举例出现死锁的场景和原因，并提出一种解决死锁的方案。

让我们来看一下运行情况：
启动：

过了一段时间后，发现谁也拿不起来了，出现了死锁！

不出现死锁：

3.2 死锁解决方法（选做）

虽然3.1的解决方案保证两个邻居不能同时进食，但是它可能导致死锁。现在，同学们需要想办法将死锁的场景演示出来。提出一种解决死锁的方法并实现。最后，将结果截图并说说你是怎么做的。

说明：

①为演示死锁场景，可以在哲学家进食的线程中添加等待时间，使哲学家们的操作更接近于同时进行。

②样例视频演示了等待时间较少——正常、等待时间较长——出现死锁。
通过设置同一时间只允许4个人就餐来避免死锁。

Semaphore semaphore[5];
// 限制同时就餐人数的信号量
Semaphore table;

void philosopher(int i)
{
    int meals = 0; // 用于计数和限制用餐次数，避免无限循环
    do
    {
        printf("philosopher %d is thinking\n", i);
        
       //同时只能有4人上桌
        printf("philosopher %d tries to sit at the table\n", i);
        table.P();
        printf("philosopher %d sits at the table\n", i);
        
        printf("philosopher %d tries to pick up left chopstick\n", i);
        semaphore[i].P();
        printf("philosopher %d picks up left chopstick\n", i);
        
        // thinking
        int delay = 0x1FFFFFF;
        while (delay) --delay;
        
        printf("philosopher %d tries to pick up right chopstick\n", i);
        semaphore[(i + 1) % 5].P();
        printf("philosopher %d picks up right chopstick\n", i);
        
        // 进餐
        printf("philosopher %d is eating...\n", i);
        delay = 0x3FFFFFF;
        while (delay) --delay;
        
        // 放下筷子
        semaphore[i].V();
        printf("philosopher %d puts down left chopstick\n", i);
        
        semaphore[(i + 1) % 5].V();
        printf("philosopher %d puts down right chopstick\n", i);
        
        // 离开餐桌，让其他哲学家有机会
        table.V();
        printf("philosopher %d leaves the table\n", i);
        
        meals++; // 增加用餐计数
    } while (meals < 3); // 限制每个哲学家用餐3次
    
    printf("philosopher %d finish eating\n", i);
}

知识学习

消失的芝士汉堡

void a_mother(void *arg)
{
    int delay = 0;

    printf("mother: start to make cheese burger, there are %d cheese burger now\n", cheese_burger);
    // make 10 cheese_burger
    cheese_burger += 10;

    printf("mother: oh, I have to hang clothes out.\n");
    // hanging clothes out
    delay = 0xfffffff;
    while (delay)
        --delay;
    // done

    printf("mother: Oh, Jesus! There are %d cheese burgers\n", cheese_burger);
}

void a_naughty_boy(void *arg)
{
    printf("boy   : Look what I found!\n");
    // eat all cheese_burgers out secretly
    cheese_burger -= 10;
    // run away as fast as possible
}

void first_thread(void *arg)
{
    // 第1个线程不可以返回
    stdio.moveCursor(0);
    for (int i = 0; i < 25 * 80; ++i)
    {
        stdio.print(' ');
    }
    stdio.moveCursor(0);

    cheese_burger = 0;
    
    programManager.executeThread(a_mother, nullptr, "second thread", 1);
    programManager.executeThread(a_naughty_boy, nullptr, "third thread", 1);

    asm_halt();
}

执行结果：

自旋锁

自旋锁的基本思想是定义一个共享变量bolt，bolt会被初始化为0。在线程进入临界区之前，即访问共享变量之前，都需要去检查bolt是否为0。

如果bolt为0，那么这个线程就会将bolt设置为1，然后进入临界区。待线程离开临界区后，线程会将bolt设置为0。
如果线程在检查bolt时，发现bolt为1，说明有其他线程在临界区中。此时这个线程就会一直在循环检查bolt的值（类似陀螺在原地旋转，所以被称为自旋），直到bolt为0，然后进入临界区。（不过会导致忙等待）
不能保证有限等待的原则

实现自旋锁

class SpinLock
{
private:
    uint32 bolt; 
public:
    SpinLock();
    void initialize();
    void lock();
    void unlock();
};

常常将SpinLock定义为一个全局变量，而全局变量的构造函数在我们的操作系统实验中不会被自动调用，所以在使用 SpinLock 时需要手动调用 SpinLock::initialize

SpinLock::SpinLock()
{
    initialize();
}

void SpinLock::initialize()
{
    bolt = 0;
}

void SpinLock::lock()
{
    uint32 key = 1;

    do
    {
        asm_atomic_exchange(&key, &bolt); 
        //printf("pid: %d\n", programManager.running->pid);
    } while (key);
}

void SpinLock::unlock()
{
    bolt = 0;
}

lock()：会不断检查是否能进入临界区，这里需要使用“原子”操作asm_atomic_exchange(&key, &bolt) 。但是实际上不是一个真正的原子指令，需要在某些条件下才是一个原子指令。

; void asm_atomic_exchange(uint32 *register, uint32 *memeory);
asm_atomic_exchange:
    push ebp
    mov ebp, esp
    pushad

    mov ebx, [ebp + 4 * 2] ; register
    mov eax, [ebx]      ; 取出register指向的变量的值
    mov ebx, [ebp + 4 * 3] ; memory
    xchg [ebx], eax      ; 原子交换指令
    mov ebx, [ebp + 4 * 2] ; memory
    mov [ebx], eax      ; 将memory指向的值赋值给register指向的变量

    popad
    pop ebp
    ret

矛盾的根源就在于CPU提供的原子指令xchg的操作数要么是内存地址和寄存器，要么都是寄存器，而不存在两个操作数都是内存地址的情况
因此，我们在实现 asm_atomic_exchange 的时候作了一个重要的假设——形式参数register指向的变量不是一个共享变量

我们为芝士汉堡成功的上了锁，保证在执行完 a_mother 线程之后才会执行 a_naughty_boy 线程。

执行结果：

信号量

由于SpinLock存在如下的缺点：

忙等待
可能导致饥饿
可能死锁

定义一个非负整数counter表示邻接资源个数

请求资源，执行P操作：检查counter数量，如果有可用资源，则分配；如果没有则挂载到信号量的阻塞队列当中
释放资源，执行V操作：释放资源，同时检查挂载的阻塞队列中有没有线程，有则唤醒

counter和阻塞队列是共享变量，需要实现互斥访问=>使用SpinLock

信号量的定义：

class Semaphore
{
private:
    uint32 counter;
    List waiting;
    SpinLock semLock;

public:
    Semaphore();
    void initialize(uint32 counter);
    void P();
    void V();
};

P操作：

void Semaphore::P()
{
    PCB *cur = nullptr;

    while (true) //
    {
        semLock.lock(); //共享资源，需要互斥访问
        if (counter > 0) //存在可用资源
        {
            --counter;
            semLock.unlock(); 
            return;
        }
        //不存在可用资源，挂载
        cur = programManager.running;
        waiting.push_back(&(cur->tagInGeneralList));
        cur->status = ProgramStatus::BLOCKED;

        semLock.unlock();
        programManager.schedule();
    }
}

V操作：

void Semaphore::V()
{
    semLock.lock();
    ++counter; //释放资源
    if (waiting.size()) //查看是否需要唤醒线程
    {
        PCB *program = ListItem2PCB(waiting.front(), tagInGeneralList);
        waiting.pop_front();
        semLock.unlock();
        programManager.MESA_WakeUp(program);//唤醒
    }
    else
    {
        semLock.unlock();
    }
}

实际上线程的唤醒有三种方式。

MESA模型：阻塞队列中的阻塞线程被唤醒后，不会立即执行而是放入到就绪队列，等待下一次的调度运行。而正在运行的线程会继续执行，直到程序执行完毕。
Hasen 模型：阻塞队列中的阻塞线程被唤醒后，会在当前线程执行完成后立即运行刚被唤醒的阻塞线程。
Hoare 模型：阻塞队列中的阻塞线程被唤醒后，当前线程会立即中断，并运行刚刚被唤醒的阻塞线程，等阻塞线程完成再回来运行。

学习笔记 > OS_Labs

#学习笔记 #OS_Labs

OS_Lab6

https://pqcu77.github.io/2025/05/07/OS-Lab6/

作者

linqt

发布于

2025年5月7日

许可协议

OS_lab7 上一篇

AI-Lab5 下一篇