愛人。2022.01.06 回答

work［j］表示當前系統可用的第j類資源，Allocation［i］［j］表示當前已經分配給程序i使用的第j類資源數量。

Work［j］= Work［j］+ Allocation［i］［j］

這句的意思是目前程序已經利用手上資源完成相關工作了，這些已分配的資源可以重新歸還系統了，所以系統可用的第j類資源work［j］就增加了，增加量就是當前程序想要歸還的資源量Allocation［i］［j］

如有疑惑歡迎追問！