2,18 → 2,14 |
#define __FUNC_H__ |
|
#include "kernel/kern.h" |
#include "fsf_contract.h" |
#include "fsf_basic_types.h" |
#include "fsf_core.h" |
#include "fsf_server.h" |
#include "shark.h" |
|
#define OS_SHARK |
|
typedef struct { |
fsf_shared_object_t object; |
fsf_shared_operation_t operation; |
} mutex_object; |
|
|
#define get_current_exec_task() exec_shadow |
/* Return the PID/pthread_t of calling task */ |
|
92,15 → 88,15 |
|
/* Mutex */ |
extern __inline__ void generic_lock_mutex(int res) { |
extern mutex_object mutex_table[MAX_MUTEX]; |
extern mutex_t mutex_table[MAX_MUTEX]; |
|
fsf_lock_object(&mutex_table[res].operation); |
mutex_lock(&mutex_table[res]); |
} |
|
extern __inline__ void generic_unlock_mutex(int res) { |
extern mutex_object mutex_table[MAX_MUTEX]; |
extern mutex_t mutex_table[MAX_MUTEX]; |
|
fsf_unlock_object(&mutex_table[res].operation); |
mutex_unlock(&mutex_table[res]); |
} |
|
/* TASK RUNTIME FUNCTIONS */ |