DOKK / manpages / debian 10 / freebsd-manpages / vimage.9freebsd.en
VNET(9) Kernel Developer's Manual VNET(9)

VNETnetwork subsystem virtualization infrastructure

options VIMAGE
options VNET_DEBUG


#include <sys/vnet.h>

VNET_SETNAME VNET_SYMPREFIX
extern struct vnet *vnet0;

Variable Declaration

VNET(name);

VNET_NAME(name);

VNET_DECLARE(type, name);

VNET_DEFINE(type, name);

VNET_DEFINE_STATIC(type, name);

#define	V_name	VNET(name)

Virtual Instance Selection

CRED_TO_VNET(struct ucred *);

TD_TO_VNET(struct thread *);

P_TO_VNET(struct proc *);

IS_DEFAULT_VNET(struct vnet *);

VNET_ASSERT(exp, msg);

CURVNET_SET(struct vnet *);

CURVNET_SET_QUIET(struct vnet *);

CURVNET_RESTORE();

VNET_ITERATOR_DECL(struct vnet *);

VNET_FOREACH(struct vnet *);

VNET_LIST_RLOCK();

VNET_LIST_RUNLOCK();

VNET_LIST_RLOCK_NOSLEEP();

VNET_LIST_RUNLOCK_NOSLEEP();

Startup and Teardown Functions

struct vnet *
vnet_alloc(void);

void
vnet_destroy(struct vnet *);

VNET_SYSINIT(ident, enum sysinit_sub_id subsystem, enum sysinit_elem_order order, sysinit_cfunc_t func, const void *arg);

VNET_SYSUNINIT(ident, enum sysinit_sub_id subsystem, enum sysinit_elem_order order, sysinit_cfunc_t func, const void *arg);

VNET_GLOBAL_EVENTHANDLER_REGISTER(const char *name, void *func, void *arg, int priority);

VNET_GLOBAL_EVENTHANDLER_REGISTER_TAG(eventhandler_tag tag, const char *name, void *func, void *arg, int priority);

Sysctl Handling

SYSCTL_VNET_INT(parent, nbr, name, access, ptr, val, descr);

SYSCTL_VNET_PROC(parent, nbr, name, access, ptr, arg, handler, fmt, descr);

SYSCTL_VNET_STRING(parent, nbr, name, access, arg, len, descr);

SYSCTL_VNET_STRUCT(parent, nbr, name, access, ptr, type, descr);

SYSCTL_VNET_UINT(parent, nbr, name, access, ptr, val, descr);

VNET_SYSCTL_ARG(req, arg1);

VNET is the name of a technique to virtualize the network stack. The basic idea is to change global resources most notably variables into per network stack resources and have functions, sysctls, eventhandlers, etc. access and handle them in the context of the correct instance. Each (virtual) network stack is attached to a prison, with vnet0 being the unrestricted default network stack of the base system.

The global defines for VNET_SETNAME and VNET_SYMPREFIX are shared with kvm(3) to access internals for debugging reasons.

Variable Declaration

Variables are virtualized by using the () macro rather than writing them out as . One can still use static initialization, e.g.,

VNET_DEFINE(int, foo) = 1;

Variables declared with the static keyword can use the () macro, e.g.,

VNET_DEFINE_STATIC(SLIST_HEAD(, bar), bars);

Static initialization is not possible when the virtualized variable would need to be referenced, e.g., with “TAILQ_HEAD_INITIALIZER()”. In that case a () based initialization function must be used.

External variables have to be declared using the () macro. In either case the convention is to define another macro, that is then used throughout the implementation to access that variable. The variable name is usually prefixed by to express that it is virtualized. The () macro will then translate accesses to that variable to the copy of the currently selected instance (see the Virtual instance selection section):

#define V_name VNET(name)

NOTE: Do not confuse this with the convention used by VFS(9).

The () macro returns the offset within the memory region of the virtual network stack instance. It is usually only used with () macros.

Virtual Instance Selection

There are three different places where the current virtual network stack pointer is stored and can be taken from:

  1. a prison:
    (struct prison *)->pr_vnet

    For convenience the following macros are provided:

    (struct ucred *)
    (struct thread *)
    (struct proc *)
  2. a :
    (struct socket *)->so_vnet
  3. an :
    (struct ifnet *)->if_vnet

