Using Promela and Spin to verify parallel algorithms
Posted Aug 3, 2007 14:05 UTC (Fri) by starblue
Parent article: Using Promela and Spin to verify parallel algorithms
> If you aren't sure whether your machine has enough memory, run "top" in one window and "./pan" in another.
> Keep the focus on the "./pan" window so that you can quickly kill execution if need be.
> As soon as CPU time drops much below 100%, kill "./pan".
You may want to use the ulimit command to limit memory use to something safe.
to post comments)