From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 19814 invoked by alias); 23 Sep 2010 22:03:21 -0000 Received: (qmail 19773 invoked by uid 22791); 23 Sep 2010 22:03:20 -0000 X-SWARE-Spam-Status: No, hits=-0.7 required=5.0 tests=AWL,BAYES_00,SPF_SOFTFAIL X-Spam-Check-By: sourceware.org Received: from mtaout20.012.net.il (HELO mtaout20.012.net.il) (80.179.55.166) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 23 Sep 2010 22:03:13 +0000 Received: from conversion-daemon.a-mtaout20.012.net.il by a-mtaout20.012.net.il (HyperSendmail v2007.08) id <0L9700900VUKL700@a-mtaout20.012.net.il> for gdb-patches@sourceware.org; Thu, 23 Sep 2010 22:36:33 +0200 (IST) Received: from HOME-C4E4A596F7 ([77.127.203.3]) by a-mtaout20.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0L97008ELVWTSBB0@a-mtaout20.012.net.il>; Thu, 23 Sep 2010 22:36:33 +0200 (IST) Date: Thu, 23 Sep 2010 23:55:00 -0000 From: Eli Zaretskii Subject: Re: [RFA/doco] document support for Ravenscar profile In-reply-to: <1285272848-15942-1-git-send-email-brobecker@adacore.com> To: Joel Brobecker Cc: gdb-patches@sourceware.org, brobecker@adacore.com Reply-to: Eli Zaretskii Message-id: <83zkv8tcx8.fsf@gnu.org> References: <1285272848-15942-1-git-send-email-brobecker@adacore.com> X-IsSubscribed: yes 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/msg00422.txt.bz2 > From: Joel Brobecker > Cc: Joel Brobecker > Date: Thu, 23 Sep 2010 13:14:08 -0700 > > 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. Thanks. > 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. This part is okay, but please add a sentence pointing to the new section in the manual which describes the details. > +@node The Ravenscar Profile I'd prefer to remove "The" from the node name. > +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 ^^ Two spaces, please. > +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? > + > +@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 Instead of 2 @cindex entries, I'd just leave one: @cindex task switching with program using Ravenscar Profile WDYT? > +@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? > +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. Okay with those gotchas fixed.