OpenE2K
/
binutils-gdb
12
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

[doco] document support for Ravenscar profile 

This announces the support for debugging Ada programs using
the Ravenscar Profile, as well as documents the new commands
introduced as part of this effort.

gdb/ChangeLog:

        * NEWS: Announce Ravenscar Profile support.

gdb/doc/ChangeLog:

        * gdb.texinfo (Ravenscar Profile): New node.
This commit is contained in:
Joel Brobecker 2010-09-28 21:40:23 +00:00
parent 036b1ba8ec
commit 6e1bb179c2
4 changed files with 45 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gdb/ChangeLog
View File

@ -1,3 +1,7 @@
2010-09-28 Joel Brobecker <brobecker@adacore.com>
* NEWS: Announce Ravenscar Profile support.
2010-09-28 Joel Brobecker <brobecker@adacore.com>
Jerome Guitton <guitton@adacore.com>

5
gdb/NEWS
View File

@ -67,6 +67,11 @@
** GDBserver is now supported on PowerPC LynxOS (versions 4.x and 5.x),
and i686 LynxOS (version 5.x).
* Ada task switching is now supported on sparc-elf targets when
debugging a program using the Ravenscar Profile. For more information,
see the "Tasking Support when using the Ravenscar Profile" section
in the GDB user manual.
*** Changes in GDB 7.2
* Shared library support for remote targets by default

4
gdb/doc/ChangeLog
View File

@ -1,3 +1,7 @@
2010-09-28 Joel Brobecker <brobecker@adacore.com>
* gdb.texinfo (Ravenscar Profile): New node.
2010-09-22 Tom Tromey <tromey@redhat.com>
* gdb.texinfo (Values From Inferior): Mention Value.__init__.

32
gdb/doc/gdb.texinfo
View File

@ -12861,6 +12861,8 @@ to be difficult.
* Stopping Before Main Program:: Debugging the program during elaboration.
* Ada Tasks:: Listing and setting breakpoints in tasks.
* Ada Tasks and Core Files:: Tasking Support when Debugging Core Files
* Ravenscar Profile:: Tasking Support when using the Ravenscar
Profile
* Ada Glitches:: Known peculiarities of Ada mode.
@end menu
@ -13411,6 +13413,36 @@ privileges, using the command @samp{"set write on"} (@pxref{Patching}).
Under these circumstances, you should make a backup copy of the core
file before inspecting it with @value{GDBN}.
@node Ravenscar Profile
@subsubsection Tasking Support when using the Ravenscar Profile
@cindex Ravenscar Profile
The @dfn{Ravenscar Profile} is a subset of the Ada tasking features,
specifically designed for systems with safety-critical real-time
requirements.
@table @code
@kindex set ravenscar task-switching on
@cindex task switching with program using Ravenscar Profile
@item set ravenscar task-switching on
Allows task switching when debugging a program that uses the Ravenscar
Profile. This is the default.
@kindex set ravenscar task-switching off
@item set ravenscar task-switching off
Turn off task switching when debugging a program that uses the Ravenscar
Profile. This is mostly intended to disable the code that adds support
for the Ravenscar Profile, in case a bug in either @value{GDBN} or in
the Ravenscar runtime is preventing @value{GDBN} from working properly.
To be effective, this command should be run before the program is started.
@kindex show ravenscar task-switching
@item show ravenscar task-switching
Show whether it is possible to switch from task to task in a program
using the Ravenscar Profile.
@end table
@node Ada Glitches
@subsubsection Known Peculiarities of Ada Mode
@cindex Ada, problems