libgnatcoll-doc 1.6gpl2014-6 / usr / share / doc / libgnatcoll-doc / html / ravenscar.html

This file is indexed.

/usr/share/doc/libgnatcoll-doc/html/ravenscar.html is in libgnatcoll-doc 1.6gpl2014-6.

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
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">


<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
    
    <title>11. Ravenscar: patterns for multitasking &mdash; GNATColl 1.7w documentation</title>
    
    <link rel="stylesheet" href="_static/sphinxdoc.css" type="text/css" />
    <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
    
    <script type="text/javascript">
      var DOCUMENTATION_OPTIONS = {
        URL_ROOT:    './',
        VERSION:     '1.7w',
        COLLAPSE_INDEX: false,
        FILE_SUFFIX: '.html',
        HAS_SOURCE:  true
      };
    </script>
    <script type="text/javascript" src="_static/jquery.js"></script>
    <script type="text/javascript" src="_static/underscore.js"></script>
    <script type="text/javascript" src="_static/doctools.js"></script>
    <link rel="shortcut icon" href="_static/favicon.ico"/>
    <link rel="top" title="GNATColl 1.7w documentation" href="index.html" />
    <link rel="next" title="12. Storage Pools: controlling memory management" href="storage_pools.html" />
    <link rel="prev" title="10. Email: Processing email messages" href="email.html" /> 
  </head>
  <body>
    <div class="related">
      <h3>Navigation</h3>
      <ul>
        <li class="right" style="margin-right: 10px">
          <a href="genindex.html" title="General Index"
             accesskey="I">index</a></li>
        <li class="right" >
          <a href="storage_pools.html" title="12. Storage Pools: controlling memory management"
             accesskey="N">next</a> |</li>
        <li class="right" >
          <a href="email.html" title="10. Email: Processing email messages"
             accesskey="P">previous</a> |</li>
        <li><a href="index.html">GNATColl 1.7w documentation</a> &raquo;</li> 
      </ul>
    </div>
      <div class="sphinxsidebar">
        <div class="sphinxsidebarwrapper">
            <p class="logo"><a href="index.html">
              <img class="logo" src="_static/adacore_transparent.png" alt="Logo"/>
            </a></p>
  <h3><a href="index.html">Table Of Contents</a></h3>
  <ul>
<li><a class="reference internal" href="#">11. <strong>Ravenscar</strong>: patterns for multitasking</a><ul>
<li><a class="reference internal" href="#tasks">11.1. Tasks</a></li>
<li><a class="reference internal" href="#servers">11.2. Servers</a></li>
<li><a class="reference internal" href="#timers">11.3. Timers</a></li>
</ul>
</li>
</ul>

  <h4>Previous topic</h4>
  <p class="topless"><a href="email.html"
                        title="previous chapter">10. <strong>Email</strong>: Processing email messages</a></p>
  <h4>Next topic</h4>
  <p class="topless"><a href="storage_pools.html"
                        title="next chapter">12. <strong>Storage Pools</strong>: controlling memory management</a></p>
<div id="searchbox" style="display: none">
  <h3>Quick search</h3>
    <form class="search" action="search.html" method="get">
      <input type="text" name="q" />
      <input type="submit" value="Go" />
      <input type="hidden" name="check_keywords" value="yes" />
      <input type="hidden" name="area" value="default" />
    </form>
    <p class="searchtip" style="font-size: 90%">
    Enter search terms or a module, class or function name.
    </p>
</div>
<script type="text/javascript">$('#searchbox').show(0);</script>
        </div>
      </div>

    <div class="document">
      <div class="documentwrapper">
        <div class="bodywrapper">
          <div class="body">
            
  <div class="section" id="ravenscar-patterns-for-multitasking">
<h1>11. <strong>Ravenscar</strong>: patterns for multitasking<a class="headerlink" href="#ravenscar-patterns-for-multitasking" title="Permalink to this headline"></a></h1>
<p id="index-0">GNATColl provides a set of patterns for concurrent programming using
Ravenscar-compliant semantics only. The core goal of the GNATCOLL.Ravenscar
(sub) packages is to ease the development of high-integrity multitasking
applications by factorizing common behavior into instantiable,
Ravenscar-compliant, generic packages. Instances of such generic packages
guarantee predictable timing behavior and thus permit the application of most
common timing analysis techniques.</p>
<div class="section" id="tasks">
<h2>11.1. Tasks<a class="headerlink" href="#tasks" title="Permalink to this headline"></a></h2>
<p>The <cite>GNATCOLL.Ravenscar.Simple_Cyclic_Task</cite> generic package lets
instantiate a cyclic tasks executing the same operation at regular time
intervals; on the other side, the
<cite>GNATCOLL.Ravenscar.Simple_Sporadic_Task</cite> task lets instantiate sporadic
tasks enforcing a minimum inter-release time.</p>
</div>
<div class="section" id="servers">
<h2>11.2. Servers<a class="headerlink" href="#servers" title="Permalink to this headline"></a></h2>
<p>Servers present a more sophisticated run-time semantics than tasks: for
example, they can fulfill different kind of requests (see multiple queues
servers).  <cite>Gnat.Ravenscar.Sporadic_Server_With_Callback</cite> and
<cite>Gnat.Ravenscar.Timed_Out_Sporadic_Server</cite> are particularly interesting. The
former shows how synchronous inter-task communication can be faked in Ravenscar
(the only form of communication permitted by the profile is through shared
resources): the server receives a request to fulfill, computes the result and
returns it by invoking a call-back. The latter enforces both a minimum and a
maximum inter-release time: the server automatically releases itself and
invokes an appropriate handler if a request is not posted within a given period
of time.</p>
</div>
<div class="section" id="timers">
<h2>11.3. Timers<a class="headerlink" href="#timers" title="Permalink to this headline"></a></h2>
<p><cite>Gnat.Ravenscar.Timers.One_Shot_Timer</cite> is the Ravenscar implementation of
time-triggered event through Ada 2005 Timing Events.</p>
</div>
</div>


          </div>
        </div>
      </div>
      <div class="clearer"></div>
    </div>
    <div class="related">
      <h3>Navigation</h3>
      <ul>
        <li class="right" style="margin-right: 10px">
          <a href="genindex.html" title="General Index"
             >index</a></li>
        <li class="right" >
          <a href="storage_pools.html" title="12. Storage Pools: controlling memory management"
             >next</a> |</li>
        <li class="right" >
          <a href="email.html" title="10. Email: Processing email messages"
             >previous</a> |</li>
        <li><a href="index.html">GNATColl 1.7w documentation</a> &raquo;</li> 
      </ul>
    </div>
    <div class="footer">
        &copy; Copyright 2007-2014, AdaCore.
    </div>
  </body>
</html>

APT Browse - Built by Thomas Orozco.