From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from simark.ca (simark.ca [158.69.221.121]) by sourceware.org (Postfix) with ESMTPS id 2BDB43858C2C for ; Thu, 2 Feb 2023 03:47:22 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 2BDB43858C2C Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=simark.ca Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=simark.ca Received: from [10.0.0.11] (unknown [217.28.27.60]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by simark.ca (Postfix) with ESMTPSA id 6CC5A1E112; Wed, 1 Feb 2023 22:47:21 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=simark.ca; s=mail; t=1675309641; bh=tNRr5QR+43Qk6c7vnZGyq+fczmFJdA/E6bz7gl8AGho=; h=Date:Subject:To:Cc:References:From:In-Reply-To:From; b=dPQDjmXH1fMTlRbclPq9OJ9wKrO5Ghvf/FQCYZrz5kq9YD67NLDN5hYmcvlEcwcn8 mypcqvuzxjejT+a1kGsQ3XVPpfHhCpN6abG8e1TBZzxUGTyFZMrPKMRw6Cr+vNr8dn A/1UMnWT/uaIxg66x7r7NxNKfh0rSrKPgQivSlFA= Message-ID: Date: Wed, 1 Feb 2023 22:47:20 -0500 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.7.1 Subject: Re: [PATCH v3 4/8] gdbserver/linux-aarch64: When thread stops, update its target description Content-Language: en-US To: Thiago Jung Bauermann , Luis Machado Cc: Andrew Burgess , Thiago Jung Bauermann via Gdb-patches References: <20230130044518.3322695-1-thiago.bauermann@linaro.org> <20230130044518.3322695-5-thiago.bauermann@linaro.org> <87pmattzjw.fsf@redhat.com> <7970ac03-1123-d5f6-7b17-808832d43be6@simark.ca> <9a85e2fe-078a-e2ee-7e49-53fe0ceef492@arm.com> <87y1pgaib6.fsf@linaro.org> From: Simon Marchi In-Reply-To: <87y1pgaib6.fsf@linaro.org> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-10.9 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,NICE_REPLY_A,SPF_HELO_PASS,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On 2/1/23 21:54, Thiago Jung Bauermann wrote: > > Luis Machado writes: > >> On 2/1/23 16:21, Simon Marchi wrote: >>> >>>>> diff --git a/gdbserver/linux-low.h b/gdbserver/linux-low.h >>>>> index 221de85aa2ee..b52eb23cc444 100644 >>>>> --- a/gdbserver/linux-low.h >>>>> +++ b/gdbserver/linux-low.h >>>>> @@ -604,6 +604,12 @@ class linux_process_target : public process_stratum_target >>>>> /* Architecture-specific setup for the current thread. */ >>>>> virtual void low_arch_setup () = 0; >>>>> + /* Allows arch-specific code to set the thread's target description when the >>>>> + inferior stops. Returns nullptr if no thread-specific target description >>>>> + is necessary. */ >>>>> + virtual const struct target_desc * >>>>> + get_thread_tdesc (const thread_info *thread); >>>> >>>> I think the comment for this function is not correct. The function does >>>> not SET the thread's target description, but just GETS a target >>>> description suitable for `thread`. It's the caller's job to do the >>>> setting. >>> This comment also gave me pause. How does a getter set something. I >>> then understood that it allowed the arch-specific code to provide a >>> thread-specific tdesc. I would suggest just: >> >> FWIW, I read it as "the functions *allows* arch-specific code to set". >> So it doesn't set on its own, but it does allow something else to do >> it. > > Yes, that's what was in my mind when I wrote the comment. But I agree > it's unclear, and I adopted Simon's suggested version. > >>> The other thought I had while re-reading the patch is why do we need to >>> return and store nullptr if the thread target description is the same as >>> the main one for the process. get_thread_tdesc could just return >>> process_info->tdesc if we don't need a separate tdesc, and we would >>> store that same pointer in thread_info->tdesc. > > We don't need to return and store nullptr if the thread target > description is the same as the main one for the process. Things will > work fine if we do as you suggest. IIRC my private branch worked liked > that for a while, before I changed it to the current version. > > I changed it because I thought it was a clearer mental model if > thread_info->tdesc is nullptr when there's not thread-specific target > description. I can make the get_thread_tdesc method always return a > valid target description if you think it's better that way. Either way works. >>> And get_thread_tdesc would just return that (in fact, >>> get_thread_tdesc might not be necessary then). Perhaps it makes some >>> things more complicated down the road, but I can't think of anything. > > Sorry, I don't understand this part. get_thread_tdesc is necessary > because it's the hook that allows arch-specific code to provide a target > description for the thread. I don't see how it can become unnecessary. > > Perhaps you mean the get_thread_target_desc function? Sorry about the > names being so similar, I spent some time trying to think of a better > name for either the method or the function but failed. Err yeah, I meant the free function that returns the process' tdesc if the thread doesn't have one. > In any case, it wouldn't be possible to make get_thread_target_desc just > return thread_info->tdesc because at least the way these patches are > currently written, when the inferior starts or a new thread of the > inferior is spawned thread_info->tdesc is nullptr. gdbserver will only > call get_thread_tdesc after the first stop (in get_thread_regcache, in > the process of obtaining the pc register), so we will need to cope with > that situation. Ok. Would it work if a new thread initially inherited the tdesc from its process? >> Sounds reasonable. >> >> Moving towards thread-specific target descriptions/gdbarch would be a positive thing given >> the SVE precedent. The process-wide target description/gdbarch no >> longer reflects the correct settings for each thread on AArch64's with SVE support. > > In the first version of these patches I removed the process-wide target > description and moved it to thread_info, but it was a big patch that > touched many targets. I can bring it back if you think it's worth it. At least for the register description, if we decide it's now a per-thread thing, what does it mean to have a process-wide description anyway? I think it would make sense to get rid of it, that could help confirm our model works (and it would remove the chance of using the wrong tdesc by mistake for a thread that has its own tdesc). It's probably something that can be done incrementally though. Simon