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