From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Damien Mattei Newsgroups: gmane.lisp.guile.user Subject: Re: error : mutex already locked by thread Date: Thu, 5 Jan 2023 16:31:00 +0100 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="30158"; mail-complaints-to="usenet@ciao.gmane.io" To: guile-user Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Thu Jan 05 16:31:58 2023 Return-path: Envelope-to: guile-user@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pDSDl-0007bl-Mv for guile-user@m.gmane-mx.org; Thu, 05 Jan 2023 16:31:57 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pDSD7-0007Fw-6P; Thu, 05 Jan 2023 10:31:17 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pDSD6-0007FX-4h for guile-user@gnu.org; Thu, 05 Jan 2023 10:31:16 -0500 Original-Received: from mail-ed1-x535.google.com ([2a00:1450:4864:20::535]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pDSD4-0002ZO-7Y for guile-user@gnu.org; Thu, 05 Jan 2023 10:31:15 -0500 Original-Received: by mail-ed1-x535.google.com with SMTP id i9so53241854edj.4 for ; Thu, 05 Jan 2023 07:31:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :from:to:cc:subject:date:message-id:reply-to; bh=mDLujDXmRdwjaHB+M0+gHmokw9ght/l7uVBugvQiTzY=; b=YiFFJFoUUsIx2KOszPKVUAWslHf7m8XVrvdF3TURFfcZzG9TTLoq+dCrbVl/nnTiHb 8emTaVZwibjy6LeAj8fCsf2T9GQ1PJQ3E6hbCwQR0bjYs1zE2awjKNPj1MkLBhXojLF+ 1/i1ka6CcojbXz5Kfc71PUTVTRD1Lcssza3ZMxOr0lfcEmuCOAR1BBL5Qi+LjKN5vGrR PkapDfj60rNunFMmEHRuxO5HohiIfG90IgkoBEoH/QVpBQ512AVM8MFE+nvWqLoFOSUx OSbzA4G1YC4oqY6BoHWIP5LLS4Aroh/GwWhU4igRlApcpHLRKBCBPDAdUVl3y9yPPHDV lpqg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=mDLujDXmRdwjaHB+M0+gHmokw9ght/l7uVBugvQiTzY=; b=n++urDty3eYB2zp/gbEoyMrk3hTd5llcd9q/vQt5pt9jKvbjBEdxCC04hyVZVK7hq0 y7k8UYX522nJBXxEAPHAGPCaxrD6M0qpO4X+my8ADSPahVPpnpGAe3LxkxoKzRQ/wLqI ZOJ7hmgiootnKgD4WJ/13YkRByKqWYoacZeiActdJEfe5s94kXuJJL4XwFs5d2FWU2fM Ia+2XbooYwneWNjAkWRr+tib98u3cNzkmy35EyVbUmXH7lgLwvm6fEcT5C3ovqpfMRM+ XtSVknewDRJ/ACicLEDMs+WIOecngjrkCdsQw6JQBA5D40ykujmgOORk1Ov1s0cakeaP Yo/A== X-Gm-Message-State: AFqh2kqQDIf4MWksZ4kyTNOe6jR00nGWRfJWZOxLFTIhUN0js7ENUszg fI4qcuQvWM1kyY9CasxJ/w/plMXigd94qeuYeT7lwdpxaoI= X-Google-Smtp-Source: AMrXdXv/qZU4lUlwyhYvDXbhAGMG+mWSMtNmOG7v7h3YU/9IwUpLIR8iuXjM20fcMW6XVe+k9ncfznxg92Fvjrn/ehM= X-Received: by 2002:a05:6402:a41:b0:48e:82fa:47ca with SMTP id bt1-20020a0564020a4100b0048e82fa47camr1228342edb.72.1672932672274; Thu, 05 Jan 2023 07:31:12 -0800 (PST) In-Reply-To: Received-SPF: pass client-ip=2a00:1450:4864:20::535; envelope-from=damien.mattei@gmail.com; helo=mail-ed1-x535.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Content-Filtered-By: Mailman/MimeDel 2.1.29 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Original-Sender: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.user:18837 Archived-At: sorry for the inconvenience in fact the code compile,the message is only displayed at compile time when using and uncommenting (parallel vector) used later here: (parallel-vector-map function-unify-minterms-list-index minterms-vector) which cause a crash of the code: scheme@(guile-user)> (logic-test) test 1 (or (and (not a) (not b) (not c) (not d)) (and (not a) (not b) (not c) d) (and (not a) (not b) c (not d)) (and (not a) b (not c) d) (and (not a) b c (not d)) (and (not a) b c d) (and a (not b) (not c) (not d)) (and a (not b) (not c) d) (and a (not b) c (not d)) (and c (not d))) =3D ice-9/boot-9.scm:1685:16: In procedure raise-exception: In procedure variable-ref: Unbound variable: #> Entering a new prompt. Type `,bt' for a backtrace or `,q' to continue. scheme@(guile-user) [1]> ,bt In ice-9/eval.scm: 619:8 13 (_ #(#(#(#) #) # =E2=80=A6= )) 626:19 12 (_ #(#(#(#) #) # =E2=80=A6= )) 155:9 11 (_ #(#(#) (or (and (not a) (not b) (not c) (not d)) (and (not =E2=80=A6) =E2=80=A6) =E2=80=A6))) 619:8 10 (_ #(#(#(#) (or (and (not a) (not b) (not c) (not d)) (and # =E2=80=A6) =E2=80=A6)) # =E2=80=A6)) 626:19 9 (_ #(#(#(#) (or (and (not a) (not b) (not c) (not d)) (and # =E2=80=A6) =E2=80=A6)) # =E2=80=A6)) 619:8 8 (_ #(#(#(# (a b c d) (or (and c (not d)) (and a (not b) # d) =E2=80=A6)) #) # =E2=80=A6)) 626:19 7 (_ #(#(#(# (a b c d) (or (and c (not d)) (and a (not b) # d) =E2=80=A6)) #) # =E2=80=A6)) In unknown file: 6 (sort ((1 1 1 0) (1 0 1 0) (1 0 0 1) (1 0 0 0) (0 1 1 1) (0 1 1 0) (0 1 0 1) (0 0 1 0) (0 0 0 1) (0 0 0 =E2=80=A6)) #) In ice-9/eval.scm: 159:9 5 (_ #(#(#) (1 0 0 1) (1 0 1 0))) 619:8 4 (_ #(#(#(#) (1 0 0 1)) #> # =E2=80=A6)) 304:50 3 (_ #(#(#(#) (1 0 0 1)) #> # =E2=80=A6)) 196:27 2 (_ #(#(#(#) (1 0 0 1)) #> # =E2=80=A6)) 227:9 1 (_ _) In ice-9/boot-9.scm: 1685:16 0 (raise-exception _ #:continuable? _) i will investigate further parallel-vector-map on simpler example, again sorry for the incovenience. Damien On Thu, Jan 5, 2023 at 4:16 PM Damien Mattei wrote: > Hi, > > i have an error i never seen, without a line in code , the code worked o= n > Mac OS and on Linux , i did a fresh install of Linux and Guile and now i > have this error that seems unrelated with my code ( that did not changed)= : > > In procedure lock-mutex: mutex already locked by thread > > any idea? > > GNU Guile 3.0.8.99-f3ea8 > Copyright (C) 1995-2022 Free Software Foundation, Inc. > > Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'. > This program is free software, and you are welcome to redistribute it > under certain conditions; type `,show c' for details. > > Enter `,help' for help. > scheme@(guile-user)> (load "start-=CE=BB=CE=BF=CE=B3=CE=B9=CE=BA=CE=B9-gu= ile+.scm") > ;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=3D0 > ;;; or pass the --no-auto-compile argument to disable. > ;;; compiling > /home/mattei/Dropbox/git/library-FunctProg/start-=CE=BB=CE=BF=CE=B3=CE=B9= =CE=BA=CE=B9-guile+.scm > ;;; WARNING: compilation of > /home/mattei/Dropbox/git/library-FunctProg/start-=CE=BB=CE=BF=CE=B3=CE=B9= =CE=BA=CE=B9-guile+.scm failed: > ;;; In procedure lock-mutex: mutex already locked by thread > > Damien >