crucial bugfix: add a store/load memory barrier to popWSDeque()
authorSimon Marlow <marlowsd@gmail.com>
Fri, 6 Feb 2009 13:08:04 +0000 (13:08 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Fri, 6 Feb 2009 13:08:04 +0000 (13:08 +0000)
commitfbc3fc411a2b619f638612dcaf322983c7a403c3
treeda04b8f200c04d65e04b86fea7c1ad4984421571
parent03ef5bd295f3ba7473b3dee99691fe1b2e077a0c
crucial bugfix: add a store/load memory barrier to popWSDeque()
rts/parallel/WSDeque.c