[erlang-questions] gen_server cast question

Ulf Wiger <>
Wed Jan 31 18:30:51 CET 2007


Den 2007-01-31 17:20:33 skrev Logan, Martin <>:

> Message order is not guaranteed with asynchronous messaging in any case.
> You should never rely on it.  Also, as an aside, it would be strange to
> have a reference to a process for a node that is not connected, that
> suggests poor design.

In Barklund's formal semantics for Erlang
(http://citeseer.ist.psu.edu/fredlund01framework.html)

the following is stated:

"The semantics communication (rule com) is such that if two consecutive  
messages m1 and m2 are sent by process p1 to process
p2 then message m1 will always arrive before message m2."

I'm not sure where else it is defined, but I'm pretty sure that you can  
rely on this being true.

BR,
Ulf W
-- 
Ulf Wiger



More information about the erlang-questions mailing list