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 (#46716): https://edk2.groups.io/g/devel/message/46716 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] -=-=-=-=-=-=-=-=-=-=-=-