Using Promela and Spin to verify parallel algorithms [LWN.net]

Using Promela and Spin to verify parallel algorithms

Posted Aug 3, 2007 14:05 UTC (Fri) by starblue (guest, #5842)
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.

(Log in to post comments)

Using Promela and Spin to verify parallel algorithms

Posted Sep 8, 2007 23:27 UTC (Sat) by PaulMcKenney (subscriber, #9624) [Link]

Excellent point!!! I always like to see how close to the edge I can push the system, but your suggested use of ulimit is well taken.