Linux下的strerror是否執行緒安全？

一見藍天發表於2014-04-09
LinuxError執行緒

下列是glibc-2.14中的原始碼：

點選(此處)摺疊或開啟

  1. char *
  2. strerror (errnum)
  3.      int errnum;
  4. {
  5.   char *ret = __strerror_r (errnum, NULL, 0);
  6.   int saved_errno;
  9.   if (__builtin_expect (ret != NULL, 1))
  10.     return ret;
  11.   saved_errno = errno;
  12.   if (buf == NULL)
  13.     buf = malloc (1024);
  14.   __set_errno (saved_errno);
  15.   if (buf == NULL)
  16.     return _(“Unknown error”);
  17.   return __strerror_r (errnum, buf, 1024);
  18. }

man strerror即可看到相關說明，strerror_r是執行緒安全的，但不帶_r的strerror是非執行緒安全的。

不過大部分時候strerror是安全的，因為大多數情況： if (__builtin_expect (ret != NULL, 1)) return ret; 這個地方能return出來。大多數憑空return非const字串的都不是執行緒安全的，而strerror大部分系統認識的errno都是返回const字串，所以大部分時候都是安全的。

遇到不安全的結果是返回錯亂的字串，但不會coredump，原因是buf的記憶體總是有效的。使用者如果給一個不存在的errno，會返回 “Error %d”這種東西，就非安全。

所以如果確認給的都是合法的errno，可以認為是安全的。或者乾脆 #define strerror(x) strerror_r((x),0,0)，這個#define要加-D_GNU_SOURCE編譯。

如果只是用當前的errno，直接用%m，但%m要直接使用系統的Xprintf，不能做二次封裝，否則中途一下庫函式會改變當前errno。如果封裝裡面用了malloc()，localtime這一類的，會改變當前errno值，使用Xprintf時值就不對了，如果重封裝要先儲存再恢復errno。

可以在多執行緒中盡情使用strerror，但最好同時記錄errno，萬一亂字串，還可通過errno取得正確的。


相關文章