100 床位招待所住宿登记系统同步算法

以下为一种可能的同步算法：

1. 定义一个共享变量'register'，用于记录当前已登记的住宿者数量。
2. 定义一个共享数组'beds'，用于记录每个床位的状态，初始值为 0 表示空床位。
3. 定义两个互斥量'mutex1' 和 'mutex2'，用于保护'register' 和 'beds' 的读写操作。
4. 对于住宿登记，进入以下流程：
   • 申请'mutex1'，确保同时只有一个线程能够修改'register' 的值。
   • 如果'register' 已经达到 100，表示所有床位已经被占满，释放 'mutex1' 并退出。
   • 否则，找到第一个空床位'beds[i]'，将其标记为 1 表示已占用，同时将住宿者姓名和床位号写入登记表。
   • 释放 'mutex1'。
5. 对于撤销登记，进入以下流程：
   • 申请 'mutex2'，确保同时只有一个线程能够修改 'beds' 的值。
   • 在登记表中查找要撤销登记的住宿者姓名和床位号对应的床位 'beds[i]'，将其标记为 0 表示空床位，同时从登记表中删除该住宿者的记录。
   • 释放 'mutex2'。

注意，以上算法中需要确保在对 'register' 和 'beds' 进行读写时，同时只有一个线程能够访问它们，否则可能会出现并发问题。因此需要使用互斥量来保护共享资源的读写。