KASSERT(9)

명칭
KASSERT - 커널 수식 검증 매크로

서식
options INVARIANTS

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

해설
options INVARIANTS 옵션 첨부로 컴파일 된 커널내에서는, KASSERT() 매크로는 주어진 수식 expression (을)를 테스트해, 그것이 가짜인 경우에는 panic(9) 함수를 호출해, 가동중의 시스템을 정지시킵니다.

options INVARIANTS 옵션이 없는 커널내에서는, KASSERT() 매크로는 아무것도 하지 않게 정의됩니다.

사용예
커널 함수 vput() (은)는, NULL 포인터를 인수로서 불려 가 되지 않습니다.

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

주
msg (은)는 환괄호로 둘러싸이지 않으면 안됩니다.

관련 항목
config(8), panic(9)

저자
이 메뉴얼 페이지는 Jonathan M. Bresler <jmb@FreeBSD.org> 하지만 썼습니다.