Something went wrong. Try again.
(I'm so sorry!) Linux kernel mirror (for testing) git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel os linux
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583/* SPDX-License-Identifier: GPL-2.0 */#ifndef _LINUX_CLEANUP_H#define _LINUX_CLEANUP_H
#include <linux/compiler.h>#include <linux/err.h>#include <linux/args.h>
/** * DOC: scope-based cleanup helpers * * The "goto error" pattern is notorious for introducing subtle resource * leaks. It is tedious and error prone to add new resource acquisition * constraints into code paths that already have several unwind * conditions. The "cleanup" helpers enable the compiler to help with * this tedium and can aid in maintaining LIFO (last in first out) * unwind ordering to avoid unintentional leaks. * * As drivers make up the majority of the kernel code base, here is an * example of using these helpers to clean up PCI drivers. The target of * the cleanups are occasions where a goto is used to unwind a device * reference (pci_dev_put()), or unlock the device (pci_dev_unlock()) * before returning. * * The DEFINE_FREE() macro can arrange for PCI device references to be * dropped when the associated variable goes out of scope:: * * DEFINE_FREE(pci_dev_put, struct pci_dev *, if (_T) pci_dev_put(_T)) * ... * struct pci_dev *dev __free(pci_dev_put) = * pci_get_slot(parent, PCI_DEVFN(0, 0)); * * The above will automatically call pci_dev_put() if @dev is non-NULL * when @dev goes out of scope (automatic variable scope). If a function * wants to invoke pci_dev_put() on error, but return @dev (i.e. without * freeing it) on success, it can do:: * * return no_free_ptr(dev); * * ...or:: * * return_ptr(dev); * * The DEFINE_GUARD() macro can arrange for the PCI device lock to be * dropped when the scope where guard() is invoked ends:: * * DEFINE_GUARD(pci_dev, struct pci_dev *, pci_dev_lock(_T), pci_dev_unlock(_T)) * ... * guard(pci_dev)(dev); * * The lifetime of the lock obtained by the guard() helper follows the * scope of automatic variable declaration. Take the following example:: * * func(...) * { * if (...) { * ... * guard(pci_dev)(dev); // pci_dev_lock() invoked here * ... * } // <- implied pci_dev_unlock() triggered here * } * * Observe the lock is held for the remainder of the "if ()" block not * the remainder of "func()". * * The ACQUIRE() macro can be used in all places that guard() can be * used and additionally support conditional locks:: * * DEFINE_GUARD_COND(pci_dev, _try, pci_dev_trylock(_T)) * ... * ACQUIRE(pci_dev_try, lock)(dev); * rc = ACQUIRE_ERR(pci_dev_try, &lock); * if (rc) * return rc; * // @lock is held * * Now, when a function uses both __free() and guard()/ACQUIRE(), or * multiple instances of __free(), the LIFO order of variable definition * order matters. GCC documentation says: * * "When multiple variables in the same scope have cleanup attributes, * at exit from the scope their associated cleanup functions are run in * reverse order of definition (last defined, first cleanup)." * * When the unwind order matters it requires that variables be defined * mid-function scope rather than at the top of the file. Take the * following example and notice the bug highlighted by "!!":: * * LIST_HEAD(list); * DEFINE_MUTEX(lock); * * struct object { * struct list_head node; * }; * * static struct object *alloc_add(void) * { * struct object *obj; * * lockdep_assert_held(&lock); * obj = kzalloc(sizeof(*obj), GFP_KERNEL); * if (obj) { * LIST_HEAD_INIT(&obj->node); * list_add(obj->node, &list): * } * return obj; * } * * static void remove_free(struct object *obj) * { * lockdep_assert_held(&lock); * list_del(&obj->node); * kfree(obj); * } * * DEFINE_FREE(remove_free, struct object *, if (_T) remove_free(_T)) * static int init(void) * { * struct object *obj __free(remove_free) = NULL; * int err; * * guard(mutex)(&lock); * obj = alloc_add(); * * if (!obj) * return -ENOMEM; * * err = other_init(obj); * if (err) * return err; // remove_free() called without the lock!! * * no_free_ptr(obj); * return 0; * } * * That bug is fixed by changing init() to call guard() and define + * initialize @obj in this order:: * * guard(mutex)(&lock); * struct object *obj __free(remove_free) = alloc_add(); * * Given that the "__free(...) = NULL" pattern for variables defined at * the top of the function poses this potential interdependency problem * the recommendation is to always define and assign variables in one * statement and not group variable definitions at the top of the * function when __free() is used. * * Lastly, given that the benefit of cleanup helpers is removal of * "goto", and that the "goto" statement can jump between scopes, the * expectation is that usage of "goto" and cleanup helpers is never * mixed in the same function. I.e. for a given routine, convert all * resources that need a "goto" cleanup to scope-based cleanup, or * convert none of them. */
/* * DEFINE_FREE(name, type, free): * simple helper macro that defines the required wrapper for a __free() * based cleanup function. @free is an expression using '_T' to access the * variable. @free should typically include a NULL test before calling a * function, see the example below. * * __free(name): * variable attribute to add a scoped based cleanup to the variable. * * no_free_ptr(var): * like a non-atomic xchg(var, NULL), such that the cleanup function will * be inhibited -- provided it sanely deals with a NULL value. * * NOTE: this has __must_check semantics so that it is harder to accidentally * leak the resource. * * return_ptr(p): * returns p while inhibiting the __free(). * * Ex. * * DEFINE_FREE(kfree, void *, if (_T) kfree(_T)) * * void *alloc_obj(...) * { * struct obj *p __free(kfree) = kmalloc(...); * if (!p) * return NULL; * * if (!init_obj(p)) * return NULL; * * return_ptr(p); * } * * NOTE: the DEFINE_FREE()'s @free expression includes a NULL test even though * kfree() is fine to be called with a NULL value. This is on purpose. This way * the compiler sees the end of our alloc_obj() function as: * * tmp = p; * p = NULL; * if (p) * kfree(p); * return tmp; * * And through the magic of value-propagation and dead-code-elimination, it * eliminates the actual cleanup call and compiles into: * * return p; * * Without the NULL test it turns into a mess and the compiler can't help us. */
#define DEFINE_FREE(_name, _type, _free) \ static __always_inline void __free_##_name(void *p) { _type _T = *(_type *)p; _free; }
#define __free(_name) __cleanup(__free_##_name)
#define __get_and_null(p, nullvalue) \ ({ \ auto __ptr = &(p); \ auto __val = *__ptr; \ *__ptr = nullvalue; \ __val; \ })
static __always_inline __must_checkconst volatile void * __must_check_fn(const volatile void *val){ return val; }
#define no_free_ptr(p) \ ((typeof(p)) __must_check_fn((__force const volatile void *)__get_and_null(p, NULL)))
#define return_ptr(p) return no_free_ptr(p)
/* * Only for situations where an allocation is handed in to another function * and consumed by that function on success. * * struct foo *f __free(kfree) = kzalloc(sizeof(*f), GFP_KERNEL); * * setup(f); * if (some_condition) * return -EINVAL; * .... * ret = bar(f); * if (!ret) * retain_and_null_ptr(f); * return ret; * * After retain_and_null_ptr(f) the variable f is NULL and cannot be * dereferenced anymore. */#define retain_and_null_ptr(p) ((void)__get_and_null(p, NULL))
/* * DEFINE_CLASS(name, type, exit, init, init_args...): * helper to define the destructor and constructor for a type. * @exit is an expression using '_T' -- similar to FREE above. * @init is an expression in @init_args resulting in @type * * EXTEND_CLASS(name, ext, init, init_args...): * extends class @name to @name@ext with the new constructor * * CLASS(name, var)(args...): * declare the variable @var as an instance of the named class * * Ex. * * DEFINE_CLASS(fdget, struct fd, fdput(_T), fdget(fd), int fd) * * CLASS(fdget, f)(fd); * if (fd_empty(f)) * return -EBADF; * * // use 'f' without concern */
#define DEFINE_CLASS(_name, _type, _exit, _init, _init_args...) \typedef _type class_##_name##_t; \typedef _type lock_##_name##_t; \static __always_inline void class_##_name##_destructor(_type *p) \ __no_context_analysis \{ _type _T = *p; _exit; } \static __always_inline _type class_##_name##_constructor(_init_args) \ __no_context_analysis \{ _type t = _init; return t; }
#define EXTEND_CLASS_COND(_name, ext, _cond, _init, _init_args...) \typedef lock_##_name##_t lock_##_name##ext##_t; \typedef class_##_name##_t class_##_name##ext##_t; \static __always_inline void class_##_name##ext##_destructor(class_##_name##_t *_T) \{ if (_cond) return; class_##_name##_destructor(_T); } \static __always_inline class_##_name##_t class_##_name##ext##_constructor(_init_args) \ __no_context_analysis \{ class_##_name##_t t = _init; return t; }
#define EXTEND_CLASS(_name, ext, _init, _init_args...) \ EXTEND_CLASS_COND(_name, ext, 0, _init, _init_args)
#define CLASS(_name, var) \ class_##_name##_t var __cleanup(class_##_name##_destructor) = \ class_##_name##_constructor
#define __scoped_class(_name, var, _label, args...) \ for (CLASS(_name, var)(args); ; ({ goto _label; })) \ if (0) { \_label: \ break; \ } else
#define scoped_class(_name, var, args...) \ __scoped_class(_name, var, __UNIQUE_ID(label), args)
/* * DEFINE_GUARD(name, type, lock, unlock): * trivial wrapper around DEFINE_CLASS() above specifically * for locks. * * DEFINE_GUARD_COND(name, ext, condlock) * wrapper around EXTEND_CLASS above to add conditional lock * variants to a base class, eg. mutex_trylock() or * mutex_lock_interruptible(). * * guard(name): * an anonymous instance of the (guard) class, not recommended for * conditional locks. * * scoped_guard (name, args...) { }: * similar to CLASS(name, scope)(args), except the variable (with the * explicit name 'scope') is declard in a for-loop such that its scope is * bound to the next (compound) statement. * * for conditional locks the loop body is skipped when the lock is not * acquired. * * scoped_cond_guard (name, fail, args...) { }: * similar to scoped_guard(), except it does fail when the lock * acquire fails. * * Only for conditional locks. * * ACQUIRE(name, var): * a named instance of the (guard) class, suitable for conditional * locks when paired with ACQUIRE_ERR(). * * ACQUIRE_ERR(name, &var): * a helper that is effectively a PTR_ERR() conversion of the guard * pointer. Returns 0 when the lock was acquired and a negative * error code otherwise. */
#define __DEFINE_CLASS_IS_CONDITIONAL(_name, _is_cond) \static __maybe_unused const bool class_##_name##_is_conditional = _is_cond
#define DEFINE_CLASS_IS_UNCONDITIONAL(_name) \ __DEFINE_CLASS_IS_CONDITIONAL(_name, false); \ static inline void * class_##_name##_lock_ptr(class_##_name##_t *_T) \ { return (void *)1; }
#define __GUARD_IS_ERR(_ptr) \ ({ \ unsigned long _rc = (__force unsigned long)(_ptr); \ unlikely((_rc - 1) >= -MAX_ERRNO - 1); \ })
#define __DEFINE_GUARD_LOCK_PTR(_name, _exp) \ static __always_inline void *class_##_name##_lock_ptr(class_##_name##_t *_T) \ { \ void *_ptr = (void *)(__force unsigned long)*(_exp); \ if (IS_ERR(_ptr)) { \ _ptr = NULL; \ } \ return _ptr; \ } \ static __always_inline int class_##_name##_lock_err(class_##_name##_t *_T) \ { \ long _rc = (__force unsigned long)*(_exp); \ if (!_rc) { \ _rc = -EBUSY; \ } \ if (!IS_ERR_VALUE(_rc)) { \ _rc = 0; \ } \ return _rc; \ }
#define DEFINE_CLASS_IS_GUARD(_name) \ __DEFINE_CLASS_IS_CONDITIONAL(_name, false); \ __DEFINE_GUARD_LOCK_PTR(_name, _T)
#define DEFINE_CLASS_IS_COND_GUARD(_name) \ __DEFINE_CLASS_IS_CONDITIONAL(_name, true); \ __DEFINE_GUARD_LOCK_PTR(_name, _T)
#define DEFINE_GUARD(_name, _type, _lock, _unlock) \ static __always_inline __nonnull_args(1) _type class_##_name##_constructor(_type _T); \ DEFINE_CLASS(_name, _type, _unlock, ({ _lock; _T; }), _type _T); \ DEFINE_CLASS_IS_GUARD(_name)
#define DEFINE_GUARD_COND_4(_name, _ext, _lock, _cond) \ __DEFINE_CLASS_IS_CONDITIONAL(_name##_ext, true); \ EXTEND_CLASS_COND(_name, _ext, __GUARD_IS_ERR(*_T), \ ({ void *_t = _T; int _RET = (_lock); if (_T && !(_cond)) _t = ERR_PTR(_RET); _t; }), \ class_##_name##_t _T) \ static __always_inline void * class_##_name##_ext##_lock_ptr(class_##_name##_t *_T) \ { return class_##_name##_lock_ptr(_T); } \ static __always_inline int class_##_name##_ext##_lock_err(class_##_name##_t *_T) \ { return class_##_name##_lock_err(_T); }
/* * Default binary condition; success on 'true'. */#define DEFINE_GUARD_COND_3(_name, _ext, _lock) \ DEFINE_GUARD_COND_4(_name, _ext, _lock, _RET)
#define DEFINE_GUARD_COND(X...) CONCATENATE(DEFINE_GUARD_COND_, COUNT_ARGS(X))(X)
#define guard(_name) \ CLASS(_name, __UNIQUE_ID(guard))
#define __guard_ptr(_name) class_##_name##_lock_ptr#define __guard_err(_name) class_##_name##_lock_err#define __is_cond_ptr(_name) class_##_name##_is_conditional
#define ACQUIRE(_name, _var) CLASS(_name, _var)#define ACQUIRE_ERR(_name, _var) __guard_err(_name)(_var)
/* * Helper macro for scoped_guard(). * * Note that the "!__is_cond_ptr(_name)" part of the condition ensures that * compiler would be sure that for the unconditional locks the body of the * loop (caller-provided code glued to the else clause) could not be skipped. * It is needed because the other part - "__guard_ptr(_name)(&scope)" - is too * hard to deduce (even if could be proven true for unconditional locks). */#define __scoped_guard(_name, _label, args...) \ for (CLASS(_name, scope)(args); \ __guard_ptr(_name)(&scope) || !__is_cond_ptr(_name); \ ({ goto _label; })) \ if (0) { \_label: \ break; \ } else
#define scoped_guard(_name, args...) \ __scoped_guard(_name, __UNIQUE_ID(label), args)
#define __scoped_cond_guard(_name, _fail, _label, args...) \ for (CLASS(_name, scope)(args); true; ({ goto _label; })) \ if (!__guard_ptr(_name)(&scope)) { \ BUILD_BUG_ON(!__is_cond_ptr(_name)); \ _fail; \_label: \ break; \ } else
#define scoped_cond_guard(_name, _fail, args...) \ __scoped_cond_guard(_name, _fail, __UNIQUE_ID(label), args)
/* * Additional helper macros for generating lock guards with types, either for * locks that don't have a native type (eg. RCU, preempt) or those that need a * 'fat' pointer (eg. spin_lock_irqsave). * * DEFINE_LOCK_GUARD_0(name, lock, unlock, ...) * DEFINE_LOCK_GUARD_1(name, type, lock, unlock, ...) * DEFINE_LOCK_GUARD_1_COND(name, ext, condlock) * * will result in the following type: * * typedef struct { * type *lock; // 'type := void' for the _0 variant * __VA_ARGS__; * } class_##name##_t; * * As above, both _lock and _unlock are statements, except this time '_T' will * be a pointer to the above struct. */
#define __DEFINE_UNLOCK_GUARD(_name, _type, _unlock, ...) \typedef _type lock_##_name##_t; \typedef struct { \ _type *lock; \ __VA_ARGS__; \} class_##_name##_t; \ \static __always_inline void class_##_name##_destructor(class_##_name##_t *_T) \ __no_context_analysis \{ \ _unlock; \} \ \__DEFINE_GUARD_LOCK_PTR(_name, &_T->lock)
#define __DEFINE_LOCK_GUARD_1(_name, _type, ...) \static __always_inline __nonnull_args(1) \class_##_name##_t class_##_name##_constructor(_type *l) \ __no_context_analysis \{ \ class_##_name##_t _t = { .lock = l }, *_T = &_t; \ __VA_ARGS__; \ return _t; \}
#define __DEFINE_LOCK_GUARD_0(_name, ...) \static __always_inline class_##_name##_t class_##_name##_constructor(void) \ __no_context_analysis \{ \ class_##_name##_t _t = { .lock = (void*)1 }, \ *_T __maybe_unused = &_t; \ __VA_ARGS__; \ return _t; \}
#define DECLARE_LOCK_GUARD_0_ATTRS(_name, _lock, _unlock) \static inline class_##_name##_t class_##_name##_constructor(void) _lock;\static inline void class_##_name##_destructor(class_##_name##_t *_T) _unlock;
/* * To support Context Analysis, we need to allow the compiler to see the * acquisition and release of the context lock. However, the "cleanup" helpers * wrap the lock in a struct passed through separate helper functions, which * hides the lock alias from the compiler (no inter-procedural analysis). * * To make it work, we introduce an explicit alias to the context lock instance * that is "cleaned" up with a separate cleanup helper. This helper is a dummy * function that does nothing at runtime, but has the "_unlock" attribute to * tell the compiler what happens at the end of the scope. * * To generalize the pattern, the WITH_LOCK_GUARD_1_ATTRS() macro should be used * to redefine the constructor, which then also creates the alias variable with * the right "cleanup" attribute, *after* DECLARE_LOCK_GUARD_1_ATTRS() has been * used. * * Example usage: * * DECLARE_LOCK_GUARD_1_ATTRS(mutex, __acquires(_T), __releases(*(struct mutex **)_T)) * #define class_mutex_constructor(_T) WITH_LOCK_GUARD_1_ATTRS(mutex, _T) * * Note: To support the for-loop based scoped helpers, the auxiliary variable * must be a pointer to the "class" type because it is defined in the same * statement as the guard variable. However, we initialize it with the lock * pointer (despite the type mismatch, the compiler's alias analysis still works * as expected). The "_unlock" attribute receives a pointer to the auxiliary * variable (a double pointer to the class type), and must be cast and * dereferenced appropriately. */#define DECLARE_LOCK_GUARD_1_ATTRS(_name, _lock, _unlock) \static inline class_##_name##_t class_##_name##_constructor(lock_##_name##_t *_T) _lock;\static __always_inline void __class_##_name##_cleanup_ctx(class_##_name##_t **_T) \ __no_context_analysis _unlock { }#define WITH_LOCK_GUARD_1_ATTRS(_name, _T) \ class_##_name##_constructor(_T), \ *__UNIQUE_ID(unlock) __cleanup(__class_##_name##_cleanup_ctx) = (void *)(unsigned long)(_T)
#define DEFINE_LOCK_GUARD_1(_name, _type, _lock, _unlock, ...) \__DEFINE_CLASS_IS_CONDITIONAL(_name, false); \__DEFINE_UNLOCK_GUARD(_name, _type, _unlock, __VA_ARGS__) \__DEFINE_LOCK_GUARD_1(_name, _type, _lock)
#define DEFINE_LOCK_GUARD_0(_name, _lock, _unlock, ...) \__DEFINE_CLASS_IS_CONDITIONAL(_name, false); \__DEFINE_UNLOCK_GUARD(_name, void, _unlock, __VA_ARGS__) \__DEFINE_LOCK_GUARD_0(_name, _lock)
#define DEFINE_LOCK_GUARD_1_COND_4(_name, _ext, _lock, _cond) \ __DEFINE_CLASS_IS_CONDITIONAL(_name##_ext, true); \ EXTEND_CLASS_COND(_name, _ext, __GUARD_IS_ERR(_T->lock), \ ({ class_##_name##_t _t = { .lock = l }, *_T = &_t;\ int _RET = (_lock); \ if (_T->lock && !(_cond)) _T->lock = ERR_PTR(_RET);\ _t; }), \ typeof_member(class_##_name##_t, lock) l) \ static __always_inline void * class_##_name##_ext##_lock_ptr(class_##_name##_t *_T) \ { return class_##_name##_lock_ptr(_T); } \ static __always_inline int class_##_name##_ext##_lock_err(class_##_name##_t *_T) \ { return class_##_name##_lock_err(_T); }
#define DEFINE_LOCK_GUARD_1_COND_3(_name, _ext, _lock) \ DEFINE_LOCK_GUARD_1_COND_4(_name, _ext, _lock, _RET)
#define DEFINE_LOCK_GUARD_1_COND(X...) CONCATENATE(DEFINE_LOCK_GUARD_1_COND_, COUNT_ARGS(X))(X)
#endif /* _LINUX_CLEANUP_H */