还是单片机多任务

#include
#include
#include
#define uchar unsigned char

uchar led=0;

void init(void) _task_ 0
{
XBYTE[0x2000]=led;
os_create_task(1);
os_create_task(2);
os_create_task(3);
os_create_task(4);
os_delete_task(0);
}
void led0() _task_ 1
{
while(1)
{
os_wait(K_TMO,20,0);
led^=0x01;
XBYTE[0x2000]=led;
}
}
void led2() _task_ 2
{
while(1)
{
os_wait(K_TMO,40,0);
led^=0x04;
XBYTE[0x2000]=led;
}
}
void led4() _task_ 3
{
while(1)
{
os_wait(K_TMO,80,0);
led^=0x10;
XBYTE[0x2000]=led;
}
}
void led6() _task_ 4
{
while(1)
{
os_wait(K_TMO,160,0);
led^=0x40;
XBYTE[0x2000]=led;
}
}
这个怎么验证

什么意思？要是验证代码正确性，用KEIL环境软件仿真就可以了，但是要保证外存区2000H地址是能被锁存的，要不然观察不到数据。而且你那个^=的操作会产生什么结果还真说不好。
……
os_wait(K_TMO,20,0);
P1 = 0x01;
……
os_wait(K_TMO,40,0);
P1 = 0x02;
……
好观察

验证什么？