From: "Hayato Kuroda (Fujitsu)" <kuroda.hayato@fujitsu.com>
To: 'Alexander Korotkov' <aekorotkov@gmail.com>, Tom Lane <tgl@sss.pgh.pa.us>
CC: Alexander Lakhin <exclusion@gmail.com>, Vitaly Davydov
	<v.davydov@postgrespro.ru>, Amit Kapila <amit.kapila16@gmail.com>,
	pgsql-hackers <pgsql-hackers@postgresql.org>, Masahiko Sawada
	<sawada.mshk@gmail.com>, "tomas@vondra.me" <tomas@vondra.me>
Subject: RE: Slot's restart_lsn may point to removed WAL segment after hard
 restart unexpectedly
Thread-Topic: Slot's restart_lsn may point to removed WAL segment after hard
 restart unexpectedly
Thread-Index: 
 AQHb2kRMScdZmxt1OEKyC+SS3EymoLQD8ziAgAAiSQCAAEJMgIAAEmsAgAClqICAAHYcIA==
Date: Mon, 16 Jun 2025 09:11:27 +0000
Message-ID: 
 <OSCPR01MB1496667BEA93302F8903EE512F570A@OSCPR01MB14966.jpnprd01.prod.outlook.com>
References: <1d12d2-67235980-35-19a406a0@63439497>
 <CAPpHfdtp61pSt72KxxOnnV_Oj4OTAiKYCSTek0Pm87hVDod4Bg@mail.gmail.com>
 <CAA4eK1Lmd-stXWrNqX9iXugjY=ahhe7zRfyq+-vN512xvF4G2w@mail.gmail.com>
 <CAPpHfdsTiYQPywr4yeqVhUtA+eFdqisqcAOiTb+kiYhi9EVEvw@mail.gmail.com>
 <CAPpHfdvk-nfu5xzJyPArxWctofWPR+1L9uJ+yyWFA34n6b5rGQ@mail.gmail.com>
 <CAA4eK1Ladnm40UO-YC+c7eBYqjyFQSwg0dn1w_CiaMoBTsJUDA@mail.gmail.com>
 <CAPpHfduX--KKX853UwaJ8Cjo5bxbh19V_+McKQ3p9aS6b8T1Wg@mail.gmail.com>
 <CAA4eK1+VbBxYY-rG4B7Jq6TsYvdjt3d2nbUrs7p9-1sP5mH+sw@mail.gmail.com>
 <CAPpHfdvxqjE+RZdoOODQZAmQip6NpvSH40DuvVFWuf_00ek-yQ@mail.gmail.com>
 <1d97ec-6841b600-3-b7b4780@40747246>
 <CAA4eK1LvssAcp61qg957xRF0=K4xF0hfJQjQ6c9V7EGHSqraPg@mail.gmail.com>
 <28c8bf-68470780-3-51b29480@89454035>
 <CAPpHfdt77k3BqD=anh4b7UiRevfPOu2Hcf3rvSZXntxH+4G=Ug@mail.gmail.com>
 <fbc5d94e-6fbd-4a64-85d4-c9e284a58eb2@gmail.com>
 <CAPpHfdvPpg5VUTNOqfKSNx66ij3ZJNZbf4kn6SDcPkdq9FTvng@mail.gmail.com>
 <0a617d34-abc3-4090-92a5-ea15d45e36f6@gmail.com>
 <228607.1750003556@sss.pgh.pa.us>
 <CAPpHfdvJMe4i0_wp1tq2ZGSDKqUHKPwkfD_Y6KyJ3XQRFvc0cQ@mail.gmail.com>
In-Reply-To: 
 <CAPpHfdvJMe4i0_wp1tq2ZGSDKqUHKPwkfD_Y6KyJ3XQRFvc0cQ@mail.gmail.com>
