UP이 무엇인지 잠깐 고민했네요. 요즘 커널에는 UP/SMP라는 약자가 사용되나보군요.

uni-processor 환경에서는 spin lock이 사라지는게 맞습니다.

대신 preempt disalbe로 대체되죠.

SMP 환경에서 spin lock을 단순화 시키면 다음과 같은 코드로 구성됩니다.

SpinLock (Lock lock)

BEGIN

     VAR f;

     PreemptionDisable();

     f := InterruptSave();

     WHILE (lock->count <> 0);

     InterruptRestore(f);

END

위 코드에서 가장 중요한 부분은 lock->count가 0이 될때까지 계속 spin을 돈다는 것입니다.

이는 SMP 환경에서 이러한 가정이 숨어있기 때문입니다.

1. spin lock은 매우 짧은 구간만 사용된다.

2. SMP 환경에서 mutex나 smaphore에 의해 task가 wait 되어 context switch가 발생되는것 보다,

    spin lock으로 lock이 풀릴때까지 busy wait하는 것이 훨씬 경제적이다.

3. spin lock을 푸는것은(즉, lock->count를 0으로 만드는것은) lock을 잡은 다른 processor에서 동작하는 task에서

    critical section이 끝나는 순간 바로 푼다.

1, 2, 3번의 가정에 의해 SMP 환경에서는 spin lock이 사용되는 것입니다.

그러면 uni-processor 환경에서는 왜 spin lock이 없어지냐 하면, 바로 3번 가정이 사라지기 때문입니다.

uni-processor 환경에서 spin lock을 쓰게 되면 spin lock을 풀수 있는 다른 processor가 없어,

영원히 spin을 돌면서 busy wait하게 되어 있습니다.

uni-processor 환경에서는 preemt disable만 사용해도 critical section을 지켜줄수 있는데,

이는 preempt disable이 하는 역활이 다음과 같기 때문입니다.

PreemptionDisable()

BEGIN

    schedLock++;

END

DoScheduling()

BEGIN

   IF (schedLock <> 0)

   BEGIN

       RETURN;

   END

   newTask := TaskSelect();

   IF (currentTask <> newTask)

   BEGIN

     ContextSwitch(currentTask, newTask);

   END 

END

spin lock과 preemption disable의 기본 구조는 이렇고, process context냐 interrupt context냐에 대한 차이는,

interrupt context는 최대한 빨리 처리되어야 된다는 가정이 붙고,

사용하는 stack도 다르고, ISR과의 경쟁을 막을수 있는것은 interrupt disable 밖에 없다는것에 의해,

몇가지 필드와 처리 방식이 약간 달라질뿐 기본적인 구조와 기능은 위에서 설명한것과 동일하다 보시면 됩니다.

^^ 감사합니다.  아주 속 시원하게 해결되었습니다.

끝에 적어주신 process context냐 interrupt context 냐에 따라서 다른 것이 interrupt disable 이 다르다는 것의 의미는, Interrupt Context 에서 spin lock을 사용하게 되면 컴파일 과정에서  preempt disable 이 interrupt disable로 변경된다고 생각하면 되나요?  ^^ 

네. 정확히는 interrupt save이죠.

^^ 와.. 아직 제대로 알기에는 제 실력이 많이 부족하다는 것을 느끼게 되네요..  하지만 하나씩 시야가 밝아지는 기분입니다.