workqueue 가 동작하는 상황에서 schedule 이 될 수도 있나요?

워크큐는 커널 스레드 종류인 워커 스레드에서 실행하므로 당연히 Preemption될 수 있습니다.

위 글에서 Concern하시는 것은 A 워크큐를 실행하고 있다가 스케줄링(Preemption)되어 B가 실행할 상황인 것 같습니다.

A란 워크큐가 실행 중일 때 다른 프로세스들이 계속 스케줄러에 큐잉을 하면서 계속
A란 워크큐를 실행 중인 워커 스레드와 자신의 우선 순위를 비교해 달라고 합니다.

이 때 스케줄러는 무조건 우선 순위를 비교합니다.
만약 다른 프로세스가 A란 워크큐를 실행 중인 A란 워커스레드 보다 우선 순위가 높다고 판단하면 A 워크큐를 실행 중인 A 워커 스레드의 struct thread_info.preempt_count 값을 -1만큼 감소시킵니다.

그래서 만약 struct thread_info.preempt_count 값이 0이 되면 Preemption되는 운명을 맞이 합니다.

Preemption되는 시점은 다음과 같습니다.

 1> 인터럽트 핸들링을 마친 후
 2> 시스템 콜 처리를 마무리한 후

preempt_disable() 함수는 현재 실행 중인 프로세스의 struct thread_info.preempt_count 값을 +1만큼 증가시켜서
preemption을 막을 수 있습니다.

따라서 다음 코드를 작성하면 Preemption을 방지할 수 있습니다.

first_wq {
+preempt_disable();
 
read(reg1)
read(reg2)
write(reg1)
write(reg2)
 
+preempt_enable();
}
 
second_wq {
+preempt_disable();
 
read(reg1)
read(reg2)
write(reg2)
+preempt_enable();
}

두 번째로는 뮤텍스를 활용하는 방법입니다.
A 워크큐를 핸들링하는 뮤텍스를 하나 생성한 다음, 뮤텍스로 Preemption이 우려되는 코드를 보호합니다.

first_wq {
+mutex_lock(&mutex_A);
 
read(reg1)
read(reg2)
write(reg1)
write(reg2)
 
+mutex_unlock(&mutex_A);
}
 
second_wq {
read(reg1)
read(reg2)
write(reg2)
}

어짜피 A란 워크큐가 실행 중에 B란 워크큐가 접근하면 뮤텍스를 걸어 놨으니 뮤텍스를 걸어 놓은 코드 앞에서 기다릴 것입니다.