From owner-freebsd-arch@freebsd.org  Fri May  6 14:43:51 2016
Return-Path: <owner-freebsd-arch@freebsd.org>
Delivered-To: freebsd-arch@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 9BAE1B31091
 for <freebsd-arch@mailman.ysv.freebsd.org>;
 Fri,  6 May 2016 14:43:51 +0000 (UTC)
 (envelope-from martin@lispworks.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 891CE1ADE
 for <freebsd-arch@freebsd.org>; Fri,  6 May 2016 14:43:51 +0000 (UTC)
 (envelope-from martin@lispworks.com)
Received: by mailman.ysv.freebsd.org (Postfix)
 id 88742B3108F; Fri,  6 May 2016 14:43:51 +0000 (UTC)
Delivered-To: arch@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 87FF0B3108E;
 Fri,  6 May 2016 14:43:51 +0000 (UTC)
 (envelope-from martin@lispworks.com)
Received: from lwfs1-cam.cam.lispworks.com (mail.lispworks.com [46.17.166.21])
 by mx1.freebsd.org (Postfix) with ESMTP id 335211ADD;
 Fri,  6 May 2016 14:43:50 +0000 (UTC)
 (envelope-from martin@lispworks.com)
Received: from higson.cam.lispworks.com (higson.cam.lispworks.com
 [192.168.1.7])
 by lwfs1-cam.cam.lispworks.com (8.14.9/8.14.9) with ESMTP id u46EhkkQ010464;
 Fri, 6 May 2016 15:43:46 +0100 (BST)
 (envelope-from martin@lispworks.com)
Received: from higson.cam.lispworks.com (localhost.localdomain [127.0.0.1]) by
 higson.cam.lispworks.com (8.14.4) id u46EhkFT009474;
 Fri, 6 May 2016 15:43:46 +0100
Received: (from martin@localhost)
 by higson.cam.lispworks.com (8.14.4/8.14.4/Submit) id u46EhkfY009470;
 Fri, 6 May 2016 15:43:46 +0100
Date: Fri, 6 May 2016 15:43:46 +0100
Message-Id: <201605061443.u46EhkfY009470@higson.cam.lispworks.com>
From: Martin Simmons <martin@lispworks.com>
To: Konstantin Belousov <kostikbel@gmail.com>
CC: threads@freebsd.org, arch@freebsd.org
In-reply-to: <20160506132044.GA89104@kib.kiev.ua> (message from Konstantin
 Belousov on Fri, 6 May 2016 16:20:44 +0300)
Subject: Re: Robust mutexes implementation
References: <20160505131029.GE2422@kib.kiev.ua>
 <201605051720.u45HKZ76021094@higson.cam.lispworks.com>
 <20160505185810.GF2422@kib.kiev.ua>
 <201605061300.u46D0mhN008053@higson.cam.lispworks.com>
 <20160506132044.GA89104@kib.kiev.ua>
X-BeenThere: freebsd-arch@freebsd.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: Discussion related to FreeBSD architecture <freebsd-arch.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-arch>,
 <mailto:freebsd-arch-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-arch/>
List-Post: <mailto:freebsd-arch@freebsd.org>
List-Help: <mailto:freebsd-arch-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-arch>,
 <mailto:freebsd-arch-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Fri, 06 May 2016 14:43:51 -0000

>>>>> On Fri, 6 May 2016 16:20:44 +0300, Konstantin Belousov said:
> 
> The cleanup is performed by the same thread which did the lock, in the
> kernel mode. Thread can only die by explicit kernel action, and this
> action is executed by the dying thread.

Thanks, that's the part I didn't know about.

__Martin