/demos/trunk/fsf/test2.c |
---|
196,27 → 196,15 |
void add_posixstar_thread(fsf_server_id_t server) |
{ |
int err; |
pthread_t j = -1; |
NRT_TASK_MODEL nrt; |
nrt_task_default_model(nrt); |
nrt_task_def_save_arrivals(nrt); |
fsf_create_thread(server, &j, NULL, test_task_variable, NULL, NULL); |
err = pthread_create(&j, NULL, test_task_variable, NULL); |
if (err) { |
perror("Could not create task..."); |
sys_end(); |
} |
fsf_bind_thread_to_server(server, j, &nrt); |
} |
void add_edfstar_thread(fsf_server_id_t server) |
{ |
int err; |
pthread_t j = -1; |
HARD_TASK_MODEL ht; |
224,14 → 212,8 |
hard_task_def_mit(ht,100000); |
hard_task_def_wcet(ht,90000); |
err = pthread_create(&j, NULL, mpeg2decoder, NULL); |
if (err) { |
perror("Could not create task..."); |
sys_end(); |
} |
fsf_create_thread(server, &j, NULL, mpeg2decoder, NULL, &ht); |
fsf_bind_thread_to_server(server, j, &ht); |
} |
int main(int argc, char **argv) |
/demos/trunk/fsf/initfile.c |
---|
38,6 → 38,7 |
#include "kernel/kern.h" |
#include "modules/edf.h" |
#include "modules/cbs.h" |
#include "modules/posix.h" |
#include "pthread.h" |
#include "drivers/keyb.h" |
#include "modules/sem.h" |
45,6 → 46,7 |
#include "modules/hartport.h" |
#include "fsf_contract.h" |
#include "fsf_server.h" |
#include "modules/pi.h" |
#include "modules/pc.h" |
58,12 → 60,12 |
TIME __kernel_register_levels__(void *arg) |
{ |
struct multiboot_info *mb = (struct multiboot_info *)arg; |
int cbsstar_level, posix_level; |
int grubstar_level; |
EDF_register_level(EDF_ENABLE_ALL); |
posix_level = POSIX_register_level(RRTICK, 1, mb, 32); |
cbsstar_level = CBSSTAR_register_level(FSF_MAX_N_SERVERS, 0); |
FSF_register_module(posix_level, cbsstar_level); |
POSIX_register_level(RRTICK, 1, mb, 32); |
grubstar_level = GRUBSTAR_register_level(FSF_MAX_N_SERVERS, 0); |
FSF_register_module(grubstar_level); |
dummy_register_level(); |
CBS_register_level(CBS_ENABLE_ALL,0); |