From owner-sc22wg14+sc22wg14-domo2=www.open-std.org@open-std.org Sat Mar 15 15:18:43 2025 Return-Path: X-Original-To: sc22wg14-domo2 Delivered-To: sc22wg14-domo2@www.open-std.org Received: by www.open-std.org (Postfix, from userid 521) id 1F0C535667F; Sat, 15 Mar 2025 15:18:43 +0100 (CET) Delivered-To: sc22wg14@open-std.org Received: from NAM11-DM6-obe.outbound.protection.outlook.com (mail-dm6nam11olkn2109.outbound.protection.outlook.com [40.92.19.109]) by www.open-std.org (Postfix) with ESMTP id 961DA356642 for ; Sat, 15 Mar 2025 15:18:40 +0100 (CET) ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=ANicB7rZBHn2uDZ2Eb6PuQ8WRGjOWRMiDQ8gEdBDhe6YvrhfZKi5y2Q2aR14eGttrYT7sf2kdOeaXN4zsdJjh+YHlwo1wDVFT5dzDhJIFfSSmbz2mjLoAbBfSgGv6dd/EAeTWp19vNzoAUbw2QdrDb9tJKd3EwNv3p9+a1k9MfzZrRhFgiU9XylOo96wzmQi9bNFD3r2IpN+V7ovRaw+OenuBuZO+tkPSf/fXsH+ioDRDN7WK0X9uAFphRN9VVUGdt+8onRLXkT627WG/gc35snnvaGSo0Zdq0AwZPKKdhEKaQrl+m2Y+7Ay5UKKN4Q6VlQXC3VHYztMcBjGHEFEVQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=p6dgF6mJuGn0RSc88o+msivwS+VKjemMZZvvcO5HRHI=; b=Wmv46F2LgZDa97e7I9oiN/yxLCjEIV37Zn9MHfLwpY1WwA+9TzS7rROOmkpmGXjOcub9MmaRuJ1ocCmM5++JJQn7d0V386PmpccZGcVTWH6qnwaUCaK1nUjlq8tXO+jMK+bCQaUERlrlSPYGZcK/bnQ0ufe4nUDUGQhDW17STGHtIAgZSbWZIshNc3K6b3RpcfW/JOhaeNPyq+CZBKM/CGecKA9vncXglGq+KnG5FjYO15uLAsSAHoxhGNEz7YwBJyB4kHMKnlBvVZ43XDl4aL5eH1bwPjRyKPMNIFisGqRImpkICM9Eyf3BbutTXzhj73m5NSAvXxI/KTA+zxv+kQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=outlook.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=p6dgF6mJuGn0RSc88o+msivwS+VKjemMZZvvcO5HRHI=; b=ivN6XxI4b7pzEB23LzVudUWYw6RLsQprtAR3dNGShK6E0qq6uHGfM3QksL2/oTBFM1LPFQN8ju1qMSTM89A3l9gZ+X5AdZ8HWNXPAQCJdQlcGBjdH/8AHvgGZ0XxF1KkLteBGVF56E1CycR44bR5ASrRJhpoSZ7XgDdwviUbhYiP63Hy0tJlgAyJoGm/QnnretPCEyv2BrWR6JuWTvpXRrczOsS51uk9Xmpkf0m6lN0sgHSPxbaYG730Kb1fqhIKW8OBcSYH61ybVv+/2HQ/VuM634hXGj3UehKjAQi8tqSEO2yF/VjgPKWf1gRCAhkSgDs8YgHGqESgDCQtdKotng== Received: from MW5PR84MB1641.NAMPRD84.PROD.OUTLOOK.COM (2603:10b6:303:1ab::18) by LV3PR84MB3618.NAMPRD84.PROD.OUTLOOK.COM (2603:10b6:408:217::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8511.27; Sat, 15 Mar 2025 14:18:37 +0000 Received: from MW5PR84MB1641.NAMPRD84.PROD.OUTLOOK.COM ([fe80::ed06:aacd:c3b:c019]) by MW5PR84MB1641.NAMPRD84.PROD.OUTLOOK.COM ([fe80::ed06:aacd:c3b:c019%4]) with mapi id 15.20.8511.026; Sat, 15 Mar 2025 14:18:36 +0000 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8; format=Flowed Date: Sat, 15 Mar 2025 15:18:32 +0100 Message-ID: Subject: Re: [SC22WG14.29707] New issue #1010: Termination of the execution with threads Cc: "WG14" To: =?utf-8?q?J=E2=82=91=E2=82=99=E2=82=9B_Gustedt?= , "Joseph Myers" From: =?utf-8?q?Jakub_=C5=81ukasiewicz?= X-Mailer: aerc 0.20.1-0-g2ecb8770224a References: <20250313170725.419253567FC@www.open-std.org> <20250314093831.7F6C8356807@www.open-std.org> In-Reply-To: <20250314093831.7F6C8356807@www.open-std.org> X-ClientProxiedBy: WA1P291CA0006.POLP291.PROD.OUTLOOK.COM (2603:10a6:1d0:19::14) To MW5PR84MB1641.NAMPRD84.PROD.OUTLOOK.COM (2603:10b6:303:1ab::18) X-Microsoft-Original-Message-ID: MIME-Version: 1.0 X-MS-Exchange-MessageSentRepresentingType: 1 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: MW5PR84MB1641:EE_|LV3PR84MB3618:EE_ X-MS-Office365-Filtering-Correlation-Id: df9f5118-8f09-4605-acad-08dd63cc4642 X-Microsoft-Antispam: BCL:0;ARA:14566002|19110799003|461199028|8060799006|5072599009|7092599003|15080799006|6090799003|3412199025|440099028; X-Microsoft-Antispam-Message-Info: =?utf-8?B?OE4wOUxsN3I4SkxHR2ZRTGxrSENzeFQ4a3NwVjdwdzVoYzdTcVRWZFhVTXhx?= =?utf-8?B?eVdmemVrMVByRzVocVltZG5xeGQ2V1J4QVo4UmcvQ1dqVnRkdW5TelZPM1BI?= =?utf-8?B?SDRXY1pYdTQ1bWVSZWxZdnYzV3d0ODBJUUQ5d0tDdWI2eUpRekJkb2ZkUVFX?= =?utf-8?B?TTlWeE9rTHhrK01OTzZPRzF1bHIxRFdVai9GMVcvZWRWTko1S1ZTMUl3TGJU?= =?utf-8?B?NnJlOG9RcTk5RTVJWENkK08yMEJRNXBZUUEwYUo1dTNrckpLK2ZlbU40WURx?= =?utf-8?B?RTBWUkV4VWxiZW1yRnV3S3FWVXUyaHEzemIzMnQ1TUtiREk3NmtUYStMdllp?= =?utf-8?B?cHJ0aDY0N2YwVlpnNFBWVWV6Z0ltVUpmYXBRd1FTUGNOemtDdEZVdS9YdDRJ?= =?utf-8?B?RmplN1MzeHN4anNLYU8xOXZLbEdlOU9wamFMb0FidGtaUXFaeFhBL29teXJn?= =?utf-8?B?MmxIODI1MlBoQTFVNEdXem4xcnNnTjFhVVltL1RmR1JmUUFPSlh6VEY3RGZq?= =?utf-8?B?ZHZIVUtJV2RvNW1CT2xEM3Z1aWMvZFh3SUdGQWl0dU5YNk1TN2lOcnVkWE1j?= =?utf-8?B?Q01VeGJZQXkxWWFsVTNwa00vS0NqaUVPU1ZWTWVvSFR0MWswNDVzWFlnN3NX?= =?utf-8?B?NVNOYkNpV2lKeUdhb1BFcTh2dXB1YjdQankvT1RMNUhOS3dlaHZTeFZVZTNC?= =?utf-8?B?RzhTUi9LOUFETVZnTEk4b0pCZGhsaElqUlRYdXhzTnh1cUpwdXJuUEVuT3Vl?= =?utf-8?B?U0p5NTd1OUoyTGxZQU9PWkgzMDl6dFFvSFg5OUQxSFhtbkhlQ3VROTJZM2hH?= =?utf-8?B?OHY1bzRjRlJmdXNSb29WeDJ4UGhzMlA5MFFCQ0dIQUhPK0NpNm40MmxjVXJG?= =?utf-8?B?VzYrK0k3VVUwTzNlMFlSV3Z1cFRUaEtlUlBWMDRpeGFmVGVydmZvMmN3OFVr?= =?utf-8?B?R1MySEhNbjY3a1NWYjQvcXZpRGVJeiszYWwyaVQxOVltbVlyQWwyZklhWTJx?= =?utf-8?B?aXpiN1d2eGd4MERIdDNrYk00WDdKMVZqL1lla28xQm9WVWlFUWpBZ2hBay94?= =?utf-8?B?djJHSDhpRE13cnNqc0Q3ZXgzcFVDczRPQVFaZDZKU0hranA1WjFOR3o5WlNo?= =?utf-8?B?YzRTM296ckJ5MlhaYktndWxjbmZ0Q1I0Y0d1cXNKZ3k1S3QyKzdaUHZpQUE0?= =?utf-8?B?TEpiUWRSNnJxdUUvRmJoc0cvbmRoRmtqcXZ3S1ZHT1FRV0dWREY4eU92WlFK?= =?utf-8?B?dVJ1UUlRVVZWdlFVMWhyaFRONmJ3MmVKN3FnbnlaNGR6SzZlK1dsTVpCRVVu?= =?utf-8?B?Uy9CS1ZLZUZjcHpVOTdncG1TMHpTV1FrR1pzZ3FraE8ySldvSkFub0hjWUN4?= =?utf-8?B?QktCV25obXVRc3YzcWJhU29ZZThnejdRZlBwQWFXMHNFNnBoNDF5akhKamVI?= =?utf-8?B?R05SOHdMZXhpL2FDUWRDQWxUWktIZ1NSUlBGd0RUUW5Ub1MzcDZCWEl2RnhO?= =?utf-8?B?aUpLVTdXcE9CQy9uRDJ4QUgvVkJ3akE0UG93QkZ3eVFMbnVNdXl3K2hUa3VS?= =?utf-8?B?VFd4dz09?= X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?SkYyS2dSQ211WDRudWt2V3JBdHZrUVlmMFM3KzJlUlpMREMwcFdxOXNHeE8w?= =?utf-8?B?cS9WOXNJV2h5SWtoQkhuYXFtblF0a1YxY0htcUFKaVRUTkZoYlkxeW9yUW5w?= =?utf-8?B?cW1EMCtXaW1tM2NXdkIxbHF0K1E2bk9iYUFTZ0FOWUEzREZhZnJ6WGRXeXNK?= =?utf-8?B?bjZXMDFNaHlhMVYxU3hmbU1CVGR6S3BjYUZiQUpVYTI2eSt2eWI0aldkbG9S?= =?utf-8?B?c21SU0VaMmlhcGIyQVFTejhiUDNKQ1BJNWwrM2U1R3ZCMVRSemE2TEEzeEVM?= =?utf-8?B?WGxGZG56Z0NZZGMxa0R0WC9LVWZkZlJYdEE0bHcxSm1JNU9oNkNVOTdKOTRr?= =?utf-8?B?YkcrdTFnVnJnZ05OS080MUlrU2pNemJLVnhUNEZQUzN3c0t2cjRZQTRzc0FG?= =?utf-8?B?UlpmbSs5TzgrUG9vZHpIemFOSXF2ak1XK29HTzdMZGMwMlZJOU84MnVSTnVN?= =?utf-8?B?dmRMdXlUd3NpeXRVWHEzdFE1KzdaK1Z6QWhvdHo2WERaZjFYZldlVGQxcEpm?= =?utf-8?B?UFlXalpxNVRwL2ZIQTVPYVJaczloWDhKaUFYc2ovalAraldjaWRubjAyOXhn?= =?utf-8?B?WmJnQXZvSERPeDgxd3hua3p0emdld1V1YmdhQ1I3clp5V0RGZnNVQTM3ZjBw?= =?utf-8?B?Y0JjS3NaZDdhUmgvZ245UGVyM2R6ZkppMHVYSDhKaDZ5dm1VSkJrL01PNExV?= =?utf-8?B?Y1lSc25Gdy91dmJGUk9GRnNEM1RwWElrWU4wd1hJVWFHQ05pbVY4dEdiVnk5?= =?utf-8?B?Yld1bzF1UVZoQ3lFM2FhZ1FJdHBYZlBCd3VtM2UybTVhKzY3b0kzT2hreFBi?= =?utf-8?B?Njg2alFveFlVYnhGblN2Viswa2NVNHY5NjUwdFl0R1FEUUFuR3QxRnZNdlMv?= =?utf-8?B?WHIwNEpoRTlOZ2txVTNqQldJNDRweVdCaENtUUMzSzJ5V3REOEpyeFNraHky?= =?utf-8?B?K0YxRGZxbGk0ZzIrbTF5d2JQZSsrdkVBZWhIZFpwMnp0RTlncTRjZlR0RElP?= =?utf-8?B?THNFUVl1UVRDZHc3L3NCMEZzR2dIdklpYndZdjdUSEFiQVl1Y1dhYlRXRzBP?= =?utf-8?B?ZW9GZGxOOTFDTVp1OUU5WXRiOWpYTnZYNjBTdXV4K2ZLbUwvcEJiUHdha1BI?= =?utf-8?B?SmtKVDAwNXpDQWl5aVlZTWcvTElINU5mVHVzNHlielQ1bk1yUWM3ZmVXSFdF?= =?utf-8?B?M1lkbjAwZ2hpb29QUnhjZFR3MHRVSnVOUmtrekRwSExGbUNKQVlUUzBCdC81?= =?utf-8?B?U254VEN0RnVFNFdheXJ2cndtTUtkS3c3SzRoSHhkc3JZdjlTR3FKcjdMVi90?= =?utf-8?B?bnB1c3kveitITzFnUi9NMUt4bjNCNXl5YzlaZWNkT3BoeDZUdzhUcElmcEVQ?= =?utf-8?B?cHR2K2pudlpWRnBsamhSRHB2Q3R2YUtMSU5ZWjhTcmlwOFJtWklmT2o2bGVr?= =?utf-8?B?dk8xSFZ5dC9xM0NyZ1FDREZLT0RuNWt6aElvZUIzVjcvQzVmZk1QZW9sTVNG?= =?utf-8?B?OVJYMUNHY2M2bS9seWkrTStqOHRlcFRUUGd5cmtmTHFMeWdoUTZiTXdaY1ov?= =?utf-8?B?dHdvblpUUHBETzZLVi84d1M1L3FlUlFEZDBZU2czcHU0eVgrRXVqUEVFVDZT?= =?utf-8?B?cWpSTTNRNHUrQUZCa045bGJaSU96Nm5scTU0TzViNnJ3R2ZUWTkydmlvK2di?= =?utf-8?Q?t0Q7P7Cd8LKnCIw6sTAz?= X-OriginatorOrg: outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: df9f5118-8f09-4605-acad-08dd63cc4642 X-MS-Exchange-CrossTenant-AuthSource: MW5PR84MB1641.NAMPRD84.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 15 Mar 2025 14:18:36.2790 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-Transport-CrossTenantHeadersStamped: LV3PR84MB3618 Sender: owner-sc22wg14@open-std.org Precedence: bulk On 2025-03-14 10:38 CET, J=E2=82=91=E2=82=99=E2=82=9B Gustedt wrote: > My new suggestion would be > > The program execution terminates normally > eventually after the last thread has=20 > all of its threads have been terminated. The behavior=20 > is as if the program end of a call to `thrd_exit`=20 > of a designated last thread synchronized with all terminations of=20 > other threads of the execution and thereafter is called the=20 > `exit` function with the status `EXIT_SUCCESS` at thread=20 > termination time. I'm not so sure about this sentence: The behavior is as if the end of a call to `thrd_exit` of=20 a designated last thread synchronized with all terminations=20 of other threads of the execution and thereafter is called=20 the `exit` function with the status `EXIT_SUCCESS`. Seems a bit word-salady. --=20 J.=C5=81.