分布式 | 复习总结

第2讲：基本模型与进程间通信

1. 考试内容：全局状态的记录

答：
全局状态包括各个进程的本地状态和信道状态。
GS={ UiLSixi,Uj,kSCj,kyj,zk} GS = \{ U_iLS_i^{x_i}, U_{j,k}SC_{j,k}^{y_j, z_k}\} GS={ Ui​LSixi​​,Uj,k​SCj,kyj​,zk​​}
全局状态的记录分两步：
1.各个进程记录各自的本地状态

• 在上式中，进程$p_j$记录的状态是事件$y_j$刚刚发生完的状态
• 在上式中，进程$p_k$记录的状态是事件$z_k$刚刚发生完的状态

2.确定哪些消息应该划入信道状态

• 进程$p_j$在事件$y_j$发生之前发送，但进程$p_k$到事件$z_k$发生为止还未收到的消息应该划入信道状态。

2. 考试内容：一致状态的判定

答：
全局状态GS={ UiLSixi,Uj,kSCj,kyj,zk} GS = \{ U_iLS_i^{x_i}, U_{j,k}SC_{j,k}^{y_j, z_k}\} GS={ Ui​LSixi​​,Uj,k​