세마포어,뮤텍스 초기값 질문

안녕하세요 강의 수강 후 혼자 복습하는 중인데 세마포어 초기값 관련 이해가 가지 않는 부분이 있어 질문 드립니다.

1번 질문.

05_SEM 실습예제에서

sem_id = xSemaphoreCreateBinary(); -> 초기값 0?

---

loops = 10;

for(;;) {

// 세마포어 대기

if (xSemaphoreTake(sem_id, portMAX_DELAY) == pdTRUE)

{

printf("."); fflush(stdout);

}

sem_val=uxSemaphoreGetCount(sem_id);

//printf("sem_val is %d\n", (int)sem_val);

if(loops == 0)

break; // exit

loops--;

}

위의 경우 printf 출력되지 않고 세마포어에 의해 바로 태스크가 블럭상태에 빠집니다.

따라서 초기값은 0으로 예상됩니다.

07_MUTEX 실습예제에서

mutex_id = xSemaphoreCreateMutex(); -> 초기값 1?

---

int buyTicket(void)

{

/* TODO #2:

MUTEX 을 이용하여

공유변수(tickets)를 보호한다 */

#if 1

// CRITICAL SECTION(ENTER)

xSemaphoreTake(mutex_id, portMAX_DELAY);

#endif // TODO #2

tickets --; // ticket count

#if 1

// CRITICAL SECTION(EXIT)

xSemaphoreGive(mutex_id);

#endif // TODO #2

return(tickets);

}

위의 경우 초기값이 1이어야 해당 함수가 바로 블럭에 빠지지 않고 수행되므로 1로 예상됩니다.

영상에서는 초기값이 1로 수행된다고 이해했는데, 그렇다면 세마포어 예제에서 printf함수가 수행이 되는게 맞는데 되지 않습니다. 초기값이 서로 다르게 입력되는 것인지 궁금합니다.

2번 질문.

05_SEM 실습예제에서 카운트값을 디버깅하고 싶어서 보다가

#if 1

sem_id = xSemaphoreCreateBinary();

if (sem_id == NULL) printf("xSemaphoreCreateBinary error found\n");

sem_val = uxSemaphoreGetCount(sem_id);

---

loops = 10;

for(;;) {

// 세마포어 대기

if (xSemaphoreTake(sem_id, portMAX_DELAY) == pdTRUE)

{

printf("."); fflush(stdout);

}

sem_val=uxSemaphoreGetCount(sem_id);

//printf("sem_val is %d\n", (int)sem_val);

if(loops == 0)

break; // exit

loops--;

}

세마포어 생성 후 uxSemaphoreGetCount 함수를 호출하면 세마포어가 블럭상태에 빠지지 않고 printf함수가 출력이 됩니다. (실제 디버깅 해보면 sem_val 변수값은 0으로 찍힙니다)

위 함수에서 V연산을 하는 행위가 있는 것인가요?

3번 질문.

xSemaphoreCreateBinary()와 vSemaphoreCreateBinary()의 차이점이 무엇인지 궁금합니다.