Comments (4)
@barrucadu I hope you find this issue.
from wai.
I'd be surprised if the race condition from 2014 is still happening, since that was due to readMVar
being non-atomic in a sufficiently old version of GHC. I'll have a look.
from wai.
Ok, well, I don't really remember exactly what I was showing in the paper there (and I seem to have left that part of the example out of my thesis - but kept the deadlock part), but returning either 0
or 1
here is expected because this code is inherently racy: if you read the value at the same time it's supposed to be updated, what happens? Well, if you're slightly earlier you'll get the old value, if you're slightly after you'll get the new value. Maybe I was just wrong back then and nobody spotted it? Who knows.
The deadlock doesn't happen, which is the important thing.
from wai.
@barrucadu Thanks. I'm relieved to hear that. Let's close this issue.
from wai.
Related Issues (20)
- wai-extra-3.1.12 testsuite failure: WaiExtra.Network.Wai.gzip gzip checking of files HOT 8
- `waitForZero` tweak HOT 1
- toBufIOWith: BufferFull: minSize HOT 8
- Warp 3.3.22 breaks WarpTLS 3.3.2 HOT 8
- Can't authenticate client
- warp tests don't build on non-linux/freebsd/darwin HOT 1
- warp-tls: offer the possibility to provide our own data to the library via some hooks or `Connection` object HOT 4
- warp fails to build with unix ^>=2.8 even though cabal file claims to support any version HOT 3
- warp: test-suite: uses but does not depend on curl HOT 3
- Allow for graceful shutdown without closing the listener socket for socket activation compatibility HOT 2
- Access to socket within Application (detect disconnects) HOT 1
- Consider dropping `unix-compat` dependency
- auto-update: Sync exceptions in auto-update stops auto-update loops indefinitely HOT 3
- warp-tls is not setting FD_CLOEXEC on the listening socket HOT 1
- Regression in graceful shutdown in warp > 3.3.21 HOT 9
- warp-3.3.24 has wrong bounds and doesn't compile with newest unix HOT 3
- Warp busy-loops on EMFILE HOT 5
- [warp] Get peer credentials from unix sockets HOT 1
- warp-tls 3.3.7 is not compatible with warp-tls 3.3.6, contradicting the intended use of PVP HOT 4
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from wai.