图书馆为师生提供论文查重服务。在查重室有一个技术员专门进行查重工作，有一张椅子给正在查重的师生坐（称为查重椅），有10张椅子供师生坐下等待（称为等候椅）。如果没有查重任务，则技术员休息；当有查重任务时马上进行查重工作。当师生来到查重室时，如果有空的等候椅就坐下来，如果查重椅也空着，则离开等候椅坐到查重椅上并请技术员进行查重；如果没有空的等候椅就在查重室外等待，直到有空的等候椅再进来坐下；查重完成后从查重椅上站起并离开查重室。试用信号量实现师生与查重技术员之间的同步关系。