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