̾??

KASSERT — ?????ͥ????????ڥޥ???

????

options INVARIANTS

<sys/param.h> <sys/systm.h> KASSERT(expression, msg)

????

options INVARIANTS ???ץ??????դ??ǥ????ѥ??뤵?줿?????ͥ????Ǥϡ? KASSERT() ?ޥ?????Ϳ?????줿???? expression ???ƥ??Ȥ??????줬???Ǥ????????ˤ? panic(9) ?ؿ????ƤӽФ?????Ư???Υ????ƥ??????ߤ????ޤ???

options INVARIANTS ???ץ???????̵???????ͥ????Ǥϡ? KASSERT() ?ޥ????ϲ??⤷?ʤ??ͤ??????????ޤ??? ?? 2 ?????ϡ? printf(9) ?ե????ޥå?ʸ?????Ȥ??ΰ????????̤˳??ä????ΤǤ???

??????

?????ͥ??ؿ? vput() ?ϡ? NULL ?ݥ??󥿤??????Ȥ??ƸƤӽФ????ƤϤʤ??ޤ?????

void
vput(vp)
        struct vnode *vp;
{
	struct proc *p = curproc;
	KASSERT(vp != NULL, ("vput: null vp"));
	...
}

??Ϣ????

config(8), panic(9)

????

???Υޥ˥奢???ڡ????? Jonathan M. Bresler ⟨jmb@FreeBSD.org⟩ ???񤭤ޤ?????