'Storage_Size in Ada95

'Storage_Size in Ada95

[Martin Dowie]

Can someone give me a quick example of the Ada95 way of
allocating storage to for task type? (I've left my Barnes
book at home, doh!)

e.g the equivilant of Ada83:

package A is
  ...
  task type B is
    entry C;
  end B;
  for B'Storage_Size use (Some_Value);
  ...
end A;

Thanks in advance...

Re: 'Storage_Size in Ada95

[David C. Hoos, Sr.]

From RM95, Annex L:

35 pragma Storage_Size(expression); � See 13.3.

And from RM95 3.13:

59 For a prefix T that denotes a task object (after any implicit
dereference):

60 T�Storage_Size Denotes the number of storage elements reserved for
the task. The value of this attribute is of the type universal_integer. The
Storage_Size includes the size of the task�s stack, if any. The language
does not specify whether or not it includes other storage associated with
the task (such as the �task control block� used by some implementations.)
If a pragma Storage_Size is given, the value of the Storage_Size attribute
is at least the value specified in the pragma.

61 A pragma Storage_Size specifies the amount of storage to be reserved
for the execution of a task.

Syntax

62 The form of a pragma Storage_Size is as follows:

63   pragma Storage_Size(expression);

64 A pragma Storage_Size is allowed only immediately within a
task_definition.

Name Resolution Rules

65 The expression of a pragma Storage_Size is expected to be of any
integer type.

Dynamic Semantics

66 A pragma Storage_Size is elaborated when an object of the type
defined by the immediately enclosing task_definition is created. For
the elaboration of a pragma Storage_Size, the expression is evaluated;
the Storage_Size attribute of the newly created task object is at least
the value of the expression.
67 At the point of task object creation, or upon task activation,
Storage_Error is raised if there is insufficient free storage to
accommodate the requested Storage_Size.

"Martin Dowie" <martin.dowie@nospam.baesystems.com> wrote in message
news:3b08e4c9$1@pull.gecm.com...
> Can someone give me a quick example of the Ada95 way of
> allocating storage to for task type? (I've left my Barnes
> book at home, doh!)
>
> e.g the equivilant of Ada83:
>
> package A is
>   ...
>   task type B is
>     entry C;
>   end B;
>   for B'Storage_Size use (Some_Value);
>   ...
> end A;
>
> Thanks in advance...
>
>
>

Re: 'Storage_Size in Ada95

[Martin Dowie]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 904 bytes --]

many thanks, if only my (hypertext) LRM had pointed back to 3.13... :-)

David C. Hoos, Sr. <david.c.hoos.sr@ada95.com> wrote in message
news:2d6O6.1310$ce.2870383@newsrump.sjc.telocity.net...
> From RM95, Annex L:
>
> 35 pragma Storage_Size(expression); � See 13.3.
>
> And from RM95 3.13:
>
> 59 For a prefix T that denotes a task object (after any implicit
> dereference):
>
> 60 T�Storage_Size Denotes the number of storage elements reserved for
> the task. The value of this attribute is of the type universal_integer.
The
> Storage_Size includes the size of the task�s stack, if any. The language
> does not specify whether or not it includes other storage associated with
> the task (such as the �task control block� used by some implementations.)
> If a pragma Storage_Size is given, the value of the Storage_Size attribute
> is at least the value specified in the pragma.
>
[snip]