现在的位置: 首页 > 综合 > 正文

GeekOS 中的进程同步方法

2014年01月02日 ⁄ 综合 ⁄ 共 794字 ⁄ 字号 评论关闭

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()中若互斥量已被占用,则进入等待队列睡眠,进入等待队列睡眠这个操作又是一个临界区操作,这里就只能使用关中断来确保临界区的安全了,所以互斥量是依赖于开关中断的。

抱歉!评论已关闭.