WebSVN – HelenOS-historic – Diff – /uspace/trunk/libc/generic/psthread.c


/*
 * Copyright (C) 2006 Ondrej Palkovsky
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * - Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimer.
 * - Redistributions in binary form must reproduce the above copyright
 *   notice, this list of conditions and the following disclaimer in the
 *   documentation and/or other materials provided with the distribution.
 * - The name of the author may not be used to endorse or promote products
 *   derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */
 
 /** @addtogroup libc
 * @{
 */
/** @file
 */
 
#include <libadt/list.h>
#include <psthread.h>
#include <malloc.h>
#include <unistd.h>
#include <thread.h>
#include <stdio.h>
#include <kernel/arch/faddr.h>
#include <futex.h>
#include <assert.h>
#include <async.h>
 
#ifndef PSTHREAD_INITIAL_STACK_PAGES_NO
#define PSTHREAD_INITIAL_STACK_PAGES_NO 1
#endif
 
static LIST_INITIALIZE(ready_list);
static LIST_INITIALIZE(serialized_list);
static LIST_INITIALIZE(manager_list);
 
static void psthread_exit(void) __attribute__ ((noinline));
static void psthread_main(void);
 
static atomic_t psthread_futex = FUTEX_INITIALIZER;
/** Count of real threads that are in async_serialized mode */
static int serialized_threads; /* Protected by async_futex */
/** Thread-local count of serialization. If >0, we must not preempt */
static __thread int serialization_count;
/** Counter of threads residing in async_manager */
static int threads_in_manager;
 
/** Setup PSthread information into TCB structure */
psthread_data_t * psthread_setup()
{
    psthread_data_t *pt;
    tcb_t *tcb;
 
    tcb = __make_tls();
    if (!tcb)
        return NULL;
 
    pt = malloc(sizeof(*pt));
    if (!pt) {
        __free_tls(tcb);
        return NULL;
    }
 
    tcb->pst_data = pt;
    pt->tcb = tcb;
 
    return pt;
}
 
void psthread_teardown(psthread_data_t *pt)
{
    __free_tls(pt->tcb);
    free(pt);
}
 
/** Function that is called on entry to new uspace thread */
void psthread_main(void)
{
    psthread_data_t *pt = __tcb_get()->pst_data;
 
    pt->retval = pt->func(pt->arg);
 
    pt->finished = 1;
    if (pt->waiter)
        list_append(&pt->waiter->link, &ready_list);
 
    psthread_schedule_next_adv(PS_FROM_DEAD);
}
 
/** Schedule next userspace pseudo thread.
 *
 * If calling with PS_TO_MANAGER parameter, the async_futex should be
 * held.
 *
 
 
 * @param ctype Type of switch.
 * @return 0 if there is no ready pseudo thread, 1 otherwise.
 */
int psthread_schedule_next_adv(pschange_type ctype)
{
    psthread_data_t *srcpt, *dstpt;
    int retval = 0;
   
    futex_down(&psthread_futex);
 
    if (ctype == PS_PREEMPT && list_empty(&ready_list))
        goto ret_0;
 
    if (ctype == PS_FROM_MANAGER) {
        if (list_empty(&ready_list) && list_empty(&serialized_list))
            goto ret_0;
        /* Do not preempt if there is not sufficient count of thread managers */
        if (list_empty(&serialized_list) && threads_in_manager <= serialized_threads) {
            goto ret_0;
        }
    }
    /* If we are going to manager and none exists, create it */
    if (ctype == PS_TO_MANAGER || ctype == PS_FROM_DEAD) {
        while (list_empty(&manager_list)) {
            futex_up(&psthread_futex);
            async_create_manager();
            futex_down(&psthread_futex);
        }
    }
   
    if (ctype != PS_FROM_DEAD) {
        /* Save current state */
        srcpt = __tcb_get()->pst_data;
        if (!context_save(&srcpt->ctx)) {
            if (serialization_count)
                srcpt->flags &= ~PSTHREAD_SERIALIZED;
            return 1; // futex_up already done here
        }
 
        /* Save myself to correct run list */
        if (ctype == PS_PREEMPT)
            list_append(&srcpt->link, &ready_list);
        else if (ctype == PS_FROM_MANAGER) {
            list_append(&srcpt->link, &manager_list);
            threads_in_manager--;
        } /* If ctype == PS_TO_MANAGER, don't save ourselves to any list, we should
           * already be somewhere, or we will be lost */
    }
 
    /* Choose new thread to run */
    if (ctype == PS_TO_MANAGER || ctype == PS_FROM_DEAD) {
        dstpt = list_get_instance(manager_list.next,psthread_data_t, link);
        if (serialization_count && ctype == PS_TO_MANAGER) {
            serialized_threads++;
            srcpt->flags |= PSTHREAD_SERIALIZED;
        }
        threads_in_manager++;
    } else {
        if (!list_empty(&serialized_list)) {
            dstpt = list_get_instance(serialized_list.next, psthread_data_t, link);
            serialized_threads--;
        } else
            dstpt = list_get_instance(ready_list.next, psthread_data_t, link);
    }
    list_remove(&dstpt->link);
 
    futex_up(&psthread_futex);
    context_restore(&dstpt->ctx);
 
ret_0:
    futex_up(&psthread_futex);
    return retval;
}
 
