Re: Using symbolic execution for analyzing scheduler performance?

2011-12-30 Thread arrowdodger
On Sat, Dec 31, 2011 at 4:32 AM, Julian Elischer 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

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 be

Re: Using kevent for signalling user app from kernel

2011-12-22 Thread arrowdodger
On Thu, Dec 22, 2011 at 10:03 AM, Sushanth Rai wrote: > Hi, > > I'm planning to use kqueue/kevent mechanism to notify a user application > from the kernel. Basically I set up a file descriptor for read event from > the user application by calling kevent(). Now, I would like to wake-up the > proces

Re: Porting PathScale's EKOPath Compiler Suite

2011-09-09 Thread arrowdodger
On Fri, Sep 9, 2011 at 2:11 AM, Jung-uk Kim wrote: > I have done preliminary porting work of PathScale's open-sourced > EKOPath Compiler Suite (https://github.com/pathscale). > > http://people.freebsd.org/~jkim/ekopath-devel.tar.bz2 > > This includes experimental OpenMP support and PathDB. Unfor