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

chocokeki의 이미지

/* 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 쓸 때는 제가 이해한 개념이 맞았던 거 같은데 혹시 제가 세마포어를 이상하게 이해하고 있는지요....

chocokeki의 이미지

예를 들어 다음과 같은 코드는 동작하지 않습니다
: sem_down 이후 해당 task가 suspend 되기 때문에(누군가 sem_up을 하기를 기다리기 때문에)

while(1)
{
    sem_down(&lock, timeout);
    printf("hello\n");
    sem_up(&lock, timeout);
    delay_ms(random() % 100);
}
chocokeki의 이미지

해결되었습니다
세마포어 초기 카운트를 0으로 넣어서 그랬네요.......

chocokeki의 이미지

예제 코드에서 세마포어 초기를 0으로 세팅한건 일부로 동기화로 사용하려고 한 것 같습니다
task를 i/o 전까지 block 시키기 위해

댓글 달기

Filtered HTML

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

BBCode

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param>
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

Textile

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • You can use Textile markup to format text.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Markdown

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • Quick Tips:
    • Two or more spaces at a line's end = Line break
    • Double returns = Paragraph
    • *Single asterisks* or _single underscores_ = Emphasis
    • **Double** or __double__ = Strong
    • This is [a link](http://the.link.example.com "The optional title text")
    For complete details on the Markdown syntax, see the Markdown documentation and Markdown Extra documentation for tables, footnotes, and more.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Plain text

  • HTML 태그를 사용할 수 없습니다.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 줄과 단락은 자동으로 분리됩니다.
댓글 첨부 파일
이 댓글에 이미지나 파일을 업로드 합니다.
파일 크기는 8 MB보다 작아야 합니다.
허용할 파일 형식: txt pdf doc xls gif jpg jpeg mp3 png rar zip.
CAPTCHA
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.