/** Wait for uspace pseudo thread to finish.
 *
 * @param psthrid Pseudo thread to wait for.
 *
 * @return Value returned by the finished thread.
 */
int psthread_join(pstid_t psthrid)
{
    volatile psthread_data_t *pt, *mypt;
    volatile int retval;
 
    /* Handle psthrid = Kernel address -> it is wait for call */
    pt = (psthread_data_t *) psthrid;
 
    /* TODO */
    printf("join unsupported\n");
    _exit(1);
 
    retval = pt->retval;
 
    free(pt->stack);
    psthread_teardown((void *)pt);
 
    return retval;
}
 
/**
 * Create a userspace thread
 *
 * @param func Pseudo thread function.
 * @param arg Argument to pass to func.
 *
 * @return 0 on failure, TLS of the new pseudo thread.
 */
pstid_t psthread_create(int (*func)(void *), void *arg)
{
    psthread_data_t *pt;
 
    pt = psthread_setup();
    if (!pt)
        return 0;
    pt->stack = (char *) malloc(PSTHREAD_INITIAL_STACK_PAGES_NO*getpagesize());
 
    if (!pt->stack) {
        psthread_teardown(pt);
        return 0;
    }
 
    pt->arg= arg;
    pt->func = func;
    pt->finished = 0;
    pt->waiter = NULL;
    pt->flags = 0;
 
    context_save(&pt->ctx);
    context_set(&pt->ctx, FADDR(psthread_main), pt->stack, PSTHREAD_INITIAL_STACK_PAGES_NO*getpagesize(),
            pt->tcb);
 
    return (pstid_t )pt;
}
 
/** Add a thread to ready list */
void psthread_add_ready(pstid_t psthrid)
{
    psthread_data_t *pt;
 
    pt = (psthread_data_t *) psthrid;
    futex_down(&psthread_futex);
    if ((pt->flags & PSTHREAD_SERIALIZED))
        list_append(&pt->link, &serialized_list);
    else
        list_append(&pt->link, &ready_list);
    futex_up(&psthread_futex);
}
 
/** Add a thread to manager list */
void psthread_add_manager(pstid_t psthrid)
{
    psthread_data_t *pt;
 
    pt = (psthread_data_t *) psthrid;
 
    futex_down(&psthread_futex);
    list_append(&pt->link, &manager_list);
    futex_up(&psthread_futex);
}
 
/** Remove one manager from manager list */
void psthread_remove_manager()
{
    futex_down(&psthread_futex);
    if (list_empty(&manager_list)) {
        futex_up(&psthread_futex);
        return;
    }
    list_remove(manager_list.next);
    futex_up(&psthread_futex);
}
 
/** Return thread id of current running thread */
pstid_t psthread_get_id(void)
{
    return (pstid_t)__tcb_get()->pst_data;
}
 
