Quote: ESP makes memory allocation correctness a local property of each process; checked by Spin

Quotation Skeleton

To keep the dynamic memory management overhead low, … [ref]) to ensure memory safety. The key observation is that allocation … property cannot be inferred by looking at only … allocation correctness a local property of each process. … Making memory safety a local property results in … objects to manage the dynamic allocation efficiently.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: safe use of pointers (102 items)
Topic: managing shared memory (74 items)