| 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 */ |