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
|
/* thread.h - Thread object interface.
Copyright (C) 2007 Free Software Foundation, Inc.
Written by Neal H. Walfield <neal@gnu.org>.
This file is part of the GNU Hurd.
The GNU Hurd is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
published by the Free Software Foundation; either version 3 of the
License, or (at your option) any later version.
The GNU Hurd is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see
<http://www.gnu.org/licenses/>. */
#ifndef RM_THREAD_H
#define RM_THREAD_H
#include <l4.h>
#include <errno.h>
/* Forward. */
struct folio;
struct activity;
/* Number of capability slots at the start of the thread
structure. */
enum
{
THREAD_SLOTS = 3,
};
struct wait_queue_node
{
struct cap next;
struct cap prev;
};
struct thread
{
/* User accessible fields. */
/* Address space. */
struct cap aspace;
/* The current associated activity. (Not the activity out of which
this thread's storage is allocated!) */
struct cap activity;
/* Capability identifying a page to use to store exceptions. */
struct cap exception_page;
/* Non-user accessible fields. */
/* Allocated thread id. */
l4_thread_id_t tid;
/* XXX: Register state, blah, blah, blah. */
l4_word_t sp;
l4_word_t ip;
l4_word_t eflags;
l4_word_t user_handle;
/* Whether the thread data structure has been initialized. */
uint32_t init : 1;
/* Whether the thread has been commissioned (a tid allocated). */
uint32_t commissioned : 1;
/* Whether this thread is the head of the wait queue. If so,
WAIT_QUEUE.PREV designates the object. */
uint32_t wait_queue_head : 1;
/* Whether this thread is the tail of the wait queue. If so,
WAIT_QUEUE.NEXT designates the object. */
uint32_t wait_queue_tail : 1;
/* If waiting on a futex object. */
uint32_t futex_block : 1;
/* The offset of the futex object. */
uint32_t futex_offset : PAGESIZE_LOG2;
/* The object the thread is waiting on. */
struct wait_queue_node wait_queue;
};
/* The hardwired base of the UTCB (2.5GB). */
#define UTCB_AREA_BASE (0xA0000000)
/* The size of the UTCB. */
#define UTCB_AREA_SIZE (2 * l4_utcb_area_size ())
/* The hardwired base of the KIP. */
#define KIP_BASE (UTCB_AREA_BASE + UTCB_AREA_SIZE)
/* Create a new thread. Uses the object THREAD to store the thread
information. */
extern void thread_init (struct thread *thread);
/* Destroy the thread object THREAD (and the accompanying thread). */
extern void thread_deinit (struct activity *activity,
struct thread *thread);
/* Prepare the thread object THREAD to run. (Called after bringing a
thread object into core.) */
extern void thread_commission (struct thread *thread);
/* Save any state of the thread THREAD and destroy any ephemeral
resources. (Called before sending the object to backing
store.) */
extern void thread_decommission (struct thread *thread);
/* Perform an exregs on thread THREAD. CONTROL, SP, IP, EFLAGS and
USER_HANDLER are as per l4_exchange_regs, however, the caller may
not set the pager. */
extern error_t thread_exregs (struct activity *principal,
struct thread *thread, l4_word_t control,
struct cap *aspace,
l4_word_t flags, struct cap_properties properties,
struct cap *activity,
struct cap *exception_page,
l4_word_t *sp, l4_word_t *ip,
l4_word_t *eflags, l4_word_t *user_handle,
struct cap *aspace_out,
struct cap *activity_out,
struct cap *exception_page_out);
/* Send thread THREAD an exception. */
extern void thread_raise_exception (struct activity *activity,
struct thread *thread,
l4_msg_t *msg);
/* Given the L4 thread id THREADID, find the associated thread. */
extern struct thread *thread_lookup (l4_thread_id_t threadid);
#endif
|
