From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id A45381EBA1E for ; Fri, 29 Aug 2025 17:55:07 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=170.10.133.124 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1756490109; cv=none; b=kJTHzflWkNIODtql5vf1FxccBrdTmIh/JcEHdXqWoRs09bXy0WG6oD+529Z5NsUm8R+hxONJIfl9kNE7AE18f9AiPFrE6g2AGf1jQSL2QDnrt2EcTHeIVMbrsYaJtpvsBvb6k9PEDJlmm6RPNYDXhw3frAqUMdQ0wFec6jDONYA= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1756490109; c=relaxed/simple; bh=Uwfk0eHlwy8uZBuSLQVz0BnRvrohIY9rbFsbOsDSybo=; h=Message-ID:Date:MIME-Version:Subject:To:Cc:References:From: In-Reply-To:Content-Type; b=rgC/PLRhnpTs9i4wsxsAEg8iSPhrMavf8U9aHP9Zeox2JweLK+xWs0pCrwYZUe4+j++zQg0blhDH2fyscpa143VNYWz9WKOBYCsIZavdbS1hemGQCButLjtRiN+NzDE5uRMjaYsRbM8GOcmXM/xNJ9fU/odWfLKWrmTecszqS7A= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com; spf=pass smtp.mailfrom=redhat.com; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b=BlwZ0N45; arc=none smtp.client-ip=170.10.133.124 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=redhat.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b="BlwZ0N45" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1756490106; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:autocrypt:autocrypt; bh=jyzU+Xmz+mrM28lik6eJAvyGeC0q+6spzdXmD+VryPk=; b=BlwZ0N45vob/nHmS+2ZbmWtvoUve5TkLwgvBhCRcFSF1LMk2sxEwm5Uc3PlXbb9wPumjQp 4MSMEZNsuqU+hVOhslWbJOlHVYkJZdKBltm8jP9MmcVr92NbDDC/rSCtZ4MldOqrOOBs6D uAXw4iR2E/9Jn22v+1mHNCJER8NpUuA= Received: from mail-qv1-f69.google.com (mail-qv1-f69.google.com [209.85.219.69]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-526-QBODTy5dMbe-iADCd_YU5g-1; Fri, 29 Aug 2025 13:55:02 -0400 X-MC-Unique: QBODTy5dMbe-iADCd_YU5g-1 X-Mimecast-MFC-AGG-ID: QBODTy5dMbe-iADCd_YU5g_1756490101 Received: by mail-qv1-f69.google.com with SMTP id 6a1803df08f44-70dff062d38so24655936d6.1 for ; Fri, 29 Aug 2025 10:55:02 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1756490101; x=1757094901; h=content-transfer-encoding:in-reply-to:organization:autocrypt :content-language:from:references:cc:to:subject:user-agent :mime-version:date:message-id:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to; bh=jyzU+Xmz+mrM28lik6eJAvyGeC0q+6spzdXmD+VryPk=; b=MzGjU3h82RvXHC/SngW3uJ9V7qdTKguyj0RTISCbmAGGMQPYTGzHpZ4KsWYYAwfNkJ rdJQiMZkj6Eu3vP7Z+F8B0jIJbrRTrtflJnV4Zvlxg+56BbiMXqfM815xAi25mp1KxRm yD4bKcPZCh5uPFO+EZ7Qa91R2tqPOQQXcnIpQ17Ux3twh+I8tKaW+pTx+F5YnkkgDPiX ntkzupQ2ArHn2k+OKooXhvHc7PRk3nQSj2uE3+P5qc/A9GWnJiA9gx+Du0tKgzSvH3/i SJN56WVFOd9pDiFhxkPUeEpQUjkTRdV+X9Vt6wN7fJAFqKFbHjDV7HzuK+WlCHkww7uM F+9g== X-Gm-Message-State: AOJu0YyzlQC9ipcN5z6+nNl+jtabX4nMdrgTkAf4tAQjB9UNUnKbYoWx mHcGjVOlqkSa5Jumn5z3qrxMHT/+pW7dX4qAuVpf7bGh7pQqRm1Pyzf3rddWqi5Gt5jSGsoAKTI T4pv0bXCqbh7Wz/lKDBROBcxfxSoUNOpmvflIwAAZRmGV/d3lq/DR50axHLQhOSjxhQ/YUy2tcg == X-Gm-Gg: ASbGncs+X9lGgeLosTA7Xjmhc/4rLpLFUL9sMcgvTu8N4IscsVhqs8COu7pw1SOY9OA SN+yvC19p9KtY0StWdG9tr3F3UuTjV45GorBwmgR6kOSwXh/5v/wxKNjukZ/gw0ZNLUyz6O12pI QEyQTEtzRDuWHRckbPVDIObkhoZxgtiZ4nMvS4H3Vql6Ipysg9wt5gzf+YTLKGv4/zjEXDZ8269 dT2N7zLB7AAC1eN5B1nrelhG8HdUPV809/Zioi2VFdWzBA1ypv1ezk7Xm6F9q+koEx4Dbg11ftn lbEAzbcSG2CH7SV5WFwUtmYMWHjUmwAg8rgYVtQj X-Received: by 2002:a05:6214:1c48:b0:70d:c11c:a3db with SMTP id 6a1803df08f44-70dc11ca50bmr198796756d6.40.1756490101026; Fri, 29 Aug 2025 10:55:01 -0700 (PDT) X-Google-Smtp-Source: AGHT+IGQ60N52NE9MsMKOUYhrxRpFVIMIApl2YHvF2jXFyrCBGlXMOIM4upwu4noHWLIqcnjg2FqRQ== X-Received: by 2002:a05:6214:1c48:b0:70d:c11c:a3db with SMTP id 6a1803df08f44-70dc11ca50bmr198796476d6.40.1756490100517; Fri, 29 Aug 2025 10:55:00 -0700 (PDT) Received: from [192.168.0.241] ([198.48.244.52]) by smtp.gmail.com with ESMTPSA id 6a1803df08f44-70e6250cc5dsm19769566d6.54.2025.08.29.10.54.58 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 29 Aug 2025 10:54:59 -0700 (PDT) Message-ID: <710e8f05-b0b3-489a-9e89-8967cf6a9e70@redhat.com> Date: Fri, 29 Aug 2025 13:54:58 -0400 Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH 3/4] man/man2/futex.2: Recycle two gmane URLs To: Sebastian Andrzej Siewior Cc: linux-kernel@vger.kernel.org, linux-man@vger.kernel.org, Alejandro Colomar , =?UTF-8?Q?Andr=C3=A9_Almeida?= , Darren Hart , Davidlohr Bueso , Ingo Molnar , Juri Lelli , Peter Zijlstra , Thomas Gleixner , Valentin Schneider , Waiman Long References: <20250829160200.756194-1-bigeasy@linutronix.de> <20250829160200.756194-4-bigeasy@linutronix.de> <1ced3c16-1534-4e43-8025-2301c134bbdd@redhat.com> <20250829173928.K82VGvOw@linutronix.de> From: Carlos O'Donell Content-Language: en-US Autocrypt: addr=carlos@redhat.com; keydata= xsFNBFef5BoBEACvJ15QMMZh4stKHbz0rs78XsOdxuug37dumTx6ngrDCwZ61k7nHQ+uxLuo QvLSc6YJGBEfiNFbs1hvhRFNR7xJbzRYmin7kJZZ/06fH2cgTkQhN0mRBP8KsKKT+7SvvBL7 85ZfAhArWf5m5Tl0CktZ8yoG8g9dM4SgdvdSdzZUaWBVHc6TjdAb9YEQ1/jpyfHsQp+PWLuQ ZI8nZUm+I3IBDLkbbuJVQklKzpT1b8yxVSsHCyIPFRqDDUjPL5G4WnUVy529OzfrciBvHdxG sYYDV8FX7fv6V/S3eL6qmZbObivIbLD2NbeDqw6vNpr+aehEwgwNbMVuVfH1PVHJV8Qkgxg4 PqPgQC7GbIhxxYroGbLJCQ41j25M+oqCO/XW/FUu/9x0vY5w0RsZFhlmSP5lBDcaiy3SUgp3 MSTePGuxpPlLVMePxKvabSS7EErLKlrAEmDgnUYYdPqGCefA+5N9Rn2JPfP7SoQEp2pHhEyM 6Xg9x7TJ+JNuDowQCgwussmeDt2ZUeMl3s1f6/XePfTd3l8c8Yn5Fc8reRa28dFANU6oXiZf 7/h3iQXPg81BsLMJK3aA/nyajRrNxL8dHIx7BjKX0/gxpOozlUHZHl73KhAvrBRaqLrr2tIP LkKrf3d7wdz4llg4NAGIU4ERdTTne1QAwS6x2tNa9GO9tXGPawARAQABzSpDYXJsb3MgTydE b25lbGwgKFdvcmspIDxjYXJsb3NAcmVkaGF0LmNvbT7CwZUEEwEIAD8CGwMGCwkIBwMCBhUI AgkKCwQWAgMBAh4BAheAFiEEcnNUKzmWLfeymZMUFnkrTqJTQPgFAmiCl2sFCRLD5s0ACgkQ FnkrTqJTQPjADA/9EtX1AuwVtpdGqaAqaW3lrOPSqJk5NiI3LiZQFpgVOrMs9VF1BEOGpv2h Cy54VjgUGYX4YnnoocC9FCmUkVqUPPkNJr3iElNJF3oAU/MtLCZCDxeJQY8vRRh4idpc61CO EnE4bl7nFnPiK1YzZhN1nvdIqvKXkzfFPdHUyejoFso3qX1eMfBf7GciPwT9gjIDovUwHN6n 0qsYPxl/eFKleN2hPLDfrucfs/398zAbL5N0EVwrmtG4OZeV6SyN6HiSy7knLW9bg7TMvN8P vvEAJ5CbpgEW90JMGAqb10VAjs2vZehXh+gEqVSAfEjT6rVWZBzUzYCl89eaN+usMDIi7NN0 CqIVv6NKH0dIswYC8J5hPeeV2q52d2s1g8NzJHL/3s7Hc+ot10DsOeoJA2bXhuH3LCveQHzs 7Pi0Pm9olLEVVfoo0E2K+oYzb1t1qHBPiR9zcccW7sCFZhDjVtBbFdXXp+bQ+3tqiveMttUB NPKl5AFDoa/0Uc2L7piGQ0fqUaHT24BmOGmlEUUWueqFbln0033t1L02i8lPAMo4Fu1k1akP 3s0x/e/TOaKY9qJb7h5rFe130HrNQS2TzOSKCjaKmCvRxlDRz8xYdVnEmlTvIeG38apgTNJ+ moD6aE3qj81BqD1LaR7Dfw07F1TPKbtzswaB+al/iWsK8uOl6P7OwU0EV5/kGgEQAKvTJke+ QSjATmz11ALKle/SSEpUwL5QOpt3xomEATcYAamww0HADfGTKdUR+aWgOK3vqu6Sicr1zbuZ jHCs2GaIgRoqh1HKVgCmaJYjizvidHluqrox6qqc9PG0bWb0f5xGQw+X2z+bEinzv4qaep1G 1OuYgvG49OpHTgZMiJq9ncHCxkD2VEJKgMywGJ4Agdl+NWVn0T7w6J+/5QmBIE8hh4NzpYfr xzWCJ9iZ3skG4zBGB4YEacc3+oeEoybc10h6tqhQNrtIiSRJH+SUJvOiNH8oMXPLAjfFVy3d 4BOgyxJhE0UhmQIQHMJxCBw81fQD10d0dcru0rAIEldEpt2UXqOr0rOALDievMF/2BKQiOA7 PbMC3/dwuNHDlClQzdjil8O7UsIgf3IMFaIbQoUEvjlgf5cm9a94gWABcfI1xadAq9vcIB5v +9fM71xDgdELnZThTd8LByrG99ExVMcG2PZYXJllVDQDZqYA1PjD9e0yHq5whJi3BrZgwDaL 5vYZEb1EMyH+BQLO3Zw/Caj8W6mooGHgNveRQ1g9FYn3NUp7UvS22Zt/KW4pCpbgkQZefxup KO6QVNwwggV44cTQ37z5onGbNPD8+2k2mmC0OEtGBkj+VH39tRk+uLOcuXlGNSVk3xOyxni0 Nk9M0GvTvPKoah9gkvL/+AofN/31ABEBAAHCwXwEGAEIACYCGwwWIQRyc1QrOZYt97KZkxQW eStOolNA+AUCaIKXfAUJEsPm4gAKCRAWeStOolNA+B0WEACEIb+2+irwJzvzwVKha7oB5Dub GCvnHLvvXShYDoHzvajTnLTULWAepp05NiAxI8cP9QNpmj8PPzh1eJ4A53vXogWftATT9N7V WEAqVLo3wYAILfnzIOxr5qro148eY++pLMVxHhqrbol4D0CBG+WSAUZdAhK3hKeuA91sUjGa iSpwnihXhegHzeFcRgyaC+NhQsj8EoUpdSQtlmea5FxcV0jxiAdPS/8TvBsalMHNQTqOBr+Q eyGauXNrS3wT7qVbwNRVdRPHC61qR6RH1TPHAPorZ5p/XQisuxyLXDOJZR0yCsxvqoRWDTJu fb8xLrfLxy/LqtE5JNzG1OJL1Bbu9wwiXTkTyj82Zg1KmrDSdSZUvGa3Q7kk5dG38Iel8LEF a/Ri/cYKhk7XjJ8xHBMB6KCJueItjyv2qG7vokhxm8ep0XQNVR+rIKVJH60TKIKonLXNYfK/ znfxUttwFIjjLso6WPHxRjPr1ot1AbgDbuFspRbG7mR2H20ZLjgLPWWAsiHfjyktQ7Dk0hjv r0uSJR1R7X5Cdh3uJCl02Rp1jTZNBDWGVdxA8MSY1ej0yOO+VI8OukA75K0u72wvJD4Dg+Sq 6mzR3XVZmF7FAZNTSV+1GCekJlnCSp4M8HItrojuEtrdH8Ba4WWxK+cIKejqzhwKFpQYBLg9 m/A+1AHg4g== Organization: Red Hat In-Reply-To: <20250829173928.K82VGvOw@linutronix.de> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit On 8/29/25 1:39 PM, Sebastian Andrzej Siewior wrote: > On 2025-08-29 12:43:26 [-0400], Carlos O'Donell wrote: >>> index 69df4036ada7f..027e91b826bf1 100644 >>> --- a/man/man2/futex.2 >>> +++ b/man/man2/futex.2 >>> @@ -6,10 +6,10 @@ >>> .\" >>> .\" FIXME Still to integrate are some points from Torvald Riegel's mail of >>> .\" 2015-01-23: >>> -.\" http://thread.gmane.org/gmane.linux.kernel/1703405/focus=7977 >>> +.\" https://lore.kernel.org/lkml/1422037788.29655.0.camel@triegel.csb >> >> Wrong link? >> >> Should be this link: >> https://lore.kernel.org/lkml/1422037145.27573.0.camel@triegel.csb/ >> >> Where the discussion is about the unresolved constraint to guarantee FIFO order. > > I thought it is the longer email, the second that day, where he made > three points. Didn't read it (yet)… Given the dates and the disjoint set of topics, my suggestion is the link above. > Now FIFO ordering you say. Is it glibc's side or kernel side? The kernel > sorts the futex waiters according their (task's) priority. It is not > FIFO unless the tasks are of equal priority. The FIFO order question was a kernel-side question wrt futex semantics. At least that's how I read the thread. And the issue was resolved, but possibly not documented. Documentation might include stating "FIFO ordering over all waiters, or even a subset of waiters (at the same priority level) is not guaranteed." Torvald was right that for POSIX condition variables we would naturally want a FIFO wake order so earlier sleepers are woken first. > So a futex requeue will take the task with the highest priority from > uaddr1 and move it to uaddr2. Right. -- Cheers, Carlos.