CodeWarrior 5.1的sprintf函数是线程不安全的!

昨天在测试新写的任务池模块时,出现了莫名其妙的问题。
代码基本如下:

static void AppTaskStart (void *p_arg){
  INT8U err;
  ……
  TP_Init();
  while (DEF_TRUE){
    TP_AssignWork(SCITask,"aaaaaaaaaaaa\r");
    TP_AssignWork(SCITask,"abbbbbbbbbbb\r");
    TP_AssignWork(SCITask,"accccccccccc\r");
    OSTimeDly(1);
    TP_AssignWork(SCITask,"addddddddddd\r");
    TP_AssignWork(SCITask,"aeeeeeeeeeee\r");
    TP_AssignWork(SCITask,"afffffffffff\r");
    TP_AssignWork(SCITask,"aggggggggggg\r");
    TP_AssignWork(SCITask,"ahhhhhhhhhhh\r");
    OSTimeDly(1);
    TP_AssignWork(SCITask,"aiiiiiiiiiii\r");
    TP_AssignWork(SCITask,"ajjjjjjjjjjj\r");
    OSTimeDlyHMSM(0,0,0,300);
  }
}

static void SCITask(void *msg){
  OS_TCB tcb;
  INT8U buf[100];
  char *s = msg;
  INT16U len;
  OSTaskQuery(OS_PRIO_SELF,&tcb);
  len = sprintf(buf,"worker's priority:%d\rmsg:%s",tcb.OSTCBPrio,s);
  SCI_PutCharsB_Mutex(SCI0,buf,len,0);
  OSTimeDly(1);
}

简单来说就是,我创建了优先级为20、21、22的三个线程给线程池,然后不断分配任务给线程池做;任务很简单,就是打印出自己的优先级以及发过来的消息。

正常来说应该输出是这样的:

非常的整齐。

但实际上测试的时候却时不时地打印不全:

而且只要稍微变一点代码,打印不全的位置也会变,但总是优先级21的那个出问题。
定位了半天,最终发现就是sprintf这句出的问题,执行完后,缓冲区里可能是错误的值了。

static void SCITask(void *msg){
  ……
  len = sprintf(buf,"worker's priority:%d\rmsg:%s",tcb.OSTCBPrio,s);
  ……
}

然后又一通调试,最终想到会不会是任务切换的问题。
于是,在前后加了锁定:


static void SCITask(void *msg){
  OS_TCB tcb;
  INT8U buf[100];
  char *s = msg;
  INT16U len;
  OSTaskQuery(OS_PRIO_SELF,&tcb);

  OSSchedLock();    

  len = sprintf(buf,"worker's priority:%d\rmsg:%s",tcb.OSTCBPrio,s);

  OSSchedUnlock();  

  SCI_PutCharsB_Mutex(SCI0,buf,len,0);
  OSTimeDly(1);
}

结果,就再没出现过问题了。。。。

一般线程冲突这种事情是因为使用了全局变量,多个线程访问同个全局变量导致的。讲道理来说sprintf正常的实现感觉不需要使用全局变量的,因为需要的东西都用参数传递了。但事实上就是有线程冲突的问题。

于是到map文件中看看是不是真的分配了什么全局变量。

MODULE:                 -- PRINTF.C.o (ansixbi.lib) --
- PROCEDURES:
     vprintf                                 FE816F     44F    1103      53   .text       
     _out                                    FE85BE       9       9       2   .text       
     deposit_char                            FE85C7       A      10       3   .text       
     sprintf                                 FE85D1      2D      45       2   .text       
- VARIABLES:
     pow10                                     C051      28      40       4   .rodata     
     pow16                                     C079      20      32       4   .rodata     
     pow8                                      C099      2C      44       4   .rodata     
!>>> pbuf <<<<<!!!!!!                          2180       7       7      15   .bss     

这个pbuf好像有问题!
于是乎进到源文件中查看pbuf到底是用来干嘛的:

……
static struct __print_buf {
  LIBDEF_StringPtr s;
#ifdef __RS08__
  unsigned char jmp_opcode;
#endif
  void (*outc)(char); /*lint !e960 MISRA 16.3 REQ, this is a function pointer declaration */
  unsigned int i;
} pbuf;
……
int sprintf(LIBDEF_StringPtr s, LIBDEF_ConstStringPtr format, ...) { /*lint !e960 MISRA 16.1 REQ, standard library function  implementation */
  va_list args;

  pbuf.i = 0U;
  pbuf.s = s;
  pbuf.outc = deposit_char;
  /*lint -e{643} misleading warning ('&format' does not have a far pointer type) */
  /*lint -e{928} , MISRA 11.4 ADV, safe conversion to 'char *' */
  va_start(args, format);
  (void)vprintf(format, args);
  pbuf.s[pbuf.i] = (char)0;
  va_end(args);
  return (int)(pbuf.i); /*lint !e438 'va_end' must be invoked before return in a variadic function */
}

int vsprintf(LIBDEF_StringPtr s, LIBDEF_ConstStringPtr format, va_list args) {
  pbuf.i = 0U;
  pbuf.s = s;
  pbuf.outc = deposit_char;
  (void)vprintf(format, args);
  pbuf.s[pbuf.i] = (char)0;
  return (int)(pbuf.i);
}
……

sprinf中居然使用了一个全局变量!
怪不得多线程使用sprintf时会出现问题。

于是乎问题就明朗了。
20和21两个任务都使用了sprintf,在发生边界条件:21调用sprintf时正好发生了任务切换进入20,而20也在调用sprintf。时就可能发生冲突,导致pbuf变量被改写,而20的优先级高于21,所以只有21有可能出问题,打印出错。其实22也可能出错,只是可能运气好,正好错过了。

这种线程不安全的函数会不会出问题很大程度上就是看运气。

解决方案也很清晰,通过某种方法避免不同线程同时调用线程不安全函数就行了。

看来以后使用到这些标准库中的函数时得多小心啦。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值