/** Disable preemption
 *
 * If the thread wants to send several message in row and does not want
 * to be preempted, it should start async_serialize_start() in the beginning
 * of communication and async_serialize_end() in the end. If it is a
 * true multithreaded application, it should protect the communication channel
 * by a futex as well. Interrupt messages will can still be preempted.
 */
void psthread_inc_sercount(void)
{
    serialization_count++;
}
 
void psthread_dec_sercount(void)
{
    serialization_count--;
}
 
 
 /** @}
 */
 
 
 

Rev 1653	Rev 1709
1	/*	1	/*
2	* Copyright (C) 2006 Ondrej Palkovsky	2	* Copyright (C) 2006 Ondrej Palkovsky
3	* All rights reserved.	3	* All rights reserved.
4	*	4	*
5	* Redistribution and use in source and binary forms, with or without	5	* Redistribution and use in source and binary forms, with or without
6	* modification, are permitted provided that the following conditions	6	* modification, are permitted provided that the following conditions
7	* are met:	7	* are met:
8	*	8	*
9	* - Redistributions of source code must retain the above copyright	9	* - Redistributions of source code must retain the above copyright
10	* notice, this list of conditions and the following disclaimer.	10	* notice, this list of conditions and the following disclaimer.
11	* - Redistributions in binary form must reproduce the above copyright	11	* - Redistributions in binary form must reproduce the above copyright
12	* notice, this list of conditions and the following disclaimer in the	12	* notice, this list of conditions and the following disclaimer in the
13	* documentation and/or other materials provided with the distribution.	13	* documentation and/or other materials provided with the distribution.
14	* - The name of the author may not be used to endorse or promote products	14	* - The name of the author may not be used to endorse or promote products
15	* derived from this software without specific prior written permission.	15	* derived from this software without specific prior written permission.
16	*	16	*
17	* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR	17	* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18	* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES	18	* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.	19	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20	* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,	20	* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21	* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT	21	* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22	* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,	22	* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23	* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY	23	* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24	* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT	24	* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25	* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF	25	* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26	* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.	26	* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27	*/	27	*/
28		28
29	/** @addtogroup libc	29	/** @addtogroup libc
30	* @{	30	* @{
31	*/	31	*/
32	/** @file	32	/** @file
33	*/	33	*/
34		34
35	#include <libadt/list.h>	35	#include <libadt/list.h>
36	#include <psthread.h>	36	#include <psthread.h>
37	#include <malloc.h>	37	#include <malloc.h>
38	#include <unistd.h>	38	#include <unistd.h>
39	#include <thread.h>	39	#include <thread.h>
40	#include <stdio.h>	40	#include <stdio.h>
41	#include <kernel/arch/faddr.h>	41	#include <kernel/arch/faddr.h>
42	#include <futex.h>	42	#include <futex.h>
43	#include <assert.h>	43	#include <assert.h>
44	#include <async.h>	44	#include <async.h>
45		45
46	#ifndef PSTHREAD_INITIAL_STACK_PAGES_NO	46	#ifndef PSTHREAD_INITIAL_STACK_PAGES_NO
47	#define PSTHREAD_INITIAL_STACK_PAGES_NO 1	47	#define PSTHREAD_INITIAL_STACK_PAGES_NO 1
48	#endif	48	#endif
49		49
50	static LIST_INITIALIZE(ready_list);	50	static LIST_INITIALIZE(ready_list);
51	static LIST_INITIALIZE(serialized_list);	51	static LIST_INITIALIZE(serialized_list);
52	static LIST_INITIALIZE(manager_list);	52	static LIST_INITIALIZE(manager_list);
53		53
54	static void psthread_exit(void) __attribute__ ((noinline));	54	static void psthread_exit(void) __attribute__ ((noinline));
55	static void psthread_main(void);	55	static void psthread_main(void);
56		56
57	static atomic_t psthread_futex = FUTEX_INITIALIZER;	57	static atomic_t psthread_futex = FUTEX_INITIALIZER;
58	/** Count of real threads that are in async_serialized mode */	58	/** Count of real threads that are in async_serialized mode */
59	static int serialized_threads; /* Protected by async_futex */	59	static int serialized_threads; /* Protected by async_futex */
60	/** Thread-local count of serialization. If >0, we must not preempt */	60	/** Thread-local count of serialization. If >0, we must not preempt */
61	static __thread int serialization_count;	61	static __thread int serialization_count;
62	/** Counter of threads residing in async_manager */	62	/** Counter of threads residing in async_manager */
63	static int threads_in_manager;	63	static int threads_in_manager;
64		64
65	/** Setup PSthread information into TCB structure */	65	/** Setup PSthread information into TCB structure */
66	psthread_data_t * psthread_setup()	66	psthread_data_t * psthread_setup()
67	{	67	{
68	psthread_data_t *pt;	68	psthread_data_t *pt;
69	tcb_t *tcb;	69	tcb_t *tcb;
70		70
71	tcb = __make_tls();	71	tcb = __make_tls();
72	if (!tcb)	72	if (!tcb)
73	return NULL;	73	return NULL;
74		74
75	pt = malloc(sizeof(*pt));	75	pt = malloc(sizeof(*pt));
76	if (!pt) {	76	if (!pt) {
77	__free_tls(tcb);	77	__free_tls(tcb);
78	return NULL;	78	return NULL;
79	}	79	}
80		80
81	tcb->pst_data = pt;	81	tcb->pst_data = pt;
82	pt->tcb = tcb;	82	pt->tcb = tcb;
83		83
84	return pt;	84	return pt;
85	}	85	}
86		86
87	void psthread_teardown(psthread_data_t *pt)	87	void psthread_teardown(psthread_data_t *pt)
88	{	88	{
89	__free_tls(pt->tcb);	89	__free_tls(pt->tcb);
90	free(pt);	90	free(pt);
91	}	91	}
92		92
93	/** Function that is called on entry to new uspace thread */	93	/** Function that is called on entry to new uspace thread */
94	void psthread_main(void)	94	void psthread_main(void)
95	{	95	{
96	psthread_data_t *pt = __tcb_get()->pst_data;	96	psthread_data_t *pt = __tcb_get()->pst_data;
97		97
98	pt->retval = pt->func(pt->arg);	98	pt->retval = pt->func(pt->arg);
99		99
100	pt->finished = 1;	100	pt->finished = 1;
101	if (pt->waiter)	101	if (pt->waiter)
102	list_append(&pt->waiter->link, &ready_list);	102	list_append(&pt->waiter->link, &ready_list);
103		103
104	psthread_schedule_next_adv(PS_FROM_DEAD);	104	psthread_schedule_next_adv(PS_FROM_DEAD);
105	}	105	}
106		106
107	/** Schedule next userspace pseudo thread.	107	/** Schedule next userspace pseudo thread.
108	*	108	*
109	* If calling with PS_TO_MANAGER parameter, the async_futex should be	109	* If calling with PS_TO_MANAGER parameter, the async_futex should be
110	* held.	110	* held.
111	*	111	*
112	* @param tomanager If true, we are switching to next ready manager thread	-
113	* (if none is found, thread is exited)	-
114	* @param frommanager If true, we are switching from manager thread	112	* @param ctype Type of switch.
115	* @return 0 if there is no ready pseudo thread, 1 otherwise.	113	* @return 0 if there is no ready pseudo thread, 1 otherwise.
116	*/	114	*/
117	int psthread_schedule_next_adv(pschange_type ctype)	115	int psthread_schedule_next_adv(pschange_type ctype)
118	{	116	{
119	psthread_data_t srcpt, dstpt;	117	psthread_data_t srcpt, dstpt;
120	int retval = 0;	118	int retval = 0;
121		119
122	futex_down(&psthread_futex);	120	futex_down(&psthread_futex);
123		121
124	if (ctype == PS_PREEMPT && list_empty(&ready_list))	122	if (ctype == PS_PREEMPT && list_empty(&ready_list))
125	goto ret_0;	123	goto ret_0;
126		124
127	if (ctype == PS_FROM_MANAGER) {	125	if (ctype == PS_FROM_MANAGER) {
128	if (list_empty(&ready_list) && list_empty(&serialized_list))	126	if (list_empty(&ready_list) && list_empty(&serialized_list))
129	goto ret_0;	127	goto ret_0;
130	/* Do not preempt if there is not sufficient count of thread managers */	128	/* Do not preempt if there is not sufficient count of thread managers */
131	if (list_empty(&serialized_list) && threads_in_manager <= serialized_threads) {	129	if (list_empty(&serialized_list) && threads_in_manager <= serialized_threads) {
132	goto ret_0;	130	goto ret_0;
133	}	131	}
134	}	132	}
135	/* If we are going to manager and none exists, create it */	133	/* If we are going to manager and none exists, create it */
136	if (ctype == PS_TO_MANAGER \|\| ctype == PS_FROM_DEAD) {	134	if (ctype == PS_TO_MANAGER \|\| ctype == PS_FROM_DEAD) {
137	while (list_empty(&manager_list)) {	135	while (list_empty(&manager_list)) {
138	futex_up(&psthread_futex);	136	futex_up(&psthread_futex);
139	async_create_manager();	137	async_create_manager();
140	futex_down(&psthread_futex);	138	futex_down(&psthread_futex);
141	}	139	}
142	}	140	}
143		141
144	if (ctype != PS_FROM_DEAD) {	142	if (ctype != PS_FROM_DEAD) {
145	/* Save current state */	143	/* Save current state */
146	srcpt = __tcb_get()->pst_data;	144	srcpt = __tcb_get()->pst_data;
147	if (!context_save(&srcpt->ctx)) {	145	if (!context_save(&srcpt->ctx)) {
148	if (serialization_count)	146	if (serialization_count)
149	srcpt->flags &= ~PSTHREAD_SERIALIZED;	147	srcpt->flags &= ~PSTHREAD_SERIALIZED;
150	return 1; // futex_up already done here	148	return 1; // futex_up already done here
151	}	149	}
152		150
153	/* Save myself to correct run list */	151	/* Save myself to correct run list */
154	if (ctype == PS_PREEMPT)	152	if (ctype == PS_PREEMPT)
155	list_append(&srcpt->link, &ready_list);	153	list_append(&srcpt->link, &ready_list);
156	else if (ctype == PS_FROM_MANAGER) {	154	else if (ctype == PS_FROM_MANAGER) {
157	list_append(&srcpt->link, &manager_list);	155	list_append(&srcpt->link, &manager_list);
158	threads_in_manager--;	156	threads_in_manager--;
159	} /* If ctype == PS_TO_MANAGER, don't save ourselves to any list, we should	157	} /* If ctype == PS_TO_MANAGER, don't save ourselves to any list, we should
160	* already be somewhere, or we will be lost */	158	* already be somewhere, or we will be lost */
161	}	159	}
162		160
163	/* Choose new thread to run */	161	/* Choose new thread to run */
164	if (ctype == PS_TO_MANAGER \|\| ctype == PS_FROM_DEAD) {	162	if (ctype == PS_TO_MANAGER \|\| ctype == PS_FROM_DEAD) {
165	dstpt = list_get_instance(manager_list.next,psthread_data_t, link);	163	dstpt = list_get_instance(manager_list.next,psthread_data_t, link);
166	if (serialization_count && ctype == PS_TO_MANAGER) {	164	if (serialization_count && ctype == PS_TO_MANAGER) {
167	serialized_threads++;	165	serialized_threads++;
168	srcpt->flags \|= PSTHREAD_SERIALIZED;	166	srcpt->flags \|= PSTHREAD_SERIALIZED;
169	}	167	}
170	threads_in_manager++;	168	threads_in_manager++;
171	} else {	169	} else {
172	if (!list_empty(&serialized_list)) {	170	if (!list_empty(&serialized_list)) {
173	dstpt = list_get_instance(serialized_list.next, psthread_data_t, link);	171	dstpt = list_get_instance(serialized_list.next, psthread_data_t, link);
174	serialized_threads--;	172	serialized_threads--;
175	} else	173	} else
176	dstpt = list_get_instance(ready_list.next, psthread_data_t, link);	174	dstpt = list_get_instance(ready_list.next, psthread_data_t, link);
177	}	175	}
178	list_remove(&dstpt->link);	176	list_remove(&dstpt->link);
179		177
180	futex_up(&psthread_futex);	178	futex_up(&psthread_futex);
181	context_restore(&dstpt->ctx);	179	context_restore(&dstpt->ctx);
182		180
183	ret_0:	181	ret_0:
184	futex_up(&psthread_futex);	182	futex_up(&psthread_futex);
185	return retval;	183	return retval;
186	}	184	}
187		185
188	/** Wait for uspace pseudo thread to finish.	186	/** Wait for uspace pseudo thread to finish.
189	*	187	*
190	* @param psthrid Pseudo thread to wait for.	188	* @param psthrid Pseudo thread to wait for.
191	*	189	*
192	* @return Value returned by the finished thread.	190	* @return Value returned by the finished thread.
193	*/	191	*/
194	int psthread_join(pstid_t psthrid)	192	int psthread_join(pstid_t psthrid)
195	{	193	{
196	volatile psthread_data_t pt, mypt;	194	volatile psthread_data_t pt, mypt;
197	volatile int retval;	195	volatile int retval;
198		196
199	/* Handle psthrid = Kernel address -> it is wait for call */	197	/* Handle psthrid = Kernel address -> it is wait for call */
200	pt = (psthread_data_t *) psthrid;	198	pt = (psthread_data_t *) psthrid;
201		199
202	/* TODO */	200	/* TODO */
203	printf("join unsupported\n");	201	printf("join unsupported\n");
204	_exit(1);	202	_exit(1);
205		203
206	retval = pt->retval;	204	retval = pt->retval;
207		205
208	free(pt->stack);	206	free(pt->stack);
209	psthread_teardown((void *)pt);	207	psthread_teardown((void *)pt);
210		208
211	return retval;	209	return retval;
212	}	210	}
213		211
214	/**	212	/**
215	* Create a userspace thread	213	* Create a userspace thread
216	*	214	*
217	* @param func Pseudo thread function.	215	* @param func Pseudo thread function.
218	* @param arg Argument to pass to func.	216	* @param arg Argument to pass to func.
219	*	217	*
220	* @return 0 on failure, TLS of the new pseudo thread.	218	* @return 0 on failure, TLS of the new pseudo thread.
221	*/	219	*/
222	pstid_t psthread_create(int (func)(void ), void *arg)	220	pstid_t psthread_create(int (func)(void ), void *arg)
223	{	221	{
224	psthread_data_t *pt;	222	psthread_data_t *pt;
225		223
226	pt = psthread_setup();	224	pt = psthread_setup();
227	if (!pt)	225	if (!pt)
228	return 0;	226	return 0;
229	pt->stack = (char ) malloc(PSTHREAD_INITIAL_STACK_PAGES_NOgetpagesize());	227	pt->stack = (char ) malloc(PSTHREAD_INITIAL_STACK_PAGES_NOgetpagesize());
230		228
231	if (!pt->stack) {	229	if (!pt->stack) {
232	psthread_teardown(pt);	230	psthread_teardown(pt);
233	return 0;	231	return 0;
234	}	232	}
235		233
236	pt->arg= arg;	234	pt->arg= arg;
237	pt->func = func;	235	pt->func = func;
238	pt->finished = 0;	236	pt->finished = 0;
239	pt->waiter = NULL;	237	pt->waiter = NULL;
240	pt->flags = 0;	238	pt->flags = 0;
241		239
242	context_save(&pt->ctx);	240	context_save(&pt->ctx);
243	context_set(&pt->ctx, FADDR(psthread_main), pt->stack, PSTHREAD_INITIAL_STACK_PAGES_NO*getpagesize(),	241	context_set(&pt->ctx, FADDR(psthread_main), pt->stack, PSTHREAD_INITIAL_STACK_PAGES_NO*getpagesize(),
244	pt->tcb);	242	pt->tcb);
245		243
246	return (pstid_t )pt;	244	return (pstid_t )pt;
247	}	245	}
248		246
249	/** Add a thread to ready list */	247	/** Add a thread to ready list */
250	void psthread_add_ready(pstid_t psthrid)	248	void psthread_add_ready(pstid_t psthrid)
251	{	249	{
252	psthread_data_t *pt;	250	psthread_data_t *pt;
253		251
254	pt = (psthread_data_t *) psthrid;	252	pt = (psthread_data_t *) psthrid;
255	futex_down(&psthread_futex);	253	futex_down(&psthread_futex);
256	if ((pt->flags & PSTHREAD_SERIALIZED))	254	if ((pt->flags & PSTHREAD_SERIALIZED))
257	list_append(&pt->link, &serialized_list);	255	list_append(&pt->link, &serialized_list);
258	else	256	else
259	list_append(&pt->link, &ready_list);	257	list_append(&pt->link, &ready_list);
260	futex_up(&psthread_futex);	258	futex_up(&psthread_futex);
261	}	259	}
262		260
263	/** Add a thread to manager list */	261	/** Add a thread to manager list */
264	void psthread_add_manager(pstid_t psthrid)	262	void psthread_add_manager(pstid_t psthrid)
265	{	263	{
266	psthread_data_t *pt;	264	psthread_data_t *pt;
267		265
268	pt = (psthread_data_t *) psthrid;	266	pt = (psthread_data_t *) psthrid;
269		267
270	futex_down(&psthread_futex);	268	futex_down(&psthread_futex);
271	list_append(&pt->link, &manager_list);	269	list_append(&pt->link, &manager_list);
272	futex_up(&psthread_futex);	270	futex_up(&psthread_futex);
273	}	271	}
274		272
275	/** Remove one manager from manager list */	273	/** Remove one manager from manager list */
276	void psthread_remove_manager()	274	void psthread_remove_manager()
277	{	275	{
278	futex_down(&psthread_futex);	276	futex_down(&psthread_futex);
279	if (list_empty(&manager_list)) {	277	if (list_empty(&manager_list)) {
280	futex_up(&psthread_futex);	278	futex_up(&psthread_futex);
281	return;	279	return;
282	}	280	}
283	list_remove(manager_list.next);	281	list_remove(manager_list.next);
284	futex_up(&psthread_futex);	282	futex_up(&psthread_futex);
285	}	283	}
286		284
287	/** Return thread id of current running thread */	285	/** Return thread id of current running thread */
288	pstid_t psthread_get_id(void)	286	pstid_t psthread_get_id(void)
289	{	287	{
290	return (pstid_t)__tcb_get()->pst_data;	288	return (pstid_t)__tcb_get()->pst_data;
291	}	289	}
292		290
293	/** Disable preemption	291	/** Disable preemption
294	*	292	*
295	* If the thread wants to send several message in row and does not want	293	* If the thread wants to send several message in row and does not want
296	* to be preempted, it should start async_serialize_start() in the beginning	294	* to be preempted, it should start async_serialize_start() in the beginning
297	* of communication and async_serialize_end() in the end. If it is a	295	* of communication and async_serialize_end() in the end. If it is a
298	* true multithreaded application, it should protect the communication channel	296	* true multithreaded application, it should protect the communication channel
299	* by a futex as well. Interrupt messages will can still be preempted.	297	* by a futex as well. Interrupt messages will can still be preempted.
300	*/	298	*/
301	void psthread_inc_sercount(void)	299	void psthread_inc_sercount(void)
302	{	300	{
303	serialization_count++;	301	serialization_count++;
304	}	302	}
305		303
306	void psthread_dec_sercount(void)	304	void psthread_dec_sercount(void)
307	{	305	{
308	serialization_count--;	306	serialization_count--;
309	}	307	}
310		308
311		309
312	/** @}	310	/** @}
313	*/	311	*/
314		312
315		313
316		314

Subversion Repositories HelenOS-historic

(root)/uspace/trunk/libc/generic/psthread.c – Rev 1653 → 1709