"The provenance memory model for C", by Jens Gustedt

From	Alexis <flexibeast@gmail.com>
Newsgroups	comp.lang.c
Subject	"The provenance memory model for C", by Jens Gustedt
Date	2025-07-02 14:22 +1000
Organization	A noiseless patient Spider
Message-ID	<87o6u343y3.fsf@gmail.com> (permalink)

Show all headers | View raw

Thought some here might find this interesting:

"Our provenance-aware memory object model for C provides a precise
mathematical specification, in place of the ambiguity of these aspects
of the current C standard. It has also stimulated and informed
discussion of provenance in the broader C, C++, Rust, and compiler
communities.

"This work has finally resulted in the publication of an international
standard, Technical Specification ISO/IEC TS 6010 (edited by Henry
Kleynhans, Bloomberg, UK) ...

"In this article, I will try to explain what this is all about, namely
on how a provenance model for pointers interferes with alias analysis of
modern compilers. For those that are not fluent with the terminology or
the concept we have a short intro what pointer aliasing is all about, a
review of existing tools to help the compiler and inherent difficulties
and then the proposed model itself. At the end there is a brief takeaway
that explains how to generally avoid complications and loss of
optimization opportunities that could result from mis-guided aliasing
analysis."

-- https://gustedt.wordpress.com/2025/06/30/the-provenance-memory-model-for-c/


Alexis.

Back to comp.lang.c | Previous | Next — Next in thread | Find similar

Thread

"The provenance memory model for C", by Jens Gustedt Alexis <flexibeast@gmail.com> - 2025-07-02 14:22 +1000
  Re: "The provenance memory model for C", by Jens Gustedt Kaz Kylheku <643-408-1753@kylheku.com> - 2025-07-02 13:10 +0000
    Re: "The provenance memory model for C", by Jens Gustedt BGB <cr88192@gmail.com> - 2025-07-08 21:39 -0500
      Re: "The provenance memory model for C", by Jens Gustedt David Brown <david.brown@hesbynett.no> - 2025-07-09 11:41 +0200
        Re: "The provenance memory model for C", by Jens Gustedt BGB <cr88192@gmail.com> - 2025-07-09 21:28 -0500
          Re: "The provenance memory model for C", by Jens Gustedt David Brown <david.brown@hesbynett.no> - 2025-07-10 11:34 +0200
            Re: "The provenance memory model for C", by Jens Gustedt BGB <cr88192@gmail.com> - 2025-07-10 21:09 -0500
              Re: "The provenance memory model for C", by Jens Gustedt David Brown <david.brown@hesbynett.no> - 2025-07-11 10:48 +0200
                Re: "The provenance memory model for C", by Jens Gustedt BGB <cr88192@gmail.com> - 2025-07-11 14:05 -0500
                Re: "The provenance memory model for C", by Jens Gustedt "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-07-12 17:30 -0700
                Re: "The provenance memory model for C", by Jens Gustedt BGB <cr88192@gmail.com> - 2025-07-13 15:10 -0500
                Re: "The provenance memory model for C", by Jens Gustedt "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-07-13 13:55 -0700
                Re: "The provenance memory model for C", by Jens Gustedt BGB <cr88192@gmail.com> - 2025-07-13 19:11 -0500
        Re: "The provenance memory model for C", by Jens Gustedt antispam@fricas.org (Waldek Hebisch) - 2025-07-20 00:21 +0000
          Re: "The provenance memory model for C", by Jens Gustedt David Brown <david.brown@hesbynett.no> - 2025-07-20 05:09 +0200

csiph-web