CPAL Playground

/* Copyright (C) 2015, RealTime-at-Work, All Rights Reserved
 *
 * You may use, copy, reproduce, and distribute this sample cource code for any non-commercial purpose.
 * Some purposes which can be non-commercial are teaching, academic research,
 * public demonstrations and personal experimentation. You may also distribute this Software
 * with books or other teaching materials, or publish the Software on websites,
 * that are intended to teaching for academic or other non-commercial purposes.
 *
 * In return, we simply require that you agree: 
 * 1. That you will not remove any copyright or other notices from the Software.
 * 2. THAT THE SOFTWARE COMES "AS IS", WITH NO WARRANTIES. THIS MEANS NO EXPRESS, 
 *    IMPLIED OR STATUTORY WARRANTY.
 *
 * @keywords structure, definition; queue; protocol, communication; channel; variable, static
 */
struct ABP_Message
{
  uint32: data;
  bool: i;
};

processdef ABP_Sender(
  in  time64: timeout,
  in  channel<ABP_Message>: msgs_in,
  out channel<ABP_Message>: msgs_out)
{
  static var uint32: data = 0;
  static var ABP_Message: msg;
  static var bool: s_bit = false;
  state Main {
    data = data + 1;
  }
  on (true)
    {
      msg.data = data;
      msg.i = s_bit;
      msgs_out.push(msg);
      IO.println("ping %u\n", msg.data);
    }
    to Wait_Ack;

state Wait_Ack {
  }
  after (timeout)
    {
      msgs_out.push(msg);
      IO.println("ping again %u\n", msg.data);
    }
    to Wait_Ack;
  on (msgs_in.not_empty() and msgs_in.peek().i == s_bit)
    {
      msgs_in.pop();
      s_bit = not(s_bit);
    }
    to Main;
  on (msgs_in.not_empty())
    {
      /* no timeout and msgs_in.not_empty() && msgs_in.peek().i != s_bit) {*/
      msgs_in.pop();
      /* Ignore unexpected message */
    }
    to Wait_Ack;

}
processdef ABP_Receiver(
  in  time64: timeout,
  in  channel<ABP_Message>: msgs_in,
  out channel<ABP_Message>: msgs_out)
{
  static var bool: r_bit = false;
  state Wait0 {
    assert(r_bit == false);
  }
  on (msgs_in.not_empty() and msgs_in.peek().i == r_bit)
    {
      var ABP_Message: msg;
      var ABP_Message: received_msg;

received_msg = msgs_in.pop();
      msg.data = 0;
      msg.i = r_bit;
      msgs_out.push(msg);
      IO.println("pong %u\n", received_msg.data);
      r_bit = not(r_bit);
    }
    to Wait1;
  on (msgs_in.not_empty())
    {
      /* && msgs_in.peek().i != r_bit */
      msgs_in.pop();
    }
    to Wait0;

state Wait1 {
    assert(r_bit == true);
  }
  on (msgs_in.not_empty() and msgs_in.peek().i == r_bit)
    {
      var ABP_Message: msg;
      var ABP_Message: received_msg;

received_msg = msgs_in.pop();
      msg.data = 0;
      msg.i = r_bit;
      msgs_out.push(msg);
      IO.println("pong %u\n", received_msg.data);
      r_bit = not(r_bit);
    }
    to Wait0;
  on (msgs_in.not_empty())
    {
      /* && msgs_in.peek().i != r_bit */
      msgs_in.pop();
    }
    to Wait1;

}

var time64: timeout = 500ms;
var queue<ABP_Message>: sender_to_receiver[10];
var queue<ABP_Message>: receiver_to_sender[10];

process ABP_Sender: sender1[100ms](timeout, receiver_to_sender, sender_to_receiver);
process ABP_Receiver: receiver1[100ms](timeout, sender_to_receiver, receiver_to_sender);

for ms or try the desktop editor with advanced diagram views

Simulation
Tasks diagram


