[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.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 00440648a72773c22309dfae7c6874936fdff506..7cf8d9066b0cb27000aa1039a7cf145c4abf16c5 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -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>
 

diff --git a/gdb/NEWS b/gdb/NEWS
index 01d2f46df5346125216c969a69b83f52c05f830b..85059c617d29911272ad834a386b609e4e5f2e17 100644 (file)
--- a/gdb/NEWS
+++ b/gdb/NEWS
@@ -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

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 5a99342a11f0cd9be92c7fd125d489ead62aca59..a967bd7ec7ed74c7c5094d684394ed16dbfe3797 100644 (file)
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -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__.

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 07f9ad6313b90c8a1ffc1ca47286194cf4bbe88e..0b24718efccdf3da2e4e8e5bd80210283c7113b2 100644 (file)
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -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