From: Robinson, Herbie Date: Fri, 7 Sep 2018 00:07:09 +0000 (+0800) Subject: FatPkg/EnhancedFatDxe Fix Double Cluster Allocation X-Git-Tag: edk2-stable201903~747 X-Git-Url: https://git.proxmox.com/?a=commitdiff_plain;h=add1310df55eede2f52f44a021802831c683577d;p=mirror_edk2.git FatPkg/EnhancedFatDxe Fix Double Cluster Allocation This is a fix for a double cluster allocation when the disk is full. The double allocation happens because FatGrowEof calls FatAllocateCluster without immediately marking the each returned cluster as allocated. The fix is to move the FatSetFatEntry call inside the loop. I've also include some improvements to the sanity checks that I added while tracking this down. They are optional. Contributed-under: TianoCore Contribution Agreement 1.0 Signed-off-by: Herbie Robinson Reviewed-by: Ruiyu Ni --- diff --git a/FatPkg/EnhancedFatDxe/FileSpace.c b/FatPkg/EnhancedFatDxe/FileSpace.c index 1254cd68b5..50391b75b8 100644 --- a/FatPkg/EnhancedFatDxe/FileSpace.c +++ b/FatPkg/EnhancedFatDxe/FileSpace.c @@ -467,7 +467,7 @@ FatGrowEof ( ClusterCount = 0; while (!FAT_END_OF_FAT_CHAIN (Cluster)) { - if (Cluster == FAT_CLUSTER_FREE || Cluster >= FAT_CLUSTER_SPECIAL) { + if (Cluster < FAT_MIN_CLUSTER || Cluster > Volume->MaxCluster + 1) { DEBUG ( (EFI_D_INIT | EFI_D_ERROR, @@ -509,6 +509,11 @@ FatGrowEof ( goto Done; } + if (NewCluster < FAT_MIN_CLUSTER || NewCluster > Volume->MaxCluster + 1) { + Status = EFI_VOLUME_CORRUPTED; + goto Done; + } + if (LastCluster != 0) { FatSetFatEntry (Volume, LastCluster, NewCluster); } else { @@ -518,12 +523,21 @@ FatGrowEof ( LastCluster = NewCluster; CurSize += 1; + + // + // Terminate the cluster list + // + // Note that we must do this EVERY time we allocate a cluster, because + // FatAllocateCluster scans the FAT looking for a free cluster and + // "LastCluster" is no longer free! Usually, FatAllocateCluster will + // start looking with the cluster after "LastCluster"; however, when + // there is only one free cluster left, it will find "LastCluster" + // a second time. There are other, less predictable scenarios + // where this could happen, as well. + // + FatSetFatEntry (Volume, LastCluster, (UINTN) FAT_CLUSTER_LAST); + OFile->FileLastCluster = LastCluster; } - // - // Terminate the cluster list - // - FatSetFatEntry (Volume, LastCluster, (UINTN) FAT_CLUSTER_LAST); - OFile->FileLastCluster = LastCluster; } OFile->FileSize = (UINTN) NewSizeInBytes; @@ -603,7 +617,7 @@ FatOFilePosition ( Cluster = FatGetFatEntry (Volume, Cluster); } - if (Cluster < FAT_MIN_CLUSTER) { + if (Cluster < FAT_MIN_CLUSTER || Cluster > Volume->MaxCluster + 1) { return EFI_VOLUME_CORRUPTED; }