Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 1 | #include <stdio.h> |
| 2 | #include <stdlib.h> |
| 3 | |
| 4 | #include "misc.h" |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 5 | #include "mpconfig.h" |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 6 | |
Damien George | 2d15c12 | 2014-01-29 20:33:20 +0000 | [diff] [blame] | 7 | #if 0 // print debugging info |
| 8 | #define DEBUG_printf(args...) printf(args) |
| 9 | #else // don't print debugging info |
| 10 | #define DEBUG_printf(args...) (void)0 |
| 11 | #endif |
| 12 | |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 13 | #if MICROPY_MEM_STATS |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 14 | static int total_bytes_allocated = 0; |
Paul Sokolovsky | 02de0c5 | 2014-01-01 23:15:47 +0200 | [diff] [blame] | 15 | static int current_bytes_allocated = 0; |
Paul Sokolovsky | 780f555 | 2014-01-01 23:42:21 +0200 | [diff] [blame] | 16 | static int peak_bytes_allocated = 0; |
| 17 | |
| 18 | #define UPDATE_PEAK() { if (current_bytes_allocated > peak_bytes_allocated) peak_bytes_allocated = current_bytes_allocated; } |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 19 | #endif |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 20 | |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 21 | void *m_malloc(int num_bytes) { |
| 22 | if (num_bytes == 0) { |
| 23 | return NULL; |
| 24 | } |
| 25 | void *ptr = malloc(num_bytes); |
| 26 | if (ptr == NULL) { |
| 27 | printf("could not allocate memory, allocating %d bytes\n", num_bytes); |
| 28 | return NULL; |
| 29 | } |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 30 | #if MICROPY_MEM_STATS |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 31 | total_bytes_allocated += num_bytes; |
Paul Sokolovsky | 02de0c5 | 2014-01-01 23:15:47 +0200 | [diff] [blame] | 32 | current_bytes_allocated += num_bytes; |
Paul Sokolovsky | 780f555 | 2014-01-01 23:42:21 +0200 | [diff] [blame] | 33 | UPDATE_PEAK(); |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 34 | #endif |
Damien George | 2d15c12 | 2014-01-29 20:33:20 +0000 | [diff] [blame] | 35 | DEBUG_printf("malloc %d : %p\n", num_bytes, ptr); |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 36 | return ptr; |
| 37 | } |
| 38 | |
| 39 | void *m_malloc0(int num_bytes) { |
| 40 | if (num_bytes == 0) { |
| 41 | return NULL; |
| 42 | } |
| 43 | void *ptr = calloc(1, num_bytes); |
| 44 | if (ptr == NULL) { |
| 45 | printf("could not allocate memory, allocating %d bytes\n", num_bytes); |
| 46 | return NULL; |
| 47 | } |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 48 | #if MICROPY_MEM_STATS |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 49 | total_bytes_allocated += num_bytes; |
Paul Sokolovsky | 02de0c5 | 2014-01-01 23:15:47 +0200 | [diff] [blame] | 50 | current_bytes_allocated += num_bytes; |
Paul Sokolovsky | 780f555 | 2014-01-01 23:42:21 +0200 | [diff] [blame] | 51 | UPDATE_PEAK(); |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 52 | #endif |
Damien George | 2d15c12 | 2014-01-29 20:33:20 +0000 | [diff] [blame] | 53 | DEBUG_printf("malloc0 %d : %p\n", num_bytes, ptr); |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 54 | return ptr; |
| 55 | } |
| 56 | |
Damien | 732407f | 2013-12-29 19:33:23 +0000 | [diff] [blame] | 57 | void *m_realloc(void *ptr, int old_num_bytes, int new_num_bytes) { |
| 58 | if (new_num_bytes == 0) { |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 59 | free(ptr); |
| 60 | return NULL; |
| 61 | } |
Paul Sokolovsky | cdd2c62 | 2014-01-30 03:58:17 +0200 | [diff] [blame^] | 62 | void *new_ptr = realloc(ptr, new_num_bytes); |
| 63 | if (new_ptr == NULL) { |
Damien | 732407f | 2013-12-29 19:33:23 +0000 | [diff] [blame] | 64 | printf("could not allocate memory, reallocating %d bytes\n", new_num_bytes); |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 65 | return NULL; |
| 66 | } |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 67 | #if MICROPY_MEM_STATS |
Paul Sokolovsky | 43f1c80 | 2014-01-01 23:04:25 +0200 | [diff] [blame] | 68 | // At first thought, "Total bytes allocated" should only grow, |
| 69 | // after all, it's *total*. But consider for example 2K block |
| 70 | // shrunk to 1K and then grown to 2K again. It's still 2K |
| 71 | // allocated total. If we process only positive increments, |
| 72 | // we'll count 3K. |
Paul Sokolovsky | 02de0c5 | 2014-01-01 23:15:47 +0200 | [diff] [blame] | 73 | int diff = new_num_bytes - old_num_bytes; |
| 74 | total_bytes_allocated += diff; |
| 75 | current_bytes_allocated += diff; |
Paul Sokolovsky | 780f555 | 2014-01-01 23:42:21 +0200 | [diff] [blame] | 76 | UPDATE_PEAK(); |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 77 | #endif |
Paul Sokolovsky | cdd2c62 | 2014-01-30 03:58:17 +0200 | [diff] [blame^] | 78 | DEBUG_printf("realloc %p, %d, %d : %p\n", ptr, old_num_bytes, new_num_bytes, new_ptr); |
| 79 | return new_ptr; |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 80 | } |
| 81 | |
Damien | 732407f | 2013-12-29 19:33:23 +0000 | [diff] [blame] | 82 | void m_free(void *ptr, int num_bytes) { |
| 83 | if (ptr != NULL) { |
| 84 | free(ptr); |
| 85 | } |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 86 | #if MICROPY_MEM_STATS |
Paul Sokolovsky | 02de0c5 | 2014-01-01 23:15:47 +0200 | [diff] [blame] | 87 | current_bytes_allocated -= num_bytes; |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 88 | #endif |
Damien George | 2d15c12 | 2014-01-29 20:33:20 +0000 | [diff] [blame] | 89 | DEBUG_printf("free %p, %d\n", ptr, num_bytes); |
Damien | 732407f | 2013-12-29 19:33:23 +0000 | [diff] [blame] | 90 | } |
| 91 | |
Damien | 8b3a7c2 | 2013-10-23 20:20:17 +0100 | [diff] [blame] | 92 | int m_get_total_bytes_allocated(void) { |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 93 | #if MICROPY_MEM_STATS |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 94 | return total_bytes_allocated; |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 95 | #else |
| 96 | return -1; |
| 97 | #endif |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 98 | } |
Paul Sokolovsky | 02de0c5 | 2014-01-01 23:15:47 +0200 | [diff] [blame] | 99 | |
| 100 | int m_get_current_bytes_allocated(void) { |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 101 | #if MICROPY_MEM_STATS |
Paul Sokolovsky | 02de0c5 | 2014-01-01 23:15:47 +0200 | [diff] [blame] | 102 | return current_bytes_allocated; |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 103 | #else |
| 104 | return -1; |
| 105 | #endif |
Paul Sokolovsky | 02de0c5 | 2014-01-01 23:15:47 +0200 | [diff] [blame] | 106 | } |
Paul Sokolovsky | 780f555 | 2014-01-01 23:42:21 +0200 | [diff] [blame] | 107 | |
| 108 | int m_get_peak_bytes_allocated(void) { |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 109 | #if MICROPY_MEM_STATS |
Paul Sokolovsky | 780f555 | 2014-01-01 23:42:21 +0200 | [diff] [blame] | 110 | return peak_bytes_allocated; |
Paul Sokolovsky | ef18102 | 2014-01-03 03:06:25 +0200 | [diff] [blame] | 111 | #else |
| 112 | return -1; |
| 113 | #endif |
Paul Sokolovsky | 780f555 | 2014-01-01 23:42:21 +0200 | [diff] [blame] | 114 | } |