[erlang-questions] gen_server cast question

[Ulf Wiger]

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

> 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