Re: Ravenscar - Scheduling

[Stephan Heinemann <zombie@cs.tu-berlin.de>]

> Ravenscar was definied with pre-emptive fixed priority scheduling in mind.
> I also read that non pre-emptive scheduling could be applied. I am working
> with Petri Nets and need do control the preemption points of the scheduler
> in order to model the whole system (I am working on a code-generator).
> Co-operative scheduling would be ideal for this purpose. I need somehow
> prevent the scheduler from preempting actions (Ada code snippets) which
> are associated with transitions. Any ideas?

I guess I found what I was looking for in Alan Burns
"Non-Preemptive Dispatching and Locking Policies"... The "execution token"
seems to be exactly what I need. Anyway, further ideas are still welcome.

Stephan