模拟系统的组织结构：

PV算法：

BUFFER *getblk(dev, blk)
{
​    while(1)
    {
        P(free);
        if (bp in dev_list)
        {
            if (bp not BUSY)
            {
                remove bp from freelist;
                p(bp)
                return bp;
            }
            V(free);
            P(bp);
            return bp;
        }
        bp = frist buffer taken out of freelist;
        P(bp);
        if (bp dirty)
        {
            awrite(bp);
            continue;
        }
        reassign bp to (dev,blk);
        return bp;    
    } 
}

brelse(BUFFER *bp)
{
    if(bp queue has waiter){V(bp);return;}
    if(bp dirty && free queue has waiter){awrite(bp);return;}
    enter bp into (tail of) freelist; V(bp);V(free);
}

(1)缓冲区唯一性：在getblk()中，如果有空闲缓冲区，则进程不会在(1)处等待，而是会搜索dev_listc如果所需的缓冲区已经存在，则进程不会重新创建同一个缓冲区。如果所需的缓冲区不存在，则进程会使用一个空闲缓冲区来创建所需的缓冲区。而这个空闲缓冲区保证是存在的，如果没有空闲缓冲区，则需要同一个缓冲区的几个进程可能在(1)处阻塞。当在(10)处释放出一个空闲缓冲区时，它仅释放一个进程来创建所需的缓冲区。旦创建了缓冲区，它就会存在于dev_list中，这将防止其他进程再次创建同一个缓冲区。因此，分配的每个缓冲区都是唯一的。