LWN: Comments on "Using Promela and Spin to verify parallel algorithms"
http://lwn.net/Articles/243851/
This is a special feed containing comments posted
to the individual LWN article titled "Using Promela and Spin to verify parallel algorithms".
hourly2Using Promela and Spin to verify parallel algorithms
http://lwn.net/Articles/248895/rss
2007-09-08T23:27:47+00:00PaulMcKenney
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.<br>
Using Promela and Spin to verify parallel algorithms
http://lwn.net/Articles/244199/rss
2007-08-03T14:05:00+00:00starblue
<font class="QuotedText">> If you aren't sure whether your machine has enough memory, run "top" in one window and "./pan" in another.</font><br>
<font class="QuotedText">> Keep the focus on the "./pan" window so that you can quickly kill execution if need be.</font><br>
<font class="QuotedText">> As soon as CPU time drops much below 100%, kill "./pan".</font><br>
<p>
You may want to use the ulimit command to limit memory use to something safe.<br>