Using symbolic execution for analyzing scheduler performance?

2011-12-30 Thread arrowdodger
Hi. First, let me put a little disclaimer: I have absolutely no CS education and eny degree in science, no idea on how OS kernels and CPU schedulers are implemented and working. Moreover, i haven't even know math at the level needed to talk about what i'm proposing. What i'm going to propose may

Re: Using symbolic execution for analyzing scheduler performance?

2011-12-30 Thread Julian Elischer
On 12/30/11 9:52 AM, arrowdodger wrote: Hi. First, let me put a little disclaimer: I have absolutely no CS education and any degree in science, no idea on how OS kernels and CPU schedulers are implemented and working. Moreover, i haven't even know math at the level needed to talk about what i'm

Re: Using symbolic execution for analyzing scheduler performance?

2011-12-30 Thread arrowdodger
On Sat, Dec 31, 2011 at 4:32 AM, Julian Elischer 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 scheduler in that way. all sorts of threads of execution jump into the scheduler