From nobody Sat Sep 7 19:31:13 2024 X-Original-To: freebsd-hackers@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4X1NW86C0zz5WQ3f for ; Sat, 07 Sep 2024 19:31:16 +0000 (UTC) (envelope-from paulf2718@gmail.com) Received: from mail-wr1-x434.google.com (mail-wr1-x434.google.com [IPv6:2a00:1450:4864:20::434]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "smtp.gmail.com", Issuer "WR4" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4X1NW80Ft4z4p1P for ; Sat, 7 Sep 2024 19:31:16 +0000 (UTC) (envelope-from paulf2718@gmail.com) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=gmail.com header.s=20230601 header.b=gXlzyoXV; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (mx1.freebsd.org: domain of paulf2718@gmail.com designates 2a00:1450:4864:20::434 as permitted sender) smtp.mailfrom=paulf2718@gmail.com Received: by mail-wr1-x434.google.com with SMTP id ffacd0b85a97d-374c7e64b60so1721851f8f.2 for ; Sat, 07 Sep 2024 12:31:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1725737475; x=1726342275; darn=freebsd.org; h=content-transfer-encoding:in-reply-to:from:content-language :references:to:subject:user-agent:mime-version:date:message-id:from :to:cc:subject:date:message-id:reply-to; bh=LrIU87hIrcF1dQasemssL/C+lwR58eL48lRq+R0m2fo=; b=gXlzyoXV4MesyWB/0m2dean+DgrkoVlMmNs0GXx4tUYhcZ2qUsZthO7YA2+Hc6PUvu +8ejkhhjvTSVnbTFd5jNcgQopdmpxeEt7UIBbarrOpN9YsvbWRJqwVEcDDfo502I51Kp U/O6INYUaM4mNz9Qu5V+GAtmFgtRUAp7tG9sud0pbDRvL82xg8x7NiYt5irUZBlkBavM /Nivi7jpBDPOx0wQVIkHjhPwyAY3EXCZWRmym7TwNivIhJSwdsETYk2jb1VSLO6tv23+ tLUMxp9H+pPhEfLsHKpbzIO9OMxH3tFXFA7qdRwLXSzrP+eZAe4MSSeQTMKCNskbj5bU /GhA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1725737475; x=1726342275; h=content-transfer-encoding:in-reply-to:from:content-language :references:to:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=LrIU87hIrcF1dQasemssL/C+lwR58eL48lRq+R0m2fo=; b=XvF7GbgBgNmZvl7T8U6ie2zqd15+HvrgdVd4QP+6stGsechZ5C0hctO52bE5EpRo65 fWsa7Z8PCYFCMieBXgs8DVsnkXKyFE9ucIbcDS208Y9C4P93IqpDnRbL8GX/y8GqKSJa 7OxKw67ih7+I9L0u/IA+pq3Z+CMyJ4dlqf8NVl2cwCPnNpoOuQmoDenlb+hhVrniT8An oW+4jHnSExLDafKFckZR/KhUJEu+n3J9SIE5aE0WnPP7IUdmUxegWWGvF+7N6hJ00Ijs o4yssIvNuXW/eX95rsX+sWmjIOqffPaKIGNQlh4+FFXSMavGOG8mk0QDWcu6V71h6xiP kiPw== X-Gm-Message-State: AOJu0Yy934KVHKBaNUwaQ4Uc4ZgEk1xwIExCtA0OW38TwR3fJTSwEq37 gBnCijxYBBfjoIypBoRXICTi4jxyXeAJnLuvB/FTdC1V4y8MJqskIgJ0Iw== X-Google-Smtp-Source: AGHT+IEwTRfu8JBtUp74Vc5CblA9HXftAxZva6kqQQE2rRbC8WgVp75CC/6oGW4kjl1O51OEVqLd1g== X-Received: by 2002:a5d:62c3:0:b0:374:c407:4e07 with SMTP id ffacd0b85a97d-378896a5b83mr4404061f8f.46.1725737474511; Sat, 07 Sep 2024 12:31:14 -0700 (PDT) Received: from ?IPV6:2a01:cb15:801f:7500:1aa9:5ff:fe16:2efb? ([2a01:cb15:801f:7500:1aa9:5ff:fe16:2efb]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-378956ddbbbsm1925153f8f.93.2024.09.07.12.31.14 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sat, 07 Sep 2024 12:31:14 -0700 (PDT) Message-ID: Date: Sat, 7 Sep 2024 19:31:13 +0000 List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@FreeBSD.org MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: The Case for Rust (in any system) To: freebsd-hackers@freebsd.org References: Content-Language: en-US From: Paul Floyd In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spamd-Bar: --- X-Spamd-Result: default: False [-3.99 / 15.00]; NEURAL_HAM_LONG(-1.00)[-1.000]; NEURAL_HAM_MEDIUM(-1.00)[-1.000]; NEURAL_HAM_SHORT(-1.00)[-0.999]; DMARC_POLICY_ALLOW(-0.50)[gmail.com,none]; R_SPF_ALLOW(-0.20)[+ip6:2a00:1450:4000::/36]; R_DKIM_ALLOW(-0.20)[gmail.com:s=20230601]; MIME_GOOD(-0.10)[text/plain]; XM_UA_NO_VERSION(0.01)[]; RCVD_TLS_LAST(0.00)[]; MIME_TRACE(0.00)[0:+]; FREEMAIL_ENVFROM(0.00)[gmail.com]; TO_MATCH_ENVRCPT_ALL(0.00)[]; FREEMAIL_FROM(0.00)[gmail.com]; RCPT_COUNT_ONE(0.00)[1]; ARC_NA(0.00)[]; FROM_HAS_DN(0.00)[]; DWL_DNSWL_NONE(0.00)[gmail.com:dkim]; TO_DN_NONE(0.00)[]; RCVD_COUNT_TWO(0.00)[2]; FROM_EQ_ENVFROM(0.00)[]; DKIM_TRACE(0.00)[gmail.com:+]; PREVIOUSLY_DELIVERED(0.00)[freebsd-hackers@freebsd.org]; MID_RHS_MATCH_FROM(0.00)[]; MLMMJ_DEST(0.00)[freebsd-hackers@freebsd.org]; ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US]; RCVD_VIA_SMTP_AUTH(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[2a00:1450:4864:20::434:from] X-Rspamd-Queue-Id: 4X1NW80Ft4z4p1P On 06-09-24 21:46, Brooks Davis wrote: > While bugs you can't write because the language doesn't let you are the > best bugs, we should also be looking at deterministic ways to improve > our C and C++ memory safety. In my biased opinion, our most realistic > option for making major advances here is the adoption of CHERI[2]. > We've got Arm's Morello prototype today and we expect commercially > available RISC-V silicon in the next year or so. At this point I hope > to merge CHERI support from CheriBSD[3] in time for FreeBSD 16 (subject to > standardization timelines, funding, and hardware availability). In the > meantime, we should be looking at orthoginal techniques such as enabling > default initialization of stack allocations. CHERI does indeed look interesting. Another thumbs up there for David Chisnall, I really hope that his endeavours take off. ARM's MTE uses similar techniques (though less pervasive and less secure as I understand it). JF Bastien published a paper based on default initialization https://www.open-std.org/JTC1/SC22/WG21/docs/papers/2022/p2723r0.html I think that is a great idea. A+ Paul