How deeply does Rust Servers, Services, and Apps cover memory safety?

Identifies memory safety as a distinct property but does not explain its mechanisms in the supplied discussion.

Memory safety

As explained in Rust Servers, Services, and Apps

Memory safety is the property that a program cannot perform invalid accesses, use deallocated values, or otherwise violate memory-access rules.

Memory safety is one of three distinct aspects of program safety, alongside type safety and thread safety. Rust provides it without a garbage collector, helping prevent several classes of difficult memory, concurrency, and security bugs. section 1.2.2 section 1.3.2

For application backends and infrastructure services, memory safety is presented as a Rust benefit. The supplied discussion names the property but does not explain its mechanisms. section 1.2.2

How Rust Servers, Services, and Apps covers it

Cover of Rust Servers, Services, and Apps

liveBook manning.com

Read Rust Servers, Services, and Apps on liveBook Get the book at manning.com

Also explained in

liveBook manning.com

Refactoring to RustMemory safety is the property that software accesses memory only in valid ways, preventing errors such as use-after-free, buffer overflows, and invalid pointer dereferences.
liveBook manning.com

Hacking CryptographyMemory safety is the property that program operations access memory only within valid bounds and lifetimes without invalid aliasing or use-after-release.

Compare how 3 books explain memory safety →

Related concepts

Rustused by · Rust is a statically typed systems programming language designed for performance, concurrency, and memory safety without requiring garbage collection.
garbage collectioncontrasts with · Garbage collection is an automated memory- or storage-management process that identifies objects or data no longer reachable or needed and reclaims or deletes them.
borrow checkerimplemented by · A borrow checker is a compile-time mechanism that verifies ownership, borrowing, and reference rules to prevent invalid memory access.
immutable collectionaddressed by · An immutable collection is a collection whose membership and contents cannot be changed after creation.
JVMproduced by · The Java Virtual Machine is an abstract runtime environment that executes Java bytecode and compatible compiled code according to defined execution semantics.

This explainer was generated by Manning's knowledge graph from the text of Rust Servers, Services, and Apps. The section links point to the parts of the book it draws on.