Voir la source de 20151123:TP:C:Malloc

[[category:EPITA:TP:20152016]]
== Introduction ==

The purpose of this session is to implement a simple version of <tt>malloc(3)</tt> and the affiliated functions (<tt>free</tt>, <tt>calloc</tt> and <tt>realloc</tt>).

This session will also be used as a mini-project that you start this week and with an extra week to finish it.

: '''Deadline:''' Sunday 2015/12/6 - 23h42

You must commit the code in the directory <tt>20151123_malloc</tt> and you must provide the following files:

* <tt>20151123_malloc</tt>
** <tt>AUTHORS</tt>
** <tt>Makefile</tt>
** <tt>malloc.c</tt>

Your <tt>Makefile</tt> must be able to build the library file <tt>libmalloc.so</tt> (see at the end of the subject.)

== Prequel: debugging ==

Before starting your malloc, you should train yourself on gdb. While this is important, nothing replace practice on you own code. So, you should take a piece of your own code, with some known bugs and try the following actions:

* build with symbols (at least <tt>-g</tt> and no optimization.)
* run your program in gdb
* in the presence of a segfault, use gdb to detect the position in code and the context
* use breakpoints and step by step execution
* evaluate some expression and get some context information

'''Beware:''' you will '''not''' be able to use <tt>printf</tt> for malloc debugging !

== Goals ==

You need to provide a full replacement for <tt>malloc(3)</tt> but also the affiliated functions, here is the list of the '''required functions''':

<source lang="C">
void* malloc(size_t size);
void* calloc(size_t nb, size_t size);
void* realloc(void *old, size_t newsize);
void  free(void *p);
</source>

Please refer to the corresponding manual page for the exact definition of the behavior of these functions.

== Tools ==

These functions will be useful for the rest but don't need to be ''exported'' and thus you'll marked them as <tt>static</tt>.

=== Alignment ===

We need to work with size that are multiple of the size of a pointer. For that we'll use a simple <tt>static inline</tt> function that take a <tt>size_t</tt> integer and return the least multiple of <tt>sizeof (size_t)</tt> greater or equal to the input value.

<source lang="C">
static inline
size_t word_align(size_t n);
</source>

You can perform this alignment with only the following operations: <tt>+, -, ^, ~</tt> and <tt>&</tt>

=== Basic memory operations ===

We need to be able to copy data between two separated memory regions and to be able to fill a memory region with zeros. Functions doing this exists in the C library, but our operations can have some specific optimizations and thus we'll write our own version.

* '''Implement the following functions: '''

<source lang="C">
/* zerofill(ptr, len): write len 0 bytes at the address ptr */
void zerofill(void *ptr, size_t len);
/* wordcpy(dst, src, len) copy len bytes from src to dst */
void wordcpy(void *dst, void *src, size_t len);
</source>

'''Note that we work with aligned sizes: all our sizes are divisible by the size of a pointer. This mean that rather than working data byte by byte, we can operate with a wider type, <tt>size_t</tt> is a good candidate.'''

=== Memory chunk structure ===

To represent our memory chunk, we'll use the following structure:

<source lang="C">
struct chunk {
  struct chunk *next, *prev;
  size_t        size;
  long          free;
  void         *data;
};
</source>

''Note that we don't really care about the wasted space, this is a pedagogical <tt>malloc</tt>.''

=== Heap Base ===

Now we need a simple way to retrieve the base address of the heap, this function will also help us initialize the heap by setting a sentinel for our list of chunks. For that we'll use a local static variable (a variable that survive the function call), here is the function <tt>get_base()</tt> principle, <tt>base</tt> is your static variable:

* If <tt>base</tt> is <tt>NULL</tt> (initial value):
** extend the heap by the size of the chunk structure, using <tt>sbrk(2)</tt>, and set <tt>base</tt> to the old break
** Initialize the sentinel: <tt>next</tt> and <tt>prev</tt> must be <tt>NULL</tt>, the data size is zero and the chunk is not free.
* return <tt>base</tt>

* '''Complete the following code:'''
<source lang="C">
static
struct chunk* get_base(void) {
  static struct chunk *base = NULL;
  if (base == NULL) {
    /* FIX ME */
  }
}
</source>

This function is used by <tt>malloc</tt> in order to get the base pointer on the heap. The first to you call it, it'll initialize the heap (create an empty chunk at the beginning.) Other call will just return the base pointer.

=== Heap Extension ===

This function will add a new chunk at the end of the heap (using <tt>sbrk</tt>). The new chunk must be attached to the (previous) last chunk, and must contain the required memory size in the data area. We'll directly passed a pointer to the last chunk in order to avoid a traversal of the whole heap.

<source lang="C">
/*
 * extend_heap(last, size) extends the heap with a new chunk containing a data block of size bytes.
 * Return 1 in case of success, and return 0 if sbrk(2) fails.
 */
static
int extend_heap(struct chunk *last, size_t size);
</source>

''Note that <tt>size</tt> is already aligned and thus you must extends the heap by <tt>size</tt> bytes plus the size of the chunk structure.''

=== Find a free chunk ===