Accept-Language: ja-JP, en-US
Content-Language: ja-JP
msip_labels: 
 =?utf-8?B?TVNJUF9MYWJlbF9hNzI5NWNjMS1kMjc5LTQyYWMtYWI0ZC0zYjBmNGZlY2Uw?=
 =?utf-8?B?NTBfQWN0aW9uSWQ9ZTEwMTkxODAtNWE5MS00MmFhLWI1NmItNzI5OWYwYjVj?=
 =?utf-8?B?ODk0O01TSVBfTGFiZWxfYTcyOTVjYzEtZDI3OS00MmFjLWFiNGQtM2IwZjRm?=
 =?utf-8?B?ZWNlMDUwX0NvbnRlbnRCaXRzPTA7TVNJUF9MYWJlbF9hNzI5NWNjMS1kMjc5?=
 =?utf-8?B?LTQyYWMtYWI0ZC0zYjBmNGZlY2UwNTBfRW5hYmxlZD10cnVlO01TSVBfTGFi?=
 =?utf-8?B?ZWxfYTcyOTVjYzEtZDI3OS00MmFjLWFiNGQtM2IwZjRmZWNlMDUwX01ldGhv?=
 =?utf-8?B?ZD1TdGFuZGFyZDtNU0lQX0xhYmVsX2E3Mjk1Y2MxLWQyNzktNDJhYy1hYjRk?=
 =?utf-8?B?LTNiMGY0ZmVjZTA1MF9OYW1lPUZVSklUU1UtUkVTVFJJQ1RFROKAiztNU0lQ?=
 =?utf-8?B?X0xhYmVsX2E3Mjk1Y2MxLWQyNzktNDJhYy1hYjRkLTNiMGY0ZmVjZTA1MF9T?=
 =?utf-8?B?ZXREYXRlPTIwMjUtMDYtMTZUMDk6MDE6MzRaO01TSVBfTGFiZWxfYTcyOTVj?=
 =?utf-8?B?YzEtZDI3OS00MmFjLWFiNGQtM2IwZjRmZWNlMDUwX1NpdGVJZD1hMTlmMTIx?=
 =?utf-8?Q?d-81e1-4858-a9d8-736e267fd4c7;?=
authentication-results: dkim=none (message not signed)
 header.d=none;dmarc=none action=none header.from=fujitsu.com;
x-ms-publictraffictype: Email
x-ms-traffictypediagnostic: OSCPR01MB14966:EE_|OS3PR01MB8271:EE_
x-ms-office365-filtering-correlation-id: f9e5fc23-5eac-4ee9-9fbe-08ddacb5c6c7
x-ms-exchange-senderadcheck: 1
x-ms-exchange-antispam-relay: 0
x-microsoft-antispam: 
 BCL:0;ARA:13230040|1800799024|376014|366016|38070700018|1580799027;
