This file is indexed.

/usr/share/doc/polyorb-doc/html/polyorb_ug/PolyORB-Tasking-runtimes.html is in polyorb-doc 2.11~20140418-3.2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<!-- This is free software; you can redistribute it and/or modify it under
terms of the GNU General Public License as published by the Free
Software Foundation; either version 3, or (at your option) any later
version.  This software is distributed in the hope that it will be
useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License and
a copy of the GCC Runtime Library Exception along with this program;
see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
<http://www.gnu.org/licenses/>. -->
<!-- Created by GNU Texinfo 6.3, http://www.gnu.org/software/texinfo/ -->
<head>
<title>PolyORB User&rsquo;s Guide: PolyORB Tasking runtimes</title>

<meta name="description" content="PolyORB User&rsquo;s Guide: PolyORB Tasking runtimes">
<meta name="keywords" content="PolyORB User&rsquo;s Guide: PolyORB Tasking runtimes">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="makeinfo">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<link href="About-This-Guide.html#About-This-Guide" rel="start" title="About This Guide">
<link href="Index.html#Index" rel="index" title="Index">
<link href="About-This-Guide.html#SEC_Contents" rel="contents" title="Table of Contents">
<link href="Tasking-model-in-PolyORB.html#Tasking-model-in-PolyORB" rel="up" title="Tasking model in PolyORB">
<link href="PolyORB-ORB-Tasking-policies.html#PolyORB-ORB-Tasking-policies" rel="next" title="PolyORB ORB Tasking policies">
<link href="Tasking-model-in-PolyORB.html#Tasking-model-in-PolyORB" rel="prev" title="Tasking model in PolyORB">
<style type="text/css">
<!--
a.summary-letter {text-decoration: none}
blockquote.indentedblock {margin-right: 0em}
blockquote.smallindentedblock {margin-right: 0em; font-size: smaller}
blockquote.smallquotation {font-size: smaller}
div.display {margin-left: 3.2em}
div.example {margin-left: 3.2em}
div.lisp {margin-left: 3.2em}
div.smalldisplay {margin-left: 3.2em}
div.smallexample {margin-left: 3.2em}
div.smalllisp {margin-left: 3.2em}
kbd {font-style: oblique}
pre.display {font-family: inherit}
pre.format {font-family: inherit}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
pre.smalldisplay {font-family: inherit; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: inherit; font-size: smaller}
pre.smalllisp {font-size: smaller}
span.nolinebreak {white-space: nowrap}
span.roman {font-family: initial; font-weight: normal}
span.sansserif {font-family: sans-serif; font-weight: normal}
ul.no-bullet {list-style: none}
-->
</style>


</head>

<body lang="en">
<a name="PolyORB-Tasking-runtimes"></a>
<div class="header">
<p>
Next: <a href="PolyORB-ORB-Tasking-policies.html#PolyORB-ORB-Tasking-policies" accesskey="n" rel="next">PolyORB ORB Tasking policies</a>, Up: <a href="Tasking-model-in-PolyORB.html#Tasking-model-in-PolyORB" accesskey="u" rel="up">Tasking model in PolyORB</a> &nbsp; [<a href="About-This-Guide.html#SEC_Contents" title="Table of contents" rel="contents">Contents</a>][<a href="Index.html#Index" title="Index" rel="index">Index</a>]</p>
</div>
<hr>
<a name="PolyORB-Tasking-runtimes-1"></a>
<h3 class="section">5.1 PolyORB Tasking runtimes</h3>
<a name="index-Tasking-runtime"></a>

<p>PolyORB may use any of three different tasking runtimes to manage and
synchronize tasks, if any. Tasking runtime capabilities are defined
in the Ada Reference Manual <cite>[ISO06]</cite>.
</p>
<p>The choice of a specific tasking runtime is a compile-time parameter,
<a href="Tasking-runtimes.html#Tasking-runtimes">Tasking runtimes</a> for more details on their configuration.
</p>
<a name="Full-tasking-runtime"></a>
<h4 class="subsection">5.1.1 Full tasking runtime</h4>

<p>Full tasking runtime refers to the configuration in which there are
dependencies on the tasking constructs defined in chapter 9 of
<cite>[ISO06]</cite>. It makes use of all capabilities defined in this section
to manage and synchronize tasks.
</p>
<p>In this configuration, a PolyORB application must be compiled and
linked with a tasking-capable Ada runtime.
</p>
<a name="No-tasking-runtime"></a>
<h4 class="subsection">5.1.2 No tasking runtime</h4>

