1

プログラムで発生するいくつかの競合状態を回避するために CHESS を使用しようとしています。BankAccount の例で mchess を試したいのですが、次のエラーが発生します。

C:\Program Files (x86)\Microsoft Research\CHESS\Resources\Samples\Managed\BankAccount>ChessTest.exe
True

C:\Program Files (x86)\Microsoft Research\CHESS\Resources\Samples\Managed\BankAccount>mchess ChessTest.exe
ManagedCHESS. Copyright (C) Microsoft Corporation, 2008.
Analyzing ChessTest.exe  ...

Process is terminated due to StackOverflowException.

C:\Program Files (x86)\Microsoft Research\CHESS\Resources\Samples\Managed\BankAccount>

何か提案はありますか？

ありがとう、ステニオ

4

1 に答える 1

0

この問題は、後のバージョンで解決されました。とにかくバイナリのダウンロードはありません。

ソースコードリンク

よろしく、 ステニオ

于 2013-05-02T13:57:00.553 に答える