This function is responsible to find a free chunk of at least the asked size. It start from the beginning of the heap (retrieved using the function <tt>get_base()</tt>) and look for the first free chunk with at least the required size. It will return the pointer to the chunk '''before''' the founded chunk (so you will use the <tt>next</tt> field to access the chunk.) If no matching chunk have been found, the function will return a pointer to the last chunk of the heap (which next pointer will be NULL.)

* '''Implement the following function:'''

<source lang="C">
static
struct chunk* find_chunk(size_t size);
</source>

=== Retrieve Chunk Pointer from Data ===

For <tt>free</tt> and <tt>realloc</tt>, you'll need to retrieve the pointer to the chunk from the data. The main part of this function is to check that the given pointer is correct.

The test are:

* the pointer is not <tt>NULL</tt> and correctly aligned
* the pointer is between the base pointer and the current break (obtains with <tt>sbrk(0)</tt>)
* After retrieving the chunk pointer, you must check that your pointer is equal to the <tt>data</tt> field of the chunk.

If one of the test failed, you must return <tt>NULL</tt>.

<source lang="C">
static
struct chunk* get_chunk(void *p);
</source>

== <tt>malloc</tt> ==

Implement the <tt>malloc(3)</tt> function using the following strategy:

* Align the size
* Try to find a free chunk
* If no free chunk have been found, extend the heap
* Mark the block has been used (not free)
* Return the pointer to the data

'''Beware, if the heap extension fails, you must return <tt>NULL</tt>'''

== <tt>free</tt> ==

The <tt>free(3)</tt> operation is pretty straightforward:

* get the chunk pointer
* mark data as free

== <tt>calloc</tt> ==

The <tt>calloc(3)</tt> function is also pretty simple to implement:

* Allocate (with <tt>malloc</tt>) a block of <tt>nb * size</tt> bytes
* Fill the block with 0
* Return the pointer

Don't forget to handle error case (when <tt>malloc</tt> returns <tt>NULL</tt>.)

== <tt>realloc</tt> ==

In order to implement <tt>realloc(3)<tt>, follow this strategy:

* Get the pointer to the chunk
* Check if you can satisfy the new size without another allocation
* Allocate a new block
* Copy the data from the old block to the new one
* Free the old block

When doing the copy, you must be sure that you use the smallest size between the old and the new block. And of course, you must manage the error case.

== Extensions ==

Once everything works, you can extend your <tt>malloc(3)</tt> with the following features:

* '''Merge''': allow <tt>free</tt> to merge the freed block with the next and/or previous chunk if they are free
* '''Split''': allow <tt>malloc</tt> to split the founded chunk if it is too big
* '''Give back memory''': allow <tt>free</tt> to move the break when freeing the last chunk

You can probably also use the merge operation in <tt>realloc</tt>.

== Building a library ==

In order to correctly use your malloc, you should build a dynamic library. I suppose that you have put all your functions in a file called <tt>malloc.c</tt>.

First, you must check that the only visible functions are <tt>malloc</tt>, <tt>free</tt>, <tt>calloc</tt> and <tt>realloc</tt> (mark all other functions with the keyword <tt>static</tt>).

The following <tt>Makefile</tt> will help you build the file <tt>libmalloc.so</tt> (the dynamic library):

<source lang="make">
# Makefile for malloc

CC=clang
CFLAGS= -Wall -Wextra -std=c99 -fno-builtin -O0 -g -fPIC
LDFLAGS=
LDLIBS=

libmalloc.so: malloc.o
	${CC} -shared -o libmalloc.so malloc.o

clean:
	rm -f *~ *.o
	rm -f libmalloc.so

# end
</source>

== Testing ==

You should test your <tt>malloc</tt> in 2 steps:

# Test all your functions one by one with your own code (try to allocate several block, free them, realloc them … )
# Replace the libC's malloc with your using <tt>LD_PRELOAD</tt>

In order to replace the libC's malloc, you should first build a dynamic library. If you want to test your code against a real program like <tt>ls</tt>, you must have all the functions. Then, here is an example with <tt>ls</tt>:

<pre>
> ls
Makefile  malloc.c  test.c
> make libmalloc.so
clang -Wall -Wextra -std=c99 -fno-builtin -O0 -g -fPIC   -c -o malloc.o malloc.c
clang -shared -o libmalloc.so malloc.o
> ls
Makefile  libmalloc.so	malloc.c  malloc.o  test.c
> LD_PRELOAD=./libmalloc.so /bin/ls
Makefile  libmalloc.so	malloc.c  malloc.o  test.c
</pre>

If things fails, you can use <tt>gdb</tt>:

<pre>
> gdb -q /bin/ls
(gdb) set exec-wrapper env 'LD_PRELOAD=./libmalloc.so'
(gdb) run
Starting program: /usr/bin/ls 
warning: Could not load shared library symbols for linux-vdso.so.1.
Do you need "set solib-search-path" or "set sysroot"?
Makefile  libmalloc.so	malloc.c  malloc.o  test.c
[Inferior 1 (process 29583) exited normally]
(gdb)
</pre>

Some remarks:
* You really need all functions
* Be sure that <tt>malloc(0)</tt> returns <tt>NULL</tt>
* Be sure that <tt>realloc(NULL, s)</tt> is equivalent to <tt>malloc(s)</tt>
* Be sure that <tt>realloc(p, 0)</tt> returns <tt>NULL</tt> and free <tt>p</tt>