Ticket #38: bufferTicket38.xmlv3

<?xml version="1.0" encoding="utf-8"?>
<cheddar>
 <core_units>
  <core_unit id="id_1">
   <object_type>CORE_OBJECT_TYPE</object_type>
   <name>my_core</name>
   <scheduling>
    <scheduling_parameters>
     <scheduler_type>RATE_MONOTONIC_PROTOCOL</scheduler_type>
     <quantum>0</quantum>
     <preemptive_type>PREEMPTIVE</preemptive_type>
     <capacity>0</capacity>
     <period>0</period>
     <priority>0</priority>
     <start_time>0</start_time>
    </scheduling_parameters>
   </scheduling>
   <speed>0.00000</speed>
  </core_unit>
 </core_units>
 <processors>
  <mono_core_processor id="id_2">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>my_processor</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_1">
   </core>
  </mono_core_processor>
 </processors>
 <address_spaces>
  <address_space id="id_3">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>address_space_1</name>
   <cpu_name>my_processor</cpu_name>
   <text_memory_size>0</text_memory_size>
   <stack_memory_size>0</stack_memory_size>
   <data_memory_size>0</data_memory_size>
   <heap_memory_size>0</heap_memory_size>
   <scheduling>
    <scheduling_parameters>
     <scheduler_type>NO_SCHEDULING_PROTOCOL</scheduler_type>
     <quantum>0</quantum>
     <preemptive_type>PREEMPTIVE</preemptive_type>
     <capacity>0</capacity>
     <period>0</period>
     <priority>0</priority>
     <start_time>0</start_time>
    </scheduling_parameters>
   </scheduling>
  </address_space>
  <address_space id="id_4">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>address_space_buffer</name>
   <cpu_name>my_processor</cpu_name>
   <text_memory_size>0</text_memory_size>
   <stack_memory_size>0</stack_memory_size>
   <data_memory_size>0</data_memory_size>
   <heap_memory_size>0</heap_memory_size>
   <scheduling>
    <scheduling_parameters>
     <scheduler_type>NO_SCHEDULING_PROTOCOL</scheduler_type>
     <quantum>0</quantum>
     <preemptive_type>PREEMPTIVE</preemptive_type>
     <capacity>0</capacity>
     <period>0</period>
     <priority>0</priority>
     <start_time>0</start_time>
    </scheduling_parameters>
   </scheduling>
  </address_space>
 </address_spaces>
 <tasks>
  <periodic_task id="id_5">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>T1</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>my_processor</cpu_name>
   <address_space_name>address_space_1</address_space_name>
   <capacity>1</capacity>
   <deadline>5</deadline>
   <start_time>0</start_time>
   <priority>1</priority>
   <blocking_time>0</blocking_time>
   <policy>SCHED_FIFO</policy>
   <text_memory_size>0</text_memory_size>
   <stack_memory_size>0</stack_memory_size>
   <criticality>0</criticality>
   <context_switch_overhead>0</context_switch_overhead>
   <period>5</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
  <periodic_task id="id_6">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>T2</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>my_processor</cpu_name>
   <address_space_name>address_space_1</address_space_name>
   <capacity>5</capacity>
   <deadline>21</deadline>
   <start_time>0</start_time>
   <priority>1</priority>
   <blocking_time>0</blocking_time>
   <policy>SCHED_FIFO</policy>
   <text_memory_size>0</text_memory_size>
   <stack_memory_size>0</stack_memory_size>
   <criticality>0</criticality>
   <context_switch_overhead>0</context_switch_overhead>
   <period>21</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
  <periodic_task id="id_7">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>T3</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>my_processor</cpu_name>
   <address_space_name>address_space_1</address_space_name>
   <capacity>20</capacity>
   <deadline>46</deadline>
   <start_time>0</start_time>
   <priority>1</priority>
   <blocking_time>0</blocking_time>
   <policy>SCHED_FIFO</policy>
   <text_memory_size>0</text_memory_size>
   <stack_memory_size>0</stack_memory_size>
   <criticality>0</criticality>
   <context_switch_overhead>0</context_switch_overhead>
   <period>46</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
 </tasks>
 <resources>
  <pip_resource id="id_9">
   <object_type>RESOURCE_OBJECT_TYPE</object_type>
   <name>sem1</name>
   <state>1</state>
   <size>0</size>
   <address>0</address>
   <protocol>PRIORITY_INHERITANCE_PROTOCOL</protocol>
   <critical_sections>
    <task_name>T1</task_name>
    <critical_section>
     <task_begin>1</task_begin>
     <task_end>1</task_end>
    </critical_section>
    <task_name>T2</task_name>
    <critical_section>
     <task_begin>1</task_begin>
     <task_end>5</task_end>
    </critical_section>
   </critical_sections>
   <cpu_name>my_processor</cpu_name>
   <address_space_name>address_space_1</address_space_name>
   <priority>0</priority>
   <priority_assignment>AUTOMATIC_ASSIGNMENT</priority_assignment>
  </pip_resource>
 </resources>
 <buffers>
  <buffer id="id_8">
   <object_type>BUFFER_OBJECT_TYPE</object_type>
   <name>buff</name>
   <cpu_name>my_processor</cpu_name>
   <address_space_name>address_space_buffer</address_space_name>
   <queueing_system_type>QS_PP1</queueing_system_type>
   <buffer_size>10</buffer_size>
   <roles>
    <task_name>T2</task_name>
    <buffer_role>
     <the_role>QUEUING_CONSUMER</the_role>
     <size>1</size>
     <time>5</time>
     <timeout>0</timeout>
    </buffer_role>
    <task_name>T1</task_name>
    <buffer_role>
     <the_role>QUEUING_PRODUCER</the_role>
     <size>1</size>
     <time>1</time>
     <timeout>0</timeout>
    </buffer_role>
   </roles>
  </buffer>
 </buffers>
</cheddar>