Segmentation fault (コアダンプ)が出力後、コアファイルが出力されない

Question

実行ファイルを実行したところ”Segmentation fault”が発生したのでコアファイルを出力するため、
”gcc -g -pthread threadAttr.c”を打ち”Segmentation fault (コアダンプ)”と出力されたが、コアファイルがなく、出力されない原因が知りたいです。

実行環境です。WSL (Windows Subsystem for Linux)を使用しています。
lsb_release -a
No LSB modules are available.
Distributor ID: Debian
Description: Debian GNU/Linux 10 (buster)
Release: 10
Codename: buster

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <pthread.h>
#include <errno.h>

#define SIZE 10000000

void *threadFunc(void *arg){
   double table[SIZE];
   int i;
   for(i=0;i<SIZE;i++){
         table[i] = i*3.14;
      }
      return NULL;
}
int main(int argc,char *argv[]){
   pthread_attr_t attr;
   pthread_t thread;

   pthread_attr_init(&attr);
   if(pthread_attr_setstacksize(&attr,SIZE*sizeof(double)+100000i) !=0)
   {
      printf("Failed to set stack size.\n");
      exit(1);
   }

   if(pthread_create(&thread,&attr,threadFunc,NULL) !=0)
   {
      printf("Error:Failed to create new thread.\n");
      exit(1);
   }

   if(pthread_join(thread,NULL) != 0)
   {
      printf("Error:Failed to wait for the thread termination.\n");
      exit(1);
   }

   return 0;
}

Comments

[tatsu99]

OSの設定により、コアファイルが出力されないケースがあります。OSを明記すると良い回答が得られるかと。

Answer 1

以下、bashの場合です。(詳しくは「man bash」の「ulimit」の項を参照してください。)
(追記:動作環境見落としてました。WSLでの確認はしていないです。)

次のコマンドで「core file size」を確認してください。

ulimit -c

「-a」オプションを使用すると、全部のリソース制限の設定が確認できます。

ulimit -a

以下のコマンドでコアファイルのサイズが無制限になります。

ulimit -c unlimited

※コメントを受けて追記

core file size が"0"だったので”unlimited”に変更して実行しましたが、コアファイルは出ていなかったです。

手元のLinux環境(Linux Mint 19.3)では「ulimit -c unlimited」ではコアファイルがカレントディレクトリに出力されたのでWSL固有の事情があるのかもしれません。

とりあえずネット検索して以下を見つけました。

Linux - Bash on Windowsでコアダンプファイルを出力したい｜teratail

そこから状況が変わっていなければ、WSLではコアファイルを出力させることは出来ないということかもしれません。
もしかしたらWSL2ならば状況が変わるかもしれません。

Comments

[hashibiro]

core file size が"0"だったので”unlimited”に変更して実行しましたが、コアファイルは出ていなかったです。ちなみに実行したディレクトリにコアファイルのが出力されると思っていたのですが、
コアファイルの出力先が別のところにあったり、設定が違うとかはあるんでしょうか。
ulimit -a
core file size (blocks, -c) unlimited

[hidezzz]

回答に追記しました。

Answer 2

WSL1からWSL2へ移行したらcoreがカレントディレクトリに出力されるようになりました。
下記のサイト参考にWSL1 →　WSl2へ移行しました。
https://www.aise.ics.saitama-u.ac.jp/~gotoh/WSL1ToWSL2.html
https://docs.microsoft.com/ja-jp/windows/wsl/install-win10