x-microsoft-antispam-message-info: 
 =?utf-8?B?ZVV3eFdEelFtYWZhdnVhcmJiMk9OR1BqcXVDdlQwVUw0WkdVYUFrbzZrM0RE?=
 =?utf-8?B?bUJEak55ZWdueHBRRmdmVWxFVHpUMDFkUGJRdVFFTTVqSkprSHByNUxva0Z3?=
 =?utf-8?B?cW96ZE54UXY2ckZBemJEeDNJMHRJWjNaY0JtM3BtdGlIZ3dSazFaMTZBSjR1?=
 =?utf-8?B?dU9hcVFZMnVTeTNuemZhM1N6ZmorWEt3Qkd5bnFVNm16bGtnc2JsbnJVT0Fl?=
 =?utf-8?B?M2tuamZKRHIyY2R0dGYwRW5VQVk3dUtZQWtkZ0VHZVIyaUxpdGNwb3kyU2Jp?=
 =?utf-8?B?Y1hVVGZkWGdhNnFsdXI5Tmk1Ui9XNVJndHZqWlBMMldkNS9Ra29XQW5vdFlF?=
 =?utf-8?B?ZWltQmEyd1J3N2lPeXorWGlPQjlERHpMUXppaFhmYkJmR0VZOGpoZWE2Vm9I?=
 =?utf-8?B?Wm9ZRmxERDIvZHJKRm1sYTE2ejNCY1BvOWhEVmVpQlBhRzl6d0JEazlvRUYv?=
 =?utf-8?B?ajl4RkNKOVlSdmp0T2dkcld1VkhaMjVxWEdWQTIvVk81V2U3Yms5NnhWOGI0?=
 =?utf-8?B?dEtMSlJ5bDF4cUU2MFUwTUZTMzU3d3ZwK0ZEUTlUMzZ3VmZZUDBtNnB4d2ZK?=
 =?utf-8?B?aDJpOFNueGphcW5UTHI5RGpBNmw5WE1TQ0hlRHZpNXdGMDBUN3lCem1xdzFk?=
 =?utf-8?B?TE55SVU4aTZNS1ZnVDROLzhYTXhSb01hNDlSVmdNdUM1cjJQKzBZUWNZd3Fu?=
 =?utf-8?B?Wk9IbURqUjJ0WUJndzJja3BJT0RnTWRUOW5EUkFpNFRTa3ZURVArZkxUVFN4?=
 =?utf-8?B?SldqOGIvSGkvUWZHYXBva2xNZ05EbDcxTVd6SGY3MEVCWC9RdjBPUGlXRVdJ?=
 =?utf-8?B?enVXbE5FNHFqdEhhSUdRRDhzQ0JaS1pkYmt1bW5HMnQrWjBDZEpPQ2x4N1JJ?=
 =?utf-8?B?MzJycXFYczlDbkRVZWMyUEFoTkI5RnZkVXdtcldCb1ptYk9BRTVQZkdzTXZ6?=
 =?utf-8?B?SWw1WlNMR3lvbjRENFAxOG4wZEF6V0dsQ01uOWZqSGhXODBzbEh6VldFU1M1?=
 =?utf-8?B?WlFvVXJQa3JZWkxkUWJveHUrODQ3SHBLbW5aRFREVGg2bVhyZjB2Zlg3cXpS?=
 =?utf-8?B?cVlSN3Q0QkVONGN0VmVpbnlSUXBHMDlkb0tFbHVZUmQ1M1ZXdGhUclhKTWk1?=
 =?utf-8?B?MkNnSW8rZTZWdENScEV4djE3U21MVGpMM2tWVU9UejF4OW9sYkhJRzByN3BT?=
 =?utf-8?B?Wk5kOXlmVFBTdTBzM3JNeHNsTnZyUGllaXlDR28yZHBtcjRaZVhXK0llWlBD?=
 =?utf-8?B?QlpsejFIejl0Z1VSZkxzSStiSnBLQm9RRW5iN2dqdlJzbG11MFZNNmNjd3gx?=
 =?utf-8?B?bmJwWTdIa0M1M3hXVUc5V2djSyszcmcxL0lhTE9na1RncUMvWHJQRmhScVNW?=
 =?utf-8?B?STlLVmRyL3M2ME44YVl4ckx0dnhmQWhEZUZmOXltWVhsOEVYZU5PWEp1RGZp?=
 =?utf-8?B?WHIwcXI2eUtZQ0kyUHArcFFpSXFyTDZKRFhMcTVNVHljZ2lJUmxxc1RDaEFE?=
 =?utf-8?B?bVIvMXZDVWhsRWltSHlQV0QwQkR4U2ZReUUxQlhXNm9xSzRrcnc4UzQ2QkFE?=
 =?utf-8?B?aXFzZ3dFZTdOMnZ6bmVVTjRBTWJYTlNMcURWMityMmt6bmFxSjZLWFRiTXlC?=
 =?utf-8?B?czRDbDk5aXhlRFVrVTZONG1ITU9ydUpUdnVpd29mZStVQWhYclJobTU1a0RZ?=
 =?utf-8?B?K2VoMzVOTzdsTmlDZ3Zpa2lLQklrd2IvTUdERGJmKzFnZHU1VkpndlliV1pD?=
 =?utf-8?B?Wmc3S3NVU0hWT1h4UnViQmZQNUxKV2FYTmt5YUtWY2l5WCtBbFFGdTZtODdr?=
 =?utf-8?B?Z1BsSVdYSFFZbVcvQUtmakJtT1piRjdBYnk2alQ3Z1ZEWXUrSGVqS2FDc3Ja?=
 =?utf-8?B?b0tuUjg4K2RxcDN6NDdtT0hTNzdQbVNBQjNvb3B3cms1eTBoRmRHS1ppOU5k?=
 =?utf-8?B?UStvT1VSY1pvTG9mbGVjbXoxUTNKV09ZU3FtcGdzZ1VPSU9lc1A1aXFLNzFL?=
 =?utf-8?B?TzFWbzIrN1ZvUTZRQmdoa3dSWnN1NHhKclFtS1RlbDBqaDl2UHM1UmR1VUpO?=
 =?utf-8?Q?8Gvx9D?=
