제가 세마포어의 개념을 잘못 이해하고 있는 것 같아 확인차 문의 드립니다

/* binary semaphore */
#define timeout  infinite
int  critical_region_data;
 
void task1(void *param)
{
    while(1)
    {
        sem_down(&lock, timeout);
        critical_region_data++;
        sem_up(&lock);
        delay_ms(random() % 100);
    }
}
 
void task2(void *param)
{
    while(1)
    {
        sem_down(&lock, timeout);
        critical_region_data--;
        sem_up(&lock);
        delay_ms(random() % 100);
    }
}

제가 이해하고 있는 세마포어
task가 시작되면 세마포어 락을 걸고(sem_down)
critical_region_data에 접근 한 다음
세마포어 락을 해제하고(sem_up)
랜덤하게 쉬며 task가 스케쥴링이 된다

실제 동작하는 결과(freertos)
task가 시작되면 세마포어 락을 걸고(sem_down)
해당 task suspend 된 상태로 누군가가 sem_up을 하기 전까지 계속 대기(timeout이 무한일 경우)

freertos에서 실제 사용된 코드는 아래와 같이 구현 되어있습니다
task에서 sem_down 이후 더 상위 priority인 i/o interrupt handler에서 sem_up으로 세마포어 해제(마치 동기화 컨트롤 하듯 동작 되어있습니다)

기타 해당 api 가이드 url(example usage 를 보면 제가 작성한 것과 유사합니다)
https://www.freertos.org/a00122.html

linux 에서 mutex lock 쓸 때는 제가 이해한 개념이 맞았던 거 같은데 혹시 제가 세마포어를 이상하게 이해하고 있는지요....