Subject: Re: SDL-News: SDL transitions
From: Martin von Loewis (loewis#informatik.hu-berlin.de)
Date: Wed Sep 15 1999 - 11:45:05 GMT
The originator of this message is responsible for its content.
-----From Martin von Loewis <loewis#informatik.hu-berlin.de> to sdlnews -----
> Does the semantic of SDL postulate the atomicity of SDL-transitions?
Define "atomicity" :-)
The state of a process won't change except by actions of the process
itself. The process won't start another transition while one is in
progress; and at most one service is active at any given time.
Tha means, transitions in SDL are uninteruptable (and in that sense
"unteilbar", i.e. "atomar").
However, they are not instantaneous. I.e. the transitions of two
processes may exhibit arbitrary interleaving, and the time may
progress while a transition is executed.
Hope this helps,
-----End text from Martin von Loewis <loewis#informatik.hu-berlin.de> to sdlnews -----
Join http://www.sdl-forum.org/Society/members.htm for extra SDL Forum Society benefits
For help, email "majordomo#sdl-forum.org" with the body of your email as:
or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org
This archive was generated by hypermail 2a23 : Sun Jun 16 2013 - 10:41:41 GMT