x-forefront-antispam-report: 
 CIP:255.255.255.255;CTRY:;LANG:ja;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:OSCPR01MB14966.jpnprd01.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(1800799024)(376014)(366016)(38070700018)(1580799027);DIR:OUT;SFP:1101;
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0: 
 =?utf-8?B?QW13ZmF0RERuQ2M2anF5OWhrTkYyYUV6ak1sQlVDZFA3TjdCdEhYUllWMXlJ?=
 =?utf-8?B?MHhScHFIY05zUS8xbk9BRjlsZUxuaTQ2OGsrU1BxOVkzRVp6cUViM1JLQlll?=
 =?utf-8?B?c1pPcHZMR1daSDRYQktiTVNhSzR3bGJEeXpPTnFCNFp2MDRtTDBQNW94dGoy?=
 =?utf-8?B?czlDLzkzbHlPQWJLSjgyKzRSVmNPeCszMlovVnhCSE8yVlNUTDZSaW92Y25p?=
 =?utf-8?B?SVFWWWxHMHNBSlZkbWI2bitXM05PTjE0TTI3NzBLODJPYXhJS2pma3ZKRGZP?=
 =?utf-8?B?VjZwTlN3bTdFK3U3THVpa0Q4amFhU2djZ0t1WVlOVnltRFBKRHhXc3I1R2Z2?=
 =?utf-8?B?c2FqajlTN0FqV2RtTjB3RFZaR1VZcnNUSi9DMnk5Q01jdVJ2M1VyckVYR0lY?=
 =?utf-8?B?QUpMTjVPVFcrVmZQNnlLK0VlalZDVzRNOExOdjRWeFpmSG4rbmx6VEwvbG1B?=
 =?utf-8?B?TmxlUjBhRTFvRDVkbi9IaCtYTXZ3ZlRNak8wYUpSakxYcU5Dcm1YTGVzbll3?=
 =?utf-8?B?K1JYNFJZOTZSVjIraWlNeG1HOTZPNy9NVE1jNWlEemVSSFNoclYvK2RkM0pR?=
 =?utf-8?B?aEtvMEZCWlg3WlRFbnBkWmp3bVdpZ2F1QkEyWWRmRjJ6akFpSjJuaXZQVk43?=
 =?utf-8?B?QXh1K1UzcXJ4WlR1OE1HcWVNTHhyeU1VdmpMdFZWcHRvT2lvdHpsOUgrZmNB?=
 =?utf-8?B?RXd4NEx6Y0pJZ1BjUk93cVl4VkQxZEZBVUt5bE1SSThzeEpwZ2tiQnpqMzU1?=
 =?utf-8?B?L0FMZzU2cWIxTGNqbExldGdVQjVKZnBiQ09YZXpYUVlMck0wZlpna21pSEJB?=
 =?utf-8?B?MzFLQjg5T3FCQ2NaZ0JzSGtHVjVKR05FWGZoaVdGRitHcFhpdEhydmlLT3lQ?=
 =?utf-8?B?VmtZRWlQQWp6dE41S0p6OVNudDZMR3o4N2FsM0dseFB2WXJQZjVQbHlPdkJq?=
 =?utf-8?B?cnFOaENiV3hGKzlXMlk2ZURRcytlb3RvR21kckVUSC9xYmF3bTRzRWZrNDh1?=
 =?utf-8?B?c1dxSlJZQURhMGpzZVVWdTFMR2sreFJuSk5rWGp4ekFEZDlWUFBRZVF5R3VM?=
 =?utf-8?B?T0Z4MHE3SkRiZFlQNEpHYkV1NjFnb2ROVW9RU21FdGZoU0N0dFl5MnpnOHgw?=
 =?utf-8?B?aVkzWHQ1MmN6OW1ERnRhSHpIbURNUm5BOXQvSHpvb29uY2JsbFdRWDUyVzFs?=
 =?utf-8?B?V09CNHZwRzJFbkRweUhXOVc1MjBpQzFwS2tMYS9iMk9jUlBWdWlCZGwwQTRi?=
 =?utf-8?B?ZENtVnQ1MnByaE1vdHlyTzFaaHFiT216MEhWOHhIdWQ0UTFqTnl4Y294RldC?=
 =?utf-8?B?eGtKZm5lRElBdEM0MHFyTktDT0RDUzExdTV0TUMrSCtwcyt0ckx6a3ZML1dp?=
 =?utf-8?B?WHR0eHljZ1JZcDNUbjRUUC8zU2o5SDRjVm1WZVBBUFl0eDVpNW4wVDFNdVZD?=
 =?utf-8?B?SEdYTFU1d2FBNUswNkFxNXhCejBwbFZyekJ5ZVB3N1RDNnFMcnd4NVlCbXBE?=
 =?utf-8?B?djk1U1hDTVhpWktpWVp1YjJLVXZ2UHc3NDBjZTdCMThIWXV6cjFTSlhDUVVP?=
 =?utf-8?B?dlM5RFZYenEyYkVRZVUrc29wNkU3b0NUQmN2VDFLRzhqanhDS0ticFQrU3lP?=
 =?utf-8?B?RStDSXYwMGhhOHlVdlgzcmZLQTVxQ09sODdwVjRQVCszcklSajZsWm0rVFF3?=
 =?utf-8?B?WXprSm5HZVJKZEhHc0FIQis2OHZGYisvRGVqRWo5OUNJalNEc096cHI4ejFS?=
 =?utf-8?B?MkJCU1dJNTllelcya29HeVY4bjJ6T1JTOHJ6YjAwQll6bEV3enBIc3h0eE5r?=
 =?utf-8?B?aW1wUVJjTENadzRDelkrdUhQd1FBeEVNYlVydUk5M3M1aEVZVG9abERVNkFM?=
 =?utf-8?B?cXFUR2podEJzeVJ2ak5jUTE0SlIwOFJoeU1VTkdodEZLbjFOY2c3NnEzbTVa?=
 =?utf-8?B?Ny9aN2JvVlp0ckpsUkxrczFpMnlrdlNIY2xiNU16T0Z5Qy8raEV4QjQzOGJX?=
 =?utf-8?B?V1VHNCtTZXVrSGNZd05BekNyQmxDQ3pzV1NHdzRJVFhRMW14bEhzNmRJWUp6?=
 =?utf-8?B?TldsbDdtMURZclVCOUJIeWp4QmJhRjBCWjNOSmpSZEhrWHNZaU4rUDJNWm5X?=
 =?utf-8?B?QXQ1S09hNWxVTHcxamFFeFlncFNEak9sbG5zb094Y0xQMXFnemQvY3FqdTl3?=
 =?utf-8?B?Zmc9PQ==?=
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: 
	z+f/9j0RmzAOR81XXiFE5eRBO/sU58ijnlHuW1PYVhu1oRXfTb7aDcC9oRfgDRzrK9K5LU3MF9GA/XFSkjjP41cq2N5xiU/GR4VAYUWbg0o8XJoeW4ic8ncXWxP/OgG2bl0iG8/LqRLSHoIISkOGVoqh2ok2RAmC1LX7GNvaisx8BoLmX+m7Mqh7RcezErFXm9GbqDpAsIvcFv6pgrq3XxZC1bFTAeT9HmvPeONHBdRvFwBKpSrTZqWQsTXaXaj1KIKo50r/W416ld/GZZ0Nw1WI01TRwwUsU9B6cA1OMIuStC+uq8CRpCtsP//BG93KehOjv92ahKk3qCUEbfKmZC+/HVfbKgQ4cBOZXSx4+x0lJ0G7SS/+Y/zaUPH9IsUMNvyyvmm32OoM0WQmTa5xDmLcoWwTujPlC3BNluWo1PKWrTnlSWgXywM/VsJpDpru1mDSv/sj+Q+scD6dMNUaRJIu2wIudwgzQa3kirHzBujOkBfU5YChuZc/XFErT57irgroRSujz1t+O7Vfclnzy0117xaH6j6YhRKiITZ1VuEMu855oVtznNoVeWGTvterKu/BFmB+IZ+wNceBj7fqUuG8D7CzMVrKwewOUD/pSavontqmTRJrNSZJagz7chjM
