From: Luis Machado via Gdb-patches <gdb-patches@sourceware.org>
To: Eli Zaretskii <eliz@gnu.org>
Cc: david.spickett@linaro.org, gdb-patches@sourceware.org
Subject: Re: [PATCH v2 07/24] Documentation for memory tagging remote packets
Date: Fri, 23 Oct 2020 11:39:22 -0300 [thread overview]
Message-ID: <ac315ff6-3056-4336-89cb-40e7ab5d2066@linaro.org> (raw)
In-Reply-To: <831rhpj9l4.fsf@gnu.org>
On 10/23/20 11:33 AM, Eli Zaretskii wrote:
>> Cc: gdb-patches@sourceware.org, david.spickett@linaro.org
>> From: Luis Machado <luis.machado@linaro.org>
>> Date: Fri, 23 Oct 2020 11:07:48 -0300
>>
>>>> +@var{type} is the type of tag, a signed integer, the request wants to fetch.
>>>
>>> This is ambiguous: does "the request wants to fetch" refer to the tag
>>> or to the "signed integer" part? Suggest to move the "a signed
>>> integer" part to the end of the sentence.
>>
>> Yeah. It reads a bit funny. How about the following?
>>
>> @var{type} is the type of tag the request wants to fetch. The type is a
>> signed integer.
>
> Fine, thanks.
>
>>>> +If the number of memory tags, @var{nt}, is greater than or equal to the
>>>> +number of memory tag granules, @var{ng}, only @var{ng} tags will be
>>>> +stored.
>>>
>>> It is not clear here how NT and NG are related to the parameters of
>>> the packet. Can you add something that explains the relation?
>>>
>>
>> How about the following?
>>
>> NT is the number of memory tags contained in @var{tag bytes}. Only
>> target-specific code can determine this value. For example, AArch64's
>> tags are stored 1 per byte.
>>
>> NG is the number of memory tag granules in the memory range
>> @w{@r{[}@var{start address}, @var{start address} + @var{length}@r{)}}.
>> Only target-specific can determine this value. For example, AArch64 has
>> a tag granule size of 16 bytes. That is, it has one memory for every 16
>> bytes of memory.
>
> This is okay, but I think you in fact had already explained that, in
> this text:
>
Indeed.
>> +The interpretation of how many tags should be written to how many memory tag
>> +granules is also architecture-specific. The behavior is
>> +implementation-specific, but the following is suggested. >
> So I think the only change you need to do is to mention @var{nt} and
> @var{ng} in that text:
>
> The interpretation of how many tags (@var{nt}) should be written to
> how many memory tag granules (@var{ng}) is also
> architecture-specific. The behavior is implementation-specific, but
> the following is suggested.
>
> WDYT?
>
That works fine for me. Thanks!
>> I did...
>>
>> "The remote stub supports and implements the required memory tagging
>> functionality and understands the @samp{qMemTags} (@pxref{qMemTags}) and
>> @samp{QMemTags} (@pxref{QMemTags}) packets."
>>
>> And I've added a couple anchors to the packets.
>>
>> Is that what you had in mind?
>
> Yes, thanks.
>
Great. I'll include the changes in v3.
next prev parent reply other threads:[~2020-10-23 14:39 UTC|newest]
Thread overview: 48+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-10-22 19:59 [PATCH v2 00/24] Memory Tagging Support + AArch64 Linux implementation Luis Machado via Gdb-patches
2020-10-22 19:59 ` [PATCH v2 01/24] New target methods for memory tagging support Luis Machado via Gdb-patches
2020-10-27 13:22 ` Simon Marchi
2020-10-27 13:43 ` Luis Machado via Gdb-patches
2020-10-27 13:50 ` Simon Marchi
2020-10-22 19:59 ` [PATCH v2 02/24] New gdbarch memory tagging hooks Luis Machado via Gdb-patches
2020-10-22 19:59 ` [PATCH v2 03/24] Add GDB-side remote target support for memory tagging Luis Machado via Gdb-patches
2020-10-29 14:22 ` Alan Hayward via Gdb-patches
2020-10-29 14:41 ` Luis Machado via Gdb-patches
2020-10-22 19:59 ` [PATCH v2 04/24] Unit testing for GDB-side remote memory tagging handling Luis Machado via Gdb-patches
2020-10-22 19:59 ` [PATCH v2 05/24] GDBserver remote packet support for memory tagging Luis Machado via Gdb-patches
2020-10-22 19:59 ` [PATCH v2 06/24] Unit tests for gdbserver memory tagging remote packets Luis Machado via Gdb-patches
2020-10-22 19:59 ` [PATCH v2 07/24] Documentation for " Luis Machado via Gdb-patches
2020-10-23 6:25 ` Eli Zaretskii via Gdb-patches
2020-10-23 14:07 ` Luis Machado via Gdb-patches
2020-10-23 14:33 ` Eli Zaretskii via Gdb-patches
2020-10-23 14:39 ` Luis Machado via Gdb-patches [this message]
2020-10-22 19:59 ` [PATCH v2 08/24] AArch64: Add MTE CPU feature check support Luis Machado via Gdb-patches
2020-10-22 19:59 ` [PATCH v2 09/24] AArch64: Add target description/feature for MTE registers Luis Machado via Gdb-patches
2020-10-22 20:00 ` [PATCH v2 10/24] AArch64: Add MTE register set support for GDB and gdbserver Luis Machado via Gdb-patches
2020-10-22 20:00 ` [PATCH v2 11/24] AArch64: Add MTE ptrace requests Luis Machado via Gdb-patches
2020-10-22 20:00 ` [PATCH v2 12/24] AArch64: Implement memory tagging target methods for AArch64 Luis Machado via Gdb-patches
2020-10-29 14:21 ` Alan Hayward via Gdb-patches
2020-10-29 14:39 ` Luis Machado via Gdb-patches
2020-10-29 14:45 ` Luis Machado via Gdb-patches
2020-10-29 17:32 ` Alan Hayward via Gdb-patches
2020-10-22 20:00 ` [PATCH v2 13/24] Refactor parsing of /proc/<pid>/smaps Luis Machado via Gdb-patches
2020-10-22 20:00 ` [PATCH v2 14/24] AArch64: Implement the memory tagging gdbarch hooks Luis Machado via Gdb-patches
2020-10-22 20:00 ` [PATCH v2 15/24] AArch64: Add unit testing for logical tag set/get operations Luis Machado via Gdb-patches
2020-10-22 20:00 ` [PATCH v2 16/24] AArch64: Report tag violation error information Luis Machado via Gdb-patches
2020-10-22 20:00 ` [PATCH v2 17/24] AArch64: Add gdbserver MTE support Luis Machado via Gdb-patches
2020-10-22 20:00 ` [PATCH v2 18/24] AArch64: Add MTE register set support for core files Luis Machado via Gdb-patches
2020-10-22 20:00 ` [PATCH v2 19/24] New mtag commands Luis Machado via Gdb-patches
2020-10-22 20:00 ` [PATCH v2 20/24] Documentation for the new " Luis Machado via Gdb-patches
2020-10-23 6:35 ` Eli Zaretskii via Gdb-patches
2020-10-23 14:33 ` Luis Machado via Gdb-patches
2020-10-23 17:52 ` Eli Zaretskii via Gdb-patches
2020-10-23 19:04 ` Luis Machado via Gdb-patches
2020-10-23 19:34 ` Eli Zaretskii via Gdb-patches
2020-10-26 14:59 ` Luis Machado via Gdb-patches
2020-10-26 15:35 ` Eli Zaretskii via Gdb-patches
2020-10-26 16:57 ` Luis Machado via Gdb-patches
2020-10-22 20:00 ` [PATCH v2 21/24] Extend "x" and "print" commands to support memory tagging Luis Machado via Gdb-patches
2020-10-22 20:00 ` [PATCH v2 22/24] Document new "x" and "print" memory tagging extensions Luis Machado via Gdb-patches
2020-10-23 6:37 ` Eli Zaretskii via Gdb-patches
2020-10-22 20:00 ` [PATCH v2 23/24] Add NEWS entry Luis Machado via Gdb-patches
2020-10-23 6:38 ` Eli Zaretskii via Gdb-patches
2020-10-22 20:00 ` [PATCH v2 24/24] Add memory tagging testcases Luis Machado via Gdb-patches
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=ac315ff6-3056-4336-89cb-40e7ab5d2066@linaro.org \
--to=gdb-patches@sourceware.org \
--cc=david.spickett@linaro.org \
--cc=eliz@gnu.org \
--cc=luis.machado@linaro.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox