NetBSD Problem Report #55230

From  Mon May  4 15:04:48 2020
Return-Path: <>
Received: from ( [])
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
	(Client CN "", Issuer " CA" (not verified))
	by (Postfix) with ESMTPS id AE2131A9213
	for <>; Mon,  4 May 2020 15:04:48 +0000 (UTC)
Message-Id: <>
Date: Mon,  4 May 2020 15:04:47 +0000 (UTC)
Subject: futex wakes do not wake the highest priority waiter
X-Send-Pr-Version: www-1.0

>Number:         55230
>Category:       kern
>Synopsis:       futex wakes do not wake the highest priority waiter
>Confidential:   no
>Severity:       serious
>Priority:       high
>Responsible:    thorpej
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon May 04 15:05:00 +0000 2020
>Last-Modified:  Sun Aug 16 15:48:51 +0000 2020
>Originator:     Jason Thorpe
>Release:        NetBSD 9.99.59
Riscy Business
NetBSD 9.99.59
Futex wake operations do not wake the highest priority waiter.  Instead, the wake the waiters in FIFO order.
Enqueue a low priority waiter before a high priority waiter.  Wake one waiter.  The waiter that's awoken will be the low priority waiter.
Do not use a queue of "wait" structures each with their own condvar.  Instead, each futex should have its own sleepq and operate as a first-class synchronization object.


From: "Jason R Thorpe" <>
Subject: PR/55230 CVS commit: src/tests/lib/libc/sys
Date: Mon, 4 May 2020 15:09:34 +0000

 Module Name:	src
 Committed By:	thorpej
 Date:		Mon May  4 15:09:34 UTC 2020

 Modified Files:
 	src/tests/lib/libc/sys: t_futex_ops.c

 Log Message:
 Add a test case for PR kern/55230.  It is currently marked as expect-fail.

 To generate a diff of this commit:
 cvs rdiff -u -r1.3 -r1.4 src/tests/lib/libc/sys/t_futex_ops.c

 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.

Responsible-Changed-From-To: kern-bug-people->thorpej
Responsible-Changed-When: Sun, 16 Aug 2020 15:48:51 +0000


NetBSD Home
NetBSD PR Database Search

(Contact us) $NetBSD: query-full-pr,v 1.46 2020/01/03 16:35:01 leot Exp $
$NetBSD:,v 1.9 2014/08/02 14:16:04 spz Exp $
Copyright © 1994-2020 The NetBSD Foundation, Inc. ALL RIGHTS RESERVED.