X-OriginatorOrg: fujitsu.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: OSCPR01MB14966.jpnprd01.prod.outlook.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 
 f9e5fc23-5eac-4ee9-9fbe-08ddacb5c6c7
X-MS-Exchange-CrossTenant-originalarrivaltime: 16 Jun 2025 09:11:28.0381
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: a19f121d-81e1-4858-a9d8-736e267fd4c7
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: 
 pN1qhWMChcqRp/Brms3bvSn5Lb2rW/hbKnvgEpGspwCASWULdmvITGsh4OwMv9d+wet5QUVSl7mZkaKyhzXY4tAtnVtFk3Vlqg7i38Q53Z8=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: OS3PR01MB8271
List-Id: <pgsql-hackers.lists.postgresql.org>
List-Help: <https://lists.postgresql.org/manage/>
List-Subscribe: <https://lists.postgresql.org/manage/>
List-Post: <mailto:pgsql-hackers@lists.postgresql.org>
List-Owner: <mailto:pgsql-hackers-owner@lists.postgresql.org>
List-Archive: <https://www.postgresql.org/list/pgsql-hackers>
Archived-At: 
 <https://www.postgresql.org/message-id/OSCPR01MB1496667BEA93302F8903EE512F570A%40OSCPR01MB14966.jpnprd01.prod.outlook.com>
