From owner-freebsd-threads@freebsd.org Wed Feb 17 16:45:48 2016 Return-Path: Delivered-To: freebsd-threads@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 9E32EAAA2EA for ; Wed, 17 Feb 2016 16:45:48 +0000 (UTC) (envelope-from kostikbel@gmail.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 883E91D5A for ; Wed, 17 Feb 2016 16:45:48 +0000 (UTC) (envelope-from kostikbel@gmail.com) Received: by mailman.ysv.freebsd.org (Postfix) id 85356AAA2E9; Wed, 17 Feb 2016 16:45:48 +0000 (UTC) Delivered-To: threads@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 84AABAAA2E7; Wed, 17 Feb 2016 16:45:48 +0000 (UTC) (envelope-from kostikbel@gmail.com) Received: from kib.kiev.ua (kib.kiev.ua [IPv6:2001:470:d5e7:1::1]) (using TLSv1 with cipher DHE-RSA-CAMELLIA256-SHA (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 035231D59; Wed, 17 Feb 2016 16:45:47 +0000 (UTC) (envelope-from kostikbel@gmail.com) Received: from tom.home (kostik@localhost [127.0.0.1]) by kib.kiev.ua (8.15.2/8.15.2) with ESMTPS id u1HGjfC6095470 (version=TLSv1 cipher=DHE-RSA-CAMELLIA256-SHA bits=256 verify=NO); Wed, 17 Feb 2016 18:45:41 +0200 (EET) (envelope-from kostikbel@gmail.com) DKIM-Filter: OpenDKIM Filter v2.10.3 kib.kiev.ua u1HGjfC6095470 Received: (from kostik@localhost) by tom.home (8.15.2/8.15.2/Submit) id u1HGjfUg095469; Wed, 17 Feb 2016 18:45:41 +0200 (EET) (envelope-from kostikbel@gmail.com) X-Authentication-Warning: tom.home: kostik set sender to kostikbel@gmail.com using -f Date: Wed, 17 Feb 2016 18:45:41 +0200 From: Konstantin Belousov To: Daniel Eischen Cc: Eric van Gyzen , threads@freebsd.org, arch@freebsd.org Subject: Re: libthr shared locks Message-ID: <20160217164541.GM91220@kib.kiev.ua> References: <20151223172528.GT3625@kib.kiev.ua> <56BE69B8.9020808@FreeBSD.org> <56C24586.9050906@FreeBSD.org> <20160216113222.GY91220@kib.kiev.ua> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.24 (2015-08-30) X-Spam-Status: No, score=-2.0 required=5.0 tests=ALL_TRUSTED,BAYES_00, DKIM_ADSP_CUSTOM_MED,FREEMAIL_FROM,NML_ADSP_CUSTOM_MED autolearn=no autolearn_force=no version=3.4.1 X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on tom.home X-BeenThere: freebsd-threads@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: Threading on FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 17 Feb 2016 16:45:48 -0000 On Tue, Feb 16, 2016 at 12:27:12PM -0500, Daniel Eischen wrote: > On Tue, 16 Feb 2016, Konstantin Belousov wrote: > > > On Mon, Feb 15, 2016 at 03:39:18PM -0600, Eric van Gyzen wrote: > >> My only comment on kern_umtx.c is, why are the permission checks compiled out? > > > > Assume that we changed the ABI of libthr and shared locks do not require > > an offpage. > > How are you coming with that? I thought maybe you were going to think > about making the synch types structs, but not actually changing the > implementation (yet). Are you asking what is the state of the work for changing the libthr ABI by replacing object pointers with inline structures, am I reading the question right ? (Sorry, english is not my native language) I do plan to introduce inlined objects (most likely in the form of libthr2 initially, i.e. cc -D_LIBTHR2 -o file file.c -lthr2). But my plans are to get the existing patch for pshared into the tree for 11.0. After that I wanted to implement robust mutexes, still in the context of the libthr. Then libthr2. Finishing the current patch for 11.0 is the immediate goal, while I did not forget neither abandoned the inline alternative and do plan to work on it.