Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix links to 'memory address' #469

Merged
merged 1 commit into from
Oct 13, 2023
Merged

fix links to 'memory address' #469

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions reference/src/glossary.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -100,7 +100,7 @@ Abstract Rust Machine is intended to operate according to the definition here.

An *allocation* is a chunk of memory that is addressable from Rust.
Allocations are created for objects on the heap, for stack-allocated variables, for globals (statics and consts), but also for objects that do not have Rust-inspectable data such as functions and vtables.
An allocation has a contiguous range of [memory addresses][memory-address] that it covers, and it can generally only be deallocated all at once.
An allocation has a contiguous range of [memory addresses][memory address] that it covers, and it can generally only be deallocated all at once.
(Though in the future, we might allow allocations with holes, and we might allow growing/shrinking an allocation.)
This range can be empty, but even empty allocations have a *base address* that they are located at.
The base address of an allocation is not necessarily unique; but if two distinct allocations have the same base address then at least one of them must be empty.
Expand Down Expand Up @@ -199,7 +199,7 @@ The key operations on a place are:
### Pointer Provenance
[provenance]: #pointer-provenance

The *provenance* of a pointer is used to distinguish pointers that point to the same [memory address][memory-address] (i.e., pointers that, when cast to `usize`, will compare equal).
The *provenance* of a pointer is used to distinguish pointers that point to the same [memory address] (i.e., pointers that, when cast to `usize`, will compare equal).
Provenance is extra state that only exists in the Rust Abstract Machine; it is needed to specify program behavior but not present any more when the program runs on real hardware.
In other words, pointers that only differ in their provenance can *not* be distinguished any more in the final binary (but provenance can influence how the compiler translates the program).

Expand Down