From owner-freebsd-questions@freebsd.org Wed Aug 7 04:08:32 2019 Return-Path: Delivered-To: freebsd-questions@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 778ABBD2E2 for ; Wed, 7 Aug 2019 04:08:32 +0000 (UTC) (envelope-from freebsd.ed.lists@sumeritec.com) Received: from out2-4.antispamcloud.com (out2-4.antispamcloud.com [185.201.17.4]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 463J002J2xz4BPq; Wed, 7 Aug 2019 04:08:31 +0000 (UTC) (envelope-from freebsd.ed.lists@sumeritec.com) Received: from srv31.niagahoster.com ([153.92.8.106]) by mx66.antispamcloud.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.89) (envelope-from ) id 1hvDFU-000AME-Jb; Wed, 07 Aug 2019 06:08:30 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=sumeritec.com; s=default; h=Content-Transfer-Encoding:Content-Type: MIME-Version:References:In-Reply-To:Message-ID:Subject:Cc:To:From:Date:Sender :Reply-To:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help: List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=fYqwsZPpyPP4AfN8jQUYX4CMnyMPedGSI6FClulRStU=; b=SlYUWZDZyM5EuACcgHzOAOA8Ra 3nUdj9gPDJvQesW8zJ19xxpqRt9Jt1/EuU44sDr5o3IGvT2OVX+OD7X7uL9Ny4/WTDt84Uo8tv/T8 2KbFW210piKTOBzJSHSUmGBqNHJVBLoHr5NO1JPX8fsIUm9efPbB+uw4MqRKg6xXAEjJMFbmMkSvl AuyLwJpk88RSaw1jR6DMR+2IW/GlGTd397/nRyaiqVxHui0iX7QY2ZdTorIfukopUaKy441STQUbL C2IVaJF/v8tG+2XNq+XI0Fok2AtZLeSmVqDJcFD4Wifk9qfKSf1sppRXmdEyhpj9b7s+H4OLI54jG gkB3dXfA==; Received: from [114.125.102.23] (port=15116 helo=Ryzen1.sumeritec.com) by srv31.niagahoster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1hvDEd-00049Q-Ke; Wed, 07 Aug 2019 11:07:41 +0700 Date: Wed, 7 Aug 2019 12:07:34 +0800 From: Erich Dollansky To: Daniel Eischen Cc: freebsd-questions@freebsd.org, freebsd-threads@freebsd.org Subject: Re: mutex held in a thread which is cancelled stays busy Message-ID: <20190807120734.1c55392d.freebsd.ed.lists@sumeritec.com> In-Reply-To: <0CEB9578-74BE-42E7-A612-9A7AE3DBD052@freebsd.org> References: <20190806165429.14bc4052.freebsd.ed.lists@sumeritec.com> <1FC05CEB-982F-484F-9E41-5A74FF564494@freebsd.org> <20190807095521.23e79874.freebsd.ed.lists@sumeritec.com> <0CEB9578-74BE-42E7-A612-9A7AE3DBD052@freebsd.org> MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-OutGoing-Spam-Status: No, score=-1.0 X-AuthUser: freebsd.ed.lists@sumeritec.com X-Originating-IP: 153.92.8.106 X-Spampanel-Domain: out.niagahoster.com X-Spampanel-Username: niaga X-Spampanel-Outgoing-Class: unsure X-Spampanel-Outgoing-Evidence: Combined (0.11) X-Recommended-Action: accept X-Filter-ID: Mvzo4OR0dZXEDF/gcnlw0YiRRkpbHZ8F3zevhEShTfypSDasLI4SayDByyq9LIhV4UsW/Vlvetcm 0SuxVQ1snUTNWdUk1Ol2OGx3IfrIJKyP9eGNFz9TW9u+Jt8z2T3KSZWQ0mYy/5bX2tR2MxjY1He4 QIvBAg3toE6wd3PtFST6QG6oDWQr5qk8z/hipQQV8BnYfpDYZuPUHQ4+kRclmoCMwdohv2z4UN87 RIUSYg8EybI1sOftHmSKUCHCvcq0TzZjnkrrL1mACMw/UF0G0YY2nx1cxH3HU+PdSK79lGxlwCIq IFS/mFDdwByP9xvkiFKfD1jKgYfH+6S5qDVYoH4Q6gVso6BoEWgMh2eZG8VZBppJJpFwVMXFpG8A OA64V0BTl9HMz9DNBb38igffcAbwQK4LAQJrMLA4O04Xvw+LJASz52UZdQktZn4ZzTw2aWWR7drM d0qbJIo1RVCXie2VXGdtLyog7ui50fJvZPWymVBEglNuNDdi9xAbizrH5OsVdOhXIGZEKBBVfrNX IVS7yrN4xA/q5McvR31SN9j/k1N3tK79oubV/+cOjvsnVgW9/bktU41htiJ8fk7NkNwbqGxFBmIA iDD7PzfsCqBft7Ajx7WHtEhOA3XgEeYZW39F4n0x+HPOZspMfvAj0YRTW602yRQA5EJXZYVlfSOb jljpzcldG5bc9h0NLkX5XuUtdBRw0CzMOyehQ6vQGPoZBvRq7vNWUiEF5SqFnyDndfpAb9ZFTn8m gpTJZxm80bRbmskEhysblbPkZqqEaqntKr6+crm+rffkaQ6ZgOgs/PUdToROXy0SooJw/+uyotP0 GM6NBB2Ekw9mxBq7+kSynOQfwTsEBmKCEVuye7Yp0y+Z08l1puxAIkxLtIO4ctgzcDoFd+96Xw4Q UNtTnTtDW9uQ9+a2iKQ+Krce6qdi29i09pDdHiPUPyFMOqSfFLRIX0I3Ns8B9SS0VR7cJhiXYpmG RqLoqCVipDGlRxor8l1a+B3b8WJsR0wzQmfG79VwBFEkmDQI9UZcVgDvELHtJZkGl0BQCuf9K3TR oZpykkPhiO0Aezx/e4evy+lm3mGyjSnaoQr28ssfojBfDxRcGvAMkGKozu6mLYl2/vU= X-Report-Abuse-To: spam@quarantine10.antispamcloud.com X-Rspamd-Queue-Id: 463J002J2xz4BPq X-Spamd-Bar: ------ Authentication-Results: mx1.freebsd.org; none X-Spamd-Result: default: False [-6.97 / 15.00]; NEURAL_HAM_MEDIUM(-1.00)[-1.000,0]; NEURAL_HAM_SHORT(-0.98)[-0.977,0]; REPLY(-4.00)[]; NEURAL_HAM_LONG(-1.00)[-0.997,0] X-BeenThere: freebsd-questions@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: User questions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 04:08:32 -0000 Hi, On Tue, 6 Aug 2019 23:38:51 -0400 Daniel Eischen wrote: > > On Aug 6, 2019, at 9:55 PM, Erich Dollansky > > wrote: > > > > Hi, > > > > On Tue, 6 Aug 2019 20:58:30 -0400 > > Daniel Eischen wrote: > > > >>> On Aug 6, 2019, at 4:54 AM, Erich Dollansky > >>> wrote: > >>> > >>> Hi, > >>> > >>> for testing purpose, I did the following. > >>> > >>> Start a thread, initialise a mutex in a global variable, lock the > >>> mutex and wait in that thread. > >>> > >>> Wait in the main program until above's thread waits and cancel it. > >>> > >>> Clean up behind the cancelled thread but leave intentional the > >>> mutex locked. > >>> > >>> I would have expected now to get an error like 'EOWNERDEAD' doing > >>> operations with that mutex. But I get 'EBUSY' as the error. > >> > >> Are you initializing the mutex as a robust mutex, via > >> pthread_mutexattr_setrobust()? Are you using _lock() or > >> _trylock()? > >> > >> For _trylock(), you only get EOWNERDEAD for robust mutexes. It > >> seems that you should get EOWNERDEAD for _lock() in this case, so > >> if that's what you're doing, it sounds like it might be a bug. > >> > > I did both. One time with initialising the mutex with its defaults > > by handing over NULL as the attribute setting and one time with the > > attributes set. > > > > I use this line to set the attribute: > > > > pres = pthread_mutexattr_setrobust (& Attr, PTHREAD_MUTEX_ROBUST); > > > > The following line: > > > > pthread_mutexattr_getrobust (& Attr, &pres); > > > > Sets pres also to 1. > > > > I am doing this on 12.0-STABLE FreeBSD 12.0-STABLE r350391 GENERIC > > amd64 with the systems standard compiler. > > > > Is this the corrent way of doing it? > > Yes, I believe so. I'm curious if the bug also exists in -current. > I do not have CURRENT on any machine at the moment. Erich