1 | \chapter{Introduction} |
---|
2 | |
---|
3 | % Shared-memory multi-processor computers are ubiquitous and important for improving application performance. |
---|
4 | % However, writing programs that take advantage of multiple processors is not an easy task~\cite{Alexandrescu01b}, \eg shared resources can become a bottleneck when increasing (scaling) threads. |
---|
5 | % One crucial shared resource is program memory, since it is used by all threads in a shared-memory concurrent-program~\cite{Berger00}. |
---|
6 | % Therefore, providing high-performance, scalable memory-management is important for virtually all shared-memory multi-threaded programs. |
---|
7 | |
---|
8 | \vspace*{-23pt} |
---|
9 | Memory management takes a sequence of program generated allocation/deallocation requests and attempts to satisfy them within a fixed-sized block of memory while minimizing the total amount of memory used. |
---|
10 | A general-purpose dynamic-allocation algorithm cannot anticipate future allocation requests so its output is rarely optimal. |
---|
11 | However, memory allocators do take advantage of regularities in allocation patterns for typical programs to produce excellent results, both in time and space (similar to LRU paging). |
---|
12 | In general, allocators use a number of similar techniques, each optimizing specific allocation patterns. |
---|
13 | Nevertheless, memory allocators are a series of compromises, occasionally with some static or dynamic tuning parameters to optimize specific program-request patterns. |
---|
14 | |
---|
15 | |
---|
16 | \section{Memory Structure} |
---|
17 | \label{s:MemoryStructure} |
---|
18 | |
---|
19 | \VRef[Figure]{f:ProgramAddressSpace} shows the typical layout of a program's address space divided into the following zones (right to left): static code/data, dynamic allocation, dynamic code/data, and stack, with free memory surrounding the dynamic code/data~\cite{memlayout}. |
---|
20 | Static code and data are placed into memory at load time from the executable and are fixed-sized at runtime. |
---|
21 | Dynamic-allocation memory starts empty and grows/shrinks as the program dynamically creates/deletes variables with independent lifetime. |
---|
22 | The programming-language's runtime manages this area, where management complexity is a function of the mechanism for deleting variables. |
---|
23 | Dynamic code/data memory is managed by the dynamic loader for libraries loaded at runtime, which is complex especially in a multi-threaded program~\cite{Huang06}. |
---|
24 | However, changes to the dynamic code/data space are typically infrequent, many occurring at program startup, and are largely outside of a program's control. |
---|
25 | Stack memory is managed by the program call-mechanism using a simple LIFO technique, which works well for sequential programs. |
---|
26 | For multi-threaded programs (and coroutines), a new stack is created for each thread; |
---|
27 | these thread stacks are commonly created in dynamic-allocation memory. |
---|
28 | This thesis focuses on management of the dynamic-allocation memory. |
---|
29 | |
---|
30 | \begin{figure} |
---|
31 | \centering |
---|
32 | \input{AddressSpace} |
---|
33 | \vspace{-5pt} |
---|
34 | \caption{Program Address Space Divided into Zones} |
---|
35 | \label{f:ProgramAddressSpace} |
---|
36 | \end{figure} |
---|
37 | |
---|
38 | |
---|
39 | \section{Dynamic Memory-Management} |
---|
40 | \label{s:DynamicMemoryManagement} |
---|
41 | |
---|
42 | Modern programming languages manage dynamic-allocation memory in different ways. |
---|
43 | Some languages, such as Lisp~\cite{CommonLisp}, Java~\cite{Java}, Haskell~\cite{Haskell}, Go~\cite{Go}, provide explicit allocation but \emph{implicit} deallocation of data through garbage collection~\cite{Wilson92}. |
---|
44 | In general, garbage collection supports memory compaction, where dynamic (live) data is moved during runtime to better utilize space. |
---|
45 | However, moving data requires finding pointers to it and updating them to reflect new data locations. |
---|
46 | Programming languages such as C~\cite{C}, \CC~\cite{C++}, and Rust~\cite{Rust} provide the programmer with explicit allocation \emph{and} deallocation of data. |
---|
47 | These languages cannot find and subsequently move live data because pointers can be created to any storage zone, including internal components of allocated objects, and may contain temporary invalid values generated by pointer arithmetic. |
---|
48 | Attempts have been made to perform quasi garbage collection in C/\CC~\cite{Boehm88}, but it is a compromise. |
---|
49 | This thesis only examines dynamic memory-management with \emph{explicit} deallocation. |
---|
50 | While garbage collection and compaction are not part this work, many of the results are applicable to the allocation phase in any memory-management approach. |
---|
51 | |
---|
52 | Most programs use a general-purpose allocator, often the one provided implicitly by the programming-language's runtime. |
---|
53 | When this allocator proves inadequate, programmers often write specialize allocators for specific needs. |
---|
54 | C and \CC allow easy replacement of the default memory allocator with an alternative specialized or general-purpose memory-allocator. |
---|
55 | (Jikes RVM MMTk~\cite{MMTk} provides a similar generalization for the Java virtual machine.) |
---|
56 | However, high-performance memory-allocators for kernel and user multi-threaded programs are still being designed and improved. |
---|
57 | For this reason, several alternative general-purpose allocators have been written for C/\CC with the goal of scaling in a multi-threaded program~\cite{Berger00,mtmalloc,streamflow,tcmalloc}. |
---|
58 | This thesis examines the design of high-performance allocators for use by kernel and user multi-threaded applications written in C/\CC. |
---|
59 | |
---|
60 | |
---|
61 | \section{Contributions} |
---|
62 | \label{s:Contributions} |
---|
63 | |
---|
64 | This work provides the following contributions in the area of concurrent dynamic allocation: |
---|
65 | \begin{enumerate}[leftmargin=*] |
---|
66 | \item |
---|
67 | Implementation of a new stand-lone concurrent low-latency memory-allocator ($\approx$1,200 lines of code) for C/\CC programs using kernel threads (1:1 threading), and specialized versions of the allocator for programming languages \uC and \CFA using user-level threads running over multiple kernel threads (M:N threading). |
---|
68 | |
---|
69 | \item |
---|
70 | Adopt returning of @nullptr@ for a zero-sized allocation, rather than an actual memory address, both of which can be passed to @free@. |
---|
71 | |
---|
72 | \item |
---|
73 | Extended the standard C heap functionality by preserving with each allocation its original request size versus the amount allocated, if an allocation is zero fill, and the allocation alignment. |
---|
74 | |
---|
75 | \item |
---|
76 | Use the zero fill and alignment as \emph{sticky} properties for @realloc@, to realign existing storage, or preserve existing zero-fill and alignment when storage is copied. |
---|
77 | Without this extension, it is unsafe to @realloc@ storage initially allocated with zero-fill/alignment as these properties are not preserved when copying. |
---|
78 | This silent generation of a problem is unintuitive to programmers and difficult to locate because it is transient. |
---|
79 | |
---|
80 | \item |
---|
81 | Provide additional heap operations to complete programmer expectation with respect to accessing different allocation properties. |
---|
82 | \begin{itemize} |
---|
83 | \item |
---|
84 | @resize( oaddr, size )@ re-purpose an old allocation for a new type \emph{without} preserving fill or alignment. |
---|
85 | \item |
---|
86 | @resize( oaddr, alignment, size )@ re-purpose an old allocation with new alignment but \emph{without} preserving fill. |
---|
87 | \item |
---|
88 | @realloc( oaddr, alignment, size )@ same as previous @realloc@ but adding or changing alignment. |
---|
89 | \item |
---|
90 | @aalloc( dim, elemSize )@ same as @calloc@ except memory is \emph{not} zero filled. |
---|
91 | \item |
---|
92 | @amemalign( alignment, dim, elemSize )@ same as @aalloc@ with memory alignment. |
---|
93 | \item |
---|
94 | @cmemalign( alignment, dim, elemSize )@ same as @calloc@ with memory alignment. |
---|
95 | \end{itemize} |
---|
96 | |
---|
97 | \item |
---|
98 | Provide additional query operations to access information about an allocation: |
---|
99 | \begin{itemize} |
---|
100 | \item |
---|
101 | @malloc_alignment( addr )@ returns the alignment of the allocation pointed-to by @addr@. |
---|
102 | If the allocation is not aligned or @addr@ is the @nulladdr@, the minimal alignment is returned. |
---|
103 | \item |
---|
104 | @malloc_zero_fill( addr )@ returns a boolean result indicating if the memory pointed-to by @addr@ is allocated with zero fill, e.g., by @calloc@/@cmemalign@. |
---|
105 | \item |
---|
106 | @malloc_size( addr )@ returns the size of the memory allocation pointed-to by @addr@. |
---|
107 | \item |
---|
108 | @malloc_usable_size( addr )@ returns the usable size of the memory pointed-to by @addr@, i.e., the bin size containing the allocation, where @malloc_size( addr )@ $\le$ @malloc_usable_size( addr )@. |
---|
109 | \end{itemize} |
---|
110 | |
---|
111 | \item |
---|
112 | Provide mostly contention-free allocation and free operations via a heap-per-kernel-thread implementation. |
---|
113 | |
---|
114 | \item |
---|
115 | Provide complete, fast, and contention-free allocation statistics to help understand program behaviour: |
---|
116 | \begin{itemize} |
---|
117 | \item |
---|
118 | @malloc_stats()@ print memory-allocation statistics on the file-descriptor set by @malloc_stats_fd@. |
---|
119 | \item |
---|
120 | @malloc_info( options, stream )@ print memory-allocation statistics as an XML string on the specified file-descriptor set by @malloc_stats_fd@. |
---|
121 | \item |
---|
122 | @malloc_stats_fd( fd )@ set file-descriptor number for printing memory-allocation statistics (default @STDERR_FILENO@). |
---|
123 | This file descriptor is used implicitly by @malloc_stats@ and @malloc_info@. |
---|
124 | \end{itemize} |
---|
125 | |
---|
126 | \item |
---|
127 | Provide extensive runtime checks to valid allocation operations and identify the amount of unfreed storage at program termination. |
---|
128 | |
---|
129 | \item |
---|
130 | Build 4 different versions of the allocator: |
---|
131 | \begin{itemize} |
---|
132 | \item |
---|
133 | static or dynamic linking |
---|
134 | \item |
---|
135 | statistic/debugging (testing) or no statistic/debugging (performance) |
---|
136 | \end{itemize} |
---|
137 | A program may link to any of these 4 versions of the allocator often without recompilation. |
---|
138 | (It is possible to separate statistics and debugging, giving 8 different versions.) |
---|
139 | |
---|
140 | \item |
---|
141 | A micro-benchmark test-suite for comparing allocators rather than relying on a suite of arbitrary programs. |
---|
142 | These micro-benchmarks have adjustment knobs to simulate allocation patterns hard-coded into arbitrary test programs |
---|
143 | \end{enumerate} |
---|
144 | |
---|
145 | \begin{comment} |
---|
146 | \noindent |
---|
147 | ==================== |
---|
148 | |
---|
149 | Writing Points: |
---|
150 | \begin{itemize} |
---|
151 | \item |
---|
152 | Introduce dynamic memory allocation with brief background. |
---|
153 | \item |
---|
154 | Scope of the thesis. |
---|
155 | \item |
---|
156 | Importance of memory allocation and micro-benchmark suite. |
---|
157 | \item |
---|
158 | Research problem. |
---|
159 | \item |
---|
160 | Research objectives. |
---|
161 | \item |
---|
162 | The vision behind cfa-malloc. |
---|
163 | \item |
---|
164 | An outline of the thesis. |
---|
165 | \end{itemize} |
---|
166 | |
---|
167 | \noindent |
---|
168 | ==================== |
---|
169 | |
---|
170 | \section{Introduction} |
---|
171 | Dynamic memory allocation and management is one of the core features of C. It gives programmer the freedom to allocate, free, use, and manage dynamic memory himself. The programmer is not given the complete control of the dynamic memory management instead an interface of memory allocator is given to the programmer that can be used to allocate/free dynamic memory for the application's use. |
---|
172 | |
---|
173 | Memory allocator is a layer between the programmer and the system. Allocator gets dynamic memory from the system in heap/mmap area of application storage and manages it for programmer's use. |
---|
174 | |
---|
175 | GNU C Library (FIX ME: cite this) provides an interchangeable memory allocator that can be replaced with a custom memory allocator that supports required features and fulfills application's custom needs. It also allows others to innovate in memory allocation and design their own memory allocator. GNU C Library has set guidelines that should be followed when designing a stand-alone memory allocator. GNU C Library requires new memory allocators to have at lease following set of functions in their allocator's interface: |
---|
176 | |
---|
177 | \begin{itemize} |
---|
178 | \item |
---|
179 | malloc: it allocates and returns a chunk of dynamic memory of requested size (FIX ME: cite man page). |
---|
180 | \item |
---|
181 | calloc: it allocates and returns an array in dynamic memory of requested size (FIX ME: cite man page). |
---|
182 | \item |
---|
183 | realloc: it reallocates and returns an already allocated chunk of dynamic memory to a new size (FIX ME: cite man page). |
---|
184 | \item |
---|
185 | free: it frees an already allocated piece of dynamic memory (FIX ME: cite man page). |
---|
186 | \end{itemize} |
---|
187 | |
---|
188 | In addition to the above functions, GNU C Library also provides some more functions to increase the usability of the dynamic memory allocator. Most stand-alone allocators also provide all or some of the above additional functions. |
---|
189 | |
---|
190 | \begin{itemize} |
---|
191 | \item |
---|
192 | aligned\_alloc |
---|
193 | \item |
---|
194 | malloc\_usable\_size |
---|
195 | \item |
---|
196 | memalign |
---|
197 | \item |
---|
198 | posix\_memalign |
---|
199 | \item |
---|
200 | pvalloc |
---|
201 | \item |
---|
202 | valloc |
---|
203 | \end{itemize} |
---|
204 | |
---|
205 | With the rise of concurrent applications, memory allocators should be able to fulfill dynamic memory requests from multiple threads in parallel without causing contention on shared resources. There needs to be a set of a standard benchmarks that can be used to evaluate an allocator's performance in different scenarios. |
---|
206 | |
---|
207 | \section{Research Objectives} |
---|
208 | Our research objective in this thesis is to: |
---|
209 | |
---|
210 | \begin{itemize} |
---|
211 | \item |
---|
212 | Design a lightweight concurrent memory allocator with added features and usability that are currently not present in the other memory allocators. |
---|
213 | \item |
---|
214 | Design a suite of benchmarks to evaluate multiple aspects of a memory allocator. |
---|
215 | \end{itemize} |
---|
216 | |
---|
217 | \section{An outline of the thesis} |
---|
218 | LAST FIX ME: add outline at the end |
---|
219 | \end{comment} |
---|