From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12722 invoked by alias); 23 Sep 2010 20:14:57 -0000 Received: (qmail 12704 invoked by uid 22791); 23 Sep 2010 20:14:54 -0000 X-SWARE-Spam-Status: No, hits=-2.1 required=5.0 tests=AWL,BAYES_00,T_RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 23 Sep 2010 20:14:47 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id C35EF2BAC4E; Thu, 23 Sep 2010 16:14:12 -0400 (EDT) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id tHJvG7yu9HRr; Thu, 23 Sep 2010 16:14:12 -0400 (EDT) Received: from joel.gnat.com (localhost.localdomain [127.0.0.1]) by rock.gnat.com (Postfix) with ESMTP id 890FF2BAB54; Thu, 23 Sep 2010 16:14:12 -0400 (EDT) Received: by joel.gnat.com (Postfix, from userid 1000) id E402CF591E; Thu, 23 Sep 2010 13:14:08 -0700 (PDT) From: Joel Brobecker To: gdb-patches@sourceware.org Cc: Joel Brobecker Subject: [RFA/doco] document support for Ravenscar profile Date: Thu, 23 Sep 2010 22:37:00 -0000 Message-Id: <1285272848-15942-1-git-send-email-brobecker@adacore.com> Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org X-SW-Source: 2010-09/txt/msg00419.txt.bz2 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. http://www.sourceware.org/ml/gdb-patches/2010-09/msg00408.html gdb/ChangeLog: * NEWS: Announce Ravenscar Profile support. gdb/doc/ChangeLog: * gdb.texinfo (The Ravenscar Profile): New node. OK to commit? Thanks, --- gdb/NEWS | 3 +++ gdb/doc/gdb.texinfo | 35 +++++++++++++++++++++++++++++++++++ 2 files changed, 38 insertions(+), 0 deletions(-) diff --git a/gdb/NEWS b/gdb/NEWS index 01d2f46..c982caf 100644 --- a/gdb/NEWS +++ b/gdb/NEWS @@ -67,6 +67,9 @@ ** 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. + *** Changes in GDB 7.2 * Shared library support for remote targets by default diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 07f9ad6..9cdd00e 100644 --- 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 +* The Ravenscar Profile:: Tasking Support when using the Ravenscar + Profile * Ada Glitches:: Known peculiarities of Ada mode. @end menu @@ -13411,6 +13413,39 @@ 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 The 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. With GNAT, the activation of this profile requires +the use of a specific Runtime. + +@table @code +@kindex set ravenscar task-switching on +@cindex enable 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 +@cindex disable task switching with program using Ravenscar Profile +@item set ravenscar task-switching off +Turn off task switching when debugging a program that uses the Ravenscar +Profile. This is mostly intended to help 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 completely 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 -- 1.7.1