ucos 操作系统中信号量释放 查询信号量的值不对

xuxuxuu

while(1)
{ OSSemQuery(MyEventSem,&mySemData);
   printf("任务B当前信号量为 %d \n",mySemData.OSCnt);
  OSSemPend(MyEventSem,0,perr);
   if (err!=OS_ERR_NONE)
  {
   printf("任务B请求失败");
   printf("错误号%d",err);
   continue;
  }  
  OSSemQuery(MyEventSem,&mySemData);
   printf("任务B请求信号量成功，当前信号量为 %d \n",mySemData.OSCnt);
    OSTimeDly(1000);
   printf("任务B开始释放信号量 ");
  OSSemPost(MyEventSem);
  OSIntEnter();
  OSSemQuery(MyEventSem,&mySemData);
   printf("任务B完成释放信号量，当前信号量为 %d \n",mySemData.OSCnt);
  OSIntExit();
  OSTimeDly(1000);
}
}



任务C开始，延时400个时钟周期  任务B开始，延时300个时钟周期  任务A创建信号量成功，当前信号量为 2
任务A当前信号量为 2
任务A请求成功，任务A当前信号量为 1
任务B当前信号量为 1
任务B请求信号量成功，当前信号量为 0
任务C开始请求信号量，当前信号量为 0
任务A开始提交信号量，
任务A完成提交信号量，当前信号量为 0
任务C请求信号量成功，当前信号量为 0
任务B开始释放信号量 任务B完成释放信号量，当前信号量为 1
任务C装备释放信号量 任务C完成释放信号量，当前信号量为 2



我创建的是一个信号量，允许两个任务访问，创建了三个任务。
想在任务A提交信号量后打印出信号量数量。
所以使用中断进行操作但不知道什么地方出现问题了  求指导
（信号量释放后打印出来值未+1）