windows-8 - 有人在 Windows 8 上使用 Spin / Promela 和 jspin 吗？

Question

我在我教授的课程中使用 Promela 和 Spin 对并发进行建模。我也一直在使用 jspin 前端。我有学生试图在 Windows 8 上安装这些工具，但他们遇到了困难——我不知道这是 64 位还是 32 位的问题，还是他们正在使用的 gcc 版本或其他完全不同的问题。

因此，我正在寻找在 Windows 8 下具有这些工具的工作配置的任何人，他们可以在使用工具链的方式等方面提供一些帮助。

Answer 1

可能是与 x64 相关的问题，我的一个学生在 x64 机器上也遇到了 Spin 问题，因为Spin 站点上的已编译可执行文件仅包含适用于 Windows 的 x86 版本。在我的 x86 安装的 Windows 8.1 上，可执行文件可以完美运行。要为验证程序编译代码，我建议使用MinGW（在安装向导中选择“GNU C/C++ 编译器”和“Basic MinGW”安装）。这对我来说很好。

为了在 x64 机器上运行 Spin，您可能需要Cygwin作为模拟器，并按照 Linux 系统说明中的说明从头开始编译Spin 源代码。

希望这可以帮助 ;）

备注：用 MinGW/MSYS 编译 Spin 不起作用，至少对我来说是这样，因为有一些对 Windows 不提供的本地 Linux 函数的调用。然而，Cygwin 应该可以工作，因为 Cywin 是（根据他们的网站）“一种神奇地让原生 Windows 应用程序了解 UNIX® 功能（如信号、ptys 等）的方法。同样，如果你想采用，你需要从源代码构建你的应用程序Cygwin 功能的优势。”，这似乎确实是这里的问题。