non-FIFO behavior in process mailboxes? - Erlang Programming

The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Message from discussion non-FIFO behavior in process mailboxes?
Received-SPF: pass (google.com: domain of erlang-questions-boun...@erlang.org designates 192.121.151.104 as permitted sender) client-ip=192.121.151.104;
References: <CANHeBiipSpLo7fgK+bt18qKVEQ+D4DfvcqCQKYqHyK60MK5-ng@mail.gmail.com>
 <C1C677A0-E625-4BCC-8D70-8AB492309503@feuerlabs.com>
In-Reply-To: <C1C677A0-E625-4BCC-8D70-8AB492309503@feuerlabs.com>
Mime-Version: 1.0 (1.0)
Message-Id: <765DC2EC-CA0F-47A3-B58C-511C1BF71...@feuerlabs.com>
From: Ulf Wiger <u...@feuerlabs.com>
Date: Sun, 22 Apr 2012 19:27:26 +0200
To: Ulf Wiger <u...@feuerlabs.com>
Cc: "erlang-questi...@erlang.org" <erlang-questi...@erlang.org>
Subject: Re: [erlang-questions] non-FIFO behavior in process mailboxes?
Precedence: list
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Errors-To: erlang-questions-boun...@erlang.org
Sender: erlang-questions-boun...@erlang.org

Oh, and the io:format/2 call _does_ force a yield, since it involves a synchronous call to the group_leader.

BR,
Ulf W

Ulf Wiger, Feuerlabs, Inc.
http://www.feuerlabs.com

22 apr 2012 kl. 19:23 skrev Ulf Wiger <u...@feuerlabs.com>:

> You seem to have a race between the messages sent from the client and the ones the server sends to itself.
> 
> Bear in mind that the client doesn't yield after send, add SMP to the mix and you cannot know whether that server consumes the first message before the client sends its 
> 
> BR,
> Ulf W
> 
> Ulf Wiger, Feuerlabs, Inc.
> http://www.feuerlabs.com
> 
> 22 apr 2012 kl. 18:25 skrev Michael Turner <michael.eugene.tur...@gmail.com>:
> 
>> When the code listed below executes with the first io:format call
>> commented out, it breaks, reporting:
>> 
>> ** exception error: no match of right hand side value []
>>    in function  wg:init/0
>> 
>> When I don't have it commented out, it works (sort of), writing
>> 
>> val_for (P)=[]
>> val_for (P)=2
>> ok
>> 
>> Here's the code:
>> -----
>> 
>> -module(wg).
>> -export ([init/0, be/2]).
>> 
>> val_for (P) ->
>>   P ! {tell, self(), val},
>>   receive
>>       {Val, for, P} -> Val
>>   end.
>> 
>> be (Arg, Val) ->
>>   receive
>>       [H|T] ->
>>           self() ! T,
>>           self() ! H,
>>           be (Arg, Val);
>>       [] ->
>>           be (Arg, Val);
>>       {tell, X, val} ->
>>           X ! {Val, for, self()},
>>           be (Arg, Val);
>>       {set_arg_to, A} ->
>>           be (A, Val);
>>       {set_val_to, V} ->
>>           be (Arg, V)
>>   end.
>> 
>> init() ->
>>   P = spawn (wg, be, [[],[]]),
>>   P ! [{set_arg_to, 1}, {set_val_to, 2}],
>> %   io:format ("val_for (P)=~p~n", [val_for (P)]),
>>   2 = val_for (P),
>>   io:format ("val_for (P)=~p~n", [val_for (P)]),
>>   ok.
>> -----
>> 
>> This is R14B on Windows XP. Haven't tried it elsewhere yet.
>> 
>> Seeing this really messes with my mental model of process mailboxes.
>> With the first io:format call commented out, I think process P should
>> be seeing messages queued up in the following order:
>> 
>> [{set_arg_to, 1}, {set_val_to, 2}]
>> [{set_val_to, 2}]
>> {set_arg_to, 1}
>> []
>> {set_val_to, 2}
>> {tell, X, val}
>> 
>> And shouldn't this mean that Val = 2 in process P when the {tell, X,
>> val} message reaches P? As I interpret Armstrong pp.145-6, since
>> matches are guaranteed in this case, there's no save queue activity;
>> since there's no "after" close, the timer is irrelevant; so you should
>> get pure FIFO behavior, right?
>> 
>> -michael turner
>> _______________________________________________
>> erlang-questions mailing list
>> erlang-questi...@erlang.org
>> http://erlang.org/mailman/listinfo/erlang-questions
> _______________________________________________
> erlang-questions mailing list
> erlang-questi...@erlang.org
> http://erlang.org/mailman/listinfo/erlang-questions
_______________________________________________
erlang-questions mailing list
erlang-questi...@erlang.org
http://erlang.org/mailman/listinfo/erlang-questions
Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
Account Options
