Atomic Memory Model

Authors:

Pages: 83-93
DOI: https://doi.org/10.54664/FPKY9556

Abstract:

Memory leaks and buffer overruns are among the most common erroneous conditions in computer systems. They are also among the most tedious, difficult and time consuming to detect, identify, locate, and resolve. Both Microsoft and Google independently report that memory safety issues cause 70% of all security vulnerabilities [10]. The Atomic Memory Model provides a mechanism for resolving these types of errors. Simultaneously, it makes the software architecture more robust and elegant by enforcing a code hierarchy regarding the memory use, as well as allowing for innate memory abstraction that matches the application semantics. The model also significantly increases the speed of the software development by relieving developers from detailed memory management.

Keywords:

Memory atoms, memory leaks, buffer overruns, memory safety, speed of development, quality of code.

Download

NA