OSLab1 实验报告

内存分配

1. 举一个例子说明修改前的kernel/kalloc.c中如果没有锁会导致哪些进程间竞争(races)问题

如果没有锁的情况下：
假设有进程A和进程B，同时调用kalloc函数来分配物理内存页面。

进程A先获取了kmem.lock，并从kmem.freelist中获取了一个空闲页面。在进程A还没有释放锁之前，进程B也尝试获取kmem.lock，并同样获取一个空闲页面。

此时，A与B申请到同一个页面，则进程A和进程B同时竞争获取kmem.lock和访问kmem.freelist，导致了竞争条件。

可能会导致以下问题：

• 多个进程同时获取相同的空闲页，导致页面被重复分配。
• 多个进程同时修改kmem.freelist指针，导致指针丢失或混乱。
• 多个进程同时修改相同的页面，导致数据损坏或不一致。

---

2. 说明修改前的kernel/kalloc.c中锁竞争(contention)问题及其后果

当多个进程同时竞争获取锁时，只有一个进程能够成功获取锁并执行相应的操作，而其他进程必须等待。以上一问中说到的进程A、B为例：由于整个内存块的管理中只有一个锁，所以进程B会被阻塞直到进程A释放锁。这会导致系统的整体性能下降与资源的浪费。

---

3. 解释acquire和release中push_off/pop_off的作用

• push_off的作用是将中断禁用。它保存当前中断状态，并将中断状态设置为禁用。函数作用是确保在临界区内部不会发生中断，保证代码执行的原子性，确保资源的一致性。
• pop_off的作用是恢复之前保存的中断状态。它将中断状态恢复为之前保存的状态，允许中断再次发生。

---

对上页实验内容的实现思路、代码设计、测试结果

实现思路

1. 修改kmem结构体，设置成一个数组，数组的大小为NCPU，每个元素表示一个CPU的空闲页面链表和锁。
2. 初始化时，用循环遍历每个CPU以全部初始化
3. 调用kalloc()函数时，需要从当前进程所在的CPU的空闲页面链表中分配页面。通过调用cpuid()函数获取当前进程所在的CPU的ID。并且，通过push_off()函数和pop_off()确保进程执行原子性。
4. 如果当前进程所在的CPU的空闲页面链表为空，就向其他CPU借用。

代码设计

见kalloc.c

测试结果

---

同步互斥

复旦早餐王

Q1：关系分析，请写出题目中存在的互斥和同步的关系

• 互斥关系：老板和老板娘之间存在互斥关系，同一时间只能有一个人往窗口的篮子里放早餐。
• 同步关系：篮子为空时，同学们排队购买早餐时，需要等待早餐放入篮子后才能购买，同步等待篮子里的早餐；篮子已满时，则是老板或老板娘需要同步等待，篮子里的东西被取走。

Q2：上述关系可以抽象为几个进程? 写出伪代码描述和实现思路

抽象为：老板制作煎饼果子、老板娘制作鸡蛋灌饼、学生购买早餐，三个进程。（实现思路见注释）

Semaphore basketEmpty = 1;  // 篮子为空的信号量
Semaphore basketFull = 0;   // 篮子已满的信号量
Mutex mutex = 1;            // 互斥锁

// 定义线程函数
void Boss()
{
    while (true)
    {
        // 做好一个煎饼果子
        // 等待篮子为空
        wait(basketEmpty);
        // 获取互斥锁
        wait(mutex);
        // 将煎饼果子放入篮子
        signal(basketFull);
        // 释放互斥锁
        signal(mutex);
    }
}

void BossWife()
{
    while (true)
    {
        // 做好一个鸡蛋灌饼
        // 等待篮子为空
        wait(basketEmpty);
        // 获取互斥锁
        wait(mutex);
        // 将鸡蛋灌饼放入篮子
        signal(basketFull);
        // 释放互斥锁
        signal(mutex);
    }
}

void Student()
{
    while (true)
    {
        // 等待篮子里有早餐
        wait(basketFull);
        // 获取互斥锁
        wait(mutex);
        // 从篮子中取出早餐
        signal(basketEmpty);
        // 释放互斥锁
        signal(mutex);
        // 购买早餐
    }
}

// 创建线程
CreateThread(Boss);
CreateThread(BossWife);
CreateThread(Student);
CreateThread(Student);
...

---

哲学家就餐问题

使用方法与代码实现思路

资源分级：为了避免死锁，我们要求哲学家必须按照相同的顺序拿起筷子。代码中，按照奇偶性来决定哲学家拿起筷子的顺序。奇数号哲学家先拿起右边的筷子，再拿起左边的筷子；偶数号哲学家先拿起左边的筷子，再拿起右边的筷子。这样可以确保每个哲学家都按照相同的顺序拿起筷子，避免了竞争条件的发生。

---

运行结果

能不断运行下去