From owner-freebsd-hackers@freebsd.org  Wed Jan 27 19:14:46 2016
Return-Path: <owner-freebsd-hackers@freebsd.org>
Delivered-To: freebsd-hackers@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id 1DE55A6F0C5
 for <freebsd-hackers@mailman.ysv.freebsd.org>;
 Wed, 27 Jan 2016 19:14:46 +0000 (UTC)
 (envelope-from zbb@semihalf.com)
Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org
 [IPv6:2001:1900:2254:206a::50:5])
 by mx1.freebsd.org (Postfix) with ESMTP id F1DFF172E
 for <freebsd-hackers@freebsd.org>; Wed, 27 Jan 2016 19:14:45 +0000 (UTC)
 (envelope-from zbb@semihalf.com)
Received: by mailman.ysv.freebsd.org (Postfix)
 id EF197A6F0C3; Wed, 27 Jan 2016 19:14:45 +0000 (UTC)
Delivered-To: hackers@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id D3DE5A6F0C1
 for <hackers@mailman.ysv.freebsd.org>; Wed, 27 Jan 2016 19:14:45 +0000 (UTC)
 (envelope-from zbb@semihalf.com)
Received: from mail-lb0-x230.google.com (mail-lb0-x230.google.com
 [IPv6:2a00:1450:4010:c04::230])
 (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits))
 (Client CN "smtp.gmail.com",
 Issuer "Google Internet Authority G2" (verified OK))
 by mx1.freebsd.org (Postfix) with ESMTPS id 56F89172A
 for <hackers@freebsd.org>; Wed, 27 Jan 2016 19:14:45 +0000 (UTC)
 (envelope-from zbb@semihalf.com)
Received: by mail-lb0-x230.google.com with SMTP id x4so11226295lbm.0
 for <hackers@freebsd.org>; Wed, 27 Jan 2016 11:14:45 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=semihalf-com.20150623.gappssmtp.com; s=20150623;
 h=mime-version:in-reply-to:references:from:date:message-id:subject:to
 :cc:content-type;
 bh=IB8NEMfbkpKIaCQnIYLIjxV25JoGoOp6BOyQnI8WjLE=;
 b=R8jUylnKqj+9uQTeni+WLlvgh4IrxwecYKqBqqDBl3AxzTwCNq2JW7lkI4EwJlyIv0
 mMWI296XNFElSgh90tkCSNI4Ovjh0F3n+aIJ5DKUAqZEgf73d26V5IYV6kuOd9H15Q+k
 MIDn0nGukOtHXCGKCQI6RdvwdJiufHoxaep7jMwQEclCoemHAT0TnAgGfgdkXuFthC6Q
 rULaTvAcksJaP93DUMWg1yoCapi42Bg0W4o0VI+2AOzmYz8W4TjCUQJFIXkMQC75+dbE
 aGekP6DYRxirYK8ven8CykmoSJDjdwfncfFBkuoVSbC959y6ybFdnZVk41HN/eeUCK26
 7krQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20130820;
 h=x-gm-message-state:mime-version:in-reply-to:references:from:date
 :message-id:subject:to:cc:content-type;
 bh=IB8NEMfbkpKIaCQnIYLIjxV25JoGoOp6BOyQnI8WjLE=;
 b=JopKYYpZOeOKwXx0qoC9S7iQ1KiczH0uE8UCat8ORn8a7zr8k3wv8HFBDqpadm/juf
 mC+VsCXUVcvyiMJP+eSHxYfhFz0wKpoXNHnYexe5U8rTRAfIR94+ts20qOVhnqOuVZq+
 3SiBOq/58Jn7PsK6Nx0GL2HN5kIcPcQeMCTcGSBe8w+2ESf0AqlW0KCnykDd2YEUiW5j
 0BTawBShgbf3cpHl/gI0OTsTPwxoN5RgP8CBc8/moQcZy1X/3MbORxxdjdM2EcPjwHG5
 Iw4nihLnRGqO6q9wVrPq50Ad+7Ja9Edo3bSNXY5mazGC13bntGV+mRRAAbkcZpvQt9Vg
 J64w==
X-Gm-Message-State: AG10YORFVuenO/xVKoiCAA/rSmH2T0ELzrbJHg/DJOqV9mkBvE4eoqqWZ9e2vMNAZFzrOSz8gEcExiE3zvkTEQ==
X-Received: by 10.112.209.99 with SMTP id ml3mr11218222lbc.26.1453922083428;
 Wed, 27 Jan 2016 11:14:43 -0800 (PST)
MIME-Version: 1.0
Received: by 10.25.198.7 with HTTP; Wed, 27 Jan 2016 11:14:23 -0800 (PST)
In-Reply-To: <20160127184822.GE74231@kib.kiev.ua>
References: <CANsEV8e2QbW1Y83eC-d3GczWu4Lu91jDK14Xa1FkL=Y2s+RBMQ@mail.gmail.com>
 <2587742.rOiGAYXjN1@ralph.baldwin.cx> <20160127181426.GA48838@ci0.org>
 <20160127184822.GE74231@kib.kiev.ua>
From: Zbigniew Bodek <zbb@semihalf.com>
Date: Wed, 27 Jan 2016 20:14:23 +0100
Message-ID: <CAG7dG+x8PJXv3nh7-hV_vEXeasRo9fcrBPLgO1wrNXWRXnjNMQ@mail.gmail.com>
Subject: Re: SCHED_ULE race condition, fix proposal
To: Konstantin Belousov <kostikbel@gmail.com>
Cc: Olivier Houchard <cognet@ci0.org>, arm64-dev <arm64-dev@semihalf.com>, 
 "freebsd-arm@freebsd.org" <freebsd-arm@freebsd.org>, hackers@freebsd.org, 
 John Baldwin <jhb@freebsd.org>
X-Mailman-Approved-At: Wed, 27 Jan 2016 19:42:28 +0000
Content-Type: text/plain; charset=UTF-8
X-Content-Filtered-By: Mailman/MimeDel 2.1.20
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.20
Precedence: list
List-Id: Technical Discussions relating to FreeBSD
 <freebsd-hackers.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-hackers>, 
 <mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers/>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-hackers>, 
 <mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 27 Jan 2016 19:14:46 -0000

2016-01-27 19:48 GMT+01:00 Konstantin Belousov <kostikbel@gmail.com>:

> On Wed, Jan 27, 2016 at 07:14:26PM +0100, Olivier Houchard wrote:
> > Hi,
> >
> > I may be reading the arm64 code wrong, but shouldn't :
> >         ldr     x0, =_C_LABEL(blocked_lock)
> >               ldr     x2, [x0]
> >
> > be just:
> >       ldr     x2, =_C_LABEL(blocked_lock)
>
> You are right, I believe.
>

Hah! Great catch! :-)

Best regards
zbb