From owner-freebsd-hackers@freebsd.org  Sun Oct 14 09:58:31 2018
Return-Path: <owner-freebsd-hackers@freebsd.org>
Delivered-To: freebsd-hackers@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id 06D4810CD050
 for <freebsd-hackers@mailman.ysv.freebsd.org>;
 Sun, 14 Oct 2018 09:58:31 +0000 (UTC) (envelope-from lev@FreeBSD.org)
Received: from onlyone.not-for.work (onlyone.not-for.work [148.251.9.81])
 by mx1.freebsd.org (Postfix) with ESMTP id A0271819AB
 for <freebsd-hackers@FreeBSD.org>; Sun, 14 Oct 2018 09:58:30 +0000 (UTC)
 (envelope-from lev@FreeBSD.org)
Received: from lion.home.serebryakov.spb.ru (unknown
 [IPv6:2001:470:923f:1:c146:1b80:de86:38c8])
 (Authenticated sender: lev@serebryakov.spb.ru)
 by onlyone.not-for.work (Postfix) with ESMTPSA id 67E0D899;
 Sun, 14 Oct 2018 12:58:23 +0300 (MSK)
Date: Sun, 14 Oct 2018 12:58:25 +0300
From: Lev Serebryakov <lev@FreeBSD.org>
Reply-To: Lev Serebryakov <lev@FreeBSD.org>
Organization: FreeBSD
Message-ID: <1822540947.20181014125825@serebryakov.spb.ru>
To: "Kristof Provost" <kristof@sigsegv.be>
CC: freebsd-hackers@FreeBSD.org
Subject: Re: What are ck_queue.h guarantees?
In-Reply-To: <AD1EC8D5-C137-4128-90C9-0FCAECC5754C@sigsegv.be>
References: <1551957390.20181013184006@serebryakov.spb.ru>
 <AD1EC8D5-C137-4128-90C9-0FCAECC5754C@sigsegv.be>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: base64
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.27
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: Sun, 14 Oct 2018 09:58:31 -0000

SGVsbG8gS3Jpc3RvZiwNCg0KU3VuZGF5LCBPY3RvYmVyIDE0LCAyMDE4LCA5OjE0OjMxIEFN
LCB5b3Ugd3JvdGU6DQoNCj4+ICAgQnV0IGluIGFsbCBwbGFjZXMgYXQga2VybmVsIEkgcGVl
a2VkLCBDS19YWFhYIG1hY3JvcyBhcmUgcHJvdGVjdGVkIGJ5DQo+PiAgbG9ja3MuIFllcywg
ZXZlbiByZWFkIG9uZXMuDQoNCj4gTm90ZSB0aGF0IHRoZSBpbXBsZW1lbnRhdGlvbiBvZiBp
Zl9tYWRkcl9ybG9jaygpIGRvZXNu4oCZdCBhY3R1YWxseSB0YWtlIGENCj4gbG9jay4gSW5z
dGVhZCBpdCBjYWxscyBlcG9jaF9lbnRlcl9wcmVlbXB0KCkuDQogT2gsIEkndmUgc2hvdWxk
IGxvb2sgaW5zaWRlIHRoZXNlIGZ1bmN0aW9ucyBiZWZvcmUgYXNraW5nLiBUaGFuayB5b3Ug
Zm9yDQpwb2ludGluZyBtZSBvdXQuDQoNCj4gSSBzdXNwZWN0IHRoZSDigJhsb2Nr4oCZL+KA
mHVubG9ja+KAmSBuYW1pbmcgaXMgbW9zdGx5IGhpc3RvcmljYWwgaGVyZTogaS5lLiBpdA0K
PiB1c2VkIHRvIGJlIGEgcmVhbCBsb2NrLCBhbmQgd2hlbiBpdCB3YXMgcmVwbGFjZWQgYnkg
dGhlIGVwb2NoLWJhc2VkDQo+IGFwcHJvYWNoIHRoZSBmdW5jdGlvbnMgd2VyZSBub3QgcmVu
YW1lZC4NCiAgWWVwLCBhbmQgaXQgaXMgdmVyeSBtaXNsZWFkaW5nIDotKQ0KDQoNCi0tIA0K
QmVzdCByZWdhcmRzLA0KIExldiAgICAgICAgICAgICAgICAgICAgICAgICAgICBtYWlsdG86
bGV2QEZyZWVCU0Qub3Jn