45,8 → 45,8 |
unsigned long int VMEMLONG = WIDTH * HEIGHT * BYTES_PP / 4; // Used by copy_videomem_16to16 |
unsigned long int RGB565MEM = WIDTH * HEIGHT * BYTES_PP; // Total video mem |
|
unsigned long int PERIOD_REFRESH = 45000; |
unsigned long int PERIOD_DISEGNA = 45000; |
unsigned long int PERIOD_REFRESH = 100000; |
unsigned long int PERIOD_DISEGNA = 100000; |
|
unsigned long int WCET_REFRESH, WCET_DISEGNA; |
|
259,9 → 259,6 |
void program_key_end(KEY_EVT *k) |
{ |
|
OSMesaDestroyContext(ctx); |
free(rgb_565_buf); |
|
sys_end(); |
|
} |
271,6 → 268,7 |
|
while(1) { |
|
task_testcancel(); |
memcpy((video_buf+40*WIDTH*2), rgb_565_buf, RGB565MEM); |
task_endcycle(); |
|
288,6 → 286,8 |
TIME disegna_TIME, refresh_TIME; |
|
while(1) { |
|
task_testcancel(); |
|
jet_gettable(refresh_PID, &refresh_TIME, 1); |
jet_gettable(disegna_PID, &disegna_TIME, 1); |
314,8 → 314,8 |
|
HARD_TASK_MODEL ht_refresh, ht_disegna; |
|
WCET_REFRESH =((long int) PERIOD_REFRESH * (0.35)); |
WCET_DISEGNA =((long int) PERIOD_DISEGNA * (0.6)); |
WCET_REFRESH =((long int) PERIOD_REFRESH * (0.30)); |
WCET_DISEGNA =((long int) PERIOD_DISEGNA * (0.55)); |
|
hard_task_default_model(ht_refresh); |
hard_task_def_wcet(ht_refresh,WCET_REFRESH); |
327,6 → 327,7 |
refresh_PID = task_create("refresh", refresh, &ht_refresh, NULL); |
if (refresh_PID == -1) { |
sys_end(); |
return 0; |
} |
|
hard_task_default_model(ht_disegna); |
340,6 → 341,7 |
disegna_PID = task_create("disegna", disegna, &ht_disegna, NULL); |
if (disegna_PID == -1) { |
sys_end(); |
return 0; |
} |
|
{ |