제가 세마포어의 개념을 잘못 이해하고 있는 것 같아 확인차 문의 드립니다
글쓴이: chocokeki / 작성시간: 수, 2019/09/04 - 4:08오후
/* 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 쓸 때는 제가 이해한 개념이 맞았던 거 같은데 혹시 제가 세마포어를 이상하게 이해하고 있는지요....
Forums:
예를 들어 다음과 같은 코드는 동작하지 않습니다
예를 들어 다음과 같은 코드는 동작하지 않습니다
: sem_down 이후 해당 task가 suspend 되기 때문에(누군가 sem_up을 하기를 기다리기 때문에)
해결되었습니다
해결되었습니다
세마포어 초기 카운트를 0으로 넣어서 그랬네요.......
예제 코드에서 세마포어 초기를 0으로 세팅한건 일부로
예제 코드에서 세마포어 초기를 0으로 세팅한건 일부로 동기화로 사용하려고 한 것 같습니다
task를 i/o 전까지 block 시키기 위해
댓글 달기