Sponsored link
Vyatta –
Linux & Open Source
Alternative to Cisco –
Advanced Routing,
Firewall, VPN, QoS..
Free Download ->
| |||||||||||
|
| |||||||||||
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)
|
|||||||||||