On Fri, Apr 14, 2023 at 03:58:36PM -0700, Wengang Wang wrote: > At log recovery stage, we need to split EFIs with multiple extents. For each > orginal multiple-extent EFI, split it into new EFIs each including one extent > from the original EFI. By that we avoid deadlock when allocating blocks for > AGFL waiting for the held busy extents by current transaction to be flushed. > > For the original EFI, the process is > 1. Create and log new EFIs each covering one extent from the > original EFI. > 2. Don't free extent with the original EFI. > 3. Log EFD for the original EFI. > Make sure we log the new EFIs and original EFD in this order: > new EFI 1 > new EFI 2 > ... > new EFI N > original EFD > The original extents are freed with the new EFIs. We may not have the log space available during recovery to explode a single EFI out into many EFIs like this. The EFI only had enough space reserved for processing a single EFI, and exploding a single EFI out like this requires an individual log reservation for each new EFI. Hence this de-multiplexing process risks running out of log space and deadlocking before we've been able to process anything. Hence the only option we really have here is to replicate how CUIs are handled. We must process the first extent with a whole EFD and a new EFI containing the remaining unprocessed extents as defered operations. i.e. 1. free the first extent in the original EFI 2. log an EFD for the original EFI 3. Add all the remaining extents in the original EFI to an xefi chain 4. Call xfs_defer_ops_capture_and_commit() to create a new EFI from the xefi chain and commit the current transaction. xfs_defer_ops_capture_and_commit() will then add a work item to the defered list which will come back to the new EFI and process it through the normal runtime deferred ops intent processing path. The first patch changed that path to only create intents with a single extent, so the continued defer ops would then do the right thing with that change in place. However, I think that we also need the runtime code to process a single extent per intent per commit in the same manner as above. i.e. we process the first extent in the intent, then relog all the remaining unprocessed extents as a single new intent. Note that this is similar to how we already relog intents to roll them forward in the journal. The only difference for single extent processing is that an intent relog duplicates the entire extent list in the EFD and the new EFI, whilst what we want is the new EFI to contain all the extents except the one we just processed... Cheers, Dave. -- Dave Chinner david@xxxxxxxxxxxxx
