From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 63861 invoked by alias); 21 Oct 2016 18:11:53 -0000 Mailing-List: contact gnu-gabi-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Post: List-Help: List-Subscribe: Sender: gnu-gabi-owner@sourceware.org Received: (qmail 63766 invoked by uid 89); 21 Oct 2016 18:11:49 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Checked: by ClamAV 0.99.2 on sourceware.org X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.2 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD,SPF_HELO_PASS autolearn=ham version=3.3.2 spammy=terminology, Hx-languages-length:2439, Except X-Spam-Status: No, score=-2.2 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD,SPF_HELO_PASS autolearn=ham version=3.3.2 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on sourceware.org X-Spam-Level: X-HELO: mx1.redhat.com Subject: Re: [PATCH] Make _Unwind_GetIPInfo part of the ABI To: Michael Matz References: Cc: "H.J. Lu" , gnu-gabi@sourceware.org From: Florian Weimer Message-ID: Date: Fri, 01 Jan 2016 00:00:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-Scanned-By: MIMEDefang 2.68 on 10.5.11.26 X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.5.16 (mx1.redhat.com [10.5.110.32]); Fri, 21 Oct 2016 18:11:47 +0000 (UTC) X-SW-Source: 2016-q4/txt/msg00018.txt.bz2 On 10/21/2016 03:45 PM, Michael Matz wrote: > Hi, > > On Fri, 21 Oct 2016, Florian Weimer wrote: > >> On 10/21/2016 02:58 PM, Michael Matz wrote: >>> +This function returns the same value as \code{\_Unwind\_GetIP}. In >>> +addition, the argument \code{ip\_before\_insn} must not be not null, and >>> +\code{*ip\_before\_insn} is updated with a flag which indicates whether >>> +the returned pointer is at or after the first not yet fully executed >>> +instruction. >> >> I think this is rather misleading. On x86_64, the location of the IP >> value is the same for calls and asynchronous signals: it always points >> to the next instruction to be executed. > > No, that's simply wrong. The saved instruction pointer points _at_ the > instruction causing the fault for faults, and _after_ the instruction for > traps. Traps are things like single-stepping, breakpoints or INTO. Most > other interrupts are faults or aborts (the latter being imprecise and > hence can't be restarted anyway). > > For calls the saved instruction pointer always points to after the call > and hence can be handled like a trap for unwinding purposes. Oh, then we are dealing with four different things: Calls, asynchronous signals (like the internal SIGCANCEL signal, which is how came to this topic), faults, and traps. Using your terminology, traps are like calls (IP adjustment needed). An SIGCANCEL signal is like a fault because no IP adjustment is allowed. The GCC unwinders currently treat all the signals the same, which causes it to use the wrong handler region for traps. >> The difference that if we unwind through a call which has not yet >> returned, the caller is assumed to be still within the exception >> handling region in which the call instruction is located. This is the >> consequence of the desired exception handling semantics of a >> non-returned function call. > > Unwinding through one call or one trap is the same. The interesting > instruction is the one ending right before the reported IP. Agreed. > Except for those situations where it doesn't, for which this function was > introduced to start with, in order to be able to differ between those > (basically the kernel needs to mark the signal frame as being the result > of a fault or a trap, and GetIPInfo uses this to set the flag). It's not really clear to me how the glibc unwinders tell traps from faults. Florian