[GHC] #15193: QSem makes nonsense claim

GHC ghc-devs at haskell.org
Mon May 28 22:12:36 UTC 2018


#15193: QSem makes nonsense claim
-------------------------------------+-------------------------------------
        Reporter:  dfeuer            |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.6.1
       Component:  Core Libraries    |              Version:  8.2.2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Documentation     |  Unknown/Multiple
  bug                                |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by dfeuer):

 `TSem` was not what I meant to write. The trouble with "first in" is that
 it's hard to say what happens "first" in a concurrent setting. If I create
 ten threads, each of which immediately waits on an empty `QSem`, then
 later signal that `QSem` several times, it's totally arbitrary which
 threads get serviced when. It seems the guarantee must have to do with
 consecutive requests by the same thread, with some guarantees about thread
 creation. Or something...

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15193#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list