xref: /nrf52832-nimble/rt-thread/components/finsh/finsh_heap.c (revision 104654410c56c573564690304ae786df310c91fc)
1*10465441SEvalZero /*
2*10465441SEvalZero  * Copyright (c) 2006-2018, RT-Thread Development Team
3*10465441SEvalZero  *
4*10465441SEvalZero  * SPDX-License-Identifier: Apache-2.0
5*10465441SEvalZero  *
6*10465441SEvalZero  * Change Logs:
7*10465441SEvalZero  * Date           Author       Notes
8*10465441SEvalZero  * 2010-03-22     Bernard      first version
9*10465441SEvalZero  */
10*10465441SEvalZero #include <finsh.h>
11*10465441SEvalZero 
12*10465441SEvalZero #include "finsh_var.h"
13*10465441SEvalZero 
ALIGN(RT_ALIGN_SIZE)14*10465441SEvalZero ALIGN(RT_ALIGN_SIZE)
15*10465441SEvalZero uint8_t finsh_heap[FINSH_HEAP_MAX];
16*10465441SEvalZero struct finsh_block_header
17*10465441SEvalZero {
18*10465441SEvalZero     uint32_t length;
19*10465441SEvalZero     struct finsh_block_header* next;
20*10465441SEvalZero };
21*10465441SEvalZero #define BLOCK_HEADER(x)                 (struct finsh_block_header*)(x)
22*10465441SEvalZero #define finsh_block_get_header(data)    (struct finsh_block_header*)((uint8_t*)data - sizeof(struct finsh_block_header))
23*10465441SEvalZero #define finsh_block_get_data(header)    (uint8_t*)((struct finsh_block_header*)header + 1)
24*10465441SEvalZero #define HEAP_ALIGN_SIZE(size)           (((size) + HEAP_ALIGNMENT - 1) & ~(HEAP_ALIGNMENT-1))
25*10465441SEvalZero 
26*10465441SEvalZero static struct finsh_block_header* free_list;
27*10465441SEvalZero static struct finsh_block_header* allocate_list;
28*10465441SEvalZero 
29*10465441SEvalZero static void finsh_heap_gc(void);
30*10465441SEvalZero 
31*10465441SEvalZero static void finsh_block_insert(struct finsh_block_header** list, struct finsh_block_header* header);
32*10465441SEvalZero static void finsh_block_remove(struct finsh_block_header** list, struct finsh_block_header* header);
33*10465441SEvalZero static void finsh_block_split(struct finsh_block_header* header, size_t size);
34*10465441SEvalZero static void finsh_block_merge(struct finsh_block_header** list, struct finsh_block_header* header);
35*10465441SEvalZero 
finsh_heap_init(void)36*10465441SEvalZero int finsh_heap_init(void)
37*10465441SEvalZero {
38*10465441SEvalZero     /* clear heap to zero */
39*10465441SEvalZero     memset(&finsh_heap[0], 0, sizeof(finsh_heap));
40*10465441SEvalZero 
41*10465441SEvalZero     /* init free and alloc list */
42*10465441SEvalZero     free_list           = BLOCK_HEADER(&finsh_heap[0]);
43*10465441SEvalZero     free_list->length   = FINSH_HEAP_MAX - sizeof(struct finsh_block_header);
44*10465441SEvalZero     free_list->next     = NULL;
45*10465441SEvalZero 
46*10465441SEvalZero     allocate_list       = NULL;
47*10465441SEvalZero 
48*10465441SEvalZero     return 0;
49*10465441SEvalZero }
50*10465441SEvalZero 
51*10465441SEvalZero /**
52*10465441SEvalZero  * allocate a block from heap
53*10465441SEvalZero  */
finsh_heap_allocate(size_t size)54*10465441SEvalZero void* finsh_heap_allocate(size_t size)
55*10465441SEvalZero {
56*10465441SEvalZero     struct finsh_block_header* header;
57*10465441SEvalZero 
58*10465441SEvalZero     size = HEAP_ALIGN_SIZE(size);
59*10465441SEvalZero 
60*10465441SEvalZero     /* find the first fit block */
61*10465441SEvalZero     for (header = free_list;
62*10465441SEvalZero         ((header != NULL) && (header->length <= size + sizeof(struct finsh_block_header)));
63*10465441SEvalZero         header = header->next) ;
64*10465441SEvalZero 
65*10465441SEvalZero     if (header == NULL)
66*10465441SEvalZero     {
67*10465441SEvalZero         finsh_heap_gc();
68*10465441SEvalZero 
69*10465441SEvalZero         /* find the first fit block */
70*10465441SEvalZero         for (header = free_list;
71*10465441SEvalZero             ((header != NULL) && (header->length < size + sizeof(struct finsh_block_header)));
72*10465441SEvalZero             header = header->next) ;
73*10465441SEvalZero 
74*10465441SEvalZero         /* there is no memory */
75*10465441SEvalZero         if (header == NULL) return NULL;
76*10465441SEvalZero     }
77*10465441SEvalZero 
78*10465441SEvalZero     /* split block */
79*10465441SEvalZero     finsh_block_split(header, size);
80*10465441SEvalZero 
81*10465441SEvalZero     /* remove from free list */
82*10465441SEvalZero     finsh_block_remove(&free_list, header);
83*10465441SEvalZero     header->next = NULL;
84*10465441SEvalZero 
85*10465441SEvalZero     /* insert to allocate list */
86*10465441SEvalZero     finsh_block_insert(&allocate_list, header);
87*10465441SEvalZero 
88*10465441SEvalZero     memset(finsh_block_get_data(header), 0, size);
89*10465441SEvalZero 
90*10465441SEvalZero     return finsh_block_get_data(header);
91*10465441SEvalZero }
92*10465441SEvalZero 
93*10465441SEvalZero /**
94*10465441SEvalZero  * release the allocated block
95*10465441SEvalZero  */
finsh_heap_free(void * ptr)96*10465441SEvalZero void  finsh_heap_free(void*ptr)
97*10465441SEvalZero {
98*10465441SEvalZero     struct finsh_block_header* header;
99*10465441SEvalZero 
100*10465441SEvalZero     /* get block header */
101*10465441SEvalZero     header = finsh_block_get_header(ptr);
102*10465441SEvalZero 
103*10465441SEvalZero     /* remove from allocate list */
104*10465441SEvalZero     finsh_block_remove(&allocate_list, header);
105*10465441SEvalZero 
106*10465441SEvalZero     /* insert to free list */
107*10465441SEvalZero     finsh_block_insert(&free_list, header);
108*10465441SEvalZero     finsh_block_merge(&free_list, header);
109*10465441SEvalZero }
110*10465441SEvalZero 
111*10465441SEvalZero /**
112*10465441SEvalZero  * garbage collector
113*10465441SEvalZero  */
finsh_heap_gc(void)114*10465441SEvalZero static void finsh_heap_gc(void)
115*10465441SEvalZero {
116*10465441SEvalZero     int i;
117*10465441SEvalZero     struct finsh_block_header *header, *temp;
118*10465441SEvalZero 
119*10465441SEvalZero     temp = NULL;
120*10465441SEvalZero 
121*10465441SEvalZero     /* find the first fit block */
122*10465441SEvalZero     for (header = allocate_list; header != NULL; )
123*10465441SEvalZero     {
124*10465441SEvalZero         for (i = 0; i < FINSH_VARIABLE_MAX; i ++)
125*10465441SEvalZero         {
126*10465441SEvalZero             if (global_variable[i].type != finsh_type_unknown)
127*10465441SEvalZero             {
128*10465441SEvalZero                 if (global_variable[i].value.ptr == finsh_block_get_data(header))
129*10465441SEvalZero                     break;
130*10465441SEvalZero             }
131*10465441SEvalZero         }
132*10465441SEvalZero 
133*10465441SEvalZero         temp   = header;
134*10465441SEvalZero         header = header->next;
135*10465441SEvalZero 
136*10465441SEvalZero         /* this block is an unused block, release it */
137*10465441SEvalZero         if (i == FINSH_VARIABLE_MAX)
138*10465441SEvalZero         {
139*10465441SEvalZero             finsh_heap_free(finsh_block_get_data(temp));
140*10465441SEvalZero         }
141*10465441SEvalZero     }
142*10465441SEvalZero }
143*10465441SEvalZero 
144*10465441SEvalZero /**
145*10465441SEvalZero  * insert a block to list
146*10465441SEvalZero  */
finsh_block_insert(struct finsh_block_header ** list,struct finsh_block_header * header)147*10465441SEvalZero void finsh_block_insert(struct finsh_block_header** list, struct finsh_block_header* header)
148*10465441SEvalZero {
149*10465441SEvalZero     struct finsh_block_header* node;
150*10465441SEvalZero 
151*10465441SEvalZero     if (*list == NULL)
152*10465441SEvalZero     {
153*10465441SEvalZero         *list = header;
154*10465441SEvalZero         return;
155*10465441SEvalZero     }
156*10465441SEvalZero 
157*10465441SEvalZero     /* find out insert point */
158*10465441SEvalZero     node = *list;
159*10465441SEvalZero 
160*10465441SEvalZero     if (node > header)
161*10465441SEvalZero     {
162*10465441SEvalZero         /* insert node in the header of list */
163*10465441SEvalZero         header->next = node;
164*10465441SEvalZero         *list = header;
165*10465441SEvalZero 
166*10465441SEvalZero         return;
167*10465441SEvalZero     }
168*10465441SEvalZero     else
169*10465441SEvalZero     {
170*10465441SEvalZero         for (node = *list; node; node = node->next)
171*10465441SEvalZero         {
172*10465441SEvalZero             if (node->next > header) break;
173*10465441SEvalZero 
174*10465441SEvalZero             if (node->next == NULL) break;
175*10465441SEvalZero         }
176*10465441SEvalZero     }
177*10465441SEvalZero 
178*10465441SEvalZero     /* insert node */
179*10465441SEvalZero     if (node->next != NULL) header->next = node->next;
180*10465441SEvalZero     node->next      = header;
181*10465441SEvalZero }
182*10465441SEvalZero 
183*10465441SEvalZero /**
184*10465441SEvalZero  * remove block from list
185*10465441SEvalZero  */
finsh_block_remove(struct finsh_block_header ** list,struct finsh_block_header * header)186*10465441SEvalZero void finsh_block_remove(struct finsh_block_header** list, struct finsh_block_header* header)
187*10465441SEvalZero {
188*10465441SEvalZero     struct finsh_block_header* node;
189*10465441SEvalZero 
190*10465441SEvalZero     node = *list;
191*10465441SEvalZero     if (node == header)
192*10465441SEvalZero     {
193*10465441SEvalZero         /* remove list header */
194*10465441SEvalZero         *list = header->next;
195*10465441SEvalZero         header->next = NULL;
196*10465441SEvalZero 
197*10465441SEvalZero         return;
198*10465441SEvalZero     }
199*10465441SEvalZero 
200*10465441SEvalZero     for (node = *list; node != NULL; node = node->next)
201*10465441SEvalZero     {
202*10465441SEvalZero         if (node->next == header)
203*10465441SEvalZero         {
204*10465441SEvalZero             node->next = header->next;
205*10465441SEvalZero             break;
206*10465441SEvalZero         }
207*10465441SEvalZero     }
208*10465441SEvalZero }
209*10465441SEvalZero 
210*10465441SEvalZero /**
211*10465441SEvalZero  * split block
212*10465441SEvalZero  */
finsh_block_split(struct finsh_block_header * header,size_t size)213*10465441SEvalZero void finsh_block_split(struct finsh_block_header* header, size_t size)
214*10465441SEvalZero {
215*10465441SEvalZero     struct finsh_block_header* next;
216*10465441SEvalZero 
217*10465441SEvalZero     /*
218*10465441SEvalZero      * split header into two node:
219*10465441SEvalZero      * header->next->...
220*10465441SEvalZero      */
221*10465441SEvalZero     next = BLOCK_HEADER((uint8_t*)header + sizeof(struct finsh_block_header) + size);
222*10465441SEvalZero     next->length = header->length - sizeof(struct finsh_block_header) - size;
223*10465441SEvalZero     header->length = size;
224*10465441SEvalZero     next->next = header->next;
225*10465441SEvalZero 
226*10465441SEvalZero     header->next = next;
227*10465441SEvalZero }
228*10465441SEvalZero 
finsh_block_merge(struct finsh_block_header ** list,struct finsh_block_header * header)229*10465441SEvalZero void finsh_block_merge(struct finsh_block_header** list, struct finsh_block_header* header)
230*10465441SEvalZero {
231*10465441SEvalZero     struct finsh_block_header* prev_node;
232*10465441SEvalZero     struct finsh_block_header* next_node;
233*10465441SEvalZero 
234*10465441SEvalZero     next_node = header->next;
235*10465441SEvalZero 
236*10465441SEvalZero     if (*list == header) prev_node = NULL;
237*10465441SEvalZero     else
238*10465441SEvalZero     {
239*10465441SEvalZero         /* find out the previous header */
240*10465441SEvalZero         for (prev_node = *list; prev_node; prev_node =prev_node->next)
241*10465441SEvalZero         {
242*10465441SEvalZero             if (prev_node->next == header)
243*10465441SEvalZero                 break;
244*10465441SEvalZero         }
245*10465441SEvalZero     }
246*10465441SEvalZero 
247*10465441SEvalZero     /* try merge node */
248*10465441SEvalZero 
249*10465441SEvalZero     /* merge to previous node */
250*10465441SEvalZero     if (prev_node != NULL &&
251*10465441SEvalZero         ((uint8_t*)prev_node + prev_node->length + sizeof(struct finsh_block_header)
252*10465441SEvalZero         == (uint8_t*)header))
253*10465441SEvalZero     {
254*10465441SEvalZero         /* is it close to next node? */
255*10465441SEvalZero         if ((next_node != NULL) &&
256*10465441SEvalZero             ((uint8_t*)header + header->length + sizeof(struct finsh_block_header)
257*10465441SEvalZero             == (uint8_t*)next_node))
258*10465441SEvalZero         {
259*10465441SEvalZero             /* merge three node */
260*10465441SEvalZero             prev_node->length += header->length + next_node->length +
261*10465441SEvalZero                 2 * sizeof(struct finsh_block_header);
262*10465441SEvalZero 
263*10465441SEvalZero             prev_node->next = next_node->next;
264*10465441SEvalZero         }
265*10465441SEvalZero         else
266*10465441SEvalZero         {
267*10465441SEvalZero             prev_node->length += header->length + sizeof(struct finsh_block_header);
268*10465441SEvalZero             prev_node->next = header->next;
269*10465441SEvalZero         }
270*10465441SEvalZero     }
271*10465441SEvalZero     else /* merge to last node */
272*10465441SEvalZero     if ( (next_node != NULL) &&
273*10465441SEvalZero         ((uint8_t*)header + header->length + sizeof(struct finsh_block_header)
274*10465441SEvalZero         == (uint8_t*)next_node))
275*10465441SEvalZero     {
276*10465441SEvalZero         header->length += next_node->length + sizeof(struct finsh_block_header);
277*10465441SEvalZero         header->next = next_node->next;
278*10465441SEvalZero     }
279*10465441SEvalZero }
280