3

Mac 10.6.8 64 ビット マシン (32 GB RAM) でモデル チェッカーを使用しています。私の問題は、最大 2 GB のヒープ領域を予約できないことです。

たとえば、これを試しました：

./mymodelchecker -vmargs -d64 -Xms6g -Xmx6g

しかし、私はこのエラーメッセージを受け取ります:

Invalid initial heap size: -Xms6g The specified size exceeds the maximum representable size.

彼のヒープ スペースは 32 ビット環境で動作しているように見えますが、マシンは 64 ビットであり、Java は -d64 を介して 64 ビット モードであり、モデル チェッカーは 64 ビット アーキテクチャをサポートしています。

ヒープ領域の表現可能な最大サイズを増やすにはどうすればよいですか?

4

2 に答える 2

0

スクリプトを変更しmymodelchecker、Java プログラムを実際にインスタンス化する行を見つけて、-Xms6g -Xmx6g引数を追加する必要があります。

また、おそらくモデル チェッカーには、起動スクリプトを変更せずに VM 引数を設定できる構成/プロパティ ファイルがあります。

于 2013-03-14T04:28:07.567 に答える