Subject: Re: Hard realtime scheduling
To: Jonathan Stone <>
From: SODA Noriyuki <>
List: tech-kern
Date: 04/12/2005 11:00:24
>>>>> On Mon, 11 Apr 2005 18:10:02 -0700,
	Jonathan Stone <> said:

>> are you sure that runqueue is protected by biglock?
>> afaik it's protected by sched_lock, not biglock.

> No, I'm not sure. I took Soda-san's word for it.

I wrote that article without closely looking at it... ;-)
Actually, I didn't notice that the kernel_lock isn't held,
if the interrupt priority is higher or equal to IPL_SCHED.
So, yamamoto-san is right.