ex3.c

c51学习的好书！

#include <rtx51tny.h>
int counter0;
int counter1;
void job0 (void) _task_ 0 {
  os_create (1);                                /* mark task 1 as ready */
  while (1) {                                   /* loop forever */
    counter0++;                                 /* update the counter */
  }
}
void job1 (void) _task_ 1 {
  while (1) {                                   /* loop forever */
    counter1++;                                 /* update the counter */
  }
}