kernel/sched.c --> schedule(void) 함수의 spinlock에 대해서 질문입니다

안녕하세요.

spinlock 에 대해서 공부하고 있는 도중에 schedule(void) 함수에 대한 내용이 이해가 안 가서 글을 작성합니다.

제가 이해한 바로는 preempt 는 CPU가 한 개 일 경우 해당 task가 preempt_disable 후 preempt_enable을 호출하기 전 까지 수행을 보장하는 것으로 압니다.

하지만 CPU가 여러 개일 경우에는 preempt 로는 critical section에 해당 CPU가 혼자서 수행을 하는 것이 보장되지 않으므로 spinlock을 사용하는 것으로 압니다. 따라서 구조도 preempt_disable -> spin_lock -> spin_unlock -> preempt_enable 로 critical section을 나오는 것으로 압니다.

따라서 진정한 동시성이 어떻게 만족되는지 파악하기 위해서 asmlinkage void __sched schedule(void) 를 분석하고 있는데요, 간단히 변수의 증가와 감소를

통해서 동시성이 만족되는지 확인하려 하였습니다. 코드는 간단히 다음과 같이 구성하였습니다.

int value = 1;
/*
* schedule() is the main scheduler function.
*/
asmlinkage void __sched schedule(void)
{
struct task_struct *prev, *next;
unsigned long *switch_count;
struct rq *rq;
int cpu;

...

need_resched:
preempt_disable();
cpu = smp_processor_id();
rq = cpu_rq(cpu);
rcu_note_context_switch(cpu);
prev = rq->curr;
switch_count = &prev->nivcsw;

release_kernel_lock(prev);
need_resched_nonpreemptible:

schedule_debug(prev);

if (sched_feat(HRTICK))
hrtick_clear(rq);

raw_spin_lock_irq(&rq->lock);
/*********************************************/
value--; //added by Esz
if(value < 0) //added by Esz
printk("concurrent! %d\n", value); //added by Esz
/*********************************************/

clear_tsk_need_resched(prev);
value++; //added by Esz
if (prev->state && !(preempt_count() & PREEMPT_ACTIVE)) {
if (unlikely(signal_pending_state(prev->state, prev)))
prev->state = TASK_RUNNING;
else
deactivate_task(rq, prev, DEQUEUE_SLEEP);
switch_count = &prev->nvcsw;
}
...

value 변수는 전역 변수로 설정하였습니다. clear_tsk_need_resched(prev)는 prev task에 설정된 resched flag를 clear 시키는 역할을 하는 것으로 만 알
고 있습니다. 따라서 제 생각에 진정한 동시성을 만족한다면 메시지가 안찍혀야 할 것 같은데요. 하지만 결과로는

[ 6.400236] concurrent! -1
[ 6.400262] concurrent! -1
[ 6.400286] concurrent! -1
[ 6.400297] concurrent! -1
[ 6.400393] concurrent! -1
[ 6.400419] concurrent! -1
[ 6.400436] concurrent! -1
[ 6.456651] concurrent! -1
[ 6.456670] concurrent! -1
[ 6.456695] concurrent! -1
[ 6.456702] concurrent! -1
[ 6.456706] concurrent! -1
[ 6.456807] concurrent! -1

가 출력됩니다. 만약 rq가 달라 다른 lock을 가리키기 때문에 schedule 함수의 수행이 여러 개의 CPU에서 동시에 수행이 가능하다면 무엇 때문에 preempt_disable 이 아니라 raw_spin_lock_irq을 사용하였는지 궁금합니다.

커널 버전은 2.6.35.7 입니다.

고수님의 답변을 기다리겠습니다.