Question

临界区的临界区存在的几个问题

Answer 1

在使用临界区时，一般不允许其运行时间过长，只要进入临界区的线程还没有离开，其他所有试图进入此临界区的线程都会被挂起而进入到等待状态，并会在一定程度上影响程序的运行性能。尤其需要注意的是不要将等待用户输入或是其他一些外界干预的操作包含到临界区。如果进入了临界区却一直没有释放，同样也会引起其他线程的长时间等待。换句话说，在执行了EnterCriticalSection（）语句进入临界区后无论发生什么，必须确保与之匹配的LeaveCriticalSection（）都能够被执行到。可以通过添加结构化异常处理代码来确保LeaveCriticalSection（）语句的执行。虽然临界区同步速度很快，但却只能用来同步本进程内的线程，而不可用来同步多个进程中的线程。
1、 临界区的退出，不会检测是否是已经进入的线程，也就是说，我可以在A线程中调用进入临界区函数，在B线程调用退出临界区的函数，同样是成功；
2、 我在测试临界区的时候，如果我没有调用进入临界区的函数，直接退出的话，系统没有进行判断，但是计数发现了改变，此时此临界区就再也用不了了，因为结构中的数据已经乱掉了。
解决方法如下：
ypedef class mutex_lock
{
public:
mutex_lock()
: LockCount(-1)
, hEvent(0)
{
}
~mutex_lock()
{
if(NULL != this->hEvent)
{
CloseHandle(this->hEvent);
}
this->hEvent = NULL;
this->LockCount = -1;
}
long GetLock();
long ReleaseLock();
private:
mutex_lock(mutex_lock&);
long LockCount;
HANDLE hEvent;
} MUTEXLOCK, *LPMUTEXLOCK;
long mutex_lock::GetLock()
{
__asm
{
movebx, [this];//把基址保存在ebx中
lock incdword ptr [ebx];//对LockCount进行加锁加，保证多CPU时的唯一性，
jeLRET1;//如果LockCount加1为0的话，表示没有人在使用资源，同时利用上面的互斥加对资源进行占用。
cmpdword ptr [ebx+4], 0;//此时LockCount加1大于0的情况，表示已有人使用此资源，要对此资源进行加内核锁
jneL1;//如果平常没有创建内核锁，则进行创始一个
push 0;
push 0;
push 0;
push 0;
call dword ptr [CreateEvent];
movedx, eax;//创建内存锁成功后，在同样对hEvent变量进行互斥比较后替换，以处理多个线程同时对此值进行替换的情况，保证只有一个能够成功替换
moveax, 0;
lock cmpxchg dword ptr [ebx+4], edx; //互斥比较替换
jeL1;
push edx;//如果已经被别人替换过了，需要把自己创建的内核锁释放
call dword ptr [CloseHandle];
L1:
push INFINITE;
push [ebx+4];
call dword ptr [WaitForSingleObject]; //　在内核级进行等待
LRET1:
moveax, 0
}
}
long mutex_lock::ReleaseLock()
{
__asm
{
movebx, [this];//把基址保存在ebx中
moveax, -1;
lock xadd dword ptr [ebx], eax; //进行交换自减交换操作，运行后，eax中是第一操作数先前的值，此值用会返回用来判断是否多调用了ReleaseLock
jlLRET2;//没有别的线程占用资源，直接返回，用户可以通过返回值，分析是否失败
cmpdword ptr [ebx+4], 0;//有别的线程在等待，检查内核锁，如果没有则进行创建
jneL2;
push 0;
push 0;
push 0;
push 0;
call dword ptr [CreateEvent];
movedx, eax;
moveax, 0;
lock cmpxchg dword ptr [ebx+4], edx; //互斥替换内核锁句柄
jeL2;//已经有内核锁了，把自已申请的关闭
push edx;
call dword ptr [CloseHandle];
L2:
push [ebx+4];//设计信号，唤醒一个线程
call dword ptr [SetEvent];
moveax, 0;
LRET2:
}
}