OSD(9)
π OSD(9) β Object Specific Data π
Okay bestie, so this is the OSD(9) page from the Kernel Developer's Manual β and honestly? It's giving iconic kernel infrastructure realness. We're talking about the Object Specific Data framework, which is basically the β¨main characterβ¨ of dynamic data association in the kernel. Let me break it down for you, no cap.
Here's the lineup of all the functions we're gonna talk about:
osd, osd_register, osd_deregister, osd_set, osd_reserve, osd_set_reserved, osd_free_reserved, osd_get, osd_del, osd_call, osd_exit
β¨ SYNOPSIS β¨
Like, here's the whole squad of function signatures β keep these exactly as-is, bestie, they're literally the blueprint:
#include <sys/osd.h>
typedef void
(*osd_destructor_t)(void *value);
typedef int
(*osd_method_t)(void *obj, void *data);
int
osd_register(u_int type, osd_destructor_t destructor,
const osd_method_t *methods);
void
osd_deregister(u_int type, u_int slot);
int
osd_set(u_int type, struct osd *osd, u_int slot, void *value);
void **
osd_reserve(u_int slot);
int
osd_set_reserved(u_int type, struct osd *osd, u_int slot, void **rsv,
void *value);
void
osd_free_reserved(void **rsv);
void *
osd_get(u_int type, struct osd *osd, u_int slot);
void
osd_del(u_int type, struct osd *osd, u_int slot);
int
osd_call(u_int type, u_int method, void *obj, void *data);
void
osd_exit(u_int type, struct osd *osd);
π¦ DESCRIPTION π¦
Okay so the osd framework is literally the matchmaker of the kernel β it dynamically associates arbitrary data at run-time with any kernel data structure that's been suitably modified for use with osd. The one-off modification required? Just embed a struct osd inside the kernel data structure. That's it. Periodt. π
The glow-up here is that after the initial change to a structure is made, all subsequent use of osd with the structure involves zero changes to the structure's layout. By extension, if the data structure is part of the ABI, osd provides a way of extending the structure in an ABI-preserving manner. It's giving "we can grow without breaking things" energy. π₯
The details of the embedded struct osd are not relevant to consumers of the osd framework and should not be manipulated directly. Like, don't touch β not yours. π
Data associated with a structure is referenced by the osd framework using a type/slot identifier pair. Types are statically defined in <sys/osd.h> and provide a high-level grouping for slots to be registered under. Slot identifiers are dynamically assigned by the framework when a data type is registered using osd_register() and remain valid until a corresponding call to osd_deregister(). It's literally a whole dynamic duo situation. π
π Functions π
osd_register()β registers a type/slot identifier pair with theosdframework for use with a new data type. The function may sleep and therefore cannot be called from a non-sleepable context. Thetypeargument specifies which high-level type grouping from<sys/osd.h>the slot identifier should be allocated under. Thedestructorargument specifies an optionalosd_destructor_tfunction pointer that will be called for objects of the type being registered which are later destroyed by theosd_del()function.NULLmay be passed if no destructor is required. Themethodsargument specifies an optional array ofosd_method_tfunction pointers which can be later invoked by theosd_call()function.NULLmay be passed if no methods are required. Themethodsargument is currently only useful with theOSD_JAILtype identifier. (iykyk π)osd_deregister()β deregisters a previously registered type/slot identifier pair. The function may sleep and therefore cannot be called from a non-sleepable context. Thetypeargument specifies which high-level type grouping from<sys/osd.h>the slot identifier is allocated under. Theslotargument specifies the slot identifier which is being deregistered and should be the value that was returned byosd_register()when the data type was registered. It's literally the "you're done here" button. πosd_set()β associates a data object pointer with a kernel data structure'sstruct osdmember. Thetypeargument specifies which high-level type grouping from<sys/osd.h>the slot identifier is allocated under. Theosdargument is a pointer to the kernel data structure'sstruct osdwhich will have thevaluepointer associated with it. Theslotargument specifies the slot identifier to assign thevaluepointer to. Thevalueargument points to a data object to associate withosd. This is the "make it official" function. π«Άosd_set_reserved()β does the same asosd_set(), but with an extra argumentrsvthat is internal-use memory previously allocated viaosd_reserve(). Like, it's the VIP backstage pass version ofosd_set(). ποΈosd_get()β returns the data pointer associated with a kernel data structure'sstruct osdmember from the specified type/slot identifier pair. Thetypeargument specifies which high-level type grouping from<sys/osd.h>the slot identifier is allocated under. Theosdargument is a pointer to the kernel data structure'sstruct osdto retrieve the data pointer from. Theslotargument specifies the slot identifier to retrieve the data pointer from. The retrieval pipeline is giving "constant time and fast" energy. β‘osd_del()β removes the data pointer associated with a kernel data structure'sstruct osdmember from the specified type/slot identifier pair. Thetypeargument specifies which high-level type grouping from<sys/osd.h>the slot identifier is allocated under. Theosdargument is a pointer to the kernel data structure'sstruct osdto remove the data pointer from. Theslotargument specifies the slot identifier to remove the data pointer from. If anosd_destructor_tfunction pointer was specified at registration time, the destructor function will be called and passed the data pointer for the type/slot identifier pair which is being deleted. It's giving cleanup era. π§Ήosd_call()β calls the specifiedosd_method_tfunction pointer for all currently registered slots of a given type on the specifiedobjanddatapointers. The function may sleep and therefore cannot be called from a non-sleepable context. Thetypeargument specifies which high-level type grouping from<sys/osd.h>to call the method for. Themethodargument specifies the index into theosd_method_tarray that was passed toosd_register(). Theobjanddataarguments are passed to the method function pointer of each slot. This is literally the "summon the whole group chat" function. πosd_exit()β removes all data object pointers from all currently registered slots for a given type for the specified kernel data structure'sstruct osdmember. Thetypeargument specifies which high-level type grouping from<sys/osd.h>to remove data pointers from. Theosdargument is a pointer to the kernel data structure'sstruct osdto remove all data object pointers for all currently registered slots from. It's the "everybody out of the pool" moment. πββοΈ
π IMPLEMENTATION NOTES π
osd uses a two dimensional matrix (array of arrays) as the data structure to manage the external data associated with a kernel data structure's struct osd member. The type identifier is used as the index into the outer array, and the slot identifier is used as the index into the inner array. To set or retrieve a data pointer for a given type/slot identifier pair, osd_set() and osd_get() perform the equivalent of array[type][slot], which is both constant time and fast. Like, the efficiency is honestly stunning. β¨
If osd_set() is called on a struct osd for the first time, the array for storing data pointers is dynamically allocated using malloc(9) with M_NOWAIT to a size appropriate for the slot identifier being set. If a subsequent call to osd_set() attempts to set a slot identifier which is numerically larger than the slot used in the previous osd_set() call, realloc(9) is used to grow the array to the appropriate size such that the slot identifier can be used. To maximise the efficiency of any code which calls osd_set() sequentially on a number of different slot identifiers (e.g., during an initialisation phase) one should loop through the slot identifiers in descending order from highest to lowest. This will result in only a single malloc(9) call to create an array of the largest slot size and all subsequent calls to osd_set() will proceed without any realloc(9) calls. Bestie, this is the optimization tip you didn't know you needed. π
β οΈ It is possible forosd_set()to fail to allocate this array. To ensure that such allocation succeeds,osd_reserve()may be called (in a non-blocking context), and it will pre-allocate the memory viamalloc(9)withM_WAITOK. Then this pre-allocated memory is passed toosd_set_reserved(), which will use it if necessary or otherwise discard it. The memory may also be explicitly discarded by callingosd_free_reserved(). As this method always allocates memory whether or not it is ultimately needed, it should be used only rarely, such as in the unlikely event thatosd_set()fails. Like, don't overuse this, bestie β it's giving "emergency backup plan" vibes. π¨
The osd API is geared towards slot identifiers storing pointers to the same underlying data structure type for a given osd type identifier. This is not a requirement, and khelp(9) for example stores completely different data types in slots under the OSD_KHELP type identifier. Flexible queen behavior. π
π Locking π
osd internally uses a mix of mutex(9), rmlock(9) and sx(9) locks to protect its internal data structures and state. It's a whole security detail situation. π‘οΈ
Responsibility for synchronising access to a kernel data structure's struct osd member is left to the subsystem that uses the data structure and calls the osd API. Like, you gotta handle your own vibes here. π€·ββοΈ
osd_get() only acquires an rmlock(9) in read mode, therefore making it safe to use in the majority of contexts within the kernel including most fast paths. It's giving "I can go anywhere without causing drama" energy. π¦
πΈ RETURN VALUES πΈ
osd_register()returns the slot identifier for the newly registered data type. That's your new bestie's phone number, basically. π±osd_set()andosd_set_reserved()return zero on success orENOMEMif the specified type/slot identifier pair triggered an internalrealloc(9)which failed (osd_set_reserved()will always succeed whenrsvis non-NULL). So like, ifrsvis giving, you're good. πosd_get()returns the data pointer for the specified type/slot identifier pair, orNULLif the slot has not been initialised yet. No data = no cap, justNULL. πosd_reserve()returns a pointer suitable for passing toosd_set_reserved()orosd_free_reserved(). It's the golden ticket. π«osd_call()returns zero if no method is run or the method for each slot runs successfully. If a method for a slot returns non-zero,osd_call()terminates prematurely and returns the method's error to the caller. So like, if something goes wrong, it bails immediately β no continuing the group call after the drama starts. π
π₯ SEE ALSO π₯
β HISTORY β
The Object Specific Data (OSD) facility first appeared in FreeBSD 8.0. A legend was born. π
π AUTHORS π
The osd facility was written by Pawel Jakub Dawidek <pjd@FreeBSD.org>.
This manual page was written by Lawrence Stewart <lstewart@FreeBSD.org>.
Okay bestie, that's the whole OSD(9) page β every detail, every function, every vibe preserved. This iconique page comes to you courtesy of Debian and the date October 07, 2024, under the manual section OSD(9). Slay. π
β¨
π¦ where this page comes from
- freebsd 14.5: base 14.5
- freebsd 15.1: base 15.1
- nixpkgs unstable: source
- Copyright (c) 2010 Lawrence Stewart <lstewart@FreeBSD.org>
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash-1017 on : a language model's rewrite of the original, under its terms