diff options
| author | Rickard Green <[email protected]> | 2011-03-07 17:04:02 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2011-03-08 09:47:52 +0100 |
| commit | a37ee29884eaaf8b177cec19821159c938ddf6ff (patch) | |
| tree | 192cdf554814a4ebf6d354443a9a607417fd2efd /erts/emulator/sys/win32 | |
| parent | 422c3eda25ce9cb67a815aac5b0254432b0d44f7 (diff) | |
| download | otp-a37ee29884eaaf8b177cec19821159c938ddf6ff.tar.gz otp-a37ee29884eaaf8b177cec19821159c938ddf6ff.tar.bz2 otp-a37ee29884eaaf8b177cec19821159c938ddf6ff.zip | |
The emulator could get into a state where it didn't check for I/O.
Diffstat (limited to 'erts/emulator/sys/win32')
| -rw-r--r-- | erts/emulator/sys/win32/erl_poll.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/erts/emulator/sys/win32/erl_poll.c b/erts/emulator/sys/win32/erl_poll.c index 1f2877b682..7662f190ef 100644 --- a/erts/emulator/sys/win32/erl_poll.c +++ b/erts/emulator/sys/win32/erl_poll.c @@ -452,12 +452,15 @@ poll_wait_timeout(ErtsPollSet ps, SysTimeval *tvp) static ERTS_INLINE void wake_poller(ErtsPollSet ps, int io_ready) { - erts_aint32_t wakeup_state = erts_atomic32_read(&ps->wakeup_state); + erts_aint32_t wakeup_state; if (io_ready) { /* We may set the event multiple times. This is, however, harmless. */ - erts_atomic32_set(&ps->wakeup_state, ERTS_POLL_WOKEN_IO_READY); + wakeup_state = erts_atomic32_read(&ps->wakeup_state); + erts_atomic32_set_relb(&ps->wakeup_state, ERTS_POLL_WOKEN_IO_READY); } else { + ERTS_THR_MEMORY_BARRIER; + wakeup_state = erts_atomic32_read(&ps->wakeup_state); while (wakeup_state != ERTS_POLL_WOKEN_IO_READY && wakeup_state != ERTS_POLL_WOKEN_INTR) { erts_aint32_t act = erts_atomic32_cmpxchg(&ps->wakeup_state, @@ -518,6 +521,7 @@ reset_interrupt(ErtsPollSet ps) break; wakeup_state = act; } + ERTS_THR_MEMORY_BARRIER; } static ERTS_INLINE void |