ADA95 – part III Adam.Czajka@cs.put.poznan.pl Real-Time Systems Lecture 3 Copyright, 2002 © Adam...

transcript

ADA95 – part III ADA95 – part III

Adam.Czajka@cs.put.poznan.pl

Real-Time SystemsReal-Time Systems

Lecture 3Lecture 3

Copyright, 2002 © Adam Czajka

Contents

Protected objects

task type task_id [(quantifier)] is

[entry id (parameters);]

[private

[entry id (parameters);]]

end [task_id];

task body task_id is

declarations .....

... instructions ...

[accept id (parameters);]

... instructions ...

end [task_id];

task type TP1(P : integer) is

entry E1(x: integer);

entry E2();

end TP1;

task type TP2(P : integer) is

entry E1();

end TP2;

T1 : TP1(3);

T2 : TP2;

T3 : array (1..5) of T2;

type p_T1 is access T1;

type p_T2 is access T2;

p1 : p_T1 := new T1(3);

p2 : p_T2 := new T2;

Communication is synchronousCommunication is synchronous

Communication is asymmetric Communication is asymmetric

(client (client server) server)

task_name.entry proc_name (parameters);

Communication

TasksCommunication

task type T is entry E1(x : in Integer; y : out Integer); end T; task body T is

... accept E1(x : in Integer; y : out Integer) do ... end E1;

... end T;

a : Integer;a : Integer; T.E1(5, a);T.E1(5, a);

TasksPriorities

task type task_id (p : Any_Priority) is pragma Priority(p); ... end task_id; T1 : task_id(10);

TasksInteraction :

time server client1 client2

accept E1

server.E1(); in,inout

end;out,inout

TasksInteraction :

time server client1 client2

accept E1

server.E1();

in,inout

end;out,inout

TasksProducer-Consumer :

task Buffer is entry Get(X : out Integer); entry Put(X : in Integer);end Buffer;

task type Producer;

task type Consumer;

TasksProducer-Consumer :

task body Buffer is Tmp : Integer;begin loop accept Get(X : out Integer) do X := Tmp; end; accept Put(X : in Integer) do Tmp := X; end; end loop;end Buffer;

task body Consumer isbegin Buffer.Get(Elem); ....end Producer;

task body Producer isbegin .... Buffer.Put(Elem);end Producer;

TasksSelective waiting :

select accept E1(parameters) do .... end E1; or accept E2(parameters) do .... end E2;end select;

TasksSelective waiting – example :

task Server is entry E1(...); entry E2(...); .... entry Ei(...);end Server;

task body Server isbegin loop select accept E1(...) do ..... end E1; or accept E2(...) do ..... end E2; ..... end select; end loop;end Server;

Selective waiting – example :

TasksConditional accept :

when condition => accept E1(...) do ..... end E1;

task type Buffer(Size: Integer) is entry Get(X : out Integer); entry Put(X : in Integer);end Buffer;

task body Buffer(Size : Integer) is counter : Integer; tmp : array (1..Size) of Integer;begin loop select when counter > 0 => accept Get(X : out Integer)do X := tmp(counter); counter := counter – 1; end Get; ....

.... or when counter < Size => accept Put(X : in Integer)do counter := counter + 1; tmp(counter) := X; end Put; end select; end loop;end Buffer;

buf : Buffer(10);buf : Buffer(10);El : Integer;El : Integer; Buffer.Put(5);Buffer.Put(5);Buffer.Get(El);Buffer.Get(El);

TasksWait instructions :

delay time; delay until time;

delay 3.0

end loop;

Problem !!!Problem !!!

next_time := tm_Start;

delay next_time;

next_time := next_time + tm_Slice;

end loop;

OK.OK.

declare use Ada.Calendar; period : constant duration := 3.0; next_time : Time := starting_time;begin loop delay until next_time; .... next_time := next_time + period; end loop;end;

main_loop:loop ..... select accept E1(...) do ..... end; or delay wait_time; ..... exit main_loop; end select;end loop main_loop;

TasksBuilding a server :

server_loop:loop ..... select accept E1(...) do ..... end; else null; end select;...delay timeSlice;end loop server_loop;

TasksFinishing a task :

task Server is entry E1(...); ..... entry Finish;end Server;

TasksFinishing a task :task body Server isbegin loop select accept E1(...) do ..... end; or ..... or accept Finish do exit; end select; end loop;end Server;

TasksFinishing a task :task body Server isbegin loop select accept E1(...) do ..... end; or ..... or terminate;

end select; end loop;end Server;

TasksConditional communication

with Server:

select Server.E1(...); ..... or delay wait_time; .....end select;

protected type obj_name [ (quantifier) ] is entry E1(...); procedure P1(...); function F1(...); .....[private declarations_of_shared_variables procedure P2(...);]end obj_name;

Protected objects

protected body obj_name is..... entry E1(...) when Condition is begin ..... end E1;.....end obj_name;

Only Only EntryEntry subroutines can have barriers, i.e. subroutines can have barriers, i.e.

whenwhen statements. statements.

Protected objectsLocks :

Actions Lock type

procedure, entry

modifications Read/Write

function reading Read

Protected objectsLocks :

Caller

Read Read/Write

Entry No No

Procedure No No

Function Yes No

Protected objects

protected type Buffer(Size : Integer := 100) is entry Put(X : in Integer); entry Get(X : out Integer);private buf : array(1..N) of Integer counter : Integer range 0..N := 0;end Buffer;

Example :

Protected objects

protected body Buffer is entry Put(X : in Integer) when counter < N is begin counter := counter + 1; buf(counter) := X; end Put; entry Get(X : out Integer) when counter > 0 is begin X := buf(counter); counter := counter – 1; end Get;

end Buffer;

Example :

Protected objects

buf1 : Buffer(200);El : Integer; buf1.Put(100);buf1.Get(El);

Example :

SummarySummary

Protected objects

ADA95 – part III Adam.Czajka@cs.put.poznan.pl Real-Time Systems Lecture 3 Copyright, 2002 © Adam...

Documents