algorithm - Producer-consumer with sempahores -

-


algorithm - Producer-consumer with sempahores -

producer-consumer problem taken wikipedia:

semaphore mutex = 1 semaphore fillcount = 0 semaphore emptycount = buffer_size procedure producer() { while (true) { item = produceitem() down(emptycount) down(mutex) putitemintobuffer(item) up(mutex) up(fillcount) } up(fillcount) //the consumer may not finish before producer. } procedure consumer() { while (true) { down(fillcount) down(mutex) item = removeitemfrombuffer() up(mutex) up(emptycount) consumeitem(item) } }

my question - why producer have up(fillcount) //the consumer may not finish before producer after while loop. when programme there , why needed?

i think code doesn't create sense way. loop never ends, line in question can never reached.

the code didn't contain line, , added anonymous editor in march 2009. i removed line now.

in general, code on wikipedia edited many people on long period of time, it's quite easy introduce bugs it.

algorithm

Comments

Post a Comment

Popular posts from this blog

delphi - blogger via idHTTP : error 400 bad request -

-
delphi - blogger via idHTTP : error 400 bad request - i'm trying post blogger using idhttp component, however, i'm getting "http/1.0 400 bad request" error. procedure tform1.button1click(sender: tobject); var request,response,req : tstringlist; auth,blogid : string; begin blogid := '00000000000000000000000'; request := tstringlist.create; response := tstringlist.create; req := tstringlist.create; idhttp1.request.connection := 'keep-alive'; idhttp1.request.contenttype := 'application/x-www-form-urlencoded'; idssliohandlersocket1.ssloptions.method := sslvsslv23; request.clear(); request.values['accounttype'] := 'google'; request.values['email'] := 'xxx@gmail.com'; request.values['passwd'] := 'yyy'; request.values['service'] := 'blogger'; response.text :=idhttp1.post('https://www.google.com/accounts/clientlogin',request); auth := resp...
Read more

c++ - compiler errors when initializing EXPECT_CALL with function which has program_options::variables_map as parameter -

-
c++ - compiler errors when initializing EXPECT_CALL with function which has program_options::variables_map as parameter - i'm having problem expect_call method, when trying : boost::program_options::variables_map vm; mymock mock; expect_call(mock, mymethod(vm)).willonce(return(l"")); mymethod looks : std::wstring mymethod(const boost::program_options::variables_map &vm) when compiling got errors : error 17 error c2676: binary '==' : 'const boost::program_options::variable_value' not define operator or conversion type acceptable predefined operator c:\program files (x86)\microsoft visual studio 9.0\vc\include\utility error 10 error c2784: 'bool std::operator ==(const _elem *,const std::basic_string<_elem,_traits,_alloc> &)' : not deduce template argument 'const _elem *' 'const boost::program_options::variable_value' c:\program files (x86)\microsoft visual studio 9.0\vc\include\u...
Read more

How do I check if an insert was successful with MySQLdb in Python? -

-
How do I check if an insert was successful with MySQLdb in Python? - i have code: cursor = conn.cursor() cursor.execute(("insert new_files (videos_id, filename, " "is_processing) values (%s,%s,1)"), (id, filename)) logging.warn("%d", cursor.rowcount) if (cursor.rowcount == 1): logging.info("inserted values %d, %s", id, filename) else: logging.warn("failed insert values %d, %s", id, filename) cursor.close() fun is, cursor.rowcount always one, though updated database create videos_id unique key. is, insert fails because in tests same videos_id going appear (and when check database, nil inserted). whatever reason, rowcount 1 - logging.warn have spits out rowcount of 1. so, question: can utilize rowcount work out if insert went fine? if so, (presumably) doing wrong? otherwise, how check if insert went fine? your code not commit after modifications (your modifications rolled back). should...
Read more