Date: Tue, 30 Oct 2007 17:55:27 -0700 From: "Kip Macy" <kip.macy@gmail.com> To: "Poul-Henning Kamp" <phk@phk.freebsd.dk> Cc: freebsd-arch@freebsd.org Subject: Re: C++ in the kernel Message-ID: <b1fa29170710301755m359414amfe4ab1e02070fcca@mail.gmail.com> In-Reply-To: <1821.1193764478@critter.freebsd.dk> References: <20071030163613.E70665B30@mail.bitblocks.com> <1821.1193764478@critter.freebsd.dk>
next in thread | previous in thread | raw e-mail | index | archive | help
> Pointer colors > -------------- > > void * "userland" ptr; > > Cannot be used as regular void *, but must be passed to > functions which has same color prototype. > > Integer endianess > ----------------- > > uint32_t big_endian foo; > > Atomic variables > ---------------- > > uint32_t atomic foo; I know just from working in the linux code that sparse already supports at least these 3 checks. I'm not saying this to advocate the use of sparse but to point out that the use of annotations are already being used to good effect on kernel code and are in not in anyway "exotic". I like the notion of K, but share the concerns that most everyone has, and phk recognizes, about long-term maintenance of "Kfront". -Kip -Kip
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?b1fa29170710301755m359414amfe4ab1e02070fcca>