Rev 1888 | Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1888 | Rev 2039 | ||
|---|---|---|---|
| Line 80... | Line 80... | ||
| 80 | * Serializes access to the B+tree of task's futexes. This mutex is |
80 | * Serializes access to the B+tree of task's futexes. This mutex is |
| 81 | * independent on the task spinlock. |
81 | * independent on the task spinlock. |
| 82 | */ |
82 | */ |
| 83 | mutex_t futexes_lock; |
83 | mutex_t futexes_lock; |
| 84 | btree_t futexes; /**< B+tree of futexes referenced by this task. */ |
84 | btree_t futexes; /**< B+tree of futexes referenced by this task. */ |
| - | 85 | ||
| - | 86 | uint64_t cycles; /**< Accumulated accounting. */ |
|
| 85 | }; |
87 | }; |
| 86 | 88 | ||
| 87 | extern spinlock_t tasks_lock; |
89 | extern spinlock_t tasks_lock; |
| 88 | extern btree_t tasks_btree; |
90 | extern btree_t tasks_btree; |
| 89 | 91 | ||
| Line 91... | Line 93... | ||
| 91 | extern task_t *task_create(as_t *as, char *name); |
93 | extern task_t *task_create(as_t *as, char *name); |
| 92 | extern void task_destroy(task_t *t); |
94 | extern void task_destroy(task_t *t); |
| 93 | extern task_t *task_run_program(void *program_addr, char *name); |
95 | extern task_t *task_run_program(void *program_addr, char *name); |
| 94 | extern task_t *task_find_by_id(task_id_t id); |
96 | extern task_t *task_find_by_id(task_id_t id); |
| 95 | extern int task_kill(task_id_t id); |
97 | extern int task_kill(task_id_t id); |
| - | 98 | extern uint64_t task_get_accounting(task_t *t); |
|
| 96 | 99 | ||
| 97 | 100 | ||
| 98 | #ifndef task_create_arch |
101 | #ifndef task_create_arch |
| 99 | extern void task_create_arch(task_t *t); |
102 | extern void task_create_arch(task_t *t); |
| 100 | #endif |
103 | #endif |