Dynamic Memory Allocation

Similar documents
Dynamic Memory Allocation: Basic Concepts

Today. Dynamic Memory Allocation: Basic Concepts. Dynamic Memory Allocation. Dynamic Memory Allocation. malloc Example. The malloc Package

Today. Dynamic Memory Allocation: Basic Concepts. Dynamic Memory Allocation. Dynamic Memory Allocation. malloc Example. The malloc Package

Dynamic Memory Allocation: Basic Concepts

Introduction to Computer Systems /18 243, fall th Lecture, Oct. 22 th

Dynamic Memory Alloca/on: Basic Concepts

Dynamic Memory Alloca/on: Basic Concepts

Dynamic Memory Allocation I

Dynamic Memory Allocation. Basic Concepts. Computer Organization 4/3/2012. CSC252 - Spring The malloc Package. Kai Shen

Dynamic Memory Allocation I Nov 5, 2002

Dynamic Memory Allocation

Foundations of Computer Systems

Dynamic Memory Allocation

Dynamic Memory Allocation: Advanced Concepts

Dynamic Memory Allocation. Gerson Robboy Portland State University. class20.ppt

CSCI-UA /2. Computer Systems Organization Lecture 19: Dynamic Memory Allocation: Basics

Today. Dynamic Memory Allocation: Advanced Concepts. Explicit Free Lists. Keeping Track of Free Blocks. Allocating From Explicit Free Lists

Dynamic Memory Allocation II October 22, 2008

Internal Fragmentation

Process s Address Space. Dynamic Memory. Backing the Heap. Dynamic memory allocation 3/29/2013. When a process starts the heap is empty

Dynamic Memory Allocation: Advanced Concepts

Dynamic Memory Allocation: Advanced Concepts

Dynamic Memory Alloca/on: Advanced Concepts

Dynamic Memory Allocation

CS 153 Design of Operating Systems

Memory Allocation III

Dynamic Memory Allocation

Memory Allocation I. CSE 351 Autumn Instructor: Justin Hsia

Memory Allocation I. CSE 351 Autumn Instructor: Justin Hsia

CS 33. Storage Allocation. CS33 Intro to Computer Systems XXVII 1 Copyright 2017 Thomas W. Doeppner. All rights reserved.

Memory Allocation III CSE 351 Spring (original source unknown)

Foundations of Computer Systems

CS 33. Intro to Storage Allocation. CS33 Intro to Computer Systems XXVI 1 Copyright 2017 Thomas W. Doeppner. All rights reserved.

Dynamic Memory Allocation. Zhaoguo Wang

CMSC 313 COMPUTER ORGANIZATION & ASSEMBLY LANGUAGE PROGRAMMING

Memory Allocation III

Dynamic Memory Alloca/on: Advanced Concepts

Memory Allocation III

Memory Allocation. Copyright : University of Illinois CS 241 Staff 1

Memory Allocation III

Binghamton University Dynamic Memory Alloca/on

ANITA S SUPER AWESOME RECITATION SLIDES

Dynamic Memory Management

Princeton University. Computer Science 217: Introduction to Programming Systems. Dynamic Memory Management

Lecture 1: Course Overview

NEXT SET OF SLIDES FROM DENNIS FREY S FALL 2011 CMSC313.

Dynamic Memory Management! Goals of this Lecture!

10.1. CS356 Unit 10. Memory Allocation & Heap Management

CS356: Discussion #12-13 Dynamic Memory and Allocation Lab. Marco Paolieri Illustrations from CS:APP3e textbook

Princeton University Computer Science 217: Introduction to Programming Systems. Dynamic Memory Management

Memory Allocation II. CSE 351 Autumn Instructor: Justin Hsia

Dynamic Memory Management

Memory management. Johan Montelius KTH

Machine Level Programming: Arrays, Structures and More

o Code, executable, and process o Main memory vs. virtual memory

CS24: INTRODUCTION TO COMPUTING SYSTEMS. Spring 2017 Lecture 7

Dynamic Memory Management. Bin Li Assistant Professor Dept. of Electrical, Computer and Biomedical Engineering University of Rhode Island

Dynamic Data Structures. CSCI 112: Programming in C

In Java we have the keyword null, which is the value of an uninitialized reference type

Recitation #11 Malloc Lab. November 7th, 2017

VM as a cache for disk

CS 2461: Computer Architecture I: Heap: Dynamic Memory Allocation Data Structures. Recap. Variables and Structures

Memory Management. CS449 Fall 2017

Memory Allocation. General Questions

Optimizing Dynamic Memory Management

Memory Management. CSC215 Lecture

CS61 Section Notes. Section 5 (Fall 2011) Topics to be covered Common Memory Errors Dynamic Memory Allocation Assignment 3: Malloc

Memory Allocation II. CSE 351 Autumn Instructor: Justin Hsia

Operating System Labs. Yuanbin Wu

Lecture 8 Dynamic Memory Allocation

