本项目采用MFC技术开发，旨在通过直观界面展示银行家算法原理及其在预防死锁中的应用，帮助用户理解资源分配和安全状态判定过程。
本系统旨在确保操作系统中的进程能够正确地共享资源，并避免因资源共享导致的死锁问题。为此采用银行家算法来管理资源分配。
将操作系统比喻为一家银行，而它所管理的资源则被视为资金；当一个进程请求使用这些资源时，则相当于用户向这家“银行”申请贷款。根据这一类比，系统会按照一定的规则来决定是否满足进程对资源的需求：
1. 当某个进程首次提出资源需求时，操作系统需要先验证该进程在整个执行过程中可能的最大资源需求量。
2. 如果当前系统的可用资源足以完全覆盖这个最大值，则立即按请求分配相应数量的资源；反之则暂时搁置此次申请。
3. 对于正在运行中的进程中再次提出的额外资源要求，系统首先检查其已获得使用的资源加上这次新提出的需求总量是否超出它在整个过程中可能的最大需求量。如果超过该上限，将拒绝新的请求；否则会进一步评估剩余可用的资源能否满足进程未来的最大所需值（即减去已经分配的部分）。若能满足，则按照当前申请的数量进行分配；反之亦然推迟此次请求。
通过这种方式确保了在任何情况下都不会发生死锁的情况，并且所有进程都能公平地使用系统中的共享资源。
5星
