PA 3: Malloc Simulator
vmalloc
checkpoint: May 14- Due date: May 20 23:59 PDT
Table of contents
Learning Goals
In this assignment, we will:
- Practice using bitwise operators
- Use pointer arithmetic to traverse through memory
- Understand the logic behind a simplified version of
malloc
andfree
Introduction
๐๐ฅ๐ฅ ๐ญ๐ก๐ ๐ฆ๐๐ฆ๐จ๐ซ๐ฒโ๐ฌ ๐ ๐ฌ๐ญ๐๐ ๐,
๐๐ง๐ ๐๐ฅ๐ฅ ๐ญ๐ก๐ ๐๐ซ๐ซ๐๐ฒ๐ฌ ๐๐ง๐ ๐ฌ๐ญ๐ซ๐ฎ๐๐ญ๐ฌ ๐ฆ๐๐ซ๐๐ฅ๐ฒ ๐ฉ๐จ๐ข๐ง๐ญ๐๐ซ๐ฌ;
๐๐ก๐๐ฒ ๐ก๐๐ฏ๐ ๐ญ๐ก๐๐ข๐ซ ๐๐ฑ๐ข๐ญ๐ฌ ๐๐ง๐ ๐ญ๐ก๐๐ข๐ซ ๐๐ง๐ญ๐ซ๐๐ง๐๐๐ฌ;
๐๐ง๐ ๐จ๐ง๐ ๐๐ฅ๐จ๐๐ค ๐ข๐ง ๐ข๐ญ๐ฌ ๐ญ๐ข๐ฆ๐ ๐ฉ๐ฅ๐๐ฒ๐ฌ ๐ฆ๐๐ง๐ฒ ๐ฉ๐๐ซ๐ญ๐ฌ.
This is a monumental PA, and for some, a career-defining one. Generations of students of Computer Science have worked on this PA, from our own TAs to tutors, and now to you. Decades may pass, but memory of this PA will remain with many of you, as it did with us.
More specifically, you will be writing your own versions of the malloc
and free
functions, which you should be very familiar with by now.
Getting Started
The starter code for this assignment is hosted on GitHub Classroom. Use the following link to accept the GitHub Classroom assignment:
Click here to accept this GitHub Classroom assignment. (Right click to open in new tab.)
Just like last time, clone the repository to your ieng6
account.
The Code Base
The final product of our code for this PA will no longer be an executable, but a library. Your code will be compiled into a shared object file (.so
). We can then write other programs using our own library functions.
The Library
vmlib.h
: This header file defines the public interface of our library. Other programs wishing to use our library will include this header file.vm.h
: This header file defines the internal data structures, constants, and helper functions for our memory management system. It is not meant to be exposed to users of the library.vminit.c
: This file implements functions that set up our โheapโ.vmalloc.c
: This file implements our own allocation function calledvmalloc
.vmfree.c
: This file implements our own free function calledvmfree
.utils.c
: This file implements thevminfo()
function for visualizing your simulated heap.
Testing
vmtest.c
: This file is not a part of the library. It defines a main function and uses the library functions we created. We can test our library by compiling this file into its own program to run tests. You can write code in themain()
function here for testing purposes.tests/
: This directory contains small programs and other files which you should use for testing your code. We will explain this in more detail in a later section.
Header Files in C
A header file is a file that contains global constants, type definitions (our structs) and function declarationsโthese are just statements that introduce a function by specifying its name, return type, and parameter types, essentially informing the compiler that the function exists before it is actually defined in .c files. Header files typically have a .h extension and are used to separate declaration of your program structure from specific implementation details. You have seen header files in PA 2, but we will discuss them in greater detail here.
Why Use Header Files?
- Reusability โ Functions, types and other things which are defined in a header file can be included in multiple source files without rewriting that code, preventing duplicate declarations and ensuring consistency across multiple files.
- Code Organization and Maintenance โ Header files help keep code clean by separating function declarations from their implementations which is especially helpful for organization and readability when managing multiple .c files in a project at once. In addition to that, when modification to a type or a function is needed, it can be done by a single change in the header file, rather than in multiple source files.
Compiling the Starter Code
To compile, run make
in the root of your repository. You should see the following items show up:
libvm.so
: This is a dynamically linked library, i.e., our own memory allocation system that can be linked to other programs (e.g.,vmtest
). The interface for this library is defined invmlib.h
.vmtest
: This executable is compiled fromvmtest.c
withlibvm.so
linked together. It uses our own memory management library to allocate/free memory.
The starter code in vmtest.c
is very simple: it calls vminit()
to initialize our simulated โheapโ, and calls the vminfo()
function to print out the contents of the heap in a neatly readable format. Run the vmtest
executable to find out what the heap looks like right after itโs been initialized! (Hint: itโs just one giant free block.)
Reading the Starter Code
You should begin by reading (and understanding!) some of the code that we have provided.
In lecture, you were taught using an example allocator with a 16-byte alignment requirement.
In this programming assignment as well, our headers/footers are 8 bytes in size, and all blocks are 16-byte aligned. This means the smallest unit of allocation is 16.
The
size_t
data type, which you will see frequently throughout this PA, is a 64-bit (8-byte) unsigned integer type.The
uint64_t
data type, which you will see in some tests in thetests
directory, is also a 64-bit unsigned integer type. It is used because it explicitly matches the size of pointers.
Begin by reading through the vm.h
file, where we define the internal data structures for the heap. This is where you will find the all-important block headers and block footers. Focus on understanding how struct block_header
is used. You will see it in action later.
Next, open vminit.c
. This is a very big file containing functions that create and set up the simulated heap for this assignment. Find the init_heap()
function, and read through the entire thing to understand how it is setting up the heap. This is not an easy read! There is a lot of pointer arithmetic involved, you will need to do similar things for implementing vmalloc
and vmfree
, so make sure you have a solid understanding of that. (Why is it necessary to cast pointers to different types?)
You may also refer to the following diagram to understand the initial state of the heap once init_heap()
returns. The diagram displays a heap with size 1024.
Our allocator does not manipulate the actual heap in the address space. Instead, we create a large chunk of memory as our โsimulated heapโ, and allocations/frees are performed in that memory region. Hence, this PA is called โMalloc Simulatorโ.
You might notice that to create our simulated heap, we use the
mmap
system call. You donโt need to know howmmap
works for this course, but if you are curious, it essentially implements a memory-mapped model of file access, where a program can treat a chunk of memory as the contents of a file. For example, since/dev/zero
is a special file full of null bytes ('\0'
), mapping it into memory in our case simply means setting up a chunk of memory filled with null bytes. By passingMAP_PRIVATE
tommap
, we ensure that changes made to the mapped memory donโt get written to the file it is initialized from. Likemalloc
andfree
, eachmmap
call that succeeds must have a corresponding call tomunmap
, which is found invmdestroy()
. Your biggest takeaway here is that you should start each test program withvminit
orvmload
and end each test program withvmdestroy
.
Once you understand what the init_heap()
function is doing, open up utils.c
. Here we have implemented the function vminfo()
, which will be your ally throughout this PA. This function traverses through the heap blocks and prints out the metadata in each block header. You should find inspiration for how to write your own vmalloc
function here. Look at how it manipulates the pointer to jump between blocks!
Policies
Before you start writing code, letโs see the rules.
- You are allowed to
#include
any standard library header and use its functionalities. - You are allowed to use and declare global variables.
- You cannot use bit fields.
- You should not modify
utils.c
,vm.h
,vminit.c
, orvmlib.h
. Similar to the previous PA, you can make them read-only by runningchmod a-w utils.c vm.h vminit.c vmlib.h
.
Implementing vmalloc
void *vmalloc(size_t size);
The vmalloc()
function returns a void *
pointer. Unlike other pointers we have dealt with in the past, the void *
pointer is not associated with any concrete data type. It is used as a generic pointer, and can be implicitly cast to any other type of pointer.
The
malloc()
function instdlib.h
also returns avoid *
pointer. Notice how we can assign the pointermalloc()
returns to any pointer type without casting:int *p = malloc(sizeof(int) * 10); char *c = malloc(sizeof(char) * 64);
The size_t size
parameter specifies the number of bytes the caller wants. Again, this is the exact same as the usual malloc
we have been using.
If size
is not greater than 0, or if the allocator could not find a heap block that is large enough for the allocation, then vmalloc
should return NULL
to indicate that no allocation was made.
Allocation Size Calculation
We need to do some calculations based on the requested size to get the actual block size that we need to look for in our heap.
- Add 8 bytes for the block header to the requested size;
- Round up the new size to the nearest multiple of 16.
The reason we do the rounding up is so that all allocated memory blocks are 16-byte aligned. There are complex architectural reasons behind this choice that we will not go into in this PA.
For example, if the user calls vmalloc(10)
, we first add 8 bytes for the header to get 18, and then round up to the nearest multiple of 16, which gets us 32. So to allocate 10 bytes, we need to look for a heap block that is at least 32 bytes in size.
Allocation Policy
We discussed many different allocation policies during class, and the one you will need to implement for this PA is the best-fit policy.
Once you have determined the size requirement of the desired heap block, you need to traverse the entire heap to find the best-fitting block. If there are multiple candidates of the same size, then you should use the first one.
Splitting Large Blocks
If the best-fitting block you find is larger than what we need, then we need to split that block into two. For example, if we are looking for a 16-byte block for vmalloc(4)
, and the best fitting candidate is a 64-byte block, then we will split it into a 16-byte block and a 48-byte block. The former is allocated and returned to the caller, the latter remains free.
Updating Block Header(s)
If a new block was created as a result of a split, you need to create a new header for it, and
- Set the correct size.
- Set the status bit to 0.
- Set the previous bit to 1.
And for the block that was allocated, you need to
- Update the size (if splitting happened).
- Set the status bit to 1.
- Go to the next block header (if itโs not the end mark) and set its previous bit to 1.
Returning the Address
After updating all the relevant metadata, vmalloc
should return a pointer to the start of the payload. Do not return the address of the block header!
Implementing vmfree
void vmfree(void *ptr)
The vmfree
function expects a 16-byte aligned pointer to an allocated payload (i.e., an address obtained by a previous call to vmalloc
). If the address ptr
is NULL
, then vmfree
does not perform any action and returns directly.
Once the address is verified, vmfree
goes to the block header to begin freeing the block. If the block header indicates that the block is already free, then vmfree
returns without performing any additional action. (This means that in our system, a double-free error is theoretically impossible.)
The simplest version of vmfree
just finds the header for the given block and resets the block status bit to 0.
Coalescing freed blocks
Just freeing a block is not necessarily enough, since this may leave us with many small free blocks that canโt hold a large allocation. When freeing, we also want to check if the next and previous blocks in the heap are free, and coalesce with them to make one large free block.
If you are coalescing two blocks, remember to update both the header and the footer!
Block footers / Previous Bit
Since a blockโs header contains its size, we know how far forward to move to get to the next blockโs header. However, when coalescing backwards, we need to know the size of the previous block to get to its header. To be able to do this without walking the entire list of blocks from the beginning, we write the block size to a footer in the last 8 bytes of the block.
Since footers are only needed during coalescing, we only need to add footers to free blocks; this means that footers donโt take up extra space in allocated blocks, and free blocks arenโt using that space anyway. However, we then need to make sure we update the โprevious block busyโ bit correctly so that we donโt confuse user data in an allocated block with footer data in a free block.
You will need to update both your vmalloc
and your vmfree
implementation to add code for creating/updating accurate footers, and making sure the โprevious block busyโ bit is correct.
In conclusion, to free a block, the following actions must be taken (not necessarily in this order):
- Unset the status bit to 0,
- Create a block footer,
- Unset the next blockโs previous bit,
- Coalesce with the next block if it is also free, and
- Coalesce with the previous block if it is also free.
Incremental Development Tips
- Run the starter code and understand the output. Always figure out how to run your program first! You canโt do any testing if you donโt know how to run your program.
- Understand the
init_heap()
function. - Understand the
vminfo()
function. - Begin writing the
vmalloc()
function: - Write and test the size calculation code.
- Write and test the best-fit policy. (A helper function would be great here.) See later section for testing images.
- Write and test splitting free blocks.
- Test everything there is to test for
vmalloc()
. - Begin writing the
vmfree()
function: - Update
vmalloc()
implementation to include block footers. - Write and test a basic
vmfree()
implementation that only frees one block. - Write and test coalescing with the previous/next block.
- Test everything under the sun.
And lastly, as a general tip: Create lots of helper functions! One for getting the block size, one for getting a pointer to the next block, one for setting the allocation bit, one for setting the previous bitโฆ
Write code that is not only functional, but elegant.
Testing
Test Programs
We provide you with plenty of testing code to help you make sure your program is working correctly. In the repository, you will find the tests/
directory, where we have provided some small testing programs that test your library function.
By changing into the tests/
directory and running make
, you can compile all these test programs and run them yourself. These programs are what we will be using in the autograder as well. Make sure to compile your library by running make
outside of tests/
before running it inside tests/
to compile the test programs. These tests use the assert()
statement to check certain test conditions. If your code passes the tests, then nothing will be printed. If one of the assert
statements fail, then you will see an error.
Test Images
When you are writing vmalloc
, you may wonder how you can test the allocation policy fully when you donโt have the ability to free blocks to create a more realistic allocation scenarios (i.e., a heap with many different allocated/free blocks to search through).
To help you with that, we have created some images in the starter code in the tests/img
directory. In your test programs, instead of calling vminit()
, you can call the vmload()
function instead to load one of these images.
Our alloc_basic2
program uses one such image. If you open tests/alloc_basic2.c
, you will see that it creates the simulated heap using the following function call:
vmload("img/many_free.img");
If you load this image and call vminfo()
, you can see exactly how this image is laid out:
vmload: heap created at 0x7c2abd1da000 (4096 bytes).
vmload: heap initialization done.
---------------------------------------
# stat offset size prev
---------------------------------------
0 BUSY 8 48 BUSY
1 BUSY 56 48 BUSY
2 FREE 104 48 BUSY
3 BUSY 152 32 FREE
4 FREE 184 32 BUSY
5 BUSY 216 48 FREE
6 FREE 264 128 BUSY
7 BUSY 392 112 FREE
8 BUSY 504 32 BUSY
9 FREE 536 112 BUSY
10 BUSY 648 352 FREE
11 BUSY 1000 304 BUSY
12 BUSY 1304 336 BUSY
13 FREE 1640 320 BUSY
14 BUSY 1960 288 FREE
15 BUSY 2248 448 BUSY
16 BUSY 2696 256 BUSY
17 BUSY 2952 96 BUSY
18 BUSY 3048 368 BUSY
19 FREE 3416 672 BUSY
END N/A 4088 N/A N/A
---------------------------------------
Total: 4080 bytes, Free: 6, Busy: 14, Total: 20
You can use this image to test allocating in a more realistic heap.
Three images exist in total:
last_free.img
: the last block is free,many_free.img
: many blocks are free,no_free.img
: no block is free (use this to test allocation failure).
Test Structure
Each test is a separate C file (e.g., alloc_basic.c
, free_basic.c
) designed to:
- Allocate memory using
vmalloc()
- Free memory using
vmfree()
- Check if the allocator correctly handles edge cases (e.g., allocating zero bytes, coalescing freed blocks)
Categories of Tests
The test cases are designed to check different aspects of the allocator:
- Basic Allocation (
alloc_basic.c
,alloc_basic2.c
): Ensures that memory can be successfully allocated. - Edge Cases (
alloc_oversize.c
,alloc_zero.c
): Tests if the allocator correctly handles invalid allocation requests. - Fragmentation and Freeing (
free_coalesce_l.c
,free_coalesce_r.c
): Verifies that freed memory is properly coalesced to reduce fragmentation. - Stress Tests (
alloc_large.c
,alloc_full.c
): Checks how the allocator behaves under heavy memory usage.
These are not the only test files that will be used to evaluate your code. The categories listed above are just examples to give you a general idea of the types of tests included. You can find all the test files in the tests
folder inside the repo.
Formatting Your Code
Once again, we expect your code to be formatted for good readability. In the directory with your C code, run the following command to format your code:
clang-format -i *.c *.h
This is identical to the clang-format
command we gave you in previous PAs.
The Checkpoint
For the checkpoint, we expect you to finish the implementation for the basic features of vmalloc
. This means your allocator should be able to do the following:
- Traverse the heap to find the best-fitting block, and
- Allocate that block by updating the block header and returning the correct address.
You do not need to have implemented block splitting or block footers, or anything related to vmfree
for this checkpoint. But we encourage you to start working on it as soon as possible.
If you are able to reach the checkpoint by Wednesday (May 14, 2025), it means you are on right track.
The checkpoint may look simple, but it takes a lot of work to get it working. So please start this assignment early, and utilize tutor/office hours!
Remember that this checkpoint serves as a progress indicator rather than a strict deadline. The goal is to ensure youโre engaging with the assignment early and understanding the fundamental concepts needed for successful completion.
Citing AI Usage
As stated in the course syllabus:
If you use AI to help you on a PA, we would like you to briefly cite how you used AI in the contributions section of each PA. This citation allows us to understand the role of AI in the learning process, and will not impact your grade.
For this PA, please describe your AI usage in a new file named credits.txt
. If you did not use AI, you must state this in credits.txt. The autograder will require you to create and edit credits.txt
to get points.
Final Submission
Submit your code to Gradescope. Make sure your code compiles and works with the aforementioned two test programs. To prevent problems with GitHub integration, you should open Gradescope by itself and not within Canvas.
Reflection Survey 3
The last part of this assignment is, once again, a reflection survey. Please spend a few minutes reflecting on your experience in this course as we approach its end. We read every single submission to help improve this course!
Grading and Point Distribution
To evaluate your work, the autograder runs each test in the tests
directory of the starter code against your submission. To help you troubleshoot, the autograder uses a verbose version of each test that shows the meaning of each assertion. Results for test_alloc_large
, test_alloc_zero
, and test_free_coalesce_lr
will be hidden until after the deadline, but all other test results will be public.
Each test is worth 5 points. If a test produces correct output but causes errors in Valgrind, you receive 4 points for that test.
Component | Breakdown | Points available |
---|---|---|
Compilation | 4 points for compiling successfully | 4 |
vmalloc tests | 8 public tests and 2 private tests; 5 points per test | 50 |
vmfree tests | 4 public tests and 1 private test; 5 points per test | 25 |
Reflection Survey 3 | 1 point for submission | 1 |
Total: 80 points