From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Mark H Weaver Newsgroups: gmane.lisp.guile.bugs Subject: bug#22152: fat_mutex owner corruption (fmoc) inside fat_mutex_unlock (guile-v2.0.11) Date: Mon, 20 Jun 2016 16:05:01 -0400 Message-ID: <8760t3tymq.fsf@netris.org> References: <87a8oiqm9m.fsf@netris.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1466453192 27622 80.91.229.3 (20 Jun 2016 20:06:32 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 20 Jun 2016 20:06:32 +0000 (UTC) Cc: Iwan Armand Aucamp , Donovan Hutcheon , 22152-done@debbugs.gnu.org, Waqar Ali , Martin Cooper To: Iwan Aucamp Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Mon Jun 20 22:06:20 2016 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bF5Se-0003wL-3C for guile-bugs@m.gmane.org; Mon, 20 Jun 2016 22:06:20 +0200 Original-Received: from localhost ([::1]:46181 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bF5Sd-0008U7-AN for guile-bugs@m.gmane.org; Mon, 20 Jun 2016 16:06:19 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:40006) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bF5SS-0008SQ-UR for bug-guile@gnu.org; Mon, 20 Jun 2016 16:06:09 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bF5SN-00017m-VJ for bug-guile@gnu.org; Mon, 20 Jun 2016 16:06:08 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:35710) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bF5SN-00017K-SX for bug-guile@gnu.org; Mon, 20 Jun 2016 16:06:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1bF5SM-0001wm-I7 for bug-guile@gnu.org; Mon, 20 Jun 2016 16:06:02 -0400 Resent-From: Mark H Weaver Original-Sender: "Debbugs-submit" Resent-To: bug-guile@gnu.org Resent-Date: Mon, 20 Jun 2016 20:06:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 22152 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Mail-Followup-To: 22152@debbugs.gnu.org, mhw@netris.org, aucampia@gmail.com Original-Received: via spool by 22152-done@debbugs.gnu.org id=D22152.14664531207403 (code D ref 22152); Mon, 20 Jun 2016 20:06:02 +0000 Original-Received: (at 22152-done) by debbugs.gnu.org; 20 Jun 2016 20:05:20 +0000 Original-Received: from localhost ([127.0.0.1]:48045 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bF5Rg-0001vL-EY for submit@debbugs.gnu.org; Mon, 20 Jun 2016 16:05:20 -0400 Original-Received: from world.peace.net ([50.252.239.5]:37011) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bF5Rf-0001v4-97 for 22152-done@debbugs.gnu.org; Mon, 20 Jun 2016 16:05:19 -0400 Original-Received: from c-73-253-48-168.hsd1.ma.comcast.net ([73.253.48.168] helo=jojen) by world.peace.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1bF5RZ-0000RH-Ov; Mon, 20 Jun 2016 16:05:13 -0400 In-Reply-To: <87a8oiqm9m.fsf@netris.org> (Mark H. Weaver's message of "Wed, 06 Jan 2016 19:13:57 -0500") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.95 (gnu/linux) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: "bug-guile" Xref: news.gmane.org gmane.lisp.guile.bugs:8041 Archived-At: Mark H Weaver writes: > Iwan Aucamp writes: >> We sporadically get "mutex not locked" and "mutex not locked by current thread" >> exceptions on Solaris 10u10 with guile-2.0.11. > > Thanks very much for your detailed analysis and proposed fix. > > I've attached a patch that hopefully fixes this bug and also refactors > the code to hopefully be somewhat more clear. Can you please test it on > Solaris and verify that it works for your use cases? I went ahead and pushed commit 1e86dc32a42af549fc9e4721ad48cdd7d296c042 to stable-2.0, which will soon become guile-2.0.12. I hope it fixes the issue, although unfortunately my patch was never tested on Solaris. I'm going to close this bug, but feel free to reopen it if there are still issues. Thanks, Mark