南京大学2022操作系统-P4-关于visualization无法使用的解决办法

b站视频链接

• 文章简介
• 系统版本
• 下载这两个文件
• python版本管理
• • 如何进行python版本控制
  • 选择python版本
• 开始自动化画状态机
• 关于graphviz的问题

主要介绍如何使用视频中提到的visualization.py以及model-checker.py的用法

我的系统是在虚拟机上的Ubuntu 18.04

在你的工作目录下下载这两个文件

wget http://jyywiki.cn/pages/OS/2022/demos/visualization.py
wget http://jyywiki.cn/pages/OS/2022/demos/model-checker.py

虽然老师的ppt没给visualization的链接，但可以推测出来。。

由于老师视频中演示使用的python是3.9.10，因此我们使用同样的python版本。
（注意：！！哪怕使用3.8版本也是不行的，请一定配置和老师一样的环境）

如果你不想卸载当前系统的python3版本，可以使用pyenv创建多个python环境。
可以参考这个文章Python版本管理神器
当然，推荐大家自己阅读github的readme来进行安装和配置环境！！

根据文章或readme安装好3.9.10版本后，把当前python环境切换成3.9.10。
如果不使用pyenv的插件，执行pyenv shell 3.9.10暂时切换到3.9.10版本。

执行代码，python会提示你没有安装一些库

python3 model-checker.py peterson-flag.py | python3 visualize.py -r > a.html

直接用pip进行安装即可（pyenv会同时切换pip的版本，不用担心下错地方）

b站评论中提到的graphviz还需要用二进制版本，这个问题我没遇到，因为我的Ubuntu似乎带graphviz，如果因为graphviz没有安装而无法进行可视化，则进行安装即可

1. 可以通过源码安装 网站链接
2. 如果你是mac或者Ubuntu等系统，也可以用brew和apt-get进行安装