Commit | Line | Data |
---|---|---|
7bfd3b9e JB |
1 | /* classes: h_files */ |
2 | ||
0527e687 DH |
3 | #ifndef SCM_THREADS_H |
4 | #define SCM_THREADS_H | |
7bfd3b9e | 5 | |
01b69e79 LC |
6 | /* Copyright (C) 1996, 1997, 1998, 2000, 2001, 2002, 2003, 2004, 2006, |
7 | * 2007, 2008, 2009, 2011, 2013 Free Software Foundation, Inc. | |
0527e687 | 8 | * |
73be1d9e | 9 | * This library is free software; you can redistribute it and/or |
53befeb7 NJ |
10 | * modify it under the terms of the GNU Lesser General Public License |
11 | * as published by the Free Software Foundation; either version 3 of | |
12 | * the License, or (at your option) any later version. | |
0527e687 | 13 | * |
53befeb7 NJ |
14 | * This library is distributed in the hope that it will be useful, but |
15 | * WITHOUT ANY WARRANTY; without even the implied warranty of | |
73be1d9e MV |
16 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
17 | * Lesser General Public License for more details. | |
0527e687 | 18 | * |
73be1d9e MV |
19 | * You should have received a copy of the GNU Lesser General Public |
20 | * License along with this library; if not, write to the Free Software | |
53befeb7 NJ |
21 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA |
22 | * 02110-1301 USA | |
73be1d9e | 23 | */ |
d3a6bc94 | 24 | |
7bfd3b9e JB |
25 | \f |
26 | ||
27 | #include "libguile/__scm.h" | |
28 | #include "libguile/procs.h" | |
1651c824 | 29 | #include "libguile/throw.h" |
f7eca35d | 30 | #include "libguile/root.h" |
d823b11b | 31 | #include "libguile/iselect.h" |
9de87eea | 32 | #include "libguile/dynwind.h" |
346e4402 | 33 | #include "libguile/continuations.h" |
9de87eea MV |
34 | |
35 | #if SCM_USE_PTHREAD_THREADS | |
36 | #include "libguile/pthread-threads.h" | |
37 | #endif | |
38 | ||
39 | #if SCM_USE_NULL_THREADS | |
40 | #include "libguile/null-threads.h" | |
41 | #endif | |
42 | ||
b2728432 DH |
43 | \f |
44 | ||
7bfd3b9e | 45 | /* smob tags for the thread datatypes */ |
33b001fd MV |
46 | SCM_API scm_t_bits scm_tc16_thread; |
47 | SCM_API scm_t_bits scm_tc16_mutex; | |
48 | SCM_API scm_t_bits scm_tc16_condvar; | |
7bfd3b9e | 49 | |
9de87eea MV |
50 | typedef struct scm_i_thread { |
51 | struct scm_i_thread *next_thread; | |
52 | ||
53 | SCM handle; | |
54 | scm_i_pthread_t pthread; | |
2e77f720 LC |
55 | |
56 | SCM cleanup_handler; | |
9de87eea | 57 | SCM join_queue; |
86a597f8 NJ |
58 | |
59 | scm_i_pthread_mutex_t admin_mutex; | |
6180e336 | 60 | SCM mutexes; |
d2a51087 | 61 | scm_i_pthread_mutex_t *held_mutex; |
86a597f8 | 62 | |
9de87eea | 63 | SCM result; |
2e77f720 | 64 | int canceled; |
9de87eea MV |
65 | int exited; |
66 | ||
72e6b608 LC |
67 | /* Boolean indicating whether the thread is in guile mode. */ |
68 | int guile_mode; | |
69 | ||
9de87eea MV |
70 | SCM sleep_object; |
71 | scm_i_pthread_mutex_t *sleep_mutex; | |
72 | scm_i_pthread_cond_t sleep_cond; | |
73 | int sleep_fd, sleep_pipe[2]; | |
74 | ||
01b69e79 LC |
75 | /* XXX: These two fields used to hold information about the BDW-GC |
76 | mark stack during the mark phase. They are no longer used. */ | |
378f2625 LC |
77 | void *current_mark_stack_ptr; |
78 | void *current_mark_stack_limit; | |
79 | ||
9de87eea MV |
80 | /* Other thread local things. |
81 | */ | |
82 | SCM dynamic_state; | |
9de87eea MV |
83 | SCM dynwinds; |
84 | ||
85 | /* For system asyncs. | |
86 | */ | |
87 | SCM active_asyncs; /* The thunks to be run at the next | |
88 | safe point */ | |
74926120 | 89 | unsigned int block_asyncs; /* Non-zero means that asyncs should |
9de87eea MV |
90 | not be run. */ |
91 | unsigned int pending_asyncs; /* Non-zero means that asyncs might be pending. | |
92 | */ | |
93 | ||
94 | /* The current continuation root and the stack base for it. | |
95 | ||
96 | The continuation root is an arbitrary but unique object that | |
97 | identifies a dynamic extent. Continuations created during that | |
98 | extent can also only be invoked during it. | |
99 | ||
100 | We use pairs where the car is the thread handle and the cdr links | |
101 | to the previous pair. This might be used for better error | |
102 | messages but is not essential for identifying continuation roots. | |
103 | ||
104 | The continuation base is the far end of the stack upto which it | |
105 | needs to be copied. | |
106 | */ | |
107 | SCM continuation_root; | |
108 | SCM_STACKITEM *continuation_base; | |
109 | ||
110 | /* For keeping track of the stack and registers. */ | |
2bbe1533 | 111 | SCM vm; |
9de87eea | 112 | SCM_STACKITEM *base; |
a4dbe1ac | 113 | scm_i_jmp_buf regs; |
346e4402 NJ |
114 | #ifdef __ia64__ |
115 | void *register_backing_store_base; | |
116 | scm_t_contregs *pending_rbs_continuation; | |
117 | #endif | |
9de87eea | 118 | |
87f30eda NJ |
119 | /* Whether this thread is in a critical section. */ |
120 | int critical_section_level; | |
121 | ||
9de87eea MV |
122 | } scm_i_thread; |
123 | ||
124 | #define SCM_I_IS_THREAD(x) SCM_SMOB_PREDICATE (scm_tc16_thread, x) | |
125 | #define SCM_I_THREAD_DATA(x) ((scm_i_thread *) SCM_SMOB_DATA (x)) | |
7bfd3b9e | 126 | |
d823b11b | 127 | #define SCM_VALIDATE_THREAD(pos, a) \ |
9de87eea | 128 | scm_assert_smob_type (scm_tc16_thread, (a)) |
d823b11b | 129 | #define SCM_VALIDATE_MUTEX(pos, a) \ |
9de87eea | 130 | scm_assert_smob_type (scm_tc16_mutex, (a)) |
d823b11b | 131 | #define SCM_VALIDATE_CONDVAR(pos, a) \ |
9de87eea | 132 | scm_assert_smob_type (scm_tc16_condvar, (a)) |
d823b11b | 133 | |
33b001fd MV |
134 | SCM_API SCM scm_spawn_thread (scm_t_catch_body body, void *body_data, |
135 | scm_t_catch_handler handler, void *handler_data); | |
76da80e7 | 136 | |
9de87eea | 137 | SCM_API void *scm_without_guile (void *(*func)(void *), void *data); |
9de87eea | 138 | SCM_API void *scm_with_guile (void *(*func)(void *), void *data); |
98648121 | 139 | |
aafb4ed7 | 140 | SCM_INTERNAL void scm_i_reset_fluid (size_t); |
12c1d861 | 141 | SCM_INTERNAL void scm_threads_prehistory (void *); |
102dbb6f LC |
142 | SCM_INTERNAL void scm_init_threads (void); |
143 | SCM_INTERNAL void scm_init_thread_procs (void); | |
144 | SCM_INTERNAL void scm_init_threads_default_dynamic_state (void); | |
9de87eea | 145 | |
d823b11b MV |
146 | |
147 | #define SCM_THREAD_SWITCHING_CODE \ | |
43adae30 | 148 | do { } while (0) |
b74f4728 | 149 | |
d823b11b | 150 | SCM_API SCM scm_call_with_new_thread (SCM thunk, SCM handler); |
29717c89 | 151 | SCM_API SCM scm_yield (void); |
2e77f720 LC |
152 | SCM_API SCM scm_cancel_thread (SCM t); |
153 | SCM_API SCM scm_set_thread_cleanup_x (SCM thread, SCM proc); | |
154 | SCM_API SCM scm_thread_cleanup (SCM thread); | |
33b001fd | 155 | SCM_API SCM scm_join_thread (SCM t); |
6180e336 NJ |
156 | SCM_API SCM scm_join_thread_timed (SCM t, SCM timeout, SCM timeoutval); |
157 | SCM_API SCM scm_thread_p (SCM t); | |
9de87eea | 158 | |
33b001fd | 159 | SCM_API SCM scm_make_mutex (void); |
9de87eea | 160 | SCM_API SCM scm_make_recursive_mutex (void); |
6180e336 | 161 | SCM_API SCM scm_make_mutex_with_flags (SCM flags); |
33b001fd | 162 | SCM_API SCM scm_lock_mutex (SCM m); |
adc085f1 | 163 | SCM_API SCM scm_lock_mutex_timed (SCM m, SCM timeout, SCM owner); |
661ae7ab | 164 | SCM_API void scm_dynwind_lock_mutex (SCM mutex); |
5f05c406 | 165 | SCM_API SCM scm_try_mutex (SCM m); |
33b001fd | 166 | SCM_API SCM scm_unlock_mutex (SCM m); |
6180e336 NJ |
167 | SCM_API SCM scm_unlock_mutex_timed (SCM m, SCM cond, SCM timeout); |
168 | SCM_API SCM scm_mutex_p (SCM o); | |
adc085f1 JG |
169 | SCM_API SCM scm_mutex_locked_p (SCM m); |
170 | SCM_API SCM scm_mutex_owner (SCM m); | |
171 | SCM_API SCM scm_mutex_level (SCM m); | |
9de87eea | 172 | |
33b001fd MV |
173 | SCM_API SCM scm_make_condition_variable (void); |
174 | SCM_API SCM scm_wait_condition_variable (SCM cond, SCM mutex); | |
5f05c406 MV |
175 | SCM_API SCM scm_timed_wait_condition_variable (SCM cond, SCM mutex, |
176 | SCM abstime); | |
33b001fd | 177 | SCM_API SCM scm_signal_condition_variable (SCM cond); |
5f05c406 | 178 | SCM_API SCM scm_broadcast_condition_variable (SCM cond); |
6180e336 | 179 | SCM_API SCM scm_condition_variable_p (SCM o); |
6d71500e | 180 | |
f7eca35d MV |
181 | SCM_API SCM scm_current_thread (void); |
182 | SCM_API SCM scm_all_threads (void); | |
183 | ||
5f05c406 MV |
184 | SCM_API int scm_c_thread_exited_p (SCM thread); |
185 | SCM_API SCM scm_thread_exited_p (SCM thread); | |
186 | ||
661ae7ab | 187 | SCM_API void scm_dynwind_critical_section (SCM mutex); |
9de87eea | 188 | |
46935a1f LC |
189 | #ifdef BUILDING_LIBGUILE |
190 | ||
f60a7648 AW |
191 | /* Though we don't need the key for SCM_I_CURRENT_THREAD if we have TLS, |
192 | we do use it for cleanup purposes. */ | |
193 | SCM_INTERNAL scm_i_pthread_key_t scm_i_thread_key; | |
194 | ||
705edb95 LC |
195 | # ifdef SCM_HAVE_THREAD_STORAGE_CLASS |
196 | ||
197 | SCM_INTERNAL SCM_THREAD_LOCAL scm_i_thread *scm_i_current_thread; | |
198 | # define SCM_I_CURRENT_THREAD (scm_i_current_thread) | |
199 | ||
200 | # else /* !SCM_HAVE_THREAD_STORAGE_CLASS */ | |
201 | ||
705edb95 LC |
202 | # define SCM_I_CURRENT_THREAD \ |
203 | ((scm_i_thread *) scm_i_pthread_getspecific (scm_i_thread_key)) | |
204 | ||
205 | # endif /* !SCM_HAVE_THREAD_STORAGE_CLASS */ | |
9de87eea | 206 | |
46935a1f LC |
207 | # define scm_i_dynwinds() (SCM_I_CURRENT_THREAD->dynwinds) |
208 | # define scm_i_set_dynwinds(w) (SCM_I_CURRENT_THREAD->dynwinds = (w)) | |
46935a1f LC |
209 | |
210 | #endif /* BUILDING_LIBGUILE */ | |
211 | ||
f7eca35d | 212 | |
102dbb6f | 213 | SCM_INTERNAL scm_i_pthread_mutex_t scm_i_misc_mutex; |
9bc4701c | 214 | |
9de87eea MV |
215 | /* Convenience functions for working with the pthread API in guile |
216 | mode. | |
217 | */ | |
218 | ||
219 | #if SCM_USE_PTHREAD_THREADS | |
220 | SCM_API int scm_pthread_mutex_lock (pthread_mutex_t *mutex); | |
661ae7ab | 221 | SCM_API void scm_dynwind_pthread_mutex_lock (pthread_mutex_t *mutex); |
9de87eea MV |
222 | SCM_API int scm_pthread_cond_wait (pthread_cond_t *cond, |
223 | pthread_mutex_t *mutex); | |
224 | SCM_API int scm_pthread_cond_timedwait (pthread_cond_t *cond, | |
225 | pthread_mutex_t *mutex, | |
ab878b0f | 226 | const scm_t_timespec *abstime); |
9de87eea MV |
227 | #endif |
228 | ||
229 | /* More convenience functions. | |
230 | */ | |
d823b11b | 231 | |
9de87eea MV |
232 | SCM_API unsigned int scm_std_sleep (unsigned int); |
233 | SCM_API unsigned long scm_std_usleep (unsigned long); | |
50dc1840 | 234 | |
d20912e6 LC |
235 | SCM_API SCM scm_total_processor_count (void); |
236 | SCM_API SCM scm_current_processor_count (void); | |
237 | ||
0527e687 | 238 | #endif /* SCM_THREADS_H */ |
89e00824 ML |
239 | |
240 | /* | |
241 | Local Variables: | |
242 | c-file-style: "gnu" | |
243 | End: | |
244 | */ |