From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 13936 invoked by alias); 23 Sep 2010 21:56:54 -0000 Received: (qmail 13810 invoked by uid 22791); 23 Sep 2010 21:56:51 -0000 X-SWARE-Spam-Status: No, hits=-2.1 required=5.0 tests=AWL,BAYES_00 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 21:56:45 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 91F7C2BAE8B; Thu, 23 Sep 2010 17:56:43 -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 zcURA70VuYyx; Thu, 23 Sep 2010 17:56:43 -0400 (EDT) Received: from joel.gnat.com (localhost.localdomain [127.0.0.1]) by rock.gnat.com (Postfix) with ESMTP id 589802BAE8A; Thu, 23 Sep 2010 17:56:43 -0400 (EDT) Received: by joel.gnat.com (Postfix, from userid 1000) id C7703F591E; Thu, 23 Sep 2010 14:56:39 -0700 (PDT) Date: Thu, 23 Sep 2010 23:20:00 -0000 From: Joel Brobecker To: Eli Zaretskii Cc: gdb-patches@sourceware.org Subject: Re: [RFA/doco] document support for Ravenscar profile Message-ID: <20100923215639.GE3007@adacore.com> References: <1285272848-15942-1-git-send-email-brobecker@adacore.com> <83zkv8tcx8.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="RIYY1s2vRbPFwWeW" Content-Disposition: inline In-Reply-To: <83zkv8tcx8.fsf@gnu.org> User-Agent: Mutt/1.5.20 (2009-06-14) 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/msg00420.txt.bz2 --RIYY1s2vRbPFwWeW Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-length: 1911 Thanks for the review, Eli. > > +* Ada task switching is now supported on sparc-elf targets when > > + debugging a program using the Ravenscar Profile. > > This part is okay, but please add a sentence pointing to the new > section in the manual which describes the details. I've added a quick sentence. Let me know if this enough. Also, I should say that I deliberately avoided listing the new commands in the NEWS files, because I think they are pretty obscure and only likely to be used in emergency situations. > > +the use of a specific Runtime. > > Is this important to mention this specific runtime? If it is > important, then is it enough to just mention its necessity, without > any further details? And why "Runtime" with a capital R? Actually, not really. I don't even know why I mentioned it. How to activate this profile is really a detail that belongs to the compiler manual... So I removed it entirely. > Instead of 2 @cindex entries, I'd just leave one: > > @cindex task switching with program using Ravenscar Profile Changed accordingly. I am wondering whether it would sound better if we add 'the' before 'Ravenscar Profile'. @cindex task switching with program using the 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 > > "help disable" or "disable"? That is, is this only part of what's > needed to disable Ravenscar Profile support, or is it the whole thing? You're right. 'help' is now gone. > > +properly. To be completely effective, this command should be run > > +before the program is started. > > Will it be even partially effective if it is run after the program is > started? If not, then I think we should drop the "completely" part. Agreed as well. Here is a new version. -- Joel --RIYY1s2vRbPFwWeW Content-Type: text/x-diff; charset=us-ascii Content-Disposition: attachment; filename="ravenscar-doc-2.diff" Content-length: 3164 commit 6c4632b72d07ac50c5482c265ace39fc5d964f26 Author: Joel Brobecker Date: Thu Sep 23 13:03:42 2010 -0700 [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/NEWS b/gdb/NEWS index 01d2f46..85059c6 100644 --- 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/gdb.texinfo b/gdb/doc/gdb.texinfo index 07f9ad6..0b24718 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 +* 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 --RIYY1s2vRbPFwWeW--