1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
|
/*
* Copyright (c) 2021, RT-Thread Development Team
*
* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
*/
#include <platform_api_vmcore.h>
#include <platform_api_extension.h>
typedef struct os_malloc_list {
void *real;
void *used;
rt_list_t node;
} os_malloc_list_t;
int
bh_platform_init(void)
{
return 0;
}
void
bh_platform_destroy(void)
{}
void *
os_malloc(unsigned size)
{
void *buf_origin;
void *buf_fixed;
rt_ubase_t *addr_field;
buf_origin = rt_malloc(size + 8 + sizeof(rt_ubase_t));
buf_fixed = buf_origin + sizeof(void *);
if ((rt_ubase_t)buf_fixed & 0x7) {
buf_fixed = (void *)((rt_ubase_t)(buf_fixed + 8) & (~7));
}
addr_field = buf_fixed - sizeof(rt_ubase_t);
*addr_field = (rt_ubase_t)buf_origin;
return buf_fixed;
}
void *
os_realloc(void *ptr, unsigned size)
{
void *mem_origin;
void *mem_new;
void *mem_new_fixed;
rt_ubase_t *addr_field;
if (!ptr) {
return RT_NULL;
}
addr_field = ptr - sizeof(rt_ubase_t);
mem_origin = (void *)(*addr_field);
mem_new = rt_realloc(mem_origin, size + 8 + sizeof(rt_ubase_t));
if (mem_origin != mem_new) {
mem_new_fixed = mem_new + sizeof(rt_ubase_t);
if ((rt_ubase_t)mem_new_fixed & 0x7) {
mem_new_fixed = (void *)((rt_ubase_t)(mem_new_fixed + 8) & (~7));
}
addr_field = mem_new_fixed - sizeof(rt_ubase_t);
*addr_field = (rt_ubase_t)mem_new;
return mem_new_fixed;
}
return ptr;
}
void
os_free(void *ptr)
{
void *mem_origin;
rt_ubase_t *addr_field;
if (ptr) {
addr_field = ptr - sizeof(rt_ubase_t);
mem_origin = (void *)(*addr_field);
rt_free(mem_origin);
}
}
int
os_dumps_proc_mem_info(char *out, unsigned int size)
{
return -1;
}
static char wamr_vprint_buf[RT_CONSOLEBUF_SIZE * 2];
int
os_printf(const char *format, ...)
{
va_list ap;
va_start(ap, format);
rt_size_t len =
vsnprintf(wamr_vprint_buf, sizeof(wamr_vprint_buf) - 1, format, ap);
wamr_vprint_buf[len] = 0x00;
rt_kputs(wamr_vprint_buf);
va_end(ap);
return 0;
}
int
os_vprintf(const char *format, va_list ap)
{
rt_size_t len =
vsnprintf(wamr_vprint_buf, sizeof(wamr_vprint_buf) - 1, format, ap);
wamr_vprint_buf[len] = 0;
rt_kputs(wamr_vprint_buf);
return 0;
}
uint64
os_time_get_boot_microsecond(void)
{
uint64 ret = rt_tick_get() * 1000;
ret /= RT_TICK_PER_SECOND;
return ret;
}
korp_tid
os_self_thread(void)
{
return rt_thread_self();
}
uint8 *
os_thread_get_stack_boundary(void)
{
rt_thread_t tid = rt_thread_self();
return tid->stack_addr;
}
int
os_mutex_init(korp_mutex *mutex)
{
return rt_mutex_init(mutex, "wamr0", RT_IPC_FLAG_FIFO);
}
int
os_mutex_destroy(korp_mutex *mutex)
{
return rt_mutex_detach(mutex);
}
int
os_mutex_lock(korp_mutex *mutex)
{
return rt_mutex_take(mutex, RT_WAITING_FOREVER);
}
int
os_mutex_unlock(korp_mutex *mutex)
{
return rt_mutex_release(mutex);
}
/*
* functions below was not implement
*/
int
os_cond_init(korp_cond *cond)
{
return 0;
}
int
os_cond_destroy(korp_cond *cond)
{
return 0;
}
int
os_cond_wait(korp_cond *cond, korp_mutex *mutex)
{
return 0;
}
void *
os_mmap(void *hint, size_t size, int prot, int flags)
{
return rt_malloc(size);
}
void
os_munmap(void *addr, size_t size)
{
rt_free(addr);
}
int
os_mprotect(void *addr, size_t size, int prot)
{
return 0;
}
void
os_dcache_flush(void)
{}
|
