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