Re: Using symbolic execution for analyzing scheduler performance?

2011-12-31 Thread Julian Elischer
On 12/30/11 11:34 PM, arrowdodger wrote: On Sat, Dec 31, 2011 at 4:32 AM, Julian Elischer jul...@freebsd.org mailto:jul...@freebsd.org wrote: On 12/30/11 9:52 AM, arrowdodger wrote: - OS kernel calls scheduler functions in some defined order. The OS doesn't really call the

Re: Using symbolic execution for analyzing scheduler performance?

2011-12-31 Thread Adrian Chadd
On 31 December 2011 13:53, Julian Elischer jul...@freebsd.org wrote: Russian. there are a lot of russian developers so you should be able to find someone if you need explanations in Russian.. There's definitely plenty of russians. And they have a habit of doing cool things. So who knows,