银行家算法的模拟实验。

简介：
银行家算法的核心在于，它从当前系统状态开始，按照预定的安全序列，逐步评估每个客户是否能够顺利完成其所承担的工作。随后，算法假设这些客户已成功完成工作并已全部归还贷款，以此为基础，再进一步考察下一个能够完成工作的客户。如果所有客户都能成功地完成工作任务并及时归还贷款，那么便可以确定一个安全的序列；此时，银行家算法判定系统处于安全状态。相较于其他预防死锁的方法，银行家算法的限制条件相对较少，并且能够显著提升资源的利用效率。然而，该算法存在一些局限性：首先，它对客户的数量提出了严格的固定不变要求，而在多道程序系统中实现这一条件往往十分困难；其次，尽管该算法能够保证所有客户在限定时间内获得满足资源的需求，但对于实时性要求较高的客户来说，响应速度仍然需要重点考虑；最后，由于需要寻找一个安全的序列来验证系统的安全性，因此实际操作中会增加系统的运行开销。值得强调的是：银行家算法最关键的一点在于它能确保操作系统的安全状态——这是操作系统评估一个进程是否能够被分配资源的关键标准。那么究竟什么是安全状态呢？为了便于理解，我们不妨举一个简单的例子：进程P需要申请8个资源（假设这些资源都是相同的），目前已经申请了5个资源，还差3个资源。如果此时操作系统仍然拥有2个可用的资源，那么无论操作系统如何分配资源给进程P都无法满足其需求；甚至可能导致系统陷入死锁的困境。相反，如果此时操作系统还有3个可用的资源的话，无论P这一次申请多少个资源（只要不超出总可用资源的范围），操作系统都可以满足其请求。因为操作系统可以保证P不会发生死锁的状况, 只要进程P不将剩余的资源分配给其他进程, 进程P就一定能够顺利地完成任务.