162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-or-later 262306a36Sopenharmony_ci/* 362306a36Sopenharmony_ci * Copyright (C) 2022-2023 Oracle. All Rights Reserved. 462306a36Sopenharmony_ci * Author: Darrick J. Wong <djwong@kernel.org> 562306a36Sopenharmony_ci */ 662306a36Sopenharmony_ci#include "xfs.h" 762306a36Sopenharmony_ci#include "xfs_fs.h" 862306a36Sopenharmony_ci#include "xfs_shared.h" 962306a36Sopenharmony_ci#include "xfs_format.h" 1062306a36Sopenharmony_ci#include "xfs_trans_resv.h" 1162306a36Sopenharmony_ci#include "xfs_mount.h" 1262306a36Sopenharmony_ci#include "xfs_ag.h" 1362306a36Sopenharmony_ci#include "xfs_trace.h" 1462306a36Sopenharmony_ci 1562306a36Sopenharmony_ci/* 1662306a36Sopenharmony_ci * Use a static key here to reduce the overhead of xfs_drain_rele. If the 1762306a36Sopenharmony_ci * compiler supports jump labels, the static branch will be replaced by a nop 1862306a36Sopenharmony_ci * sled when there are no xfs_drain_wait callers. Online fsck is currently 1962306a36Sopenharmony_ci * the only caller, so this is a reasonable tradeoff. 2062306a36Sopenharmony_ci * 2162306a36Sopenharmony_ci * Note: Patching the kernel code requires taking the cpu hotplug lock. Other 2262306a36Sopenharmony_ci * parts of the kernel allocate memory with that lock held, which means that 2362306a36Sopenharmony_ci * XFS callers cannot hold any locks that might be used by memory reclaim or 2462306a36Sopenharmony_ci * writeback when calling the static_branch_{inc,dec} functions. 2562306a36Sopenharmony_ci */ 2662306a36Sopenharmony_cistatic DEFINE_STATIC_KEY_FALSE(xfs_drain_waiter_gate); 2762306a36Sopenharmony_ci 2862306a36Sopenharmony_civoid 2962306a36Sopenharmony_cixfs_drain_wait_disable(void) 3062306a36Sopenharmony_ci{ 3162306a36Sopenharmony_ci static_branch_dec(&xfs_drain_waiter_gate); 3262306a36Sopenharmony_ci} 3362306a36Sopenharmony_ci 3462306a36Sopenharmony_civoid 3562306a36Sopenharmony_cixfs_drain_wait_enable(void) 3662306a36Sopenharmony_ci{ 3762306a36Sopenharmony_ci static_branch_inc(&xfs_drain_waiter_gate); 3862306a36Sopenharmony_ci} 3962306a36Sopenharmony_ci 4062306a36Sopenharmony_civoid 4162306a36Sopenharmony_cixfs_defer_drain_init( 4262306a36Sopenharmony_ci struct xfs_defer_drain *dr) 4362306a36Sopenharmony_ci{ 4462306a36Sopenharmony_ci atomic_set(&dr->dr_count, 0); 4562306a36Sopenharmony_ci init_waitqueue_head(&dr->dr_waiters); 4662306a36Sopenharmony_ci} 4762306a36Sopenharmony_ci 4862306a36Sopenharmony_civoid 4962306a36Sopenharmony_cixfs_defer_drain_free(struct xfs_defer_drain *dr) 5062306a36Sopenharmony_ci{ 5162306a36Sopenharmony_ci ASSERT(atomic_read(&dr->dr_count) == 0); 5262306a36Sopenharmony_ci} 5362306a36Sopenharmony_ci 5462306a36Sopenharmony_ci/* Increase the pending intent count. */ 5562306a36Sopenharmony_cistatic inline void xfs_defer_drain_grab(struct xfs_defer_drain *dr) 5662306a36Sopenharmony_ci{ 5762306a36Sopenharmony_ci atomic_inc(&dr->dr_count); 5862306a36Sopenharmony_ci} 5962306a36Sopenharmony_ci 6062306a36Sopenharmony_cistatic inline bool has_waiters(struct wait_queue_head *wq_head) 6162306a36Sopenharmony_ci{ 6262306a36Sopenharmony_ci /* 6362306a36Sopenharmony_ci * This memory barrier is paired with the one in set_current_state on 6462306a36Sopenharmony_ci * the waiting side. 6562306a36Sopenharmony_ci */ 6662306a36Sopenharmony_ci smp_mb__after_atomic(); 6762306a36Sopenharmony_ci return waitqueue_active(wq_head); 6862306a36Sopenharmony_ci} 6962306a36Sopenharmony_ci 7062306a36Sopenharmony_ci/* Decrease the pending intent count, and wake any waiters, if appropriate. */ 7162306a36Sopenharmony_cistatic inline void xfs_defer_drain_rele(struct xfs_defer_drain *dr) 7262306a36Sopenharmony_ci{ 7362306a36Sopenharmony_ci if (atomic_dec_and_test(&dr->dr_count) && 7462306a36Sopenharmony_ci static_branch_unlikely(&xfs_drain_waiter_gate) && 7562306a36Sopenharmony_ci has_waiters(&dr->dr_waiters)) 7662306a36Sopenharmony_ci wake_up(&dr->dr_waiters); 7762306a36Sopenharmony_ci} 7862306a36Sopenharmony_ci 7962306a36Sopenharmony_ci/* Are there intents pending? */ 8062306a36Sopenharmony_cistatic inline bool xfs_defer_drain_busy(struct xfs_defer_drain *dr) 8162306a36Sopenharmony_ci{ 8262306a36Sopenharmony_ci return atomic_read(&dr->dr_count) > 0; 8362306a36Sopenharmony_ci} 8462306a36Sopenharmony_ci 8562306a36Sopenharmony_ci/* 8662306a36Sopenharmony_ci * Wait for the pending intent count for a drain to hit zero. 8762306a36Sopenharmony_ci * 8862306a36Sopenharmony_ci * Callers must not hold any locks that would prevent intents from being 8962306a36Sopenharmony_ci * finished. 9062306a36Sopenharmony_ci */ 9162306a36Sopenharmony_cistatic inline int xfs_defer_drain_wait(struct xfs_defer_drain *dr) 9262306a36Sopenharmony_ci{ 9362306a36Sopenharmony_ci return wait_event_killable(dr->dr_waiters, !xfs_defer_drain_busy(dr)); 9462306a36Sopenharmony_ci} 9562306a36Sopenharmony_ci 9662306a36Sopenharmony_ci/* 9762306a36Sopenharmony_ci * Get a passive reference to an AG and declare an intent to update its 9862306a36Sopenharmony_ci * metadata. 9962306a36Sopenharmony_ci */ 10062306a36Sopenharmony_cistruct xfs_perag * 10162306a36Sopenharmony_cixfs_perag_intent_get( 10262306a36Sopenharmony_ci struct xfs_mount *mp, 10362306a36Sopenharmony_ci xfs_agnumber_t agno) 10462306a36Sopenharmony_ci{ 10562306a36Sopenharmony_ci struct xfs_perag *pag; 10662306a36Sopenharmony_ci 10762306a36Sopenharmony_ci pag = xfs_perag_get(mp, agno); 10862306a36Sopenharmony_ci if (!pag) 10962306a36Sopenharmony_ci return NULL; 11062306a36Sopenharmony_ci 11162306a36Sopenharmony_ci xfs_perag_intent_hold(pag); 11262306a36Sopenharmony_ci return pag; 11362306a36Sopenharmony_ci} 11462306a36Sopenharmony_ci 11562306a36Sopenharmony_ci/* 11662306a36Sopenharmony_ci * Release our intent to update this AG's metadata, and then release our 11762306a36Sopenharmony_ci * passive ref to the AG. 11862306a36Sopenharmony_ci */ 11962306a36Sopenharmony_civoid 12062306a36Sopenharmony_cixfs_perag_intent_put( 12162306a36Sopenharmony_ci struct xfs_perag *pag) 12262306a36Sopenharmony_ci{ 12362306a36Sopenharmony_ci xfs_perag_intent_rele(pag); 12462306a36Sopenharmony_ci xfs_perag_put(pag); 12562306a36Sopenharmony_ci} 12662306a36Sopenharmony_ci 12762306a36Sopenharmony_ci/* 12862306a36Sopenharmony_ci * Declare an intent to update AG metadata. Other threads that need exclusive 12962306a36Sopenharmony_ci * access can decide to back off if they see declared intentions. 13062306a36Sopenharmony_ci */ 13162306a36Sopenharmony_civoid 13262306a36Sopenharmony_cixfs_perag_intent_hold( 13362306a36Sopenharmony_ci struct xfs_perag *pag) 13462306a36Sopenharmony_ci{ 13562306a36Sopenharmony_ci trace_xfs_perag_intent_hold(pag, __return_address); 13662306a36Sopenharmony_ci xfs_defer_drain_grab(&pag->pag_intents_drain); 13762306a36Sopenharmony_ci} 13862306a36Sopenharmony_ci 13962306a36Sopenharmony_ci/* Release our intent to update this AG's metadata. */ 14062306a36Sopenharmony_civoid 14162306a36Sopenharmony_cixfs_perag_intent_rele( 14262306a36Sopenharmony_ci struct xfs_perag *pag) 14362306a36Sopenharmony_ci{ 14462306a36Sopenharmony_ci trace_xfs_perag_intent_rele(pag, __return_address); 14562306a36Sopenharmony_ci xfs_defer_drain_rele(&pag->pag_intents_drain); 14662306a36Sopenharmony_ci} 14762306a36Sopenharmony_ci 14862306a36Sopenharmony_ci/* 14962306a36Sopenharmony_ci * Wait for the intent update count for this AG to hit zero. 15062306a36Sopenharmony_ci * Callers must not hold any AG header buffers. 15162306a36Sopenharmony_ci */ 15262306a36Sopenharmony_ciint 15362306a36Sopenharmony_cixfs_perag_intent_drain( 15462306a36Sopenharmony_ci struct xfs_perag *pag) 15562306a36Sopenharmony_ci{ 15662306a36Sopenharmony_ci trace_xfs_perag_wait_intents(pag, __return_address); 15762306a36Sopenharmony_ci return xfs_defer_drain_wait(&pag->pag_intents_drain); 15862306a36Sopenharmony_ci} 15962306a36Sopenharmony_ci 16062306a36Sopenharmony_ci/* Has anyone declared an intent to update this AG? */ 16162306a36Sopenharmony_cibool 16262306a36Sopenharmony_cixfs_perag_intent_busy( 16362306a36Sopenharmony_ci struct xfs_perag *pag) 16462306a36Sopenharmony_ci{ 16562306a36Sopenharmony_ci return xfs_defer_drain_busy(&pag->pag_intents_drain); 16662306a36Sopenharmony_ci} 167