| |||||||||||||
Using Promela and Spin to verify parallel algorithmsUsing Promela and Spin to verify parallel algorithmsPosted Sep 8, 2007 23:27 UTC (Sat) by PaulMcKenney (subscriber, #9624)In reply to: Using Promela and Spin to verify parallel algorithms by starblue Parent article: Using Promela and Spin to verify parallel algorithms
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.
(Log in to post comments)
|
|||||||||||||