From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from ffbox0-bg.mplayerhq.hu (ffbox0-bg.ffmpeg.org [79.124.17.100]) by master.gitmailbox.com (Postfix) with ESMTPS id 5CEE44C54A for ; Fri, 7 Feb 2025 11:39:51 +0000 (UTC) Received: from [127.0.1.1] (localhost [127.0.0.1]) by ffbox0-bg.mplayerhq.hu (Postfix) with ESMTP id 8E12868BD26; Fri, 7 Feb 2025 13:39:49 +0200 (EET) Received: from EUR03-VI1-obe.outbound.protection.outlook.com (mail-vi1eur03olkn2059.outbound.protection.outlook.com [40.92.57.59]) by ffbox0-bg.mplayerhq.hu (Postfix) with ESMTPS id E4AC268B799 for ; Fri, 7 Feb 2025 13:39:42 +0200 (EET) ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=ykGSsMvXU7tmMJmY4cvVtfWCYo/EdYQ963iZtjjOg0CUwcKZ7AgZuRI3ubVpJ/w3AtXvI54C6q1DcchuMFvT+aq76iGb0NjZXnPgn5/+0na8/fSXnrnCoDxSvlxc+tpodPj6KKbwSWbWDMfiT/W7u1u5yPwUWawDAOi1JGpQ0PYD2MX/Hzj3KqCrA1jzYCDgmLBcuk+l3CHW+9hX+oRhmrD2J+zgpWAxL3JNFV2Hh4quiCfk8KI0PcITz0ChKmRBzmKMW0ANPT5Pan36ibEYEI+5X2ABkKCdwvzjtRsYBfB+wnrLhleIJkyygTWFXg6s5cd9F4ZIbm21CDhIf+766Q== 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=O5qDq1179tAFbcp860wibKMwClQVc9TD1a1E745zEqg=; b=EgDWbUDOFzFJ6fJ2ibhiOsPFlbd9cYj1RMASa//Z2fljDHm0HlqpLbLKqNz0U1mAYSuHqpRSRAvgSwX+e+g4drxzng32jSnz90m1lm6TfTWWxuCcoGaibmQOoYFwZvnYFyCJGNMnzVf5bj2IlLuJfLrKEpfMP/QRcr+IljJlI0NgGI7ID9dESd+LwW7Fc7fdqZWnoigOh1ZbmHmwXIp1FHYDd/aLUvXvjp+TUX/8hZu0WElpnRv7g9Gh2h81HHMQ4hPYMkDOEaNM+PgEtg8DEw3wdxI+9ZRBUqtU3J7kJgaDDBTXM5wg2Fl5ZNvs3qOOdBRrVREZ7dm76TetZEoPbg== 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=O5qDq1179tAFbcp860wibKMwClQVc9TD1a1E745zEqg=; b=W+SzJE9wVgK8dzB8KMJC8g8LJdWkdN2Rm3wfk+aNCy/hLc0tbF7HUxwm4xa4ecmRMb3K9XcNs4WOjx44YbwCdYlgarrZ/cUN/tNd2qcoPCNe3Hv2E/iELvoe2OK2OB7BWVCiLtLW5Tfi4OFc5pbO1yScK1S0MjL0YjxrhcWuieIp75kU/YRp8bt29i4N2y4wZWYN6jWrzpSGjDWazf7t0R5I4+tcvc0KireB5a41B1W9uKoZnFj00MjyIASrz1YCgmZUSjfE+2Nb6wQJhuPBKLwJncgnVRFkdTf+BW2wlWkP8ZCnnYD3d2AHUcXGTCzcaaok/LfDOZnBdqXBw0UAcg== Received: from AS8P250MB0744.EURP250.PROD.OUTLOOK.COM (2603:10a6:20b:541::14) by AM8P250MB0089.EURP250.PROD.OUTLOOK.COM (2603:10a6:20b:36c::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8398.25; Fri, 7 Feb 2025 11:39:41 +0000 Received: from AS8P250MB0744.EURP250.PROD.OUTLOOK.COM ([fe80::384d:40d4:ecb7:1c9]) by AS8P250MB0744.EURP250.PROD.OUTLOOK.COM ([fe80::384d:40d4:ecb7:1c9%4]) with mapi id 15.20.8422.009; Fri, 7 Feb 2025 11:39:40 +0000 Message-ID: Date: Fri, 7 Feb 2025 12:39:39 +0100 User-Agent: Mozilla Thunderbird To: ffmpeg-devel@ffmpeg.org References: <20250206214257.37158-1-rsbultje@gmail.com> Content-Language: en-US From: Andreas Rheinhardt In-Reply-To: X-ClientProxiedBy: ZR0P278CA0051.CHEP278.PROD.OUTLOOK.COM (2603:10a6:910:1d::20) To AS8P250MB0744.EURP250.PROD.OUTLOOK.COM (2603:10a6:20b:541::14) X-Microsoft-Original-Message-ID: <210bb301-a7ab-4192-a16f-989826b83e5d@outlook.com> MIME-Version: 1.0 X-MS-Exchange-MessageSentRepresentingType: 1 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: AS8P250MB0744:EE_|AM8P250MB0089:EE_ X-MS-Office365-Filtering-Correlation-Id: 775c20d9-fe2c-45c9-3e38-08dd476c1be9 X-Microsoft-Antispam: BCL:0; ARA:14566002|15080799006|8060799006|461199028|7092599003|19110799003|5072599009|6090799003|3412199025|440099028|41001999003; X-Microsoft-Antispam-Message-Info: =?utf-8?B?amZEM2tTaTZBbEtyRzBsRi9IZGhERDdNMU9qa2h3Z0hyREdEUFNEM2xrNFAy?= =?utf-8?B?WW0xTnJPVElSU2J6dXhLS3hxNnlwdDJwOVA1emtyUUJUeHNraUZLanI1Zmov?= =?utf-8?B?RkFYVjRlOWN5RFRWNWxscUtmWXUvb1psRHdnbWxYTTZkTUZKMWhaSXU3YmZ5?= =?utf-8?B?NjJxbUo3UnNON3lEY0hSV3dVR09Hc2JrZkNIZis4RWFUZm00YTYxNnB5bmV5?= =?utf-8?B?N3dsU21sd0FSbVB0UHdRZnVwSHJXWEYzMFovRzBlRlYrYkR4VWRyV2pXZ2RT?= =?utf-8?B?bVJtd21oSlVGWWkxL1czU09yeEpoZHM2REJXYmM0Q216d0N5eDFPVWFxd3hp?= =?utf-8?B?V09ESWVrZkRSMGhJdTBLeEpQSVJRSFNxUU5FdDlUUTZlQjlPVVNiWW00c3cy?= =?utf-8?B?ME8vMU15dGJWTDdpeEJyQUdRTFBJaDFadytKQXc5R0xxRnExQ1pRTnFHT21E?= =?utf-8?B?YjJ0NTAreWJRR0thVXRBUWsvRjlQQVpRTmtHQUhQRFdObHdDYks0WTkzSm85?= =?utf-8?B?eUdUK2x4S2xnZjJBS1BvTlF5RC9MTlRlMTZwTW9BcUY0ZFhDZWF3UXJvd0VS?= =?utf-8?B?YnlmRjhPWlA3MnRGVklPWVJCbjEzMVEraFdtSE9XZzBwd2lQK3VldW82NlJI?= =?utf-8?B?T0lZZlJmaDZOVTVJU0ZBT0dwYnRoalJMQjlDK1VhWS84SndDcEljZm5LZjdM?= =?utf-8?B?djUyelA3d0pHNzY2enF2WlRoVU5DMVEwUHR1QUs5N3JmaFNSK054YUt3ZDV1?= =?utf-8?B?ODNRQzczRGpCVVMzMTBGa3NXOFBvRmNzdGloQWZnb1FLcndsakhTZmQ4STIx?= =?utf-8?B?dGd4VDZ3N3BWRXJhUUU5Y3VxQm5GcGRoZ2JkWjlQME16eHJaTGFRSXNGNlhP?= =?utf-8?B?NkJHU2ZoWnFiVzBVR0o4QmdLOUVXUVpQSVdJV0pPSjFJZzVwcEF4M2o2NGxa?= =?utf-8?B?MEs2VmVVWWU2T1hGdTJhK2M0ZTFQWkd5OXZSREhqSUV2aEtMRzVLVFp6NCtx?= =?utf-8?B?bHdHdE5uMkFxZzNSUmtqVmUzcjFsUE5oQjNpQVRDYUs3ZmNxZG9iMzYxcENT?= =?utf-8?B?R1NIbU5kSFdIdXlOU3BTS3dvdmRBQ09Rand4ZDdSakN4T3lZWGFvdkpWVlU4?= =?utf-8?B?dUx1dlcxcG1YRFd3dU9NeUdXYWdrOVF1Q3lSTmppMmsrVVF0VWEwTU5OckpH?= =?utf-8?B?dnpLMnpvbDBTNUhxUFE3cU5ScWZTa0ZzMk45ckhzMlU0dytFYTNoMTEwbkJH?= =?utf-8?B?bTNLUm9Kb1pSR05yZlhyU3JoUzlsYzUwTFF0RGUrb29ublU5Z2RTUmMyK21T?= =?utf-8?B?ZkpxMFk4R2tKeXNvbmlvUmF2V3BMQ0tKSUc5VC8yeGN2V0gycGh0aE54QSt5?= =?utf-8?B?UXJCeDczcXgwNnZlWnF0MWlBbm5NN2U4Qnk3OGZiZXpjdTJidUw0NlhSd1hr?= =?utf-8?B?Q0IvamJJdVk5N2Q0YzJWcTlGcGJxNi9oWmNLd3FMb1FlMFdDY2V1QlA1Z1Fw?= =?utf-8?B?L09kYlg5STdLREtWaGdLMnNRRldUR2hJWkVIV0JhRzJoOGllaEJvTXMra3pm?= =?utf-8?B?cFArZz09?= X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?VnNCV05ETzJHZHI5aituMC9hVlF5Z0Z5dk90Q0NpcWkvSmQ5YVo4TVlqMHcy?= =?utf-8?B?WG4vYjduL1R4a29sL2d1NTV4eWZrZHhPenQyV2hUc1BjZ3FyZm5ocEE5RWNI?= =?utf-8?B?UzFuOUpSamtIUHBRbDFHNnlIcjFQdXFqNGFsajYzeDBGNFQ0a1J5ZERzeHFZ?= =?utf-8?B?ZzRIWDBTOHd0YWRXSTFSOU9wbHAvSnVvaHdLMXB2RWw1ZTJFQXZQbHppVnBx?= =?utf-8?B?djRPb0hFZk1RUXRtdzNwczJreFlzLzQxOWIxY2k1Z1pWUXNjeUg3QVBPbW1m?= =?utf-8?B?UFdRSS9ndXRvY1ZEQ1FCTzRUNVIyUG1TYjFTc3dHV0JpVWh3NlNYMzIwSVhZ?= =?utf-8?B?RDBmRFRKNkNXQW5aMzZKZFUyWDl5bXpSc0RNZjMwdFIzaHU4ekVBa1dsVGpv?= =?utf-8?B?TTdpZWo4N2NxSmRRNlhPcHlmb0hvdEpabllTK3NacTRzaENGUVRvdzlyb0lT?= =?utf-8?B?ZTJPU2gyaW14RWVHS3FEaldXaFo4YjhvYTJVYitJZUJTdGVOOFVqdTY0OXJS?= =?utf-8?B?Z2UzRkk2WFNBTFRaNVlGNi95cTBiU0lHaXlyL00zSklWZWIrN0kwK1c4SUJ5?= =?utf-8?B?ZEE5cEcxaXhvdlVYUDZVTzRyRTBnM1VhWEdtT0lleE5mWUV2dENuWUhXNTlx?= =?utf-8?B?emcwanpGUk8zY0R4VzJKQkxzSzRkU2kvQlFrekdGd045cXJuVTNxcCtsTFJo?= =?utf-8?B?OVk2cHVUdGdpbjBHV0ZqZFQ1NVJWWjlEdzNPSlhheENGcStsTUhYMk1wRU1R?= =?utf-8?B?MW9GNi9ENkYvZndiOHZCZDdZaFJXWmZlVEN1MHREQk5ZNStKSnFkcDQ2TXgw?= =?utf-8?B?VDF6c0IvenZWOGphcEdSQ2p5dXlVUFNpQWxhK0lvTmZoTkFlNHVjWU9WZnNz?= =?utf-8?B?aVFVRzNuSXlWL0xSaDRmS1IwYjVRelFyaFdSTmx1RHkraDJsVVhaVzQvclIy?= =?utf-8?B?aFplaW96OUFxSm96ZWdKdFJ4ZGtHUDlWcy8vUGZCSUIrekEweHdPRmJsREtT?= =?utf-8?B?UEVOTDRhWnV5TUxmTlZOWDc2ZkptZGRKNEtIUlVhZ1psUU1xTFpmNDBZNzh4?= =?utf-8?B?ODlHRzVDRmlyUytKTmoyZlVNdDl3RkpuK2RRU2JuTFpLaHloWFQ4dUJtbXVp?= =?utf-8?B?UWU2RG9uV2pxRnZxdW1idld0UDZLTWM1cGZqK09STE54aUdVOG80VDU5dGVB?= =?utf-8?B?SWtWYXErekZkU0hLazEzbksvU2xZVUNkYzM0cnUxS3lGa29QZldyYXdCMVM2?= =?utf-8?B?K3VWQ2ZLSzE5NU5VVml4YVQ0OW95bVNDMzZjZmNESU54Z1BhZlZSOGtwYWkr?= =?utf-8?B?QzI5STBneHR4b3JsOGpVRzRjM0tuTGtid2FOOE1lVHlTVzhsVlIzM3g3SEd4?= =?utf-8?B?b0ZzbGw3UGRpeXcvc0tVTHBBclpJczUwMGN1NTE0djgvSjlMdElFRmxVamZ1?= =?utf-8?B?eDVxN2dZSk5jcmpMVWxNREdzMFU4dzFVMHZTYmR6Yk0vaEY4QXZqTFVuNS8v?= =?utf-8?B?OFg2dnVON0hROHlpRTEraWxTTENDTjFqREVrZUJFQTN2SnJLVzQ3d2pXVzBu?= =?utf-8?B?a1NlV0NuVFVHY1JBODBrZE5TVU5helhWaDAyL09MMUhQTWlHeXZiMUpQY2lO?= =?utf-8?B?eHRQS0diQVR3OG4raE9xNWk2SnVLa1ZicTE5RE5iV3ZWSjcwWVdJK3N4RG5x?= =?utf-8?B?QTFJOEREYWlYV1lteUJFTSt5ZWlmNmJVN2ZvVldKUnJHTzUyZWNDTytBPT0=?= X-OriginatorOrg: outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 775c20d9-fe2c-45c9-3e38-08dd476c1be9 X-MS-Exchange-CrossTenant-AuthSource: AS8P250MB0744.EURP250.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 07 Feb 2025 11:39:40.9633 (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: AM8P250MB0089 Subject: Re: [FFmpeg-devel] [PATCH] threadprogress: reorder instructions to silence tsan warning. X-BeenThere: ffmpeg-devel@ffmpeg.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: FFmpeg development discussions and patches List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: FFmpeg development discussions and patches Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Errors-To: ffmpeg-devel-bounces@ffmpeg.org Sender: "ffmpeg-devel" Archived-At: List-Archive: List-Post: Andreas Rheinhardt: > Ronald S. Bultje: >> Fixes #11456. >> --- >> libavcodec/threadprogress.c | 3 +-- >> 1 file changed, 1 insertion(+), 2 deletions(-) >> >> diff --git a/libavcodec/threadprogress.c b/libavcodec/threadprogress.c >> index 62c4fd898b..aa72ff80e7 100644 >> --- a/libavcodec/threadprogress.c >> +++ b/libavcodec/threadprogress.c >> @@ -55,9 +55,8 @@ void ff_thread_progress_report(ThreadProgress *pro, int n) >> if (atomic_load_explicit(&pro->progress, memory_order_relaxed) >= n) >> return; >> >> - atomic_store_explicit(&pro->progress, n, memory_order_release); >> - >> ff_mutex_lock(&pro->progress_mutex); >> + atomic_store_explicit(&pro->progress, n, memory_order_release); >> ff_cond_broadcast(&pro->progress_cond); >> ff_mutex_unlock(&pro->progress_mutex); >> } > > I don't really understand why this is supposed to fix a race; after all, > the synchronisation of ff_thread_progress_(report|await) is not supposed > to be provided by the mutex (which is avoided altogether in the fast > path in ff_thread_report_await()), but by storing and loading the > progress variable. > That's also the reason why I moved this outside of the mutex (compared > to ff_thread_report_progress(). (This way it is possible for a consumer > thread to see the new progress value earlier and possibly avoid the > mutex altogether.) > Damn, this optimization works, but only if the progress variable is always read with acquire-semantics; it is currently read via memory_order_relaxed inside the mutex (just like in ff_thread_await_progress()). According to my understanding, this is what happens: Consumer thread waits for progress and finds that it is insufficient (fast path fails) Producer thread updates progress variable Consumer thread acquires the mutex and reads new progress via memory_order_relaxed Producer thread acquires mutex and broadcasts the new progress I'd prefer to change these semantics so that we always perform synchronisation via the atomic progress variable (unless you know of a performance impact -- I only know that on x86, both memory_order_relaxed and memory_order_acquire are ordinary loads). Thanks for looking into this. - Andreas _______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org https://ffmpeg.org/mailman/listinfo/ffmpeg-devel To unsubscribe, visit link above, or email ffmpeg-devel-request@ffmpeg.org with subject "unsubscribe".