From owner-freebsd-arch@FreeBSD.ORG Wed Oct 31 00:55:37 2007 Return-Path: Delivered-To: freebsd-arch@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 88DAC16A46D for ; Wed, 31 Oct 2007 00:55:37 +0000 (UTC) (envelope-from kip.macy@gmail.com) Received: from wa-out-1112.google.com (wa-out-1112.google.com [209.85.146.183]) by mx1.freebsd.org (Postfix) with ESMTP id 5ACDE13C4A3 for ; Wed, 31 Oct 2007 00:55:37 +0000 (UTC) (envelope-from kip.macy@gmail.com) Received: by wa-out-1112.google.com with SMTP id k17so2785974waf for ; Tue, 30 Oct 2007 17:55:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=LeRY3uoZTFHLklnvjZWzaifnyxTTr7353Bymx0KqnZM=; b=P6/KK3nB9bwjlba8pLJPNWkV7aq0mBBl3Ccv2mTNgCNFO9KNyhm+BPEY5LwpUWKjpM23QY5WFi3Hyt1zsIM85s9TA83dpMUOmnvhRwDRZPBJUd+SOXcDsJh/pAiKAEvGIhmm/WNX6960IxE/V3OhgKgiANJQwfyVZDWWcdy1IaA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=LOacFHiL9v6lQnDTJFxU3KEtRSs/7e1Z3MM0FeqdPPqglBYmMkEwxx/2UhPKjvTNVuQupcucmjjZhKMrmrlBM8rAsz/gmMYXrmO0l5y/LeqRwQLL8NGb73l3MrsAODZldbqNakRg1hru5+PXVunhgkJMQupnSFh0atm3RaISfJ4= Received: by 10.114.137.2 with SMTP id k2mr5428926wad.1193792127627; Tue, 30 Oct 2007 17:55:27 -0700 (PDT) Received: by 10.114.13.15 with HTTP; Tue, 30 Oct 2007 17:55:27 -0700 (PDT) Message-ID: Date: Tue, 30 Oct 2007 17:55:27 -0700 From: "Kip Macy" To: "Poul-Henning Kamp" In-Reply-To: <1821.1193764478@critter.freebsd.dk> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20071030163613.E70665B30@mail.bitblocks.com> <1821.1193764478@critter.freebsd.dk> Cc: freebsd-arch@freebsd.org Subject: Re: C++ in the kernel X-BeenThere: freebsd-arch@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Discussion related to FreeBSD architecture List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 31 Oct 2007 00:55:37 -0000 > 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