In addition the currently active instance is cached in “curthread->td_vnet” which is usually only accessed through the curvnet macro.

To set the correct context of the current virtual network instance, use the () or () macros. The CURVNET_SET_QUIET() version will not record vnet recursions in case the kernel was compiled with options VNET_DEBUG and should thus only be used in well known cases, where recursion is unavoidable. Both macros will save the previous state on the stack and it must be restored with the CURVNET_RESTORE() macro.

NOTE: As the previous state is saved on the stack, you cannot have multiple () calls in the same block.

NOTE: As the previous state is saved on the stack, a () call has to be in the same block as the CURVNET_SET() call or in a subblock with the same idea of the saved instances as the outer block.

NOTE: As each macro is a set of operations and, as previously explained, cannot be put into its own block when defined, one cannot conditionally set the current vnet context. The following will work:

if (condition)
	CURVNET_SET(vnet);

nor would this work:

if (condition) {
	CURVNET_SET(vnet);
}
CURVNET_RESTORE();

Sometimes one needs to loop over all virtual instances, for example to update virtual from global state, to run a function from a callout(9) for each instance, etc. For those cases the () and () macros are provided. The former macro defines the variable that iterates over the loop, and the latter loops over all of the virtual network stack instances. See Locking for how to savely traverse the list of all virtual instances.

The () macro provides a safe way to check whether the currently active instance is the unrestricted default network stack of the base system (vnet0).

The () macro provides a way to conditionally add assertions that are only active with options VIMAGE compiled in and either options VNET_DEBUG or options INVARIANTS enabled as well. It uses the same semantics as KASSERT(9).

For public access to the list of virtual network stack instances e.g., by the () macro, read locks are provided. Macros are used to abstract from the actual type of the locks. If a caller may sleep while traversing the list, it must use the () and () macros. Otherwise, the caller can use () and ().

Startup and Teardown Functions

To start or tear down a virtual network stack instance the internal functions () and () are provided and called from the jail framework. They run the publicly provided methods to handle network stack startup and teardown.

For public control, the system startup interface has been enhanced to not only handle a system boot but to also handle a virtual network stack startup and teardown. To the base system the () and () macros look exactly as if there were no virtual network stack. In fact, if options VIMAGE is not compiled in they are compiled to the standard () macros. In addition to that they are run for each virtual network stack when starting or, in reverse order, when shutting down.

Eventhandlers can be handled in two ways:

  1. save the returned in each virtual instance and properly free the eventhandlers on teardown using those, or
  2. use one eventhandler that will iterate over all virtual network stack instances.

For the first case one can just use the normal EVENTHANDLER(9) functions, while for the second case the () and () macros are provided. These differ in that VNET_GLOBAL_EVENTHANDLER_REGISTER_TAG() takes an extra first argument that will carry the tag upon return. Eventhandlers registered with either of these will not run func directly but func will be called from an internal iterator function for each vnet. Both macros can only be used for eventhandlers that do not take additional arguments, as the variadic arguments from an EVENTHANDLER_INVOKE(9) call will be ignored.

Sysctl Handling

A sysctl(9) can be virtualized by using one of the SYSCTL_VNET_*() macros.

They take the same arguments as the standard sysctl(9) functions, with the only difference, that the ptr argument has to be passed as ‘&VNET_NAME(foo)’ instead of ‘&foo’ so that the variable can be selected from the correct memory region of the virtual network stack instance of the caller.

For the very rare case a sysctl handler function would want to handle arg1 itself the (req, arg1) is provided that will translate the arg1 argument to the correct memory address in the virtual network stack context of the caller.

jail(2), kvm(3), EVENTHANDLER(9), KASSERT(9), sysctl(9)

Marko Zec, Implementing a Clonable Network Stack in the FreeBSD Kernel, USENIX ATC'03, June 2003, Boston

The virtual network stack implementation first appeared in FreeBSD 8.0.

The VNET framework has been designed and implemented at the University of Zagreb by Marko Zec, and later extended and refined by Bjoern A. Zeeb and Robert Watson, under contract to the FreeBSD Foundation.

This manual page was written by Bjoern A. Zeeb, CK Software GmbH, under sponsorship from the FreeBSD Foundation.

July 24, 2018 Debian