From 681221594000bfbbfef4a155d8c8ba2fcde1046b Mon Sep 17 00:00:00 2001
From: Thomas Schuetz
Date: Wed, 3 Jul 2013 20:47:19 +0200
Subject: [generator.c.reference] first reference code for async MSC logging
---
.../gen_MSCgen.launch | 15 +
.../model/MSCgen/MSCgen.etmap | 10 +
.../model/MSCgen/MSCgen.etphys | 25 +
.../model/MSCgen/MSCgen.room | 84 +
.../MSCgen/diagrams/RoomModel1.Receiver.behavior | 135 ++
.../MSCgen/diagrams/RoomModel1.Receiver.structure | 36 +
.../MSCgen/diagrams/RoomModel1.Sender.behavior | 135 ++
.../MSCgen/diagrams/RoomModel1.Sender.structure | 36 +
.../diagrams/RoomModel1.SubSysClass1.structure | 38 +
.../MSCgen/diagrams/RoomModel1.Toplevel.structure | 89 ++
.../tmp/msc.seq | 1673 ++------------------
11 files changed, 736 insertions(+), 1540 deletions(-)
create mode 100644 examples/org.eclipse.etrice.generator.c.reference/gen_MSCgen.launch
create mode 100644 examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/MSCgen.etmap
create mode 100644 examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/MSCgen.etphys
create mode 100644 examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/MSCgen.room
create mode 100644 examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Receiver.behavior
create mode 100644 examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Receiver.structure
create mode 100644 examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Sender.behavior
create mode 100644 examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Sender.structure
create mode 100644 examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.SubSysClass1.structure
create mode 100644 examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Toplevel.structure
diff --git a/examples/org.eclipse.etrice.generator.c.reference/gen_MSCgen.launch b/examples/org.eclipse.etrice.generator.c.reference/gen_MSCgen.launch
new file mode 100644
index 000000000..790dacc4e
--- /dev/null
+++ b/examples/org.eclipse.etrice.generator.c.reference/gen_MSCgen.launch
@@ -0,0 +1,15 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/MSCgen.etmap b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/MSCgen.etmap
new file mode 100644
index 000000000..569e9f730
--- /dev/null
+++ b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/MSCgen.etmap
@@ -0,0 +1,10 @@
+MappingModel MappingModel1 {
+ import RoomModel1.* from "MSCgen.room"
+ import PhysicalModel1.* from "MSCgen.etphys"
+ Mapping LogSys1 -> PhysSys1 {
+ SubSystemMapping subSysRef1 -> nodeRef1 {
+ ThreadMapping defaultThread -> PhysicalThread1
+ }
+ }
+
+}
\ No newline at end of file
diff --git a/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/MSCgen.etphys b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/MSCgen.etphys
new file mode 100644
index 000000000..253fc68a1
--- /dev/null
+++ b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/MSCgen.etphys
@@ -0,0 +1,25 @@
+PhysicalModel PhysicalModel1 {
+
+ PhysicalSystem PhysSys1 {
+ NodeRef nodeRef1 : NodeClass1
+ }
+
+ NodeClass NodeClass1 {
+ runtime = RuntimeClass1
+ priomin = -10
+ priomax = 10
+
+ DefaultThread PhysicalThread1 {
+ execmode = blocked
+ prio = 0
+ stacksize = 1024
+ msgblocksize = 32
+ msgpoolsize = 10
+ }
+ }
+
+ RuntimeClass RuntimeClass1 {
+ model = multiThreaded
+ }
+
+}
\ No newline at end of file
diff --git a/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/MSCgen.room b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/MSCgen.room
new file mode 100644
index 000000000..4efc13fd2
--- /dev/null
+++ b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/MSCgen.room
@@ -0,0 +1,84 @@
+RoomModel RoomModel1 {
+ import room.basic.types.* from "../Types.room"
+ LogicalSystem LogSys1 {
+ SubSystemRef subSysRef1: SubSysClass1
+ }
+
+ SubSystemClass SubSysClass1 {
+ ActorRef actorRef1: Toplevel
+ LogicalThread defaultThread
+ }
+
+ ActorClass Toplevel {
+ Structure {
+ ActorRef sender: Sender
+ ActorRef receiver: Receiver
+ Binding sender.receiver and receiver.sender
+ }
+ Behavior { }
+ }
+
+ ActorClass Sender {
+ Interface {
+ conjugated Port receiver: PSendData
+ }
+ Structure {
+ external Port receiver
+ }
+ Behavior {
+ StateMachine {
+ Transition init: initial -> SendingData { }
+ Transition tr0: SendingData -> Received {
+ triggers {
+
+ }
+ }
+ State SendingData {
+ entry {
+ "receiver.sendData(1234);"
+ }
+ }
+ State Received
+ }
+ }
+ }
+
+ ActorClass Receiver {
+ Interface {
+ Port sender: PSendData
+ }
+ Structure {
+ external Port sender
+ }
+ Behavior {
+ StateMachine {
+ Transition init: initial -> WaitingForData { }
+ Transition tr0: WaitingForData -> Received {
+ triggers {
+
+ }
+ action {
+ "sender.receivedData();"
+ }
+ }
+ State WaitingForData
+ State Received {
+ entry {
+ "printf(\"Receiver - Received\");"
+ }
+ }
+ }
+ }
+ }
+
+ ProtocolClass PSendData {
+ incoming {
+ Message sendData(i: int32)
+
+ }
+ outgoing {
+ Message receivedData()
+ }
+ }
+
+}
\ No newline at end of file
diff --git a/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Receiver.behavior b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Receiver.behavior
new file mode 100644
index 000000000..e1b86817a
--- /dev/null
+++ b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Receiver.behavior
@@ -0,0 +1,135 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Receiver.structure b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Receiver.structure
new file mode 100644
index 000000000..a25b0b4ea
--- /dev/null
+++ b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Receiver.structure
@@ -0,0 +1,36 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Sender.behavior b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Sender.behavior
new file mode 100644
index 000000000..d2dfa73e1
--- /dev/null
+++ b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Sender.behavior
@@ -0,0 +1,135 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Sender.structure b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Sender.structure
new file mode 100644
index 000000000..6fb7dd516
--- /dev/null
+++ b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Sender.structure
@@ -0,0 +1,36 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.SubSysClass1.structure b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.SubSysClass1.structure
new file mode 100644
index 000000000..f6c600ff4
--- /dev/null
+++ b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.SubSysClass1.structure
@@ -0,0 +1,38 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Toplevel.structure b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Toplevel.structure
new file mode 100644
index 000000000..651fec69c
--- /dev/null
+++ b/examples/org.eclipse.etrice.generator.c.reference/model/MSCgen/diagrams/RoomModel1.Toplevel.structure
@@ -0,0 +1,89 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/examples/org.eclipse.etrice.generator.c.reference/tmp/msc.seq b/examples/org.eclipse.etrice.generator.c.reference/tmp/msc.seq
index 7a9ced94e..37a1d658c 100644
--- a/examples/org.eclipse.etrice.generator.c.reference/tmp/msc.seq
+++ b/examples/org.eclipse.etrice.generator.c.reference/tmp/msc.seq
@@ -1,1620 +1,213 @@
-main ==> node1_sys1 init(thread=6496)
-node1_sys1 ==> node1_sys1 constructActorInstances(thread=6496)
-node1_sys1 <== node1_sys1
-node1_sys1 ==> node1_sys1 initMessageServices(thread=6496)
-node1_sys1 ==> etMessageService init(thread=6496)
-etMessageService ==> etMessageQueue init(thread=6496)
+main ==> nodeRef1_subSysRef1 init(thread=6552)
+nodeRef1_subSysRef1 ==> nodeRef1_subSysRef1 constructActorInstances(thread=6552)
+nodeRef1_subSysRef1 <== nodeRef1_subSysRef1
+nodeRef1_subSysRef1 ==> nodeRef1_subSysRef1 initMessageServices(thread=6552)
+nodeRef1_subSysRef1 ==> etMessageService init(thread=6552)
+etMessageService ==> etMessageQueue init(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etMessageQueue init(thread=6496)
+etMessageService ==> etMessageQueue init(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etMessageService initMessagePool(thread=6496)
-etMessageService ==> etMessageQueue push(thread=6496)
+etMessageService ==> etMessageService initMessagePool(thread=6552)
+etMessageService ==> etMessageQueue push(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etMessageQueue push(thread=6496)
+etMessageService ==> etMessageQueue push(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etMessageQueue push(thread=6496)
+etMessageService ==> etMessageQueue push(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etMessageQueue push(thread=6496)
+etMessageService ==> etMessageQueue push(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etMessageQueue push(thread=6496)
+etMessageService ==> etMessageQueue push(thread=6552)
etMessageService <== etMessageQueue
-etMessageService <== etMessageService
-etMessageService ==> etMutex construct(thread=6496)
-etMessageService <== etMutex
-etMessageService ==> etMutex construct(thread=6496)
-etMessageService <== etMutex
-etMessageService ==> etSema construct(thread=6496)
-etMessageService <== etSema
-etMessageService ==> etThread construct(thread=6496)
-etMessageService <== etThread
-etMessageService ==> etTimer construct(thread=6496)
-etMessageService <== etTimer
-node1_sys1 <== etMessageService
-node1_sys1 <== node1_sys1
-node1_sys1 ==> node1_sys1 initActorInstances(thread=6496)
-node1_sys1 ==> Sender init(thread=6496)
-Sender ==> CommunicationProtocolConjPort sendData(thread=6496)
-CommunicationProtocolConjPort ==> etPort sendMessage(thread=6496)
-etPort ==> etMessageService getMessageBuffer(thread=6496)
-etMessageService ==> etMutex enter(thread=6496)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=6496)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=6496)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=6496)
-etMessageService ==> etMutex enter(thread=6496)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=6496)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=6496)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=6496)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolConjPort <== etPort
-Sender <== CommunicationProtocolConjPort
-node1_sys1 <== Sender
-node1_sys1 ==> Receiver init(thread=6496)
-node1_sys1 <== Receiver
-node1_sys1 <== node1_sys1
-main <== node1_sys1
-main ==> node1_sys1 start(thread=6496)
-node1_sys1 ==> node1_sys1 startMessageServices(thread=6496)
-node1_sys1 ==> etMessageService start(thread=6496)
-etMessageService ==> etThread start(thread=6496)
-etMessageService <== etThread
-etMessageService ==> etTimer start(thread=6496)
-etMessageService <== etTimer
-node1_sys1 <== etMessageService
-node1_sys1 <== node1_sys1
-main <== node1_sys1
-main ==> node1_sys1 run(thread=6496)
-node1_sys1 ==> etSema construct(thread=6496)
-node1_sys1 <== etSema
-node1_sys1 ==> etSema waitForWakeup(thread=6496)
-etSema ==> etThread execute(thread=5424)
-etThread ==> etMessageService execute(thread=5424)
-etMessageService ==> etMessageService deliverAllMessages(thread=5424)
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Receiver _receiveMessage(thread=5424)
-Receiver ==> CommunicationProtocolPort receivedData(thread=5424)
-CommunicationProtocolPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolPort <== etPort
-Receiver <== CommunicationProtocolPort
-MsgDispatcher_PhysicalThread1 <== Receiver
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _receiveMessage(thread=5424)
-Sender ==> CommunicationProtocolConjPort sendData(thread=5424)
-CommunicationProtocolConjPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolConjPort <== etPort
-Sender <== CommunicationProtocolConjPort
-MsgDispatcher_PhysicalThread1 <== Sender
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Receiver _receiveMessage(thread=5424)
-Receiver ==> CommunicationProtocolPort receivedData(thread=5424)
-CommunicationProtocolPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolPort <== etPort
-Receiver <== CommunicationProtocolPort
-MsgDispatcher_PhysicalThread1 <== Receiver
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _receiveMessage(thread=5424)
-Sender ==> CommunicationProtocolConjPort sendData(thread=5424)
-CommunicationProtocolConjPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolConjPort <== etPort
-Sender <== CommunicationProtocolConjPort
-MsgDispatcher_PhysicalThread1 <== Sender
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Receiver _receiveMessage(thread=5424)
-Receiver ==> CommunicationProtocolPort receivedData(thread=5424)
-CommunicationProtocolPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolPort <== etPort
-Receiver <== CommunicationProtocolPort
-MsgDispatcher_PhysicalThread1 <== Receiver
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _receiveMessage(thread=5424)
-Sender ==> CommunicationProtocolConjPort sendData(thread=5424)
-CommunicationProtocolConjPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolConjPort <== etPort
-Sender <== CommunicationProtocolConjPort
-MsgDispatcher_PhysicalThread1 <== Sender
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Receiver _receiveMessage(thread=5424)
-Receiver ==> CommunicationProtocolPort receivedData(thread=5424)
-CommunicationProtocolPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolPort <== etPort
-Receiver <== CommunicationProtocolPort
-MsgDispatcher_PhysicalThread1 <== Receiver
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _receiveMessage(thread=5424)
-Sender ==> CommunicationProtocolConjPort sendData(thread=5424)
-CommunicationProtocolConjPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolConjPort <== etPort
-Sender <== CommunicationProtocolConjPort
-MsgDispatcher_PhysicalThread1 <== Sender
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Receiver _receiveMessage(thread=5424)
-Receiver ==> CommunicationProtocolPort receivedData(thread=5424)
-CommunicationProtocolPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolPort <== etPort
-Receiver <== CommunicationProtocolPort
-MsgDispatcher_PhysicalThread1 <== Receiver
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _receiveMessage(thread=5424)
-Sender ==> CommunicationProtocolConjPort sendData(thread=5424)
-CommunicationProtocolConjPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolConjPort <== etPort
-Sender <== CommunicationProtocolConjPort
-MsgDispatcher_PhysicalThread1 <== Sender
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Receiver _receiveMessage(thread=5424)
-Receiver ==> CommunicationProtocolPort receivedData(thread=5424)
-CommunicationProtocolPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolPort <== etPort
-Receiver <== CommunicationProtocolPort
-MsgDispatcher_PhysicalThread1 <== Receiver
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _receiveMessage(thread=5424)
-Sender ==> CommunicationProtocolConjPort sendData(thread=5424)
-CommunicationProtocolConjPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolConjPort <== etPort
-Sender <== CommunicationProtocolConjPort
-MsgDispatcher_PhysicalThread1 <== Sender
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Receiver _receiveMessage(thread=5424)
-Receiver ==> CommunicationProtocolPort receivedData(thread=5424)
-CommunicationProtocolPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolPort <== etPort
-Receiver <== CommunicationProtocolPort
-MsgDispatcher_PhysicalThread1 <== Receiver
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _receiveMessage(thread=5424)
-Sender ==> CommunicationProtocolConjPort sendData(thread=5424)
-CommunicationProtocolConjPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolConjPort <== etPort
-Sender <== CommunicationProtocolConjPort
-MsgDispatcher_PhysicalThread1 <== Sender
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Receiver _receiveMessage(thread=5424)
-Receiver ==> CommunicationProtocolPort receivedData(thread=5424)
-CommunicationProtocolPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolPort <== etPort
-Receiver <== CommunicationProtocolPort
-MsgDispatcher_PhysicalThread1 <== Receiver
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _receiveMessage(thread=5424)
-Sender ==> CommunicationProtocolConjPort sendData(thread=5424)
-CommunicationProtocolConjPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolConjPort <== etPort
-Sender <== CommunicationProtocolConjPort
-MsgDispatcher_PhysicalThread1 <== Sender
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Receiver _receiveMessage(thread=5424)
-Receiver ==> CommunicationProtocolPort receivedData(thread=5424)
-CommunicationProtocolPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolPort <== etPort
-Receiver <== CommunicationProtocolPort
-MsgDispatcher_PhysicalThread1 <== Receiver
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _receiveMessage(thread=5424)
-Sender ==> CommunicationProtocolConjPort sendData(thread=5424)
-CommunicationProtocolConjPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolConjPort <== etPort
-Sender <== CommunicationProtocolConjPort
-MsgDispatcher_PhysicalThread1 <== Sender
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
+etMessageService ==> etMessageQueue push(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Receiver _receiveMessage(thread=5424)
-Receiver ==> CommunicationProtocolPort receivedData(thread=5424)
-CommunicationProtocolPort ==> etPort sendMessage(thread=5424)
-etPort ==> etMessageService getMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-CommunicationProtocolPort <== etPort
-Receiver <== CommunicationProtocolPort
-MsgDispatcher_PhysicalThread1 <== Receiver
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Sender
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema waitForWakeup(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema waitForWakeup(thread=5424)
-etSema ==> etTimer callback(thread=4660)
-etTimer ==> etMessageService timerCallback(thread=4660)
-etMessageService ==> etSystemProtocolConjPort poll(thread=4660)
-etSystemProtocolConjPort ==> etPort sendMessage(thread=4660)
-etPort ==> etMessageService getMessageBuffer(thread=4660)
-etMessageService ==> etMutex enter(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=4660)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=4660)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=4660)
-etMessageService ==> etMutex enter(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=4660)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=4660)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=4660)
-etMessageService <== etMutex
-etPort <== etMessageService
-etSystemProtocolConjPort <== etPort
-etMessageService <== etSystemProtocolConjPort
-etTimer <== etMessageService
-etSema <== etTimer
-etMessageService <== etSema
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> MsgDispatcher_PhysicalThread1 execute(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Sender
-MsgDispatcher_PhysicalThread1 ==> Receiver _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Receiver
-MsgDispatcher_PhysicalThread1 <== MsgDispatcher_PhysicalThread1
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema waitForWakeup(thread=5424)
-etSema ==> etTimer callback(thread=4660)
-etTimer ==> etMessageService timerCallback(thread=4660)
-etMessageService ==> etSystemProtocolConjPort poll(thread=4660)
-etSystemProtocolConjPort ==> etPort sendMessage(thread=4660)
-etPort ==> etMessageService getMessageBuffer(thread=4660)
-etMessageService ==> etMutex enter(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=4660)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=4660)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=4660)
-etMessageService ==> etMutex enter(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=4660)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=4660)
-etMessageService <== etSema
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> MsgDispatcher_PhysicalThread1 execute(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Sender
-MsgDispatcher_PhysicalThread1 ==> Receiver _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Receiver
-MsgDispatcher_PhysicalThread1 <== MsgDispatcher_PhysicalThread1
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema waitForWakeup(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etSystemProtocolConjPort <== etPort
-etMessageService <== etSystemProtocolConjPort
-etTimer <== etMessageService
-etSema <== etTimer
-etSema ==> etTimer callback(thread=5352)
-etTimer ==> etMessageService timerCallback(thread=5352)
-etMessageService ==> etSystemProtocolConjPort poll(thread=5352)
-etSystemProtocolConjPort ==> etPort sendMessage(thread=5352)
-etPort ==> etMessageService getMessageBuffer(thread=5352)
-etMessageService ==> etMutex enter(thread=5352)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5352)
+etMessageService ==> etMessageQueue push(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5352)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5352)
-etMessageService ==> etMutex enter(thread=5352)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5352)
+etMessageService ==> etMessageQueue push(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5352)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5352)
-etMessageService <== etMutex
-etPort <== etMessageService
-etSystemProtocolConjPort <== etPort
-etMessageService <== etSystemProtocolConjPort
-etTimer <== etMessageService
-etSema <== etTimer
-etMessageService <== etSema
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
+etMessageService ==> etMessageQueue push(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
+etMessageService ==> etMessageQueue push(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> MsgDispatcher_PhysicalThread1 execute(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Sender
-MsgDispatcher_PhysicalThread1 ==> Receiver _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Receiver
-MsgDispatcher_PhysicalThread1 <== MsgDispatcher_PhysicalThread1
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
+etMessageService ==> etMessageQueue resetLowWaterMark(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema waitForWakeup(thread=5424)
-etSema ==> etTimer callback(thread=4660)
-etTimer ==> etMessageService timerCallback(thread=4660)
-etMessageService ==> etSystemProtocolConjPort poll(thread=4660)
-etSystemProtocolConjPort ==> etPort sendMessage(thread=4660)
-etPort ==> etMessageService getMessageBuffer(thread=4660)
-etMessageService ==> etMutex enter(thread=4660)
+etMessageService ==> etMutex construct(thread=6552)
etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=4660)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=4660)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=4660)
-etMessageService ==> etMutex enter(thread=4660)
+etMessageService ==> etMutex construct(thread=6552)
etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=4660)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=4660)
+etMessageService ==> etSema construct(thread=6552)
etMessageService <== etSema
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> MsgDispatcher_PhysicalThread1 execute(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Sender
-MsgDispatcher_PhysicalThread1 ==> Receiver _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Receiver
-MsgDispatcher_PhysicalThread1 <== MsgDispatcher_PhysicalThread1
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema waitForWakeup(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etSystemProtocolConjPort <== etPort
-etMessageService <== etSystemProtocolConjPort
-etTimer <== etMessageService
-etSema <== etTimer
-etSema ==> etTimer callback(thread=4660)
-etTimer ==> etMessageService timerCallback(thread=4660)
-etMessageService ==> etSystemProtocolConjPort poll(thread=4660)
-etSystemProtocolConjPort ==> etPort sendMessage(thread=4660)
-etPort ==> etMessageService getMessageBuffer(thread=4660)
-etMessageService ==> etMutex enter(thread=4660)
+etMessageService ==> etThread construct(thread=6552)
+etMessageService <== etThread
+nodeRef1_subSysRef1 <== etMessageService
+nodeRef1_subSysRef1 <== nodeRef1_subSysRef1
+nodeRef1_subSysRef1 ==> nodeRef1_subSysRef1 initActorInstances(thread=6552)
+nodeRef1_subSysRef1 ==> Toplevel init(thread=6552)
+nodeRef1_subSysRef1 <== Toplevel
+nodeRef1_subSysRef1 ==> Sender init(thread=6552)
+Sender ==> PSendDataConjPort sendData(thread=6552)
+PSendDataConjPort ==> etPort sendMessage(thread=6552)
+etPort ==> etMessageService getMessageBuffer(thread=6552)
+etMessageService ==> etMutex enter(thread=6552)
etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=4660)
+etMessageService ==> etMessageQueue pop(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=4660)
+etMessageService ==> etMutex leave(thread=6552)
etMessageService <== etMutex
etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=4660)
-etMessageService ==> etMutex enter(thread=4660)
+etPort ==> etMessageService pushMessage(thread=6552)
+etMessageService ==> etMutex enter(thread=6552)
etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=4660)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=4660)
-etMessageService <== etSema
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
+etMessageService ==> etMessageQueue push(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
+etMessageService ==> etSema wakeup(thread=6552)
etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> MsgDispatcher_PhysicalThread1 execute(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Sender
-MsgDispatcher_PhysicalThread1 ==> Receiver _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Receiver
-MsgDispatcher_PhysicalThread1 <== MsgDispatcher_PhysicalThread1
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema waitForWakeup(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etSystemProtocolConjPort <== etPort
-etMessageService <== etSystemProtocolConjPort
-etTimer <== etMessageService
-etSema <== etTimer
-etSema ==> etTimer callback(thread=4660)
-etTimer ==> etMessageService timerCallback(thread=4660)
-etMessageService ==> etSystemProtocolConjPort poll(thread=4660)
-etSystemProtocolConjPort ==> etPort sendMessage(thread=4660)
-etPort ==> etMessageService getMessageBuffer(thread=4660)
-etMessageService ==> etMutex enter(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=4660)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=4660)
+etMessageService ==> etMutex leave(thread=6552)
etMessageService <== etMutex
etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=4660)
-etMessageService ==> etMutex enter(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=4660)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=4660)
-etMessageService <== etSema
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
+PSendDataConjPort <== etPort
+Sender <== PSendDataConjPort
+nodeRef1_subSysRef1 <== Sender
+nodeRef1_subSysRef1 ==> Receiver init(thread=6552)
+nodeRef1_subSysRef1 <== Receiver
+nodeRef1_subSysRef1 <== nodeRef1_subSysRef1
+main <== nodeRef1_subSysRef1
+main ==> nodeRef1_subSysRef1 start(thread=6552)
+nodeRef1_subSysRef1 ==> nodeRef1_subSysRef1 startMessageServices(thread=6552)
+nodeRef1_subSysRef1 ==> etMessageService start(thread=6552)
+etMessageService ==> etThread start(thread=6552)
+etMessageService <== etThread
+nodeRef1_subSysRef1 <== etMessageService
+nodeRef1_subSysRef1 <== nodeRef1_subSysRef1
+main <== nodeRef1_subSysRef1
+main ==> nodeRef1_subSysRef1 run(thread=6552)
+nodeRef1_subSysRef1 ==> etThread execute(thread=5940)
+etThread ==> etMessageService deliverAllMessages(thread=5940)
+etMessageService ==> etMessageQueue isNotEmpty(thread=5940)
etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> MsgDispatcher_PhysicalThread1 execute(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Sender
-MsgDispatcher_PhysicalThread1 ==> Receiver _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Receiver
-MsgDispatcher_PhysicalThread1 <== MsgDispatcher_PhysicalThread1
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
+etMessageService ==> etMessageService popMessage(thread=5940)
+etMessageService ==> etMutex enter(thread=5940)
etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
+etMessageService ==> etMessageQueue pop(thread=5940)
etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
+etMessageService ==> etMutex leave(thread=5940)
etMessageService <== etMutex
etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema waitForWakeup(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etSystemProtocolConjPort <== etPort
-etMessageService <== etSystemProtocolConjPort
-etTimer <== etMessageService
-etSema <== etTimer
-etSema ==> etTimer callback(thread=5352)
-etTimer ==> etMessageService timerCallback(thread=5352)
-etMessageService ==> etSystemProtocolConjPort poll(thread=5352)
-etSystemProtocolConjPort ==> etPort sendMessage(thread=5352)
-etPort ==> etMessageService getMessageBuffer(thread=5352)
-etMessageService ==> etMutex enter(thread=5352)
+etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5940)
+MsgDispatcher_PhysicalThread1 ==> Receiver _receiveMessage(thread=5940)
+Receiver ==> PSendDataPort receivedData(thread=5940)
+PSendDataPort ==> etPort sendMessage(thread=5940)
+etPort ==> etMessageService getMessageBuffer(thread=5940)
+etMessageService ==> etMutex enter(thread=5940)
etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5352)
+etMessageService ==> etMessageQueue pop(thread=5940)
etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5352)
+etMessageService ==> etMutex leave(thread=5940)
etMessageService <== etMutex
etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5352)
-etMessageService ==> etMutex enter(thread=5352)
+etPort ==> etMessageService pushMessage(thread=5940)
+etMessageService ==> etMutex enter(thread=5940)
etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5352)
+etMessageService ==> etMessageQueue push(thread=5940)
etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5352)
+etMessageService ==> etSema wakeup(thread=5940)
etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5352)
+etMessageService ==> etMutex leave(thread=5940)
etMessageService <== etMutex
etPort <== etMessageService
-etSystemProtocolConjPort <== etPort
-etMessageService <== etSystemProtocolConjPort
-etTimer <== etMessageService
-etSema <== etTimer
-etMessageService <== etSema
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> MsgDispatcher_PhysicalThread1 execute(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Sender
-MsgDispatcher_PhysicalThread1 ==> Receiver _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Receiver
-MsgDispatcher_PhysicalThread1 <== MsgDispatcher_PhysicalThread1
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema waitForWakeup(thread=5424)
-etSema ==> etTimer callback(thread=4660)
-etTimer ==> etMessageService timerCallback(thread=4660)
-etMessageService ==> etSystemProtocolConjPort poll(thread=4660)
-etSystemProtocolConjPort ==> etPort sendMessage(thread=4660)
-etPort ==> etMessageService getMessageBuffer(thread=4660)
-etMessageService ==> etMutex enter(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=4660)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=4660)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=4660)
-etMessageService ==> etMutex enter(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=4660)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=4660)
-etMessageService <== etSema
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> MsgDispatcher_PhysicalThread1 execute(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Sender
-MsgDispatcher_PhysicalThread1 ==> Receiver _execute(thread=5424)
+PSendDataPort <== etPort
+Receiver <== PSendDataPort
MsgDispatcher_PhysicalThread1 <== Receiver
-MsgDispatcher_PhysicalThread1 <== MsgDispatcher_PhysicalThread1
etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
+etMessageService ==> etMessageService returnMessageBuffer(thread=5940)
+etMessageService ==> etMutex enter(thread=5940)
etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
+etMessageService ==> etMessageQueue push(thread=5940)
etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
+etMessageService ==> etMutex leave(thread=5940)
etMessageService <== etMutex
etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema waitForWakeup(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etSystemProtocolConjPort <== etPort
-etMessageService <== etSystemProtocolConjPort
-etTimer <== etMessageService
-etSema <== etTimer
-etSema ==> etTimer callback(thread=5352)
-etTimer ==> etMessageService timerCallback(thread=5352)
-etMessageService ==> etSystemProtocolConjPort poll(thread=5352)
-etSystemProtocolConjPort ==> etPort sendMessage(thread=5352)
-etPort ==> etMessageService getMessageBuffer(thread=5352)
-etMessageService ==> etMutex enter(thread=5352)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5352)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5352)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5352)
-etMessageService ==> etMutex enter(thread=5352)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5352)
+etMessageService ==> etMessageQueue isNotEmpty(thread=5940)
etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5352)
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5352)
-etMessageService <== etMutex
-etPort <== etMessageService
-etSystemProtocolConjPort <== etPort
-etMessageService <== etSystemProtocolConjPort
-etTimer <== etMessageService
-etSema <== etTimer
-etMessageService <== etSema
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
+etMessageService ==> etMessageService popMessage(thread=5940)
+etMessageService ==> etMutex enter(thread=5940)
etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
+etMessageService ==> etMessageQueue pop(thread=5940)
etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
+etMessageService ==> etMutex leave(thread=5940)
etMessageService <== etMutex
etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> MsgDispatcher_PhysicalThread1 execute(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _execute(thread=5424)
+etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5940)
+MsgDispatcher_PhysicalThread1 ==> Sender _receiveMessage(thread=5940)
MsgDispatcher_PhysicalThread1 <== Sender
-MsgDispatcher_PhysicalThread1 ==> Receiver _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Receiver
-MsgDispatcher_PhysicalThread1 <== MsgDispatcher_PhysicalThread1
etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
+etMessageService ==> etMessageService returnMessageBuffer(thread=5940)
+etMessageService ==> etMutex enter(thread=5940)
etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
+etMessageService ==> etMessageQueue push(thread=5940)
etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
+etMessageService ==> etMutex leave(thread=5940)
etMessageService <== etMutex
etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
+etMessageService ==> etMessageQueue isNotEmpty(thread=5940)
etMessageService <== etMessageQueue
-etMessageService ==> etSema waitForWakeup(thread=5424)
-etSema ==> etTimer callback(thread=4660)
-etTimer ==> etMessageService timerCallback(thread=4660)
-etMessageService ==> etSystemProtocolConjPort poll(thread=4660)
-etSystemProtocolConjPort ==> etPort sendMessage(thread=4660)
-etPort ==> etMessageService getMessageBuffer(thread=4660)
-etMessageService ==> etMutex enter(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=4660)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=4660)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=4660)
-etMessageService ==> etMutex enter(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=4660)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=4660)
-etMessageService <== etSema
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMessageService popMessage(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
+etMessageService ==> etSema waitForWakeup(thread=5940)
etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=4660)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> MsgDispatcher_PhysicalThread1 execute(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Sender
-MsgDispatcher_PhysicalThread1 ==> Receiver _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Receiver
-MsgDispatcher_PhysicalThread1 <== MsgDispatcher_PhysicalThread1
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
+etMessageService ==> etMessageQueue isNotEmpty(thread=5940)
etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
+etMessageService ==> etSema waitForWakeup(thread=5940)
+main <== nodeRef1_subSysRef1
+main ==> nodeRef1_subSysRef1 stop(thread=6552)
+nodeRef1_subSysRef1 ==> nodeRef1_subSysRef1 stopMessageServices(thread=6552)
+nodeRef1_subSysRef1 ==> etMessageService stop(thread=6552)
+etMessageService ==> etSystemProtocolConjPort terminate(thread=6552)
+etSystemProtocolConjPort ==> etPort sendMessage(thread=6552)
+etPort ==> etMessageService getMessageBuffer(thread=6552)
+etMessageService ==> etMutex enter(thread=6552)
etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema waitForWakeup(thread=5424)
-etMessageService <== etMutex
-etPort <== etMessageService
-etSystemProtocolConjPort <== etPort
-etMessageService <== etSystemProtocolConjPort
-etTimer <== etMessageService
-etSema <== etTimer
-etSema ==> etTimer callback(thread=5352)
-etTimer ==> etMessageService timerCallback(thread=5352)
-etMessageService ==> etSystemProtocolConjPort poll(thread=5352)
-etSystemProtocolConjPort ==> etPort sendMessage(thread=5352)
-etPort ==> etMessageService getMessageBuffer(thread=5352)
-etMessageService ==> etMutex enter(thread=5352)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5352)
+etMessageService ==> etMessageQueue pop(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5352)
+etMessageService ==> etMutex leave(thread=6552)
etMessageService <== etMutex
etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=5352)
-etMessageService ==> etMutex enter(thread=5352)
+etPort ==> etMessageService pushMessage(thread=6552)
+etMessageService ==> etMutex enter(thread=6552)
etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5352)
+etMessageService ==> etMessageQueue push(thread=6552)
etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=5352)
+etMessageService ==> etSema wakeup(thread=6552)
etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=5352)
+etMessageService ==> etMutex leave(thread=6552)
etMessageService <== etMutex
etPort <== etMessageService
etMessageService <== etSema
etSystemProtocolConjPort <== etPort
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
+etMessageService ==> etMessageQueue isNotEmpty(thread=5940)
etMessageService <== etSystemProtocolConjPort
etMessageService <== etMessageQueue
-etTimer <== etMessageService
-etMessageService ==> etMessageService popMessage(thread=5424)
-etSema <== etTimer
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> MsgDispatcher_PhysicalThread1 execute(thread=5424)
-MsgDispatcher_PhysicalThread1 ==> Sender _execute(thread=5424)
-Sender ==> etSema wakeup(thread=5424)
-Sender <== etSema
-MsgDispatcher_PhysicalThread1 <== Sender
-MsgDispatcher_PhysicalThread1 ==> Receiver _execute(thread=5424)
-MsgDispatcher_PhysicalThread1 <== Receiver
-MsgDispatcher_PhysicalThread1 <== MsgDispatcher_PhysicalThread1
-etMessageService <== MsgDispatcher_PhysicalThread1
-etMessageService ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=5424)
-etMessageService <== etMutex
-etMessageService <== etMessageService
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema waitForWakeup(thread=5424)
-node1_sys1 <== etSema
-main <== node1_sys1
-main ==> node1_sys1 stop(thread=6496)
-node1_sys1 ==> node1_sys1 stopMessageServices(thread=6496)
-node1_sys1 ==> etMessageService stop(thread=6496)
-etMessageService ==> etTimer stop(thread=6496)
-etMessageService <== etTimer
-etMessageService ==> etSystemProtocolConjPort terminate(thread=6496)
-etSystemProtocolConjPort ==> etPort sendMessage(thread=6496)
-etPort ==> etMessageService getMessageBuffer(thread=6496)
-etMessageService ==> etMutex enter(thread=6496)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue pop(thread=6496)
-etMessageService <== etMessageQueue
-etMessageService ==> etMutex leave(thread=6496)
-etMessageService <== etMutex
-etPort <== etMessageService
-etPort ==> etMessageService pushMessage(thread=6496)
-etMessageService ==> etMutex enter(thread=6496)
-etMessageService <== etMutex
-etMessageService ==> etMessageQueue push(thread=6496)
-etMessageService <== etMessageQueue
-etMessageService ==> etSema wakeup(thread=6496)
-etMessageService <== etSema
-etMessageService <== etSema
-etMessageService ==> etMutex leave(thread=6496)
-etMessageService ==> etMessageQueue isNotEmpty(thread=5424)
+nodeRef1_subSysRef1 <== etMessageService
+etMessageService ==> etMessageService popMessage(thread=5940)
+nodeRef1_subSysRef1 <== nodeRef1_subSysRef1
+etMessageService ==> etMutex enter(thread=5940)
+main <== nodeRef1_subSysRef1
etMessageService <== etMutex
+main ==> nodeRef1_subSysRef1 destroy(thread=6552)
+etMessageService ==> etMessageQueue pop(thread=5940)
+nodeRef1_subSysRef1 ==> nodeRef1_subSysRef1 destroyMessageServices(thread=6552)
etMessageService <== etMessageQueue
-etPort <== etMessageService
-etMessageService ==> etMessageService popMessage(thread=5424)
-etSystemProtocolConjPort <== etPort
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etSystemProtocolConjPort
+nodeRef1_subSysRef1 ==> etMessageService destroy(thread=6552)
+etMessageService ==> etMutex leave(thread=5940)
+etMessageService ==> etMutex destruct(thread=6552)
etMessageService <== etMutex
-node1_sys1 <== etMessageService
-etMessageService ==> etMessageQueue pop(thread=5424)
-node1_sys1 <== node1_sys1
-etMessageService <== etMessageQueue
-main <== node1_sys1
-etMessageService ==> etMutex leave(thread=5424)
-main ==> node1_sys1 destroy(thread=6496)
etMessageService <== etMutex
+etMessageService ==> etMutex destruct(thread=6552)
etMessageService <== etMessageService
-etMessageService ==> node1_sys1 destroyMessageServices(thread=6496)
-etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5424)
-node1_sys1 ==> etMessageService destroy(thread=6496)
-MsgDispatcher_PhysicalThread1 ==> etMessageService returnMessageBuffer(thread=5424)
-etMessageService ==> etMutex destruct(thread=6496)
-etMessageService ==> etMutex enter(thread=5424)
-etMessageService <== etMutex
-etMessageService ==> etMutex destruct(thread=6496)
etMessageService <== etMutex
-etMessageService ==> etSema destruct(thread=6496)
+etMessageService ==> MsgDispatcher_PhysicalThread1 receiveMessage(thread=5940)
+etMessageService ==> etSema destruct(thread=6552)
+MsgDispatcher_PhysicalThread1 ==> etMessageService returnMessageBuffer(thread=5940)
etMessageService <== etSema
-node1_sys1 <== etMessageService
-etMessageService <== node1_sys1
-main <== node1_sys1
+etMessageService ==> etMutex enter(thread=5940)
+nodeRef1_subSysRef1 <== etMessageService
+nodeRef1_subSysRef1 <== nodeRef1_subSysRef1
+main <== nodeRef1_subSysRef1
--
cgit v1.2.3