Week9 关于我摸鱼的第九次研究生组会

汇报内容

1、汇报formalmethod一书的第五章以及论文Scheduling Games for Concurrent Systems

论文：进程之间分配处理，调度引入了依赖，产生了延迟。将工作自动机和并行程序的调度问题看作调度程序与工作自动机的博弈。Game表示图形上的符号玩法，由工作自动机和并行及其推导，game每一次玩法，对应工作自动机run一次=>推出游戏策略对应调度策略在工作自动机(发现最小化上下文切换数量的调度)。调度策略并不完全决定并发执行顺序。

提出两个东西：一个是工作自动机，另一个是mean payoff games平均收益博弈论

「时间自动机 –> 工作自动机

时钟约束 –> 扩展了带工作约束

时钟估值 –> 作业约束、作业进度

reset at any time –> rest only we need job

增长恒定 –> 任意速率」

第五章包含三块内容：保密：私人数据不公开；完整：可信数据不受可疑影响；可用：在需要时可访问。