GeekOS 中的进程同步方法

GeekOS采用了两种同步方法用来保护临界区：

0. 关中断

1. 互斥量

0. 关中断

void Init_Screen(void)
{
    bool iflag = Begin_Int_Atomic();
    s_cons.row = s_cons.col = 0;
    s_cons.currentAttr = DEFAULT_ATTRIBUTE;
    Clear_Screen();

    End_Int_Atomic(iflag);
}

Begin_Int_Atomic()用于禁止中断，End_Int_Atomic(ifag)允许中断。

这里使用了ifag标志记录下进入进入临界区之前的中断状态，在End_Int_Atomic()中恢复原状态，避免开关中断带来的副作用。

1. 互斥量

    Mutex_Lock(&s_blockdevLock);
    /* FIXME: handle name conflict with existing device */
    Add_To_Back_Of_Block_Device_List(&s_deviceList, dev);   /* 将注册好的块设备链入到块设备链表中 */
    Mutex_Unlock(&s_blockdevLock);

Mutex_Lock()获取此互斥量，若此互斥量已被占用，则进入互斥量的等待队列睡眠。

Mutex_Unlock()用于释放互斥量。

a. 互斥量使用一个禁止抢占标志g_preemptionDisabled来实现进程的同步。

在中断中（时钟中断，系统调用）会判断g_preemptionDisabled，若g_preemptionDisabled==0，说明禁止抢占，则返回到原进程执行，这样就确保了原进程在临界区内的代码执行是原子的。

b. 调用Mutex_Lock()中若互斥量已被占用，则进入等待队列睡眠，进入等待队列睡眠这个操作又是一个临界区操作，这里就只能使用关中断来确保临界区的安全了，所以互斥量是依赖于开关中断的。