Quiet mode disabled
[0.000000000000:ASSIGN] Assign cpal_system new value: Scheduling_Policy.FIFO
[0.000000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[0.000000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[0.000000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[0.000000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[0.000000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait0"
[0.000000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[0.100000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[0.100000000000:ASSIGN][0.100000000000] Pushed sender_to_receiver new value: {1,false}
[0.100000000000:PRINTLN] ping 1
[0.100000000000:PRINTLN] 
[0.100000000000:STATE] process "ABP_Sender", instance "sender1", state "Wait_Ack"
[0.100000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[0.100000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[0.100000000000:ASSIGN][0.100000000000] Pushed receiver_to_sender new value: {0,false}
[0.100000000000:PRINTLN] pong 1
[0.100000000000:PRINTLN] 
[0.100000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait1"
[0.100000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[0.200000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[0.200000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[0.200000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[0.200000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[0.200000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[0.300000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[0.300000000000:ASSIGN][0.300000000000] Pushed sender_to_receiver new value: {2,true}
[0.300000000000:PRINTLN] ping 2
[0.300000000000:PRINTLN] 
[0.300000000000:STATE] process "ABP_Sender", instance "sender1", state "Wait_Ack"
[0.300000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[0.300000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[0.300000000000:ASSIGN][0.300000000000] Pushed receiver_to_sender new value: {0,true}
[0.300000000000:PRINTLN] pong 2
[0.300000000000:PRINTLN] 
[0.300000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait0"
[0.300000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[0.400000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[0.400000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[0.400000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[0.400000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[0.400000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[0.500000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[0.500000000000:ASSIGN][0.500000000000] Pushed sender_to_receiver new value: {3,false}
[0.500000000000:PRINTLN] ping 3
[0.500000000000:PRINTLN] 
[0.500000000000:STATE] process "ABP_Sender", instance "sender1", state "Wait_Ack"
[0.500000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[0.500000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[0.500000000000:ASSIGN][0.500000000000] Pushed receiver_to_sender new value: {0,false}
[0.500000000000:PRINTLN] pong 3
[0.500000000000:PRINTLN] 
[0.500000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait1"
[0.500000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[0.600000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[0.600000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[0.600000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[0.600000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[0.600000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[0.700000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[0.700000000000:ASSIGN][0.700000000000] Pushed sender_to_receiver new value: {4,true}
[0.700000000000:PRINTLN] ping 4
[0.700000000000:PRINTLN] 
[0.700000000000:STATE] process "ABP_Sender", instance "sender1", state "Wait_Ack"
[0.700000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[0.700000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[0.700000000000:ASSIGN][0.700000000000] Pushed receiver_to_sender new value: {0,true}
[0.700000000000:PRINTLN] pong 4
[0.700000000000:PRINTLN] 
[0.700000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait0"
[0.700000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[0.800000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[0.800000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[0.800000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[0.800000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[0.800000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[0.900000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[0.900000000000:ASSIGN][0.900000000000] Pushed sender_to_receiver new value: {5,false}
[0.900000000000:PRINTLN] ping 5
[0.900000000000:PRINTLN] 
[0.900000000000:STATE] process "ABP_Sender", instance "sender1", state "Wait_Ack"
[0.900000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[0.900000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[0.900000000000:ASSIGN][0.900000000000] Pushed receiver_to_sender new value: {0,false}
[0.900000000000:PRINTLN] pong 5
[0.900000000000:PRINTLN] 
[0.900000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait1"
[0.900000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[1.000000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[1.000000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[1.000000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[1.000000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[1.000000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[1.100000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[1.100000000000:ASSIGN][1.100000000000] Pushed sender_to_receiver new value: {6,true}
[1.100000000000:PRINTLN] ping 6
[1.100000000000:PRINTLN] 
[1.100000000000:STATE] process "ABP_Sender", instance "sender1", state "Wait_Ack"
[1.100000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[1.100000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[1.100000000000:ASSIGN][1.100000000000] Pushed receiver_to_sender new value: {0,true}
[1.100000000000:PRINTLN] pong 6
[1.100000000000:PRINTLN] 
[1.100000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait0"
[1.100000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[1.200000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[1.200000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[1.200000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[1.200000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[1.200000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[1.300000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[1.300000000000:ASSIGN][1.300000000000] Pushed sender_to_receiver new value: {7,false}
[1.300000000000:PRINTLN] ping 7
[1.300000000000:PRINTLN] 
[1.300000000000:STATE] process "ABP_Sender", instance "sender1", state "Wait_Ack"
[1.300000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[1.300000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[1.300000000000:ASSIGN][1.300000000000] Pushed receiver_to_sender new value: {0,false}
[1.300000000000:PRINTLN] pong 7
[1.300000000000:PRINTLN] 
[1.300000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait1"
[1.300000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[1.400000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[1.400000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[1.400000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[1.400000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[1.400000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[1.500000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[1.500000000000:ASSIGN][1.500000000000] Pushed sender_to_receiver new value: {8,true}
[1.500000000000:PRINTLN] ping 8
[1.500000000000:PRINTLN] 
[1.500000000000:STATE] process "ABP_Sender", instance "sender1", state "Wait_Ack"
[1.500000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[1.500000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[1.500000000000:ASSIGN][1.500000000000] Pushed receiver_to_sender new value: {0,true}
[1.500000000000:PRINTLN] pong 8
[1.500000000000:PRINTLN] 
[1.500000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait0"
[1.500000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[1.600000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[1.600000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[1.600000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[1.600000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[1.600000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[1.700000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[1.700000000000:ASSIGN][1.700000000000] Pushed sender_to_receiver new value: {9,false}
[1.700000000000:PRINTLN] ping 9
[1.700000000000:PRINTLN] 
[1.700000000000:STATE] process "ABP_Sender", instance "sender1", state "Wait_Ack"
[1.700000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[1.700000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[1.700000000000:ASSIGN][1.700000000000] Pushed receiver_to_sender new value: {0,false}
[1.700000000000:PRINTLN] pong 9
[1.700000000000:PRINTLN] 
[1.700000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait1"
[1.700000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[1.800000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[1.800000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[1.800000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[1.800000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[1.800000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[1.900000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[1.900000000000:ASSIGN][1.900000000000] Pushed sender_to_receiver new value: {10,true}
[1.900000000000:PRINTLN] ping 10
[1.900000000000:PRINTLN] 
[1.900000000000:STATE] process "ABP_Sender", instance "sender1", state "Wait_Ack"
[1.900000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[1.900000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[1.900000000000:ASSIGN][1.900000000000] Pushed receiver_to_sender new value: {0,true}
[1.900000000000:PRINTLN] pong 10
[1.900000000000:PRINTLN] 
[1.900000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait0"
[1.900000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[2.000000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[2.000000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[2.000000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[2.000000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[2.000000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[2.100000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[2.100000000000:ASSIGN][2.100000000000] Pushed sender_to_receiver new value: {11,false}
[2.100000000000:PRINTLN] ping 11
[2.100000000000:PRINTLN] 
[2.100000000000:STATE] process "ABP_Sender", instance "sender1", state "Wait_Ack"
[2.100000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[2.100000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[2.100000000000:ASSIGN][2.100000000000] Pushed receiver_to_sender new value: {0,false}
[2.100000000000:PRINTLN] pong 11
[2.100000000000:PRINTLN] 
[2.100000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait1"
[2.100000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[2.200000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[2.200000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[2.200000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[2.200000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[2.200000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[2.300000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[2.300000000000:ASSIGN][2.300000000000] Pushed sender_to_receiver new value: {12,true}
[2.300000000000:PRINTLN] ping 12
[2.300000000000:PRINTLN] 
[2.300000000000:STATE] process "ABP_Sender", instance "sender1", state "Wait_Ack"
[2.300000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[2.300000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[2.300000000000:ASSIGN][2.300000000000] Pushed receiver_to_sender new value: {0,true}
[2.300000000000:PRINTLN] pong 12
[2.300000000000:PRINTLN] 
[2.300000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait0"
[2.300000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[2.400000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[2.400000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[2.400000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[2.400000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[2.400000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[2.500000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[2.500000000000:ASSIGN][2.500000000000] Pushed sender_to_receiver new value: {13,false}
[2.500000000000:PRINTLN] ping 13
[2.500000000000:PRINTLN] 
[2.500000000000:STATE] process "ABP_Sender", instance "sender1", state "Wait_Ack"
[2.500000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[2.500000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[2.500000000000:ASSIGN][2.500000000000] Pushed receiver_to_sender new value: {0,false}
[2.500000000000:PRINTLN] pong 13
[2.500000000000:PRINTLN] 
[2.500000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait1"
[2.500000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[2.600000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[2.600000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[2.600000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[2.600000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[2.600000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[2.700000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[2.700000000000:ASSIGN][2.700000000000] Pushed sender_to_receiver new value: {14,true}
[2.700000000000:PRINTLN] ping 14
[2.700000000000:PRINTLN] 
[2.700000000000:STATE] process "ABP_Sender", instance "sender1", state "Wait_Ack"
[2.700000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[2.700000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[2.700000000000:ASSIGN][2.700000000000] Pushed receiver_to_sender new value: {0,true}
[2.700000000000:PRINTLN] pong 14
[2.700000000000:PRINTLN] 
[2.700000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait0"
[2.700000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[2.800000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[2.800000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[2.800000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[2.800000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[2.800000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[2.900000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[2.900000000000:ASSIGN][2.900000000000] Pushed sender_to_receiver new value: {15,false}
[2.900000000000:PRINTLN] ping 15
[2.900000000000:PRINTLN] 
[2.900000000000:STATE] process "ABP_Sender", instance "sender1", state "Wait_Ack"
[2.900000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[2.900000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[2.900000000000:ASSIGN][2.900000000000] Pushed receiver_to_sender new value: {0,false}
[2.900000000000:PRINTLN] pong 15
[2.900000000000:PRINTLN] 
[2.900000000000:STATE] process "ABP_Receiver", instance "receiver1", state "Wait1"
[2.900000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
[3.000000000000:alternating-bit-protocol:STARTING_TASK] 'sender1'
[3.000000000000:STATE] process "ABP_Sender", instance "sender1", state "Main"
[3.000000000000:alternating-bit-protocol:TASK_FINISHED] 'sender1'
[3.000000000000:alternating-bit-protocol:STARTING_TASK] 'receiver1'
[3.000000000000:alternating-bit-protocol:TASK_FINISHED] 'receiver1'
EXIT (SUCCESS) AT 3s (3000000000000)

PID	start	end	name	state
0	0	0	sender1	Main
1	0	0	receiver1	Wait0
0	100000000000	100000000000	sender1	Wait_Ack
1	100000000000	100000000000	receiver1	Wait1
0	200000000000	200000000000	sender1	Main
1	200000000000	200000000000	receiver1	Wait1
0	300000000000	300000000000	sender1	Wait_Ack
1	300000000000	300000000000	receiver1	Wait0
0	400000000000	400000000000	sender1	Main
1	400000000000	400000000000	receiver1	Wait0
0	500000000000	500000000000	sender1	Wait_Ack
1	500000000000	500000000000	receiver1	Wait1
0	600000000000	600000000000	sender1	Main
1	600000000000	600000000000	receiver1	Wait1
0	700000000000	700000000000	sender1	Wait_Ack
1	700000000000	700000000000	receiver1	Wait0
0	800000000000	800000000000	sender1	Main
1	800000000000	800000000000	receiver1	Wait0
0	900000000000	900000000000	sender1	Wait_Ack
1	900000000000	900000000000	receiver1	Wait1
0	1000000000000	1000000000000	sender1	Main
1	1000000000000	1000000000000	receiver1	Wait1
0	1100000000000	1100000000000	sender1	Wait_Ack
1	1100000000000	1100000000000	receiver1	Wait0
0	1200000000000	1200000000000	sender1	Main
1	1200000000000	1200000000000	receiver1	Wait0
0	1300000000000	1300000000000	sender1	Wait_Ack
1	1300000000000	1300000000000	receiver1	Wait1
0	1400000000000	1400000000000	sender1	Main
1	1400000000000	1400000000000	receiver1	Wait1
0	1500000000000	1500000000000	sender1	Wait_Ack
1	1500000000000	1500000000000	receiver1	Wait0
0	1600000000000	1600000000000	sender1	Main
1	1600000000000	1600000000000	receiver1	Wait0
0	1700000000000	1700000000000	sender1	Wait_Ack
1	1700000000000	1700000000000	receiver1	Wait1
0	1800000000000	1800000000000	sender1	Main
1	1800000000000	1800000000000	receiver1	Wait1
0	1900000000000	1900000000000	sender1	Wait_Ack
1	1900000000000	1900000000000	receiver1	Wait0
0	2000000000000	2000000000000	sender1	Main
1	2000000000000	2000000000000	receiver1	Wait0
0	2100000000000	2100000000000	sender1	Wait_Ack
1	2100000000000	2100000000000	receiver1	Wait1
0	2200000000000	2200000000000	sender1	Main
1	2200000000000	2200000000000	receiver1	Wait1
0	2300000000000	2300000000000	sender1	Wait_Ack
1	2300000000000	2300000000000	receiver1	Wait0
0	2400000000000	2400000000000	sender1	Main
1	2400000000000	2400000000000	receiver1	Wait0
0	2500000000000	2500000000000	sender1	Wait_Ack
1	2500000000000	2500000000000	receiver1	Wait1
0	2600000000000	2600000000000	sender1	Main
1	2600000000000	2600000000000	receiver1	Wait1
0	2700000000000	2700000000000	sender1	Wait_Ack
1	2700000000000	2700000000000	receiver1	Wait0
0	2800000000000	2800000000000	sender1	Main
1	2800000000000	2800000000000	receiver1	Wait0
0	2900000000000	2900000000000	sender1	Wait_Ack
1	2900000000000	2900000000000	receiver1	Wait1
0	3000000000000	3000000000000	sender1	Main
1	3000000000000	3000000000000	receiver1	Wait1