Received: by 2002:a25:86ce:0:0:0:0:0 with SMTP id y14csp2260453ybm; Thu, 23 May 2019 14:02:23 -0700 (PDT) X-Google-Smtp-Source: APXvYqwRGRpXZCnwbnQKperYgqjMDDkRqCAJulu1TfX9Nmx0v3s9O0Qq6Vn92C/hB0UbjBAD8Eao X-Received: by 2002:a62:460a:: with SMTP id t10mr106078248pfa.3.1558645343226; Thu, 23 May 2019 14:02:23 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1558645343; cv=none; d=google.com; s=arc-20160816; b=lcSP0SJIOaV469pgDyVtWWa3ZXl+AUH4yrdk3Pagc6iKbgaMKYbUyaq78gG8lhVa3J fFSCDTChRVhStqOdUkB3Wt/3qqxUJ/Il2Hsy2pwXdinWdMUid6tA+pX3wOurmuzINC6f HdwPDgMbrS2OSyNI6GBN07bJADy7FyXJOs7YiTpn5IbHxBwjtzWzHFzyDjEoqnW2ItrK g3o5sisq2NP8uTwrlW1MdlO3P1iPR72AlhtCAicoRAYLY0q8W+T2911tgrTw9yxCRw44 SfyId2oGxdLGoZ7UGcKzx6wYeC7NVpRYVDTXd1n8Od4jTGhLlWfdNTO71Ra79YaR8sWh tgAw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:subject:mime-version:user-agent :message-id:in-reply-to:date:references:cc:to:from; bh=BcRaapS3HYLZcZujklMqFOCVdiSezDCZoQEx87U20fs=; b=hIm5q6bwvNKRP0qr2B6Nw2FcBipZyw88X7tkIa75HABjsWxvyZ2KYiMQ4r4gMJFaT3 lUq5EJnSSSgwucd8vGIir9XyujhLYiFg4ZICZx19Nqr6YwKsSa+pkOCYK0k5UgUFQ5Zt GfZdpwkJEmUkaRXlDN2l+a5yBrUmPfonQjZuw8NhWFYxy8XaIY+9wiLCXX7t7DLUJZ5v tmwrd/vekqMzVEmD0XUFvncNTQRqnhQ37HrmxHD+UbTOtqLIo+WxFJTxqZuZ/k9Z28d1 r/o6NNmiXmMJqYfxjujmgmwl3FFI53kBrK0uExvZP8B5XxbfTEwDGLWkHF68SUdRWZSN 4KdA== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=xmission.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id e18si894886pgk.236.2019.05.23.14.02.06; Thu, 23 May 2019 14:02:23 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=xmission.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1731580AbfEWVAv (ORCPT + 99 others); Thu, 23 May 2019 17:00:51 -0400 Received: from out02.mta.xmission.com ([166.70.13.232]:41938 "EHLO out02.mta.xmission.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726222AbfEWVAv (ORCPT ); Thu, 23 May 2019 17:00:51 -0400 Received: from in01.mta.xmission.com ([166.70.13.51]) by out02.mta.xmission.com with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.87) (envelope-from ) id 1hTupV-0007qQ-ML; Thu, 23 May 2019 15:00:49 -0600 Received: from ip72-206-97-68.om.om.cox.net ([72.206.97.68] helo=x220.xmission.com) by in01.mta.xmission.com with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.87) (envelope-from ) id 1hTupU-0000D6-Kg; Thu, 23 May 2019 15:00:49 -0600 From: ebiederm@xmission.com (Eric W. Biederman) To: Dave P Martin Cc: "linux-kernel\@vger.kernel.org" , Linux Containers , Oleg Nesterov , "linux-arch\@vger.kernel.org" , James Morse , Will Deacon References: <20190523003916.20726-1-ebiederm@xmission.com> <20190523003916.20726-4-ebiederm@xmission.com> <20190523102101.GW28398@e103592.cambridge.arm.com> <87r28pgr3h.fsf@xmission.com> <20190523161256.GF2019@e103592.cambridge.arm.com> Date: Thu, 23 May 2019 16:00:41 -0500 In-Reply-To: <20190523161256.GF2019@e103592.cambridge.arm.com> (Dave P. Martin's message of "Thu, 23 May 2019 16:12:59 +0000") Message-ID: <87woigdgxy.fsf@xmission.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-XM-SPF: eid=1hTupU-0000D6-Kg;;;mid=<87woigdgxy.fsf@xmission.com>;;;hst=in01.mta.xmission.com;;;ip=72.206.97.68;;;frm=ebiederm@xmission.com;;;spf=neutral X-XM-AID: U2FsdGVkX1/caa7T4Y9Jn68CDlq5knTS/PKpHJdEd74= X-SA-Exim-Connect-IP: 72.206.97.68 X-SA-Exim-Mail-From: ebiederm@xmission.com X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on sa04.xmission.com X-Spam-Level: *** X-Spam-Status: No, score=3.5 required=8.0 tests=ALL_TRUSTED,BAYES_50, DCC_CHECK_NEGATIVE,TR_Symld_Words,T_TM2_M_HEADER_IN_MSG, T_TooManySym_01,XMNoVowels,XMSubLong autolearn=disabled version=3.4.2 X-Spam-Report: * -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP * 0.8 BAYES_50 BODY: Bayes spam probability is 40 to 60% * [score: 0.5000] * 1.5 TR_Symld_Words too many words that have symbols inside * 0.7 XMSubLong Long Subject * 1.5 XMNoVowels Alpha-numberic number with no vowels * 0.0 T_TM2_M_HEADER_IN_MSG BODY: No description available. * -0.0 DCC_CHECK_NEGATIVE Not listed in DCC * [sa04 1397; Body=1 Fuz1=1 Fuz2=1] * 0.0 T_TooManySym_01 4+ unique symbols in subject X-Spam-DCC: XMission; sa04 1397; Body=1 Fuz1=1 Fuz2=1 X-Spam-Combo: ***;Dave P Martin X-Spam-Relay-Country: X-Spam-Timing: total 524 ms - load_scoreonly_sql: 0.07 (0.0%), signal_user_changed: 3.4 (0.6%), b_tie_ro: 2.3 (0.4%), parse: 1.28 (0.2%), extract_message_metadata: 16 (3.1%), get_uri_detail_list: 3.2 (0.6%), tests_pri_-1000: 12 (2.3%), tests_pri_-950: 1.61 (0.3%), tests_pri_-900: 1.14 (0.2%), tests_pri_-90: 40 (7.6%), check_bayes: 38 (7.3%), b_tokenize: 10 (2.0%), b_tok_get_all: 17 (3.2%), b_comp_prob: 3.4 (0.7%), b_tok_touch_all: 6 (1.1%), b_finish: 0.91 (0.2%), tests_pri_0: 432 (82.5%), check_dkim_signature: 0.79 (0.2%), check_dkim_adsp: 2.3 (0.4%), poll_dns_idle: 0.60 (0.1%), tests_pri_10: 2.2 (0.4%), tests_pri_500: 10 (1.8%), rewrite_mail: 0.00 (0.0%) Subject: Re: [REVIEW][PATCH 03/26] signal/arm64: Use force_sig not force_sig_fault for SIGKILL X-Spam-Flag: No X-SA-Exim-Version: 4.2.1 (built Thu, 05 May 2016 13:38:54 -0600) X-SA-Exim-Scanned: Yes (on in01.mta.xmission.com) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Dave P Martin writes: > On Thu, May 23, 2019 at 03:53:06PM +0100, Eric W. Biederman wrote: >> Dave Martin writes: >> >> > On Thu, May 23, 2019 at 01:38:53AM +0100, Eric W. Biederman wrote: >> >> It really only matters to debuggers but the SIGKILL does not have any >> >> si_codes that use the fault member of the siginfo union. Correct this >> >> the simple way and call force_sig instead of force_sig_fault when the >> >> signal is SIGKILL. >> > >> > I haven't fully understood the context for this, but why does it matter >> > what's in siginfo for SIGKILL? My understanding is that userspace >> > (including ptrace) never gets to see it anyway for the SIGKILL case. >> >> Yes. In practice I think it would take tracing or something very >> exotic to notice anything going wrong because the task will be killed. >> >> > Here it feels like SIGKILL is logically a synchronous, thread-targeted >> > fault: we must ensure that no subsequent insn in current executes (just >> > like other fault signal). In this case, I thought we fall back to >> > SIGKILL not because there is no fault, but because we failed to >> > properly diagnose or report the type of fault that occurred. >> > >> > So maybe handling it consistently with other faults signals makes >> > sense. The fact that delivery of this signal destroys the process >> > before anyone can look at the resulting siginfo feels like a >> > side-effect rather than something obviously wrong. >> > >> > The siginfo is potentially useful diagnostic information, that we could >> > subsequently provide a means to access post-mortem. >> > >> > I just dived in on this single patch, so I may be missing something more >> > fundamental, or just being pedantic... >> >> Not really. I was working on another cleanup and this usage of SIGKILL >> came up. >> >> A synchronous thread synchronous fault gets us as far as the forc_sig >> family of functions. That only leaves the question of which union >> member in struct siginfo we are using. The union members are _kill, >> _fault, _timer, _rt, _sigchld, _sigfault, _sigpoll, and _sigsys. >> >> As it has prove quite error prone for people to fill out struct siginfo >> in the past by hand, I have provided a couple of helper functions for >> the common cases that come up such as: force_sig_fault, >> force_sig_mceerr, force_sig_bnderr, force_sig_pkuerr. Each of those >> helper functions takes the information needed to fill out the union >> member of struct siginfo that kind of fault corresponds to. >> >> For the SIGKILL case the only si_code I see being passed SI_KERNEL. >> The SI_KERNEL si_code corresponds to the _kill union member while >> force_sig_fault fills in fields for the _fault union member. >> >> Because of the mismatch of which union member SIGKILL should be using >> and the union member force_sig_fault applies alarm bells ring in my head >> when I read the current arm64 kernel code. Somewhat doubly so because >> the other fields in passed to force_sig_fault appear to be somewhat >> random when SIGKILL is the signal. >> >> So I figured let's preserve the usage of SIGKILL as a synchronous >> exception. That seems legitimate and other folks do that as well but >> let's use force_sig instead of force_sig_fault instead. I don't know if >> userspace will notice but at the very least we won't be providing a bad >> example for other kernel code to follow and we won't wind up be making >> assumptions that are true today and false tomorrow when some >> implementation detail changes. >> >> For imformation on what signals and si_codes correspond to which >> union members you can look at siginfo_layout. That function >> is the keeper of the magic decoder key. Currently the only two >> si_codes defined for SIGKILL are SI_KERNEL and SI_USER both of which >> correspond to a _kill union member. > > I see. Assuming we cannot have a dummy internal si_code for this > special case (probably a bad idea), I think Will's suggestion of at > least pushing the special case handling down into > arm64_force_sig_fault() is probably a bit cleaner here, expecially > if other callers of that function may pass in SIGKILL (I haven't > looked though). Done in my v2 version of this patch. Eric