From owner-svn-src-head@freebsd.org Fri May 5 14:42:14 2017 Return-Path: Delivered-To: svn-src-head@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id C303BD5F24C; Fri, 5 May 2017 14:42:14 +0000 (UTC) (envelope-from carpeddiem@gmail.com) Received: from mail-it0-x236.google.com (mail-it0-x236.google.com [IPv6:2607:f8b0:4001:c0b::236]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 8B4741A9; Fri, 5 May 2017 14:42:14 +0000 (UTC) (envelope-from carpeddiem@gmail.com) Received: by mail-it0-x236.google.com with SMTP id c15so26369830ith.0; Fri, 05 May 2017 07:42:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc; bh=wEjRYuLd8mdzZ5wNoAIRXsFb0cYn4F8ZLr+SoSVhLzs=; b=pBTYnRRpqGXvO5hjJwpaZOMHWZSy6WNGgtdXDJ2t/4wYpv7RxpgyOEd2lDbG8kcCTl /dzeyfkOzeEhVbBY8vCGqlGcVJf+/6Yf6MVrKumpvPGTjfheyCPBPAy7bnK4Lg0fKzxs 7dKRRER4CLxoP7hI1jRpfEJoWBrQphlOw2rSNLeLO5T4ggWD/XBKLMdi/YhG8oSxS5oJ Ft7Omd7rfmBLLpsKwSuRL3Se8UGkKHs5ibglqpLPhsqqUoq5zoT7gey0sHyKCxvi0EWR 0ntsGlrsiPOmDKDtWEBN+keel7Im25nc2mWCl4PjcQxGy/DyZZOYhB9zZQAjLht0zrV0 AWiw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:in-reply-to:references:from :date:message-id:subject:to:cc; bh=wEjRYuLd8mdzZ5wNoAIRXsFb0cYn4F8ZLr+SoSVhLzs=; b=j1eX8Kpf+qt6ZFNiIHp6pFp3C3ioQzaOdsGz6sx4uzSPwe1Vb/zghiUYqumPeRK/C5 erDzp1uU6Ho9KrNCQd0oSIDq91IQcMlOQ45uDDxDFMW4ZiVXoYFn2cFszqnQE1625nZ9 Jnj0Ia8msFMqU6c64GAsEpGelzZG0ercQ04Qegco/YRb44KQkLIFsLtKVpRX0GVl5t+6 UUcndqdiNdmGwvX4MFUO99MBEjvdN7AGBtAuHxEp916EmgF68e8Gmpz8bpEUJvU6CXgF b84G6AF87S637oXZq85TOVAaLtaAOdrVP/1UH4upewg/O9itR4qxQar22vkUeZnh0A33 +Kzw== X-Gm-Message-State: AN3rC/7Wx+tH/QBTag358nT6yhAcd09e87kjGV/4WrKr/daPnR6rN1td JUHaBOsXldzI7STrqSFPQBEyFUakdA== X-Received: by 10.36.227.206 with SMTP id d197mr9242904ith.19.1493995333969; Fri, 05 May 2017 07:42:13 -0700 (PDT) MIME-Version: 1.0 Sender: carpeddiem@gmail.com Received: by 10.107.30.136 with HTTP; Fri, 5 May 2017 07:41:53 -0700 (PDT) In-Reply-To: <20170505143147.GX1622@kib.kiev.ua> References: <201705042131.v44LVokb076951@repo.freebsd.org> <20170505174957.B875@besplex.bde.org> <20170505094601.GW1622@kib.kiev.ua> <20170505222702.Y1875@besplex.bde.org> <20170505143147.GX1622@kib.kiev.ua> From: Ed Maste Date: Fri, 5 May 2017 10:41:53 -0400 X-Google-Sender-Auth: rHZf1ke7Bw5AOs1fnOlka5UZtfQ Message-ID: Subject: Re: svn commit: r317809 - head/share/man/man7 To: Konstantin Belousov Cc: Bruce Evans , "src-committers@freebsd.org" , "svn-src-all@freebsd.org" , "svn-src-head@freebsd.org" Content-Type: text/plain; charset=UTF-8 X-BeenThere: svn-src-head@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: SVN commit messages for the src tree for head/-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 05 May 2017 14:42:14 -0000 On 5 May 2017 at 10:31, Konstantin Belousov wrote: > On Fri, May 05, 2017 at 11:39:23PM +1000, Bruce Evans wrote: >> >> Change "size" to "representation" if you want to allow for more than the >> size changing. > I suggest you to negotiate a formulation with brooks@, who provided the > existing note. If it's really undesirable to mention pointer integrity here, I think the main point can still be made with a phrase like Bruce proposed (but I think it's fine as it exists now). What about "In order to maximize compatibility with future changes in pointer size or representation, manipulation..."? Very briefly (to give some context), in CheriBSD and the CHERI CPU pointers are 128 or 256 bits wide, and have a base address, length, permissions, and other fields. Thus the size differs from existing standard integer types, and a pointer's representation and even the essence of what a pointer is differs from pointers in existing FreeBSD architectures.