{"id":179,"date":"2024-01-09T11:18:00","date_gmt":"2024-01-09T14:18:00","guid":{"rendered":"https:\/\/suspensao.blog.br\/disbelief\/?p=179"},"modified":"2024-01-16T16:08:39","modified_gmt":"2024-01-16T19:08:39","slug":"implementing-malloc-and-free-1","status":"publish","type":"post","link":"https:\/\/suspensao.blog.br\/disbelief\/implementing-malloc-and-free-1\/","title":{"rendered":"Implementing malloc() and free() \u2014 first steps"},"content":{"rendered":"\n

Following the wonderful journey<\/a> that is reading Crafting Interpreters,<\/em><\/a> I reached the point where we implemented an interpreter in C! As always, Bob Nystrom<\/a> mercilessly proposes very interesting challenges that keep us busy for long periods. For instance, in this chapter<\/a>, he suggests implementing our own memory allocator, without any real need! Inevitably, I was nerdsniped. <\/p>\n\n\n\n

The challenge allows us to allocate a large memory region with an existing malloc()<\/code> function and manage it, but I decided to implement the malloc()<\/code> from scratch. Since I use Ubuntu<\/a>, it was necessary to first understand the memory layout of a process on Linux better.<\/p>\n\n\n\n

Consider the diagram below, which represents the memory layout of a process.<\/p>\n\n\n

\n
\"\"<\/figure>\n<\/div>\n\n\n

In the memory allocated for the process, there are various sections. When the program starts its execution, the shaded part is not yet in use. Throughout its execution, the program declares local variables, causing the stack to grow backward.<\/p>\n\n\n\n

On the other hand, dynamically allocated memory is obtained from the heap, which grows in the opposite direction. The popular way to expand the heap is by increasing the size of the data segment<\/a> (i.e., the section that contains global and static variables) with the sbrk()<\/code> system call.<\/p>\n\n\n

\n
\"Diagram<\/figure>\n<\/div>\n\n\n

The above diagram illustrates how this functional system call works. sbrk()<\/code> takes an integer parameter that will be added to the pointer indicating the end of the data segment. After that, sbrk()<\/code> returns the value of the pointer before the increment.<\/p>\n\n\n\n

In a way, the behavior of sbrk()<\/code> is already sufficient for memory allocation. Our malloc()<\/code> function can simply invoke sbrk()<\/code> and return to the user the pointer to the beginning of the allocated memory block:<\/p>\n\n\n\n

void *abmalloc(size_t size) {\n   return sbrk(size);\n}<\/code><\/pre>\n\n\n\n
In principle, free()<\/code> doesn’t need to do anything: since in this implementation, we always use memory from the top of the heap, there is nothing we can do to reuse older memory blocks. In that sense, free()<\/code> can perfectly be a no-op<\/a>:<\/p>\n\n\n\n
void abfree(void *ptr) {\n}<\/code><\/pre>\n\n\n\n
A useful operation can be done, however, if the block to be freed is the last one allocated. This means it is at the top of the stack, so we just need to move the stack pointer back with the brk()<\/code> system call. This syscall takes a pointer as a parameter and, if this pointer is a “reasonable” value (not null, does not point into the stack, does not point before the heap), it uses the pointer’s value as the new top of the heap. The result would be something like this:<\/p>\n\n\n\n
void abfree(void *ptr) {\n  if (ptr == last_block) {\n      brk(last_block);\n  }\n}<\/code><\/pre>\n\n\n\n
This deallocation, however, is practically useless. Consider the example below:<\/p>\n\n\n\n
void *ptr1 = abmalloc(8);\nvoid *ptr2 = abmalloc(8);\nabfree(ptr2);\nabfree(ptr1);<\/code><\/pre>\n\n\n\n
With the current version of abfree()<\/code>, we can free the memory pointed to by ptr1<\/code>, but not the one pointed to by ptr2<\/code>. To be able to free ptr2<\/code>, it would be necessary to know that, once ptr1<\/code> has been deallocated, the next last block is ptr2<\/code>. Could we create a second_last_block<\/code> variable? It wouldn’t help: we would have the same problem with the penultimate block, and so on.<\/p>\n\n\n\n
We need a more powerful data structure here, and that’s what we’ll see in our next post.<\/p>\n\n\n\n
(This post is a translation of Implementando malloc() e free() \u2014 primeiros passos<\/a>, originally published in Suspens\u00e3o de Descren\u00e7a<\/a>.)<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"
Following the wonderful journey that is reading Crafting Interpreters, I reached the point where we implemented an interpreter in C! As always, Bob Nystrom mercilessly proposes very interesting challenges that keep us busy for long periods. For instance, in this chapter, he suggests implementing our own memory allocator, without any real need! Inevitably, I was … Continue reading “Implementing malloc() and free() \u2014 first steps”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_feature_clip_id":0,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[75,76,22,9],"tags":[77,81,80,79,78,47],"class_list":["post-179","post","type-post","status-publish","format-standard","hentry","category-c","category-linux","category-programming-languages","category-unix","tag-c","tag-free","tag-malloc","tag-memory-allocation","tag-memory-management","tag-software-development"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p9Ru6q-2T","jetpack-related-posts":[],"_links":{"self":[{"href":"https:\/\/suspensao.blog.br\/disbelief\/wp-json\/wp\/v2\/posts\/179","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/suspensao.blog.br\/disbelief\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/suspensao.blog.br\/disbelief\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/suspensao.blog.br\/disbelief\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/suspensao.blog.br\/disbelief\/wp-json\/wp\/v2\/comments?post=179"}],"version-history":[{"count":6,"href":"https:\/\/suspensao.blog.br\/disbelief\/wp-json\/wp\/v2\/posts\/179\/revisions"}],"predecessor-version":[{"id":199,"href":"https:\/\/suspensao.blog.br\/disbelief\/wp-json\/wp\/v2\/posts\/179\/revisions\/199"}],"wp:attachment":[{"href":"https:\/\/suspensao.blog.br\/disbelief\/wp-json\/wp\/v2\/media?parent=179"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/suspensao.blog.br\/disbelief\/wp-json\/wp\/v2\/categories?post=179"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/suspensao.blog.br\/disbelief\/wp-json\/wp\/v2\/tags?post=179"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}