Do we really need a mutex in this case?









up vote
0
down vote

favorite












Wikipedia's solution for multi Producer-Consumer problem uses both mutexes and semaphores.



mutex buffer_mutex; 
semaphore fillCount = 0;
semaphore emptyCount = BUFFER_SIZE;

procedure producer()

while (true)

item = produceItem();
down(emptyCount);
down(buffer_mutex);
putItemIntoBuffer(item);
up(buffer_mutex);
up(fillCount);



procedure consumer()

while (true)

down(fillCount);
down(buffer_mutex);
item = removeItemFromBuffer();
up(buffer_mutex);
up(emptyCount);
consumeItem(item);




The reason given for using a mutex is to enforce mutual exclusion when multiple producers and consumers are in the critical section. My question is, since the goal is to have a single thread in the critical section anyway, why not just use a binary semaphore, which ensures this? That is, can we do away with the mutexes if we use binary semaphores in that example?










share|improve this question

























    up vote
    0
    down vote

    favorite












    Wikipedia's solution for multi Producer-Consumer problem uses both mutexes and semaphores.



    mutex buffer_mutex; 
    semaphore fillCount = 0;
    semaphore emptyCount = BUFFER_SIZE;

    procedure producer()

    while (true)

    item = produceItem();
    down(emptyCount);
    down(buffer_mutex);
    putItemIntoBuffer(item);
    up(buffer_mutex);
    up(fillCount);



    procedure consumer()

    while (true)

    down(fillCount);
    down(buffer_mutex);
    item = removeItemFromBuffer();
    up(buffer_mutex);
    up(emptyCount);
    consumeItem(item);




    The reason given for using a mutex is to enforce mutual exclusion when multiple producers and consumers are in the critical section. My question is, since the goal is to have a single thread in the critical section anyway, why not just use a binary semaphore, which ensures this? That is, can we do away with the mutexes if we use binary semaphores in that example?










    share|improve this question























      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite











      Wikipedia's solution for multi Producer-Consumer problem uses both mutexes and semaphores.



      mutex buffer_mutex; 
      semaphore fillCount = 0;
      semaphore emptyCount = BUFFER_SIZE;

      procedure producer()

      while (true)

      item = produceItem();
      down(emptyCount);
      down(buffer_mutex);
      putItemIntoBuffer(item);
      up(buffer_mutex);
      up(fillCount);



      procedure consumer()

      while (true)

      down(fillCount);
      down(buffer_mutex);
      item = removeItemFromBuffer();
      up(buffer_mutex);
      up(emptyCount);
      consumeItem(item);




      The reason given for using a mutex is to enforce mutual exclusion when multiple producers and consumers are in the critical section. My question is, since the goal is to have a single thread in the critical section anyway, why not just use a binary semaphore, which ensures this? That is, can we do away with the mutexes if we use binary semaphores in that example?










      share|improve this question













      Wikipedia's solution for multi Producer-Consumer problem uses both mutexes and semaphores.



      mutex buffer_mutex; 
      semaphore fillCount = 0;
      semaphore emptyCount = BUFFER_SIZE;

      procedure producer()

      while (true)

      item = produceItem();
      down(emptyCount);
      down(buffer_mutex);
      putItemIntoBuffer(item);
      up(buffer_mutex);
      up(fillCount);



      procedure consumer()

      while (true)

      down(fillCount);
      down(buffer_mutex);
      item = removeItemFromBuffer();
      up(buffer_mutex);
      up(emptyCount);
      consumeItem(item);




      The reason given for using a mutex is to enforce mutual exclusion when multiple producers and consumers are in the critical section. My question is, since the goal is to have a single thread in the critical section anyway, why not just use a binary semaphore, which ensures this? That is, can we do away with the mutexes if we use binary semaphores in that example?







      linux synchronization mutex semaphore binary-semaphore






      share|improve this question













      share|improve this question











      share|improve this question




      share|improve this question










      asked Nov 9 at 5:12









      abjoshi

      798




      798



























          active

          oldest

          votes











          Your Answer






          StackExchange.ifUsing("editor", function ()
          StackExchange.using("externalEditor", function ()
          StackExchange.using("snippets", function ()
          StackExchange.snippets.init();
          );
          );
          , "code-snippets");

          StackExchange.ready(function()
          var channelOptions =
          tags: "".split(" "),
          id: "1"
          ;
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function()
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled)
          StackExchange.using("snippets", function()
          createEditor();
          );

          else
          createEditor();

          );

          function createEditor()
          StackExchange.prepareEditor(
          heartbeatType: 'answer',
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader:
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          ,
          onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          );



          );













          draft saved

          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53220210%2fdo-we-really-need-a-mutex-in-this-case%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown






























          active

          oldest

          votes













          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes















          draft saved

          draft discarded
















































          Thanks for contributing an answer to Stack Overflow!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid


          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.

          To learn more, see our tips on writing great answers.





          Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


          Please pay close attention to the following guidance:


          • Please be sure to answer the question. Provide details and share your research!

          But avoid


          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.

          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53220210%2fdo-we-really-need-a-mutex-in-this-case%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          𛂒𛀶,𛀽𛀑𛂀𛃧𛂓𛀙𛃆𛃑𛃷𛂟𛁡𛀢𛀟𛁤𛂽𛁕𛁪𛂟𛂯,𛁞𛂧𛀴𛁄𛁠𛁼𛂿𛀤 𛂘,𛁺𛂾𛃭𛃭𛃵𛀺,𛂣𛃍𛂖𛃶 𛀸𛃀𛂖𛁶𛁏𛁚 𛂢𛂞 𛁰𛂆𛀔,𛁸𛀽𛁓𛃋𛂇𛃧𛀧𛃣𛂐𛃇,𛂂𛃻𛃲𛁬𛃞𛀧𛃃𛀅 𛂭𛁠𛁡𛃇𛀷𛃓𛁥,𛁙𛁘𛁞𛃸𛁸𛃣𛁜,𛂛,𛃿,𛁯𛂘𛂌𛃛𛁱𛃌𛂈𛂇 𛁊𛃲,𛀕𛃴𛀜 𛀶𛂆𛀶𛃟𛂉𛀣,𛂐𛁞𛁾 𛁷𛂑𛁳𛂯𛀬𛃅,𛃶𛁼

          Edmonton

          Crossroads (UK TV series)