分布式停车场

1.1 作业描述 某停车场共有TOTAL-NUM个车位, ENTRY-NUM个进口, EXIT-NUM个出口. 现需要一个用于停车场控制汽车进出的分布式系统, 在该系统中没有集中的管理者(central server), 每个进(出)口通过通信平等协商保存当前车库的状态信息(如空闲车位数UNOCCUPIED-NUM等), 并据此决定是否允许车辆进入, 为简便计, 假定通信是可靠的. 1.2 作业要求 1) 不考虑节点/进程失效的情形, 设计用于该停车场控制的分布式系统, 并给出汽车进出时使用该系统的方法. 2) 证明你所设计的分布式系统中使用的同步算法满足ME1-ME3*. 3)