/home/jaouen/pok_official/pok/trunk/libpok/include/core/thread.h

/*
 *                               POK header
 *
 * The following file is a part of the POK project. Any modification should
 * made according to the POK licence. You CANNOT use this file or a part of
 * this file is this part of a file for your own project
 *
 * For more information on the POK licence, please see our LICENCE FILE
 *
 * Please follow the coding guidelines described in doc/CODING_GUIDELINES
 *
 *                                      Copyright (c) 2007-2009 POK team
 *
 * Created by julien on Thu Jan 15 23:34:13 2009
 */

#ifndef __POK_THREAD_H__
#define __POK_THREAD_H__

#include <core/dependencies.h>

#ifdef POK_NEEDS_THREADS

#include <types.h>
#include <errno.h>
#include <core/syscall.h>

#define POK_THREAD_DEFAULT_PRIORITY 42

#define POK_DEFAULT_STACK_SIZE 2048

typedef struct
{
         uint8_t      priority;
         void*        entry;
         uint64_t     period;
         uint64_t     deadline;
         uint64_t     time_capacity;
         uint32_t     stack_size;
         uint32_t  state;
} pok_thread_attr_t;


void           pok_thread_init (void);
pok_ret_t      pok_thread_create (uint32_t* thread_id, const pok_thread_attr_t* attr);
pok_ret_t      pok_thread_sleep (const pok_time_t ms);
pok_ret_t      pok_thread_sleep_until (const pok_time_t ms);
pok_ret_t      pok_thread_lock ();
pok_ret_t      pok_thread_unlock (const uint32_t thread_id);
pok_ret_t      pok_thread_yield ();
unsigned int   pok_thread_current (void);
void           pok_thread_start (void (*entry)(), uint32_t id);
void                             pok_thread_switch (uint32_t elected_id);
pok_ret_t      pok_thread_wait_infinite ();
void           pok_thread_wrapper ();
pok_ret_t      pok_thread_attr_init (pok_thread_attr_t* attr);
pok_ret_t      pok_thread_period ();
pok_ret_t      pok_thread_id (uint32_t* thread_id);
void                             pok_thread_init (void);
pok_ret_t      pok_thread_status(const uint32_t thread_id, pok_thread_attr_t* attr);
pok_ret_t      pok_thread_delayed_start(const uint32_t thread_id, const pok_time_t ms);
pok_ret_t      pok_thread_set_priority(const uint32_t thread_id, const uint32_t priority);
pok_ret_t      pok_thread_resume(const uint32_t thread_id);

#define pok_thread_sleep_until(time) pok_syscall2(POK_SYSCALL_THREAD_SLEEP_UNTIL,(uint32_t)time,0)

#define pok_thread_wait_infinite() pok_thread_suspend()

#define pok_thread_suspend() pok_syscall2(POK_SYSCALL_THREAD_SUSPEND,NULL,NULL)

#define pok_thread_suspend_target(thread_id) pok_syscall2(POK_SYSCALL_THREAD_SUSPEND_TARGET,thread_id,0)

/*
 * Similar to: pok_ret_t      pok_thread_suspend (void);
 */

#define pok_thread_restart(thread_id) pok_syscall2(POK_SYSCALL_THREAD_RESTART,thread_id,0)
/*
 * similar to:
 * pok_ret_t      pok_thread_restart (uint32_t thread_id);
 */

#define pok_thread_stop_self() pok_syscall2(POK_SYSCALL_THREAD_STOPSELF, 0, 0)
/*
 * similar to:
 * pok_ret_t      pok_thread_stop_self ();
 */

#define pok_thread_stop(id) pok_syscall2(POK_SYSCALL_THREAD_STOP,id,NULL)
/*
 * similar to: pok_ret_t      pok_thread_stop (const uint32_t tid);
 */

#endif /* __POK_NEEDS_THREADS */
#endif /* __POK_THREAD_H__ */