[cs63201] advanced OS - guarded commands

[Mikhail Nesterenko]

> For a guarded command based program where each command has multiple
> statements, are those statements within each command executed sequentially,
> like in a counter based program?

Yes, they are. However, since a single guarded command is atomic, the
"speed" of individual statements within the guarded command is
irrelevant as the actual program state exists only before the guarded
command execution and after.

Thanks,
--
Mikhail