| 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 = 100000; |
| unsigned long int PERIOD_DISEGNA = 100000; |
| unsigned long int PERIOD_REFRESH = 45000; |
| unsigned long int PERIOD_DISEGNA = 45000; |
| |
| unsigned long int WCET_REFRESH, WCET_DISEGNA; |
| |
| 259,6 → 259,9 |
|---|
| void program_key_end(KEY_EVT *k) |
| { |
| |
| OSMesaDestroyContext(ctx); |
| free(rgb_565_buf); |
| |
| sys_end(); |
| |
| } |
| 268,7 → 271,6 |
|---|
| |
| while(1) { |
| |
| task_testcancel(); |
| memcpy((video_buf+40*WIDTH*2), rgb_565_buf, RGB565MEM); |
| task_endcycle(); |
| |
| 286,8 → 288,6 |
|---|
| 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.30)); |
| WCET_DISEGNA =((long int) PERIOD_DISEGNA * (0.55)); |
| WCET_REFRESH =((long int) PERIOD_REFRESH * (0.35)); |
| WCET_DISEGNA =((long int) PERIOD_DISEGNA * (0.6)); |
| |
| hard_task_default_model(ht_refresh); |
| hard_task_def_wcet(ht_refresh,WCET_REFRESH); |
| 327,7 → 327,6 |
|---|
| refresh_PID = task_create("refresh", refresh, &ht_refresh, NULL); |
| if (refresh_PID == -1) { |
| sys_end(); |
| return 0; |
| } |
| |
| hard_task_default_model(ht_disegna); |
| 341,7 → 340,6 |
|---|
| disegna_PID = task_create("disegna", disegna, &ht_disegna, NULL); |
| if (disegna_PID == -1) { |
| sys_end(); |
| return 0; |
| } |
| |
| { |