逻辑移位指令SHL用于( )。

A．带符号数乘2

B．带符号数除2

C．无符号数乘2

D．无符号数除2

某系统有同类资源m个，供n个进程共享。如果每个进程最多申请x个资源(其中1≤x≤m)。请证明：当n(x-1)+1≤m时，系统不会发生死锁。