visus
/
toolchain-gcc-arm-embedded
Watch 1
Star 0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
2 Commits
1 Branch
Branch: main
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'main'
${ noResults }
toolchain-gcc-arm-embedded/share/doc/gcc-arm-none-eabi/html/gdb/Ravenscar-Profile.html

141 lines
6.3KB
Raw Permalink Blame History 

  1. <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">

  2. <html>

  3. <!-- Copyright (C) 1988-2020 Free Software Foundation, Inc.

  4. 

  5. Permission is granted to copy, distribute and/or modify this document

  6. under the terms of the GNU Free Documentation License, Version 1.3 or

  7. any later version published by the Free Software Foundation; with the

  8. Invariant Sections being "Free Software" and "Free Software Needs

  9. Free Documentation", with the Front-Cover Texts being "A GNU Manual,"

  10. and with the Back-Cover Texts as in (a) below.

  11. 

  12. (a) The FSF's Back-Cover Text is: "You are free to copy and modify

  13. this GNU Manual.  Buying copies from GNU Press supports the FSF in

  14. developing GNU and promoting software freedom." -->

  15. <!-- Created by GNU Texinfo 6.5, http://www.gnu.org/software/texinfo/ -->

  16. <head>

  17. <meta http-equiv="Content-Type" content="text/html; charset=utf-8">

  18. <title>Ravenscar Profile (Debugging with GDB)</title>

  19. 

  20. <meta name="description" content="Ravenscar Profile (Debugging with GDB)">

  21. <meta name="keywords" content="Ravenscar Profile (Debugging with GDB)">

  22. <meta name="resource-type" content="document">

  23. <meta name="distribution" content="global">

  24. <meta name="Generator" content="makeinfo">

  25. <link href="index.html#Top" rel="start" title="Top">

  26. <link href="Concept-Index.html#Concept-Index" rel="index" title="Concept Index">

  27. <link href="index.html#SEC_Contents" rel="contents" title="Table of Contents">

  28. <link href="Ada.html#Ada" rel="up" title="Ada">

  29. <link href="Ada-Settings.html#Ada-Settings" rel="next" title="Ada Settings">

  30. <link href="Ada-Tasks-and-Core-Files.html#Ada-Tasks-and-Core-Files" rel="prev" title="Ada Tasks and Core Files">

  31. <style type="text/css">

  32. <!--

  33. a.summary-letter {text-decoration: none}

  34. blockquote.indentedblock {margin-right: 0em}

  35. blockquote.smallindentedblock {margin-right: 0em; font-size: smaller}

  36. blockquote.smallquotation {font-size: smaller}

  37. div.display {margin-left: 3.2em}

  38. div.example {margin-left: 3.2em}

  39. div.lisp {margin-left: 3.2em}

  40. div.smalldisplay {margin-left: 3.2em}

  41. div.smallexample {margin-left: 3.2em}

  42. div.smalllisp {margin-left: 3.2em}

  43. kbd {font-style: oblique}

  44. pre.display {font-family: inherit}

  45. pre.format {font-family: inherit}

  46. pre.menu-comment {font-family: serif}

  47. pre.menu-preformatted {font-family: serif}

  48. pre.smalldisplay {font-family: inherit; font-size: smaller}

  49. pre.smallexample {font-size: smaller}

  50. pre.smallformat {font-family: inherit; font-size: smaller}

  51. pre.smalllisp {font-size: smaller}

  52. span.nolinebreak {white-space: nowrap}

  53. span.roman {font-family: initial; font-weight: normal}

  54. span.sansserif {font-family: sans-serif; font-weight: normal}

  55. ul.no-bullet {list-style: none}

  56. -->

  57. </style>

  58. 

  59. 

  60. </head>

  61. 

  62. <body lang="en">

  63. <a name="Ravenscar-Profile"></a>

  64. <div class="header">

  65. <p>

  66. Next: <a href="Ada-Settings.html#Ada-Settings" accesskey="n" rel="next">Ada Settings</a>, Previous: <a href="Ada-Tasks-and-Core-Files.html#Ada-Tasks-and-Core-Files" accesskey="p" rel="prev">Ada Tasks and Core Files</a>, Up: <a href="Ada.html#Ada" accesskey="u" rel="up">Ada</a> &nbsp; [<a href="index.html#SEC_Contents" title="Table of contents" rel="contents">Contents</a>][<a href="Concept-Index.html#Concept-Index" title="Index" rel="index">Index</a>]</p>

  67. </div>

  68. <hr>

  69. <a name="Tasking-Support-when-using-the-Ravenscar-Profile"></a>

  70. <h4 class="subsubsection">15.4.10.9 Tasking Support when using the Ravenscar Profile</h4>

  71. <a name="index-Ravenscar-Profile"></a>

  72. 

  73. <p>The <em>Ravenscar Profile</em> is a subset of the Ada tasking features,

  74. specifically designed for systems with safety-critical real-time

  75. requirements.

  76. </p>

  77. <dl compact="compact">

  78. <dd><a name="index-set-ravenscar-task_002dswitching-on"></a>

  79. <a name="index-task-switching-with-program-using-Ravenscar-Profile"></a>

  80. </dd>

  81. <dt><code>set ravenscar task-switching on</code></dt>

  82. <dd><p>Allows task switching when debugging a program that uses the Ravenscar

  83. Profile.  This is the default.

  84. </p>

  85. <a name="index-set-ravenscar-task_002dswitching-off"></a>

  86. </dd>

  87. <dt><code>set ravenscar task-switching off</code></dt>

  88. <dd><p>Turn off task switching when debugging a program that uses the Ravenscar

  89. Profile.  This is mostly intended to disable the code that adds support

  90. for the Ravenscar Profile, in case a bug in either <small>GDB</small> or in

  91. the Ravenscar runtime is preventing <small>GDB</small> from working properly.

  92. To be effective, this command should be run before the program is started.

  93. </p>

  94. <a name="index-show-ravenscar-task_002dswitching"></a>

  95. </dd>

  96. <dt><code>show ravenscar task-switching</code></dt>

  97. <dd><p>Show whether it is possible to switch from task to task in a program

  98. using the Ravenscar Profile.

  99. </p>

  100. </dd>

  101. </dl>

  102. 

  103. <a name="index-Ravenscar-thread"></a>

  104. <p>When Ravenscar task-switching is enabled, Ravenscar tasks are

  105. announced by <small>GDB</small> as if they were threads:

  106. </p>

  107. <div class="smallexample">

  108. <pre class="smallexample">(gdb) continue

  109. [New Ravenscar Thread 0x2b8f0]

  110. </pre></div>

  111. 

  112. <p>Both Ravenscar tasks and the underlying CPU threads will show up in

  113. the output of <code>info threads</code>:

  114. </p>

  115. <div class="smallexample">

  116. <pre class="smallexample">(gdb) info threads

  117.   Id   Target Id                  Frame

  118.   1    Thread 1 (CPU#0 [running]) simple () at simple.adb:10

  119.   2    Thread 2 (CPU#1 [running]) 0x0000000000003d34 in __gnat_initialize_cpu_devices ()

  120.   3    Thread 3 (CPU#2 [running]) 0x0000000000003d28 in __gnat_initialize_cpu_devices ()

  121.   4    Thread 4 (CPU#3 [halted ]) 0x000000000000c6ec in system.task_primitives.operations.idle ()

  122. * 5    Ravenscar Thread 0x2b8f0   simple () at simple.adb:10

  123.   6    Ravenscar Thread 0x2f150   0x000000000000c6ec in system.task_primitives.operations.idle ()

  124. </pre></div>

  125. 

  126. <p>One known limitation of the Ravenscar support in <small>GDB</small> is that

  127. it isn&rsquo;t currently possible to single-step through the runtime

  128. initialization sequence.  If you need to debug this code, you should

  129. use <code>set ravenscar task-switching off</code>.

  130. </p>

  131. <hr>

  132. <div class="header">

  133. <p>

  134. Next: <a href="Ada-Settings.html#Ada-Settings" accesskey="n" rel="next">Ada Settings</a>, Previous: <a href="Ada-Tasks-and-Core-Files.html#Ada-Tasks-and-Core-Files" accesskey="p" rel="prev">Ada Tasks and Core Files</a>, Up: <a href="Ada.html#Ada" accesskey="u" rel="up">Ada</a> &nbsp; [<a href="index.html#SEC_Contents" title="Table of contents" rel="contents">Contents</a>][<a href="Concept-Index.html#Concept-Index" title="Index" rel="index">Index</a>]</p>

  135. </div>

  136. 

  137. 

  138. 

  139. </body>

  140. </html>