From: Ni, Ray
Sent: Tuesday, September 3, 2019 6:56 PM
> 1. can we directly call AcquireSpinLock()? *OrFail() can be removed IMO.
> 2. It's a patch to change the behavior of SmmStartupThisAP(). So that to
> reduce the potential bugs in caller's code. Patch title is a bit mis-leading.
The way I see it, it's currently a mix of both:
a) catching issues w/caller's code (user calling SmmStartupThisAp while AP
executing previous procedure) and
b) tackling the deficiency of the API because the caller has no 100% confident
way of determining if non-blocking AP execution has completed or not [!!]
I agree it's not the implementation responsibility to hand-hold the user (at
least not beyond returning the error code).
That said, I don't see an issue dropping the debug message and just using
single call to AcquireSpinLock.
However, I do want to emphasize, the primary intent of the change is to deal
with point (b) rather than (a) :-)
Thanks,
Krzysztof
> -----Original Message-----
> From: Nikodem, Damian
> Sent: Tuesday, September 3, 2019 7:58 AM
> To: devel@edk2.groups.io
> Cc: Nikodem, Damian <damian.niko...@intel.com>; Dong, Eric
> <eric.d...@intel.com>; Ni, Ray <ray...@intel.com>; You, Benjamin
> <benjamin....@intel.com>; Laszlo Ersek <ler...@redhat.com>; Rusocki,
> Krzysztof <krzysztof.ruso...@intel.com>
> Subject: [PATCH] UefiCpuPkg/PiSmmCpuDxeSmm: Race condition between
> APHandler's release of Busy spinlock and user- triggered
> SmmStartupThisAP's
>
> Race condition between APHandler's release of Busy spinlock and
> user-triggered SmmStartupThisAP's acquisition attempt of the Busy spinlock
> (non-blocking mode).
>
> UserProc is the user's procedure to execute on an AP.
> UserProcCompletion is the user procedure's completion spinlock.
> All other variables are from EDK2.
>
> BSP AP
> =====================================================================================
>
> APHandler ()
>
> WaitForSemaphore (Run)
>
> << initial
> state >>
>
> AcquireSpinLock (UserProcCompletion)
> SmmStartupThisAp (Procedure)
> AcquireSpinLockOrFail (Busy)
> ReleaseSemaphore (Run)
>
> UserProc ()
> DoStuff() DoSomeOtherStuff ()
>
> AcquireSpinLockOrFail (UserProcCompletion) AcquireSpinLockOrFail
> (UserProcCompletion)
>
> ^^ waiting in a loop for user procedure's
> completion == these fail
> ReleaseSpinLock (UserProcCompletion) AcquireSpinLockOrFail
> (UserProcCompletion)
>
> ^^ this succeeds
>
> ReleaseSpinLock (UserProcCompletion)
>
> << return control to the caller and
> reenter the flow >>>
>
> AcquireSpinLock (UserProcCompletion)
> SmmStartupThisAp (Procedure)
> AcquireSpinLockOrFail (Busy)
> ^^ this wins the race with AP's
> ReleaseSpinLock and fails;
>
> ReleaseSpinLock (Busy)
> return EFI_INVALID_PARAMETER;
>
> To remedy, if AcquireSpinLockOrFail (of the Busy spinlock) fails,
> perform regular AcquireSpinLock -- this eliminates the race condition.
>
> Signed-off-by: Damian Nikodem <damian.niko...@intel.com>
> Cc: Eric Dong <eric.d...@intel.com>
> Cc: Ray Ni <ray...@intel.com>
> Cc: Benjamin You <benjamin....@intel.com>
> Cc: Laszlo Ersek <ler...@redhat.com>
> Cc: Krzysztof Rusocki <krzysztof.ruso...@intel.com>
>
> diff --git a/UefiCpuPkg/PiSmmCpuDxeSmm/MpService.c
> b/UefiCpuPkg/PiSmmCpuDxeSmm/MpService.c
> index d8d2b6f444..206e196a76 100644
> --- a/UefiCpuPkg/PiSmmCpuDxeSmm/MpService.c
> +++ b/UefiCpuPkg/PiSmmCpuDxeSmm/MpService.c
> @@ -1239,8 +1239,16 @@ InternalSmmStartupThisAp (
> AcquireSpinLock (mSmmMpSyncData->CpuData[CpuIndex].Busy);
> } else {
> if (!AcquireSpinLockOrFail (mSmmMpSyncData->CpuData[CpuIndex].Busy)) {
> - DEBUG((DEBUG_ERROR, "Can't acquire
> mSmmMpSyncData->CpuData[%d].Busy\n", CpuIndex));
> - return EFI_NOT_READY;
> + DEBUG ((DEBUG_INFO, "BSP[%d] finds AP[%d] busy at proc 0x%llX (param
> 0x%llX), ",
> + mSmmMpSyncData->BspIndex,
> + CpuIndex,
> + *mSmmMpSyncData->CpuData[CpuIndex].Procedure,
> + (VOID*)mSmmMpSyncData->CpuData[CpuIndex].Parameter));
> + DEBUG ((DEBUG_INFO, "new proc 0x%llX (param 0x%llX). Waiting for the
> previous AP procedure to complete...\n",
> + Procedure,
> + ProcArguments));
> +
> + AcquireSpinLock (mSmmMpSyncData->CpuData[CpuIndex].Busy);
> }
>
> *Token = (MM_COMPLETION) CreateToken ();
--------------------------------------------------------------------
Intel Technology Poland sp. z o.o.
ul. Slowackiego 173 | 80-298 Gdansk | Sad Rejonowy Gdansk Polnoc | VII Wydzial
Gospodarczy Krajowego Rejestru Sadowego - KRS 101882 | NIP 957-07-52-316 |
Kapital zakladowy 200.000 PLN.
Ta wiadomosc wraz z zalacznikami jest przeznaczona dla okreslonego adresata i
moze zawierac informacje poufne. W razie przypadkowego otrzymania tej
wiadomosci, prosimy o powiadomienie nadawcy oraz trwale jej usuniecie;
jakiekolwiek
przegladanie lub rozpowszechnianie jest zabronione.
This e-mail and any attachments may contain confidential material for the sole
use of the intended recipient(s). If you are not the intended recipient, please
contact the sender and delete all copies; any review or distribution by
others is strictly prohibited.
-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#46826): https://edk2.groups.io/g/devel/message/46826
Mute This Topic: https://groups.io/mt/33128825/21656
Group Owner: devel+ow...@edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com]
-=-=-=-=-=-=-=-=-=-=-=-