Memory Hierarchy. Computer Systems Organization (Spring 2017) CSCI-UA 201, Section 3. Instructor: Joanna Klukowska

Roadmap. Java: Assembly language: OS: Machine code: Computer system:

Memory Allocation in C C Programming and Software Tools. N.C. State Department of Computer Science

Self-referential Structures and Linked List. Programming and Data Structure 1

Memory Hierarchy. Cache Memory Organization and Access. General Cache Concept. Example Memory Hierarchy Smaller, faster,

Bits, Bytes and Integers

CS 153 Design of Operating Systems

Heap Management portion of the store lives indefinitely until the program explicitly deletes it C++ and Java new Such objects are stored on a heap

Project 4: Implementing Malloc Introduction & Problem statement

Linked-List Basic Examples. A linked-list is Linear collection of self-referential class objects, called nodes Connected by pointer links

Outline. Briefly review the last class Pointers and Structs Memory allocation Linked lists

Many of the slides in this lecture are either from or adapted from slides provided by the authors of the textbook Computer Systems: A Programmer s

Review! Lecture 5 C Memory Management !

CS 11 C track: lecture 5

CS61C : Machine Structures

APS105. Malloc and 2D Arrays. Textbook Chapters 6.4, Datatype Size

Secure Software Programming and Vulnerability Analysis

Binghamton University. CS-211 Fall Dynamic Memory

CSE351 Spring 2018, Final Exam June 6, 2018

Heap Arrays. Steven R. Bagley

19-Nov CSCI 2132 Software Development Lecture 29: Linked Lists. Faculty of Computer Science, Dalhousie University Heap (Free Store)

Dynamic memory allocation (malloc)

Memory (Stack and Heap)

C Structures & Dynamic Memory Management

2/9/18. Secure Coding. CYSE 411/AIT681 Secure Software Engineering. Agenda. Dynamic Memory Interface. Dynamic Memory Interface

Secure Coding in C and C++

CS61, Fall 2012 Section 2 Notes

Class Information ANNOUCEMENTS

Carnegie Mellon. Malloc Boot Camp. Stan, Nikhil, Kim

Dynamic Memory Allocation (and Multi-Dimensional Arrays)

Transcription:

Dynamic Memory Allocation Computer Systems Organization (Spring 2017) CSCI-UA 201, Section 3 Instructor: Joanna Klukowska Slides adapted from Randal E. Bryant and David R. O Hallaron (CMU) Mohamed Zahran (NYU)

Basic Concepts 2

Programmers use dynamic memory allocators (such as malloc) to acquire VM at run time. For data structures whose size is only known at runtime. Dynamic memory allocators manage an area of process virtual memory known as the heap. malloc brk bss.data.text 3

Allocator maintains heap as collection of variable sized blocks, which are either allocated or free Types of allocators Explicit allocator: application allocates and frees space E.g., malloc and free in C Implicit allocator: application allocates, but does not free space E.g. garbage collection in Java, ML, and Lisp 4

malloc #include <stdlib.h> void *malloc(size_t size) Successful: Returns a pointer to a memory block of at least size bytes aligned to an 8-byte (x86) or 16-byte (x86-64) boundary If size == 0, returns NULL Unsuccessful: returns NULL (0) and sets errno void free(void *p) Returns the block pointed at by p to the pool of available memory p must come from a previous call to malloc, calloc or realloc Other functions calloc: Version of malloc that initializes allocated block to zero. realloc: Changes the size of a previously allocated block. sbrk: Used internally by allocators to grow or shrink the heap 5

malloc #include <stdio.h> #include <stdlib.h> void foo(int n) { int i, *p; /* Allocate a block of n ints */ p = (int *) malloc(n * sizeof(int)); if (p == NULL) { perror("malloc"); exit(0); } /* Initialize allocated block */ for (i=0; i<n; i++) p[i] = i; } /* Return allocated block to the heap */ free(p); 6

Memory is word addressed. Words are int-sized. 7

p1 = malloc(4) p2 = malloc(5) p3 = malloc(6) free(p2) p4 = malloc(2) 8

Applications Can issue arbitrary sequence of malloc and free requests free request must be to a malloc d block Allocators Can t control number or size of allocated blocks Must respond immediately to malloc requests i.e., can t reorder or buffer requests Must allocate blocks from free memory i.e., can only place allocated blocks in free memory Must align blocks so they satisfy all alignment requirements 8-byte (x86) or 16-byte (x86-64) alignment on Linux boxes Can manipulate and modify only free memory Can t move the allocated blocks once they are malloc d i.e., compaction is not allowed 9

malloc free malloc free 10

malloc free malloc(p) p sbrk 11

12

For a given block, internal fragmentation occurs if payload is smaller than block size Caused by Overhead of maintaining heap data structures Padding for alignment purposes Explicit policy decisions (e.g., to return a big block to satisfy a small request) Depends only on the pattern of previous requests Thus, easy to measure 13

p1 = malloc(4) p2 = malloc(5) p3 = malloc(6) free(p2) p4 = malloc(6) 14

15

