From: Peter Zijlstra <peterz@infradead.org>
To: Ingo Molnar <mingo@kernel.org>
Cc: Matt Fleming <matt@console-pimps.org>,
"H. Peter Anvin" <hpa@zytor.com>,
Thomas Gleixner <tglx@linutronix.de>,
linux-efi@vger.kernel.org, linux-kernel@vger.kernel.org
Subject: Re: [GIT PULL] EFI changes for v3.18
Date: Mon, 29 Sep 2014 16:05:16 +0200 [thread overview]
Message-ID: <20140929140516.GL5430@worktop> (raw)
In-Reply-To: <20140929124321.GB18825@gmail.com>
On Mon, Sep 29, 2014 at 02:43:21PM +0200, Ingo Molnar wrote:
>
> * Matt Fleming <matt@console-pimps.org> wrote:
>
> > * Implement new EFI runtime lock which is required by the UEFI
> > specification - Ard Biesheuvel
>
> Firstly, under what circumstances can EFI call parallelism happen
> currently? Most of the EFI code runs during early bootup, which
> is serialized.
>
> Secondly, this locking pattern looks pretty disgusting:
>
> @@ -94,7 +187,17 @@ static efi_status_t virt_efi_set_variable(efi_char16_t *name,
> unsigned long data_size,
> void *data)
> {
> - return efi_call_virt(set_variable, name, vendor, attr, data_size, data);
> + unsigned long flags;
> + efi_status_t status;
> + bool __in_nmi = efi_in_nmi();
> +
> + if (!__in_nmi)
> + spin_lock_irqsave(&efi_runtime_lock, flags);
> + status = efi_call_virt(set_variable, name, vendor, attr, data_size,
> + data);
> + if (!__in_nmi)
> + spin_unlock_irqrestore(&efi_runtime_lock, flags);
> + return status;
> }
>
> and that's repeated in virt_efi_query_variable_info() as well.
>
> and that's the explanation given:
>
> +/*
> + * Some runtime services calls can be reentrant under NMI, even if the table
> + * above says they are not. (source: UEFI Specification v2.4A)
> + *
> + * Table 32. Functions that may be called after Machine Check, INIT and NMI
> + *
> +----------------------------+------------------------------------------+
> + * | Function | Called after Machine Check, INIT and NMI |
> + *
> +----------------------------+------------------------------------------+
> + * | GetTime() | Yes, even if previously busy. |
> + * | GetVariable() | Yes, even if previously busy |
> + * | GetNextVariableName() | Yes, even if previously busy |
> + * | QueryVariableInfo() | Yes, even if previously busy |
> + * | SetVariable() | Yes, even if previously busy |
> + * | UpdateCapsule() | Yes, even if previously busy |
> + * | QueryCapsuleCapabilities()| Yes, even if previously busy |
> + * | ResetSystem() | Yes, even if previously busy |
> + *
> +----------------------------+------------------------------------------+
> + *
> + * In order to prevent deadlocks under NMI, the wrappers for these functions
> + * may only grab the efi_runtime_lock or rtc_lock spinlocks if !efi_in_nmi().
> + * However, not all of the services listed are reachable through NMI code paths,
> + * so the the special handling as suggested by the UEFI spec is only implemented
> + * for QueryVariableInfo() and SetVariable(), as these can be reached in NMI
> + * context through efi_pstore_write().
OMFG what a trainwreck... if they are reentrant like that, a lock isn't
going to help you in any way. The implementation of these calls must be
lockfree otherwise they cannot possibly be correct.
Conditional locking like above is just plain broken, disgusting doesn't
even begin to cover it. Full NAK on this. If this is required by the EFI
spec someone needs to pull their head from their arse and smell the real
world.
next prev parent reply other threads:[~2014-09-29 14:05 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-09-28 20:27 [GIT PULL] EFI changes for v3.18 Matt Fleming
2014-09-29 12:43 ` Ingo Molnar
2014-09-29 14:05 ` Peter Zijlstra [this message]
2014-09-29 15:00 ` Matt Fleming
2014-09-29 15:41 ` Peter Zijlstra
[not found] ` <20140929150009.GA9102-HNK1S37rvNbeXh+fF434Mdi2O/JbrIOy@public.gmane.org>
2014-10-06 9:26 ` Ard Biesheuvel
2014-09-29 14:07 ` Matt Fleming
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=20140929140516.GL5430@worktop \
--to=peterz@infradead.org \
--cc=hpa@zytor.com \
--cc=linux-efi@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=matt@console-pimps.org \
--cc=mingo@kernel.org \
--cc=tglx@linutronix.de \
/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