<div dir="ltr"><div dir="ltr">Op vr 21 jun 2024 om 09:23 schreef Tatsuo Ishii <<a href="mailto:ishii@sraoss.co.jp">ishii@sraoss.co.jp</a>>:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> You are right that in 14136 several processes segfaulted. I'm not sure if<br>
> the coredump was for pid 15 (you might be able to find the correct pid<br>
> using the timestamp from the coredump), but I've noticed in the cases where<br>
> several processes segfault in just a few seconds, the crashes are almost<br>
> always the same. Therefore I didn't include the other coredumps, as they<br>
> will give you the same backtrace and variables.<br>
<br>
On my Linux (Ubuntu 20) there's a file which controls the core dump<br>
file name.<br>
<br>
cat /proc/sys/kernel/core_pattern<br>
|/usr/share/apport/apport -p%p -s%s -c%c -d%d -P%P -u%u -g%g -- %E<br>
<br>
Is it possible for you to include pid in core file name?<br></blockquote><div><br></div><div>I think it already does. Almalinux uses systemd-coredump for this, and from what I can find, the number before the timestamp is the PID. However, this is the PID as seen by the kernel, not the PID as seen by the process itself, as pgpool runs inside a docker container. This is why the main pgpool process always reports PID 1 for us. I don't think there is a way to get the PID from inside the container in the name of the dump. If we get another crash with multiple segmentation faults, I'll use the timestamps to get the first, so you can be pretty sure which PID it was the coredump belongs to.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
BTW, I have pushed fix_segfault2.patch and fix_main_node_id.patch.<br></blockquote><div><br></div><div>Great to hear! I'm glad to be of help in fixing these issues. Thank you for the great support!</div><div><br></div><div>Best regards,</div><div>Emond</div></div></div>