aboutsummaryrefslogtreecommitdiffstats
path: root/erts/preloaded/ebin/prim_eval.beam
diff options
context:
space:
mode:
authorAnthony Ramine <[email protected]>2013-05-06 20:09:39 +0200
committerFredrik Gustafsson <[email protected]>2013-05-28 12:19:34 +0200
commitacb8ef5d18cc3976bf580a8e6925cb5641acd401 (patch)
tree6118529820acda1f779935cde6c03c935f5a6d1e /erts/preloaded/ebin/prim_eval.beam
parent80c02173c9fc1d76ac1b404a05e2706817a4c308 (diff)
downloadotp-acb8ef5d18cc3976bf580a8e6925cb5641acd401.tar.gz
otp-acb8ef5d18cc3976bf580a8e6925cb5641acd401.tar.bz2
otp-acb8ef5d18cc3976bf580a8e6925cb5641acd401.zip
Fix receive support in erl_eval with a BEAM module
Using the low-level BEAM instructions, we can loop over each message in the process queue and removes the first message that matches, without receiving them all to later send them back to itself. The function prim_eval:'receive'/2 is equivalent to the following pseudo-code: 'receive'(F, T) -> RESET MESSAGE QUEUE POINTER, LOOP: case PEEK CURRENT MESSAGE WITH TIMEOUT T of {ok,Msg} -> case F(Msg) of nomatch -> DECREMENT TIMEOUT T, ADVANCE MESSAGE QUEUE POINTER, GOTO LOOP; Result -> RESET MESSAGE QUEUE POINTER, Result end; timeout -> RESET MESSAGE QUEUE POINTER, timeout end. To not break Dialyzer and other tools, we use a stub Erlang module which abstract code is forcefully inserted into prim_inet.erl afterwards compilation.
Diffstat (limited to 'erts/preloaded/ebin/prim_eval.beam')
-rw-r--r--erts/preloaded/ebin/prim_eval.beambin0 -> 1320 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/erts/preloaded/ebin/prim_eval.beam b/erts/preloaded/ebin/prim_eval.beam
new file mode 100644
index 0000000000..c5caa21943
--- /dev/null
+++ b/erts/preloaded/ebin/prim_eval.beam
Binary files differ