source: mainline/uspace/lib/c/generic/fibril.c@ 99d3123

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since 99d3123 was e768aea, checked in by Jiří Zárevúcky <jiri.zarevucky@…>, 7 years ago

Simplify async manager.

  • Property mode set to 100644
File size: 8.4 KB
Line 
1/*
2 * Copyright (c) 2006 Ondrej Palkovsky
3 * Copyright (c) 2007 Jakub Jermar
4 * All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
8 * are met:
9 *
10 * - Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
12 * - Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in the
14 * documentation and/or other materials provided with the distribution.
15 * - The name of the author may not be used to endorse or promote products
16 * derived from this software without specific prior written permission.
17 *
18 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
19 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
20 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
21 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
22 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
23 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
27 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 */
29
30/** @addtogroup libc
31 * @{
32 */
33/** @file
34 */
35
36#include <adt/list.h>
37#include <fibril.h>
38#include <thread.h>
39#include <stack.h>
40#include <tls.h>
41#include <stdlib.h>
42#include <abi/mm/as.h>
43#include <as.h>
44#include <stdio.h>
45#include <libarch/barrier.h>
46#include <context.h>
47#include <futex.h>
48#include <assert.h>
49#include <async.h>
50
51#include "private/fibril.h"
52
53
54/**
55 * This futex serializes access to ready_list,
56 * manager_list and fibril_list.
57 */
58static futex_t fibril_futex = FUTEX_INITIALIZER;
59
60static LIST_INITIALIZE(ready_list);
61static LIST_INITIALIZE(manager_list);
62static LIST_INITIALIZE(fibril_list);
63
64/** Function that spans the whole life-cycle of a fibril.
65 *
66 * Each fibril begins execution in this function. Then the function implementing
67 * the fibril logic is called. After its return, the return value is saved.
68 * The fibril then switches to another fibril, which cleans up after it.
69 *
70 */
71static void fibril_main(void)
72{
73 /* fibril_futex and async_futex are locked when a fibril is started. */
74 futex_unlock(&fibril_futex);
75 futex_unlock(&async_futex);
76
77 fibril_t *fibril = fibril_self();
78
79 /* Call the implementing function. */
80 fibril->retval = fibril->func(fibril->arg);
81
82 futex_lock(&async_futex);
83 fibril_switch(FIBRIL_FROM_DEAD);
84 /* Not reached */
85}
86
87/** Setup fibril information into TCB structure
88 *
89 */
90fibril_t *fibril_setup(void)
91{
92 tcb_t *tcb = tls_make();
93 if (!tcb)
94 return NULL;
95
96 fibril_t *fibril = calloc(1, sizeof(fibril_t));
97 if (!fibril) {
98 tls_free(tcb);
99 return NULL;
100 }
101
102 tcb->fibril_data = fibril;
103 fibril->tcb = tcb;
104
105 /*
106 * We are called before __tcb_set(), so we need to use
107 * futex_down/up() instead of futex_lock/unlock() that
108 * may attempt to access TLS.
109 */
110 futex_down(&fibril_futex);
111 list_append(&fibril->all_link, &fibril_list);
112 futex_up(&fibril_futex);
113
114 return fibril;
115}
116
117void fibril_teardown(fibril_t *fibril, bool locked)
118{
119 if (!locked)
120 futex_lock(&fibril_futex);
121 list_remove(&fibril->all_link);
122 if (!locked)
123 futex_unlock(&fibril_futex);
124 tls_free(fibril->tcb);
125 free(fibril);
126}
127
128/** Switch from the current fibril.
129 *
130 * The async_futex must be held when entering this function,
131 * and is still held on return.
132 *
133 * @param stype Switch type. One of FIBRIL_PREEMPT, FIBRIL_TO_MANAGER,
134 * FIBRIL_FROM_MANAGER, FIBRIL_FROM_DEAD. The parameter
135 * describes the circumstances of the switch.
136 *
137 * @return 0 if there is no ready fibril,
138 * @return 1 otherwise.
139 *
140 */
141int fibril_switch(fibril_switch_type_t stype)
142{
143 /* Make sure the async_futex is held. */
144 futex_assert_is_locked(&async_futex);
145
146 futex_lock(&fibril_futex);
147
148 fibril_t *srcf = fibril_self();
149 fibril_t *dstf = NULL;
150
151 /* Choose a new fibril to run */
152 if (list_empty(&ready_list)) {
153 if (stype == FIBRIL_PREEMPT || stype == FIBRIL_FROM_MANAGER) {
154 // FIXME: This means that as long as there is a fibril
155 // that only yields, IPC messages are never retrieved.
156 futex_unlock(&fibril_futex);
157 return 0;
158 }
159
160 /* If we are going to manager and none exists, create it */
161 while (list_empty(&manager_list)) {
162 futex_unlock(&fibril_futex);
163 async_create_manager();
164 futex_lock(&fibril_futex);
165 }
166
167 dstf = list_get_instance(list_first(&manager_list),
168 fibril_t, link);
169 } else {
170 dstf = list_get_instance(list_first(&ready_list), fibril_t,
171 link);
172 }
173
174 list_remove(&dstf->link);
175 if (stype == FIBRIL_FROM_DEAD)
176 dstf->clean_after_me = srcf;
177
178 /* Put the current fibril into the correct run list */
179 switch (stype) {
180 case FIBRIL_PREEMPT:
181 list_append(&srcf->link, &ready_list);
182 break;
183 case FIBRIL_FROM_MANAGER:
184 list_append(&srcf->link, &manager_list);
185 break;
186 case FIBRIL_FROM_DEAD:
187 case FIBRIL_FROM_BLOCKED:
188 // Nothing.
189 break;
190 }
191
192 /* Bookkeeping. */
193 futex_give_to(&fibril_futex, dstf);
194 futex_give_to(&async_futex, dstf);
195
196 /* Swap to the next fibril. */
197 context_swap(&srcf->ctx, &dstf->ctx);
198
199 /* Restored by another fibril! */
200
201 /* Must be after context_swap()! */
202 futex_unlock(&fibril_futex);
203
204 if (srcf->clean_after_me) {
205 /*
206 * Cleanup after the dead fibril from which we
207 * restored context here.
208 */
209 void *stack = srcf->clean_after_me->stack;
210 if (stack) {
211 /*
212 * This check is necessary because a
213 * thread could have exited like a
214 * normal fibril using the
215 * FIBRIL_FROM_DEAD switch type. In that
216 * case, its fibril will not have the
217 * stack member filled.
218 */
219 as_area_destroy(stack);
220 }
221 fibril_teardown(srcf->clean_after_me, true);
222 srcf->clean_after_me = NULL;
223 }
224
225 return 1;
226}
227
228/** Create a new fibril.
229 *
230 * @param func Implementing function of the new fibril.
231 * @param arg Argument to pass to func.
232 * @param stksz Stack size in bytes.
233 *
234 * @return 0 on failure or TLS of the new fibril.
235 *
236 */
237fid_t fibril_create_generic(errno_t (*func)(void *), void *arg, size_t stksz)
238{
239 fibril_t *fibril;
240
241 fibril = fibril_setup();
242 if (fibril == NULL)
243 return 0;
244
245 size_t stack_size = (stksz == FIBRIL_DFLT_STK_SIZE) ?
246 stack_size_get() : stksz;
247 fibril->stack = as_area_create(AS_AREA_ANY, stack_size,
248 AS_AREA_READ | AS_AREA_WRITE | AS_AREA_CACHEABLE | AS_AREA_GUARD |
249 AS_AREA_LATE_RESERVE, AS_AREA_UNPAGED);
250 if (fibril->stack == (void *) -1) {
251 fibril_teardown(fibril, false);
252 return 0;
253 }
254
255 fibril->func = func;
256 fibril->arg = arg;
257
258 context_create_t sctx = {
259 .fn = fibril_main,
260 .stack_base = fibril->stack,
261 .stack_size = stack_size,
262 .tls = fibril->tcb,
263 };
264
265 context_create(&fibril->ctx, &sctx);
266 return (fid_t) fibril;
267}
268
269/** Delete a fibril that has never run.
270 *
271 * Free resources of a fibril that has been created with fibril_create()
272 * but never readied using fibril_add_ready().
273 *
274 * @param fid Pointer to the fibril structure of the fibril to be
275 * added.
276 */
277void fibril_destroy(fid_t fid)
278{
279 fibril_t *fibril = (fibril_t *) fid;
280
281 as_area_destroy(fibril->stack);
282 fibril_teardown(fibril, false);
283}
284
285/** Add a fibril to the ready list.
286 *
287 * @param fid Pointer to the fibril structure of the fibril to be
288 * added.
289 *
290 */
291void fibril_add_ready(fid_t fid)
292{
293 fibril_t *fibril = (fibril_t *) fid;
294
295 futex_lock(&fibril_futex);
296 list_append(&fibril->link, &ready_list);
297 futex_unlock(&fibril_futex);
298}
299
300/** Add a fibril to the manager list.
301 *
302 * @param fid Pointer to the fibril structure of the fibril to be
303 * added.
304 *
305 */
306void fibril_add_manager(fid_t fid)
307{
308 fibril_t *fibril = (fibril_t *) fid;
309
310 futex_lock(&fibril_futex);
311 list_append(&fibril->link, &manager_list);
312 futex_unlock(&fibril_futex);
313}
314
315/** Remove one manager from the manager list. */
316void fibril_remove_manager(void)
317{
318 futex_lock(&fibril_futex);
319 if (!list_empty(&manager_list))
320 list_remove(list_first(&manager_list));
321 futex_unlock(&fibril_futex);
322}
323
324fibril_t *fibril_self(void)
325{
326 return __tcb_get()->fibril_data;
327}
328
329/** Return fibril id of the currently running fibril.
330 *
331 * @return fibril ID of the currently running fibril.
332 *
333 */
334fid_t fibril_get_id(void)
335{
336 return (fid_t) fibril_self();
337}
338
339void fibril_yield(void)
340{
341 futex_lock(&async_futex);
342 (void) fibril_switch(FIBRIL_PREEMPT);
343 futex_unlock(&async_futex);
344}
345
346/** @}
347 */
Note: See TracBrowser for help on using the repository browser.