<p>No tasking runtime refers to the configuration in which there is no
dependency on tasking constructs. Thus, no tasking is required.
</p>
<p>In this configuration, a PolyORB application may be compiled and
linked with a tasking-capable Ada runtime or a no-tasking Ada runtime.
</p>
<a name="Ravenscar-tasking-runtime"></a>
<h4 class="subsection">5.1.3 Ravenscar tasking runtime</h4>
<a name="index-Ravenscar-1"></a>

<p>Ravenscar tasking runtime refers to the configuration in which tasking
constructs are compliant with the <em>Ravenscar tasking restricted
profile</em>.
</p>
<p>In this configuration, a PolyORB application may be compiled and
linked with a tasking-capable Ada runtime or a Ravenscar Ada runtime.
</p>
<p>To configure tasking constructs used by PolyORB, one must instantiate
the <code>PolyORB.Setup.Tasking.Ravenscar</code> generic package shown below
to set up tasks and protected objects used by PolyORB core.
</p>
<div class="smallexample">
<pre class="smallexample">

------------------------------------------------------------------------------
--                                                                          --
--                           POLYORB COMPONENTS                             --
--                                                                          --
--      P O L Y O R B . S E T U P . T A S K I N G . R A V E N S C A R       --
--                                                                          --
--                                 S p e c                                  --
--                                                                          --
--         Copyright (C) 2002-2012, Free Software Foundation, Inc.          --
--                                                                          --
-- This is free software;  you can redistribute it  and/or modify it  under --
-- terms of the  GNU General Public License as published  by the Free Soft- --
-- ware  Foundation;  either version 3,  or (at your option) any later ver- --
-- sion.  This software is distributed in the hope  that it will be useful, --
-- but WITHOUT ANY WARRANTY;  without even the implied warranty of MERCHAN- --
-- TABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public --
-- License for  more details.                                               --
--                                                                          --
--                                                                          --
-- You should have received a copy of the GNU General Public License and    --
-- a copy of the GCC Runtime Library Exception along with this program;     --
-- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
-- &lt;http://www.gnu.org/licenses/&gt;.                                          --
--                                                                          --
--                  PolyORB is maintained by AdaCore                        --
--                     (email: sales@adacore.com)                           --
--                                                                          --
------------------------------------------------------------------------------

--  You should instantiate this package to set up a ravenscar profile.

<b>with</b> System;

<b>with</b> PolyORB.Tasking.Profiles.Ravenscar.Threads.Annotations;

<b>with</b> PolyORB.Tasking.Profiles.Ravenscar.Threads;
<b>with</b> PolyORB.Tasking.Profiles.Ravenscar.Mutexes;
<b>with</b> PolyORB.Tasking.Profiles.Ravenscar.Condition_Variables;

<b>generic</b>
   Number_Of_Application_Tasks    : Integer;
   --  Number of tasks created by the user.

   Number_Of_System_Tasks         : Integer;
   --  Number of tasks created by the PolyORB run-time library.

   Number_Of_Conditions           : Integer;
   --  Number of preallocated conditions.

   Number_Of_Mutexes              : Integer;
   --  Number of preallocated mutexes.

   Task_Priority                  : System.Priority;
   --  Priority of the tasks of the pool.

   Storage_Size                   : Natural;
   --  Stack size of the system tasks.

<b>package</b> PolyORB.Setup.Tasking.Ravenscar <b>is</b>

   <b>package</b> Threads_Package <b>is</b>
      <b>new</b> PolyORB.Tasking.Profiles.Ravenscar.Threads
     (Number_Of_Application_Tasks,
      Number_Of_System_Tasks,
      Task_Priority,
      Storage_Size);

   <b>package</b> Thread_Annotations_Package <b>is</b> <b>new</b> Threads_Package.Annotations;

   <b>package</b> Conditions_Package <b>is</b>
      <b>new</b> PolyORB.Tasking.Profiles.Ravenscar.Condition_Variables
     (Threads_Package,
      Number_Of_Conditions);

   <b>package</b> Mutexes_Package <b>is</b>
      <b>new</b> PolyORB.Tasking.Profiles.Ravenscar.Mutexes
     (Threads_Package,
      Number_Of_Mutexes);

<b>end</b> PolyORB.Setup.Tasking.Ravenscar;

</pre></div>

<hr>
<div class="header">
<p>
Next: <a href="PolyORB-ORB-Tasking-policies.html#PolyORB-ORB-Tasking-policies" accesskey="n" rel="next">PolyORB ORB Tasking policies</a>, Up: <a href="Tasking-model-in-PolyORB.html#Tasking-model-in-PolyORB" accesskey="u" rel="up">Tasking model in PolyORB</a> &nbsp; [<a href="About-This-Guide.html#SEC_Contents" title="Table of contents" rel="contents">Contents</a>][<a href="Index.html#Index" title="Index" rel="index">Index</a>]</p>
</div>



</body>
</html>