Precedence: bulk

RGVhciBBbGV4YW5kZXIsDQoNClRoYW5rcyBmb3IgcHVzaGluZyB0aGUgZml4IHBhdGNoISBCVFcs
IEkgaGF2ZSBmZXcgY29tbWVudHMgZm9yIHlvdXIgY29tbWl0cy4NCkNhbiB5b3UgY2hlY2sgYW5k
IGluY2x1ZGUgdGhlbSBpZiBuZWVkZWQ/DQoNCjAxLg0KYGBgDQokbm9kZS0+YXBwZW5kX2NvbmYo
J3Bvc3RncmVzcWwuY29uZicsDQoJInNoYXJlZF9wcmVsb2FkX2xpYnJhcmllcyA9ICdpbmplY3Rp
b25fcG9pbnRzJyIpOw0KYGBgDQoNCk5vIG5lZWQgdG8gc2V0IHNoYXJlZF9wcmVsb2FkX2xpYnJh
cmllcyBpbiAwNDYvMDQ3LiBJU1RNIGl0IG11c3QgYmUgc2V0IHdoZW4gd2UNCmVuYWJsZSB0aGUg
c3RhdGlzdGljcy4NCg0KMDIuDQpXZSBzaG91bGQgYWxzbyBjaGVjayB3aGV0aGVyIHRoZSBpbmpl
Y3Rpb25fcG9pbnRzIGNhbiBiZSBpbnN0YWxsZWQgb3Igbm90Lg0KWW91IGNhbiBjaGVjayBjaGVj
a19leHRlbnNpb24oKSBhbmQgY2FsbGVycy4NCg0KQmVzdCByZWdhcmRzLA0KSGF5YXRvIEt1cm9k
YQ0KRlVKSVRTVSBMSU1JVEVEDQoNCg==