feat: added test cases
This commit is contained in:
parent
b11b8a26e4
commit
6b738626c2
|
@ -3,26 +3,7 @@
|
||||||
|
|
||||||
int main(int argc, char const *argv[])
|
int main(int argc, char const *argv[])
|
||||||
{
|
{
|
||||||
size_t sz_x = sizeof(int);
|
sf_malloc(sizeof(int));
|
||||||
void *x1 = sf_malloc(sz_x);
|
sf_free(((void *)(intptr_t)sf_mem_end()) - 2 * sizeof(sf_header));
|
||||||
void *x2 = sf_malloc(sz_x);
|
|
||||||
void *x3 = sf_malloc(sz_x);
|
|
||||||
void *x4 = sf_malloc(sz_x);
|
|
||||||
void *x5 = sf_malloc(sz_x);
|
|
||||||
|
|
||||||
sf_show_heap();
|
|
||||||
|
|
||||||
sf_free(x1);
|
|
||||||
sf_free(x2);
|
|
||||||
sf_free(x3);
|
|
||||||
sf_free(x4);
|
|
||||||
sf_free(x5);
|
|
||||||
|
|
||||||
|
|
||||||
void *x6 = sf_malloc(sz_x);
|
|
||||||
sf_show_heap();
|
|
||||||
sf_free(x6);
|
|
||||||
|
|
||||||
sf_show_heap();
|
|
||||||
return EXIT_SUCCESS;
|
return EXIT_SUCCESS;
|
||||||
}
|
}
|
||||||
|
|
|
@ -15,6 +15,10 @@ static sf_block *epi;
|
||||||
static sf_size_t in_qklst = 0x00000001;
|
static sf_size_t in_qklst = 0x00000001;
|
||||||
static sf_size_t prv_alloc = 0x00000002;
|
static sf_size_t prv_alloc = 0x00000002;
|
||||||
static sf_size_t alloc = 0x00000004;
|
static sf_size_t alloc = 0x00000004;
|
||||||
|
// static sf_size_t total_payload = 0;
|
||||||
|
// static sf_size_t max_payload = 0;
|
||||||
|
// static sf_size_t total_block_size = 0;
|
||||||
|
static sf_size_t total_pages = 0;
|
||||||
|
|
||||||
int sf_initialize();
|
int sf_initialize();
|
||||||
void set_header(sf_block *block, sf_header value);
|
void set_header(sf_block *block, sf_header value);
|
||||||
|
@ -52,7 +56,6 @@ void *sf_malloc(sf_size_t size)
|
||||||
if (sf_mem_start() == sf_mem_end())
|
if (sf_mem_start() == sf_mem_end())
|
||||||
if (sf_initialize())
|
if (sf_initialize())
|
||||||
return NULL;
|
return NULL;
|
||||||
// sf_show_heap();
|
|
||||||
sf_size_t min_size = get_min_size(size);
|
sf_size_t min_size = get_min_size(size);
|
||||||
|
|
||||||
sf_size_t index = (min_size - 32) / 16;
|
sf_size_t index = (min_size - 32) / 16;
|
||||||
|
@ -81,6 +84,7 @@ void *sf_malloc(sf_size_t size)
|
||||||
set_entire_header(ptr, size, get_block_size(ptr->header), 1, get_prv_alloc(ptr->header), 0, 0);
|
set_entire_header(ptr, size, get_block_size(ptr->header), 1, get_prv_alloc(ptr->header), 0, 0);
|
||||||
return ptr->body.payload;
|
return ptr->body.payload;
|
||||||
}
|
}
|
||||||
|
ptr = ptr->body.links.next;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
|
@ -95,7 +99,6 @@ void *sf_malloc(sf_size_t size)
|
||||||
set_entire_header(ptr, size, min_size, 1, get_prv_alloc(ptr->header), 0, 0);
|
set_entire_header(ptr, size, min_size, 1, get_prv_alloc(ptr->header), 0, 0);
|
||||||
set_entire_header(block, 0, block_size, 0, get_prv_alloc(block->header), 0, 0);
|
set_entire_header(block, 0, block_size, 0, get_prv_alloc(block->header), 0, 0);
|
||||||
put_block(block);
|
put_block(block);
|
||||||
// sf_show_block(block);
|
|
||||||
return ptr->body.payload;
|
return ptr->body.payload;
|
||||||
}
|
}
|
||||||
ptr = ptr->body.links.next;
|
ptr = ptr->body.links.next;
|
||||||
|
@ -113,6 +116,7 @@ void *sf_malloc(sf_size_t size)
|
||||||
sf_errno = ENOMEM;
|
sf_errno = ENOMEM;
|
||||||
return NULL;
|
return NULL;
|
||||||
}
|
}
|
||||||
|
total_pages += 1024;
|
||||||
if (last->body.links.next != NULL)
|
if (last->body.links.next != NULL)
|
||||||
remove_list(last);
|
remove_list(last);
|
||||||
set_entire_header(last, 0, (get_block_size(last->header) + PAGE_SZ), 0, get_prv_alloc(last->header), 0, 0);
|
set_entire_header(last, 0, (get_block_size(last->header) + PAGE_SZ), 0, get_prv_alloc(last->header), 0, 0);
|
||||||
|
@ -130,8 +134,6 @@ void *sf_malloc(sf_size_t size)
|
||||||
epi = (sf_block *)(((intptr_t)sf_mem_end()) - 2 * sizeof(sf_header));
|
epi = (sf_block *)(((intptr_t)sf_mem_end()) - 2 * sizeof(sf_header));
|
||||||
set_entire_header(epi, 0, 0, 1, get_alloc(epi->prev_footer), 0, 1);
|
set_entire_header(epi, 0, 0, 1, get_alloc(epi->prev_footer), 0, 1);
|
||||||
|
|
||||||
// sf_show_block(ptr);
|
|
||||||
// sf_show_block(epi);
|
|
||||||
return last->body.payload;
|
return last->body.payload;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -170,11 +172,12 @@ void *sf_realloc(void *pp, sf_size_t rsize)
|
||||||
valid_pointer(block);
|
valid_pointer(block);
|
||||||
sf_size_t size = get_block_size(block->header);
|
sf_size_t size = get_block_size(block->header);
|
||||||
sf_size_t new_size = get_min_size(rsize);
|
sf_size_t new_size = get_min_size(rsize);
|
||||||
if (new_size >= size)
|
if (new_size > size)
|
||||||
{
|
{
|
||||||
sf_block *new = (sf_block *)(((intptr_t)sf_malloc(rsize)) - 2 * sizeof(sf_header));
|
sf_block *new;
|
||||||
if (new == NULL)
|
if ((new = sf_malloc(rsize)) == NULL)
|
||||||
return NULL;
|
return NULL;
|
||||||
|
new = (sf_block *)(((intptr_t)new) - 2 * sizeof(sf_header));
|
||||||
memcpy(new->body.payload, block->body.payload, size);
|
memcpy(new->body.payload, block->body.payload, size);
|
||||||
sf_free(pp);
|
sf_free(pp);
|
||||||
return new->body.payload;
|
return new->body.payload;
|
||||||
|
@ -216,13 +219,12 @@ int sf_initialize()
|
||||||
sf_errno = ENOMEM;
|
sf_errno = ENOMEM;
|
||||||
return 1;
|
return 1;
|
||||||
}
|
}
|
||||||
|
total_pages += 1024;
|
||||||
pro = (sf_block *)sf_mem_start();
|
pro = (sf_block *)sf_mem_start();
|
||||||
// sf_show_block(pro);
|
|
||||||
set_entire_header(pro, 0, 32, 1, 1, 0, 1);
|
set_entire_header(pro, 0, 32, 1, 1, 0, 1);
|
||||||
epi = (sf_block *)(((intptr_t)sf_mem_end()) - 2 * sizeof(sf_header));
|
epi = (sf_block *)(((intptr_t)sf_mem_end()) - 2 * sizeof(sf_header));
|
||||||
|
|
||||||
set_entire_header(epi, 0, 0, 1, 1, 0, 1);
|
set_entire_header(epi, 0, 0, 1, 1, 0, 1);
|
||||||
// sf_show_block(epi);
|
|
||||||
for (size_t i = 0; i < NUM_FREE_LISTS; i++)
|
for (size_t i = 0; i < NUM_FREE_LISTS; i++)
|
||||||
{
|
{
|
||||||
sf_free_list_heads[i].body.links.prev = &sf_free_list_heads[i];
|
sf_free_list_heads[i].body.links.prev = &sf_free_list_heads[i];
|
||||||
|
@ -412,7 +414,7 @@ void valid_pointer(sf_block *pp)
|
||||||
abort();
|
abort();
|
||||||
if (get_block_size(pp->header) < 32 || get_block_size(pp->header) % 16 != 0)
|
if (get_block_size(pp->header) < 32 || get_block_size(pp->header) % 16 != 0)
|
||||||
abort();
|
abort();
|
||||||
if (((intptr_t)&pp->header) < (((intptr_t)&pro->header) + 32) || ((intptr_t)&pp->header) > (((intptr_t)&epi->header) - 8))
|
if (((intptr_t)&pp->header) < (((intptr_t)&pro->header) + 32) || ((intptr_t)&pp->header) >= (((intptr_t)&epi->header) - 16))
|
||||||
abort();
|
abort();
|
||||||
if (get_alloc(pp->header) == 0 || (get_prv_alloc(pp->header) == 0 && get_alloc(pp->prev_footer) != 0))
|
if (get_alloc(pp->header) == 0 || (get_prv_alloc(pp->header) == 0 && get_alloc(pp->prev_footer) != 0))
|
||||||
abort();
|
abort();
|
||||||
|
|
|
@ -9,20 +9,26 @@
|
||||||
* Assert the total number of free blocks of a specified size.
|
* Assert the total number of free blocks of a specified size.
|
||||||
* If size == 0, then assert the total number of all free blocks.
|
* If size == 0, then assert the total number of all free blocks.
|
||||||
*/
|
*/
|
||||||
void assert_free_block_count(size_t size, int count) {
|
void assert_free_block_count(size_t size, int count)
|
||||||
|
{
|
||||||
int cnt = 0;
|
int cnt = 0;
|
||||||
for(int i = 0; i < NUM_FREE_LISTS; i++) {
|
for (int i = 0; i < NUM_FREE_LISTS; i++)
|
||||||
|
{
|
||||||
sf_block *bp = sf_free_list_heads[i].body.links.next;
|
sf_block *bp = sf_free_list_heads[i].body.links.next;
|
||||||
while(bp != &sf_free_list_heads[i]) {
|
while (bp != &sf_free_list_heads[i])
|
||||||
|
{
|
||||||
if (size == 0 || size == ((bp->header ^ MAGIC) & 0xfffffff0))
|
if (size == 0 || size == ((bp->header ^ MAGIC) & 0xfffffff0))
|
||||||
cnt++;
|
cnt++;
|
||||||
bp = bp->body.links.next;
|
bp = bp->body.links.next;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
if(size == 0) {
|
if (size == 0)
|
||||||
|
{
|
||||||
cr_assert_eq(cnt, count, "Wrong number of free blocks (exp=%d, found=%d)",
|
cr_assert_eq(cnt, count, "Wrong number of free blocks (exp=%d, found=%d)",
|
||||||
count, cnt);
|
count, cnt);
|
||||||
} else {
|
}
|
||||||
|
else
|
||||||
|
{
|
||||||
cr_assert_eq(cnt, count, "Wrong number of free blocks of size %ld (exp=%d, found=%d)",
|
cr_assert_eq(cnt, count, "Wrong number of free blocks of size %ld (exp=%d, found=%d)",
|
||||||
size, count, cnt);
|
size, count, cnt);
|
||||||
}
|
}
|
||||||
|
@ -32,14 +38,19 @@ void assert_free_block_count(size_t size, int count) {
|
||||||
* Assert the total number of quick list blocks of a specified size.
|
* Assert the total number of quick list blocks of a specified size.
|
||||||
* If size == 0, then assert the total number of all quick list blocks.
|
* If size == 0, then assert the total number of all quick list blocks.
|
||||||
*/
|
*/
|
||||||
void assert_quick_list_block_count(size_t size, int count) {
|
void assert_quick_list_block_count(size_t size, int count)
|
||||||
|
{
|
||||||
int cnt = 0;
|
int cnt = 0;
|
||||||
for(int i = 0; i < NUM_QUICK_LISTS; i++) {
|
for (int i = 0; i < NUM_QUICK_LISTS; i++)
|
||||||
|
{
|
||||||
sf_block *bp = sf_quick_lists[i].first;
|
sf_block *bp = sf_quick_lists[i].first;
|
||||||
while(bp != NULL) {
|
while (bp != NULL)
|
||||||
if(size == 0 || size == ((bp->header ^ MAGIC) & 0xfffffff0)) {
|
{
|
||||||
|
if (size == 0 || size == ((bp->header ^ MAGIC) & 0xfffffff0))
|
||||||
|
{
|
||||||
cnt++;
|
cnt++;
|
||||||
if(size != 0) {
|
if (size != 0)
|
||||||
|
{
|
||||||
// Check that the block is in the correct list for its size.
|
// Check that the block is in the correct list for its size.
|
||||||
int index = (size - 32) >> 4;
|
int index = (size - 32) >> 4;
|
||||||
cr_assert_eq(index, i, "Block %p (size %ld) is in wrong quick list for its size "
|
cr_assert_eq(index, i, "Block %p (size %ld) is in wrong quick list for its size "
|
||||||
|
@ -50,16 +61,20 @@ void assert_quick_list_block_count(size_t size, int count) {
|
||||||
bp = bp->body.links.next;
|
bp = bp->body.links.next;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
if(size == 0) {
|
if (size == 0)
|
||||||
|
{
|
||||||
cr_assert_eq(cnt, count, "Wrong number of quick list blocks (exp=%d, found=%d)",
|
cr_assert_eq(cnt, count, "Wrong number of quick list blocks (exp=%d, found=%d)",
|
||||||
count, cnt);
|
count, cnt);
|
||||||
} else {
|
}
|
||||||
|
else
|
||||||
|
{
|
||||||
cr_assert_eq(cnt, count, "Wrong number of quick list blocks of size %ld (exp=%d, found=%d)",
|
cr_assert_eq(cnt, count, "Wrong number of quick list blocks of size %ld (exp=%d, found=%d)",
|
||||||
size, count, cnt);
|
size, count, cnt);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
Test(sfmm_basecode_suite, malloc_an_int, .timeout = TEST_TIMEOUT) {
|
Test(sfmm_basecode_suite, malloc_an_int, .timeout = TEST_TIMEOUT)
|
||||||
|
{
|
||||||
sf_errno = 0;
|
sf_errno = 0;
|
||||||
size_t sz = sizeof(int);
|
size_t sz = sizeof(int);
|
||||||
int *x = sf_malloc(sz);
|
int *x = sf_malloc(sz);
|
||||||
|
@ -82,7 +97,8 @@ Test(sfmm_basecode_suite, malloc_an_int, .timeout = TEST_TIMEOUT) {
|
||||||
cr_assert(sf_mem_start() + PAGE_SZ == sf_mem_end(), "Allocated more than necessary!");
|
cr_assert(sf_mem_start() + PAGE_SZ == sf_mem_end(), "Allocated more than necessary!");
|
||||||
}
|
}
|
||||||
|
|
||||||
Test(sfmm_basecode_suite, malloc_four_pages, .timeout = TEST_TIMEOUT) {
|
Test(sfmm_basecode_suite, malloc_four_pages, .timeout = TEST_TIMEOUT)
|
||||||
|
{
|
||||||
sf_errno = 0;
|
sf_errno = 0;
|
||||||
|
|
||||||
void *x = sf_malloc(4032);
|
void *x = sf_malloc(4032);
|
||||||
|
@ -92,7 +108,8 @@ Test(sfmm_basecode_suite, malloc_four_pages, .timeout = TEST_TIMEOUT) {
|
||||||
cr_assert(sf_errno == 0, "sf_errno is not 0!");
|
cr_assert(sf_errno == 0, "sf_errno is not 0!");
|
||||||
}
|
}
|
||||||
|
|
||||||
Test(sfmm_basecode_suite, malloc_too_large, .timeout = TEST_TIMEOUT) {
|
Test(sfmm_basecode_suite, malloc_too_large, .timeout = TEST_TIMEOUT)
|
||||||
|
{
|
||||||
sf_errno = 0;
|
sf_errno = 0;
|
||||||
void *x = sf_malloc(98304);
|
void *x = sf_malloc(98304);
|
||||||
|
|
||||||
|
@ -103,7 +120,8 @@ Test(sfmm_basecode_suite, malloc_too_large, .timeout = TEST_TIMEOUT) {
|
||||||
cr_assert(sf_errno == ENOMEM, "sf_errno is not ENOMEM!");
|
cr_assert(sf_errno == ENOMEM, "sf_errno is not ENOMEM!");
|
||||||
}
|
}
|
||||||
|
|
||||||
Test(sfmm_basecode_suite, free_quick, .timeout = TEST_TIMEOUT) {
|
Test(sfmm_basecode_suite, free_quick, .timeout = TEST_TIMEOUT)
|
||||||
|
{
|
||||||
sf_errno = 0;
|
sf_errno = 0;
|
||||||
size_t sz_x = 8, sz_y = 32, sz_z = 1;
|
size_t sz_x = 8, sz_y = 32, sz_z = 1;
|
||||||
/* void *x = */ sf_malloc(sz_x);
|
/* void *x = */ sf_malloc(sz_x);
|
||||||
|
@ -119,7 +137,8 @@ Test(sfmm_basecode_suite, free_quick, .timeout = TEST_TIMEOUT) {
|
||||||
cr_assert(sf_errno == 0, "sf_errno is not zero!");
|
cr_assert(sf_errno == 0, "sf_errno is not zero!");
|
||||||
}
|
}
|
||||||
|
|
||||||
Test(sfmm_basecode_suite, free_no_coalesce, .timeout = TEST_TIMEOUT) {
|
Test(sfmm_basecode_suite, free_no_coalesce, .timeout = TEST_TIMEOUT)
|
||||||
|
{
|
||||||
sf_errno = 0;
|
sf_errno = 0;
|
||||||
size_t sz_x = 8, sz_y = 200, sz_z = 1;
|
size_t sz_x = 8, sz_y = 200, sz_z = 1;
|
||||||
/* void *x = */ sf_malloc(sz_x);
|
/* void *x = */ sf_malloc(sz_x);
|
||||||
|
@ -136,7 +155,8 @@ Test(sfmm_basecode_suite, free_no_coalesce, .timeout = TEST_TIMEOUT) {
|
||||||
cr_assert(sf_errno == 0, "sf_errno is not zero!");
|
cr_assert(sf_errno == 0, "sf_errno is not zero!");
|
||||||
}
|
}
|
||||||
|
|
||||||
Test(sfmm_basecode_suite, free_coalesce, .timeout = TEST_TIMEOUT) {
|
Test(sfmm_basecode_suite, free_coalesce, .timeout = TEST_TIMEOUT)
|
||||||
|
{
|
||||||
sf_errno = 0;
|
sf_errno = 0;
|
||||||
size_t sz_w = 8, sz_x = 200, sz_y = 300, sz_z = 4;
|
size_t sz_w = 8, sz_x = 200, sz_y = 300, sz_z = 4;
|
||||||
/* void *w = */ sf_malloc(sz_w);
|
/* void *w = */ sf_malloc(sz_w);
|
||||||
|
@ -155,7 +175,8 @@ Test(sfmm_basecode_suite, free_coalesce, .timeout = TEST_TIMEOUT) {
|
||||||
cr_assert(sf_errno == 0, "sf_errno is not zero!");
|
cr_assert(sf_errno == 0, "sf_errno is not zero!");
|
||||||
}
|
}
|
||||||
|
|
||||||
Test(sfmm_basecode_suite, freelist, .timeout = TEST_TIMEOUT) {
|
Test(sfmm_basecode_suite, freelist, .timeout = TEST_TIMEOUT)
|
||||||
|
{
|
||||||
size_t sz_u = 200, sz_v = 150, sz_w = 50, sz_x = 150, sz_y = 200, sz_z = 250;
|
size_t sz_u = 200, sz_v = 150, sz_w = 50, sz_x = 150, sz_y = 200, sz_z = 250;
|
||||||
void *u = sf_malloc(sz_u);
|
void *u = sf_malloc(sz_u);
|
||||||
/* void *v = */ sf_malloc(sz_v);
|
/* void *v = */ sf_malloc(sz_v);
|
||||||
|
@ -181,7 +202,8 @@ Test(sfmm_basecode_suite, freelist, .timeout = TEST_TIMEOUT) {
|
||||||
i, &bp->header, (char *)y - 8);
|
i, &bp->header, (char *)y - 8);
|
||||||
}
|
}
|
||||||
|
|
||||||
Test(sfmm_basecode_suite, realloc_larger_block, .timeout = TEST_TIMEOUT) {
|
Test(sfmm_basecode_suite, realloc_larger_block, .timeout = TEST_TIMEOUT)
|
||||||
|
{
|
||||||
size_t sz_x = sizeof(int), sz_y = 10, sz_x1 = sizeof(int) * 20;
|
size_t sz_x = sizeof(int), sz_y = 10, sz_x1 = sizeof(int) * 20;
|
||||||
void *x = sf_malloc(sz_x);
|
void *x = sf_malloc(sz_x);
|
||||||
/* void *y = */ sf_malloc(sz_y);
|
/* void *y = */ sf_malloc(sz_y);
|
||||||
|
@ -203,7 +225,8 @@ Test(sfmm_basecode_suite, realloc_larger_block, .timeout = TEST_TIMEOUT) {
|
||||||
assert_free_block_count(816, 1);
|
assert_free_block_count(816, 1);
|
||||||
}
|
}
|
||||||
|
|
||||||
Test(sfmm_basecode_suite, realloc_smaller_block_splinter, .timeout = TEST_TIMEOUT) {
|
Test(sfmm_basecode_suite, realloc_smaller_block_splinter, .timeout = TEST_TIMEOUT)
|
||||||
|
{
|
||||||
size_t sz_x = sizeof(int) * 20, sz_y = sizeof(int) * 16;
|
size_t sz_x = sizeof(int) * 20, sz_y = sizeof(int) * 16;
|
||||||
void *x = sf_malloc(sz_x);
|
void *x = sf_malloc(sz_x);
|
||||||
void *y = sf_realloc(x, sz_y);
|
void *y = sf_realloc(x, sz_y);
|
||||||
|
@ -226,7 +249,8 @@ Test(sfmm_basecode_suite, realloc_smaller_block_splinter, .timeout = TEST_TIMEOU
|
||||||
assert_free_block_count(880, 1);
|
assert_free_block_count(880, 1);
|
||||||
}
|
}
|
||||||
|
|
||||||
Test(sfmm_basecode_suite, realloc_smaller_block_free_block, .timeout = TEST_TIMEOUT) {
|
Test(sfmm_basecode_suite, realloc_smaller_block_free_block, .timeout = TEST_TIMEOUT)
|
||||||
|
{
|
||||||
size_t sz_x = sizeof(double) * 8, sz_y = sizeof(int);
|
size_t sz_x = sizeof(double) * 8, sz_y = sizeof(int);
|
||||||
void *x = sf_malloc(sz_x);
|
void *x = sf_malloc(sz_x);
|
||||||
void *y = sf_realloc(x, sz_y);
|
void *y = sf_realloc(x, sz_y);
|
||||||
|
@ -258,3 +282,101 @@ Test(sfmm_basecode_suite, realloc_smaller_block_free_block, .timeout = TEST_TIME
|
||||||
|
|
||||||
// Test(sfmm_student_suite, student_test_1, .timeout = TEST_TIMEOUT) {
|
// Test(sfmm_student_suite, student_test_1, .timeout = TEST_TIMEOUT) {
|
||||||
// }
|
// }
|
||||||
|
|
||||||
|
Test(sfmm_basecode_suite, quicklist1, .timeout = TEST_TIMEOUT)
|
||||||
|
{
|
||||||
|
|
||||||
|
size_t sz_x = sizeof(int);
|
||||||
|
void *x1 = sf_malloc(sz_x);
|
||||||
|
void *x2 = sf_malloc(sz_x);
|
||||||
|
void *x3 = sf_malloc(sz_x);
|
||||||
|
void *x4 = sf_malloc(sz_x);
|
||||||
|
void *x5 = sf_malloc(sz_x);
|
||||||
|
void *x6 = sf_malloc(sz_x);
|
||||||
|
|
||||||
|
sf_free(x1);
|
||||||
|
sf_free(x2);
|
||||||
|
sf_free(x3);
|
||||||
|
sf_free(x4);
|
||||||
|
sf_free(x5);
|
||||||
|
sf_free(x6);
|
||||||
|
|
||||||
|
assert_quick_list_block_count(0, 1);
|
||||||
|
assert_free_block_count(0, 2);
|
||||||
|
assert_free_block_count(160, 1);
|
||||||
|
assert_free_block_count(784, 1);
|
||||||
|
|
||||||
|
// First block in list should be the most recently freed block not in quick list.
|
||||||
|
int i = 0;
|
||||||
|
sf_block *bp = sf_quick_lists[i].first;
|
||||||
|
cr_assert_eq(&bp->header, (char *)x6 - 8,
|
||||||
|
"Wrong first block in free list %d: (found=%p, exp=%p)",
|
||||||
|
i, &bp->header, (char *)x6 - 8);
|
||||||
|
}
|
||||||
|
|
||||||
|
Test(sfmm_basecode_suite, quicklist2, .timeout = TEST_TIMEOUT)
|
||||||
|
{
|
||||||
|
|
||||||
|
size_t sz_x = sizeof(int);
|
||||||
|
void *x1 = sf_malloc(sz_x);
|
||||||
|
void *x2 = sf_malloc(sz_x);
|
||||||
|
void *x3 = sf_malloc(sz_x);
|
||||||
|
void *x4 = sf_malloc(sz_x);
|
||||||
|
void *x5 = sf_malloc(sz_x);
|
||||||
|
|
||||||
|
sf_free(x5);
|
||||||
|
sf_free(x4);
|
||||||
|
sf_free(x3);
|
||||||
|
sf_free(x2);
|
||||||
|
sf_free(x1);
|
||||||
|
|
||||||
|
assert_quick_list_block_count(0, 5);
|
||||||
|
assert_free_block_count(0, 1);
|
||||||
|
assert_free_block_count(816, 1);
|
||||||
|
|
||||||
|
|
||||||
|
// First block in list should be the most recently freed block not in quick list.
|
||||||
|
int i = 0;
|
||||||
|
sf_block *bp = sf_quick_lists[i].first;
|
||||||
|
cr_assert_eq(&bp->header, (char *)x1 - 8,
|
||||||
|
"Wrong first block in free list %d: (found=%p, exp=%p)",
|
||||||
|
i, &bp->header, (char *)x1 - 8);
|
||||||
|
}
|
||||||
|
|
||||||
|
Test(sfmm_basecode_suite, realloc1, .timeout = TEST_TIMEOUT) {
|
||||||
|
char * x1 = sf_malloc(2000-8);
|
||||||
|
char * x2 = sf_malloc(10000-8);
|
||||||
|
sf_free(x1);
|
||||||
|
x2 = sf_realloc(x2, 12000-8);
|
||||||
|
assert_quick_list_block_count(0, 0);
|
||||||
|
assert_free_block_count(0, 2);
|
||||||
|
assert_free_block_count(12000, 1);
|
||||||
|
assert_free_block_count(528, 1);
|
||||||
|
}
|
||||||
|
|
||||||
|
Test(sfmm_basecode_suite, realloc2, .timeout = TEST_TIMEOUT) {
|
||||||
|
int *x1 = sf_malloc(sizeof(int));
|
||||||
|
sf_malloc(sizeof(int));
|
||||||
|
*x1 = 114514;
|
||||||
|
int *x3 = sf_realloc(x1, sizeof(double));
|
||||||
|
x3 = sf_realloc(x1, sizeof(long));
|
||||||
|
x3 = sf_realloc(x1, 24000);
|
||||||
|
|
||||||
|
assert_quick_list_block_count(0, 1);
|
||||||
|
assert_free_block_count(0, 1);
|
||||||
|
assert_free_block_count(448, 1);
|
||||||
|
|
||||||
|
cr_assert_eq(114514, (int)*x3,
|
||||||
|
"Wrong value: (found=%d, exp=%d)",
|
||||||
|
114514, (int)*x3);
|
||||||
|
}
|
||||||
|
|
||||||
|
Test(sfmm_basecode_suite, freepro, .signal=SIGABRT, .timeout = TEST_TIMEOUT) {
|
||||||
|
sf_malloc(sizeof(int));
|
||||||
|
sf_free(sf_mem_start());
|
||||||
|
}
|
||||||
|
|
||||||
|
Test(sfmm_basecode_suite, freeepi, .signal=SIGABRT, .timeout = TEST_TIMEOUT) {
|
||||||
|
sf_malloc(sizeof(int));
|
||||||
|
sf_free(((void *)(intptr_t)sf_mem_end()) - 2 * sizeof(sf_header));
|
||||||
|
}
|
Loading…
Reference in New Issue
Block a user