单选题
Pi(){
Lock(m_mutex);
//含义为获取互斥信号量
a=new int[100];
//开辟一个大小为100的整型数组空间，
//并用全局指针变量a保存空间地址
UnLock(m_mutex);
free(a);
//释放数组空间，且a的值不改变
有多个优先级相同的进程Pi。试问下列同时运行多个进程Pi，可能会出现的错误是______。
- A.内存泄露
- B.内存越界访问
- C.内存泄露和内存越界访问
- D.无
【正确答案】
C
【答案解析】[解析] 由于a为全局指针变量，即属于临界资源，访问a的代码都属于临界区，临界区应该在Lock(m_mutex)和UnLock(m_mutex)之间，使各个进程互斥访问a。但由于本题free(a)在Lock(m_mutex)和UnLock(m_mutex)之外，所以是会出现错误的。
举例：假设有进程P1和P2，P1进程申请的数组空间地址赋给a之后，还没有free掉。P2进程又申请了新的数组空间又把地址赋给a，导致P1进程申请的空间地址丢失(即内存泄露)。然后P1进程继续执行，P1进程执行free操作，将P2进程申请的空间释放掉了，P2进程继续执行，P2进程执行。free操作，free操作访问了不属于P2进程的空间(之前已经被P1释放掉了)，会发生内存越界访问。