혹시 원자적 실행을 보장하려면...?[어떠한방법을 쓰시나요?]

a();
b();

이때 a(); 함수와 b(); 함수가 실행되는 사이에 다른 프로세스에 의해 CPU 를 빼앗기지 않도록 하고 싶으신거면.. 크리티컬 섹션을 사용하시면 될듯합니다. 윗분 말씀대로 세마포어나 뮤텍스를 사용해서도 구현할 수 있고요, 굳이 커널레벨까지 내려가지 않아도 됩니다.

http://kldp.net/snippet/detail.php?type=snippet&id=10

여기에 제가 올렸던 인라인 어셈 뮤텍스 구현이 있습니다. test-and-set(사실은 스왑) 인스트럭션을 사용했지요. ARM용 이지만... 사용법도 소스로 남겨놓았습니다.

/////////////////// how to use /////////////////

int my_function( int *critical_variable)
{
    //////// get mutex
    if(my_io_get())
        return FAILED;
    *critical_variable++;
    //////// release mutex
    my_io_rel();
}
    
int my_function2( int *critical_variable)
{
    //////// get mutex
    if(my_io_get())
        return FAILED;
    *critical_variable--;
    //////// release mutex
    my_io_rel();
}

어쨌든 그 소스에 있는 인라인부분이 atomic_..부분을 끌어다 쓴 것입니다.

정확히 말하면 spin_lock입니다. (spinlock인가?)

커널 소스에 있는 것으로 기억하고요.

커널에서 구현해놓은 방법은 int형을 가진 구조체를 정의해놓고(이걸 atomic_...라고 선언한 것으로 기억..) 그걸 변화시키는 함수를 만들어두었었습니다. 그리고 그걸 사용해서 lock, unlock하는 함수를 만들어두었고요.

더 궁금하시면 커널 소스를 찾아보시는 것이 좋을 듯 싶습니당.. 사실 세마포어도 그걸 사용합니다.

에잇. 그냥 찾아버리자.

/usr/src/linux-2.4/arch/i386/kernel/semaphore.c 정도를 찾아보시면 될 듯..

        if (!atomic_add_negative(sleepers - 1, &sem->count)) {
            sem->sleepers = 0;
            break;
        }
        sem->sleepers = 1;  /* us - see -1 above */
        spin_unlock_irq(&semaphore_lock);