p0 p0 = malloc(4) free(p0) 16

Method 1: Implicit list using length links all blocks 5 Method 2: Explicit list among the free blocks using pointers 5 Method 3: Segregated free list Different free lists for different size classes Method 4: Blocks sorted by size Can use a balanced binary tree with pointers within each free block, and the length used as a key 17

Implicit Free List 18

For each block we need both size and allocation status Could store this information in two words: wasteful! Standard trick If blocks are aligned, some low-order address bits are always 0 Instead of storing an always-0 bit, use it as a allocated/free flag When reading size word, must mask out this bit 19

*Assume 8-byte (2 word) align boundary. 20

First fit: Search list from beginning, choose first free block that fits Can take linear time in total number of blocks (allocated and free) In practice it can cause splinters at beginning of list Next fit: Like first fit, but search list starting where previous search finished Should often be faster than first fit: avoids re-scanning unhelpful blocks Some research suggests that fragmentation is worse Best fit: Search the list, choose the best free block: fits, with fewest bytes left over Keeps fragments small usually improves memory utilization Will typically run slower than first fit 21

addblock(p, 4) 22

free(p) p malloc(5) There is enough free space, but the allocator won t be able to find it (since it sees a block of 4 and block of 2, not a block of 5). 23

free(p) p 24

25

26

27

What do we do, if the next block is free as well? Not possible if we always coalesce. 28

29

30

Placement policy: First-fit, next-fit, best-fit, etc. Trades off lower throughput for less fragmentation Interesting observation: segregated free lists (next lecture) approximate a best fit placement policy without having to search entire free list Splitting policy: When do we go ahead and split free blocks? How much internal fragmentation are we willing to tolerate? Coalescing policy: Immediate coalescing: coalesce each time free is called Deferred coalescing: try to improve performance of free by deferring coalescing until needed. Examples: Coalesce as you scan the free list for malloc Coalesce when the amount of external fragmentation reaches some threshold 31

Implementation: very simple Allocate cost: linear time worst case Free cost: constant time worst case even with coalescing Memory usage: will depend on placement policy First-fit, next-fit or best-fit Not used in practice for malloc/free because of linear-time allocation used in many special purpose applications However, the concepts of splitting and boundary tag coalescing are general to all allocators 32

Explicit Free List 33

Method 1: Implicit list using length links all blocks 5 Method 2: Explicit list among the free blocks using pointers 5 Method 3: Segregated free list Different free lists for different size classes Method 4: Blocks sorted by size Can use a balanced binary tree with pointers within each free block, and the length used as a key 34

35

36

= malloc( ) 37

38

free( ) 39

free( ) 40

free( ) 41

free( ) 42

43

Method 1: Implicit list using length links all blocks 5 Method 2: Explicit list among the free blocks using pointers 5 Method 3: Segregated free list Different free lists for different size classes Method 4: Blocks sorted by size Can use a balanced tree with pointers within each free block, and the length used as a key 44

Segregated Free List 45

46

sbrk() 47

48

Garbage Collection 49

void foo() { int *p = malloc(128); return; /* p block is now garbage */ } 50

int 51

52

Memory Related Bugs 53

54

int *p int *p[13] int *(p[13]) int **p int (*p)[13] int *f() int (*f)() int (*(*f())[13])() int (*(*x[3])())[5] 55

scanf int val;... scanf("%d", val); 56

/* return y = Ax */ int *matvec(int **A, int *x) { int *y = malloc(n*sizeof(int)); int i, j; } for (i=0; i<n; i++) for (j=0; j<n; j++) y[i] += A[i][j]*x[j]; return y; 57

int **p; p = malloc(n*sizeof(int)); for (i=0; i<n; i++) { p[i] = malloc(m*sizeof(int)); } 58

int **p; p = malloc(n*sizeof(int *)); for (i=0; i<=n; i++) { p[i] = malloc(m*sizeof(int)); } 59

char s[8]; int i; gets(s); /* reads 123456789 from stdin */ 60

int *search(int *p, int val) { while (*p && *p!= val) p += sizeof(int); } return p; 61

int * heap_delete(int **binheap, int *size) { int *packet; packet = binheap[0]; binheap[0] = binheap[*size - 1]; *size--; heapify(binheap, *size, 0); return(packet); } 62

int *foo () { int val; } return &val; 63

x = malloc(n*sizeof(int)); <manipulate x> free(x); y = malloc(m*sizeof(int)); <manipulate y> free(x); 64

x = malloc(n*sizeof(int)); <manipulate x> free(x);... y = malloc( M*sizeof(int) ); for (i=0; i < M; i++) y[i] = x[i]++; 65

foo() { int *x = malloc(n*sizeof(int));... return; } 66

struct list { int val; struct list *next; }; foo() { struct list *head = malloc(sizeof(struct list)); head->val = 0; head->next = NULL; <create and manipulate the rest of the list>... free(head); return; } 67

gdb valgrind setenv MALLOC_CHECK_ 3 (see the manual page for mallopt) 68