From acb8ef5d18cc3976bf580a8e6925cb5641acd401 Mon Sep 17 00:00:00 2001 From: Anthony Ramine Date: Mon, 6 May 2013 20:09:39 +0200 Subject: 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. --- erts/preloaded/ebin/prim_eval.beam | Bin 0 -> 1320 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 erts/preloaded/ebin/prim_eval.beam (limited to 'erts/preloaded/ebin') diff --git a/erts/preloaded/ebin/prim_eval.beam b/erts/preloaded/ebin/prim_eval.beam new file mode 100644 index 0000000000..c5caa21943 Binary files /dev/null and b/erts/preloaded/ebin/prim_eval.beam differ -- cgit v1.2.3 From bca584aee04d415c459a92e1e47faa2c06ce58bb Mon Sep 17 00:00:00 2001 From: Fredrik Gustafsson Date: Mon, 20 May 2013 09:39:46 +0200 Subject: Added preloaded prim_eval --- erts/preloaded/ebin/prim_eval.beam | Bin 1320 -> 1352 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'erts/preloaded/ebin') diff --git a/erts/preloaded/ebin/prim_eval.beam b/erts/preloaded/ebin/prim_eval.beam index c5caa21943..6c7b7e5262 100644 Binary files a/erts/preloaded/ebin/prim_eval.beam and b/erts/preloaded/ebin/prim_eval.beam differ -- cgit v1.2.3