Changeset 514d561 in mainline for uspace/lib/c/generic/thread.c

Timestamp:

2018-07-20T16:27:20Z (7 years ago)

Author:

Jiří Zárevúcky <jiri.zarevucky@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

05208d9

Parents:

7137f74c

git-author:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-07-19 21:52:47)

git-committer:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-07-20 16:27:20)

Message:

Fibril/async implementation overhaul.

This commit marks the move towards treating the fibril library as a mere
implementation of a generic threading interface. Understood as a layer that
wraps the kernel threads, we not only have to wrap threading itself, but also
every syscall that blocks the kernel thread (by blocking, we mean thread not
doing useful work until an external event happens — e.g. locking a kernel
mutex or thread sleep is understood as blocking, but an as_area_create() is not,
despite potentially taking a long time to complete).

Consequently, we implement fibril_ipc_wait() as a fibril-native wrapper for
kernel's ipc_wait(), and also implement timer functionality like timeouts
as part of the fibril library. This removes the interdependency between fibril
implementation and the async framework — in theory, the fibril API could be
reimplemented as a simple 1:1 shim, and the async framework would continue
working normally (note that the current implementation of loader complicates
this).

To better isolate the fibril internals from the implementation of high-level
synchronization, a fibril_event_t is added. This object conceptually acts
like a single slot wait queue. All other synchronization is implemented in
terms of this primitive.

File:

• uspace/lib/c/generic/thread.c (modified) (2 diffs)

uspace/lib/c/generic/thread.c

@@ -73 +73 @@
          */
 
-        /* If there is a manager, destroy it */
-        async_destroy_manager();
-
-        fibril_teardown(fibril, false);
-
+        fibril_teardown(fibril);
         thread_exit(0);
 }
@@ -111 +107 @@
             AS_AREA_LATE_RESERVE, AS_AREA_UNPAGED);
         if (stack == AS_MAP_FAILED) {
-                fibril_teardown(fibril, false);
+                fibril_teardown(fibril);
                 free(uarg);
                 return ENOMEM;