error : mutex already locked by thread

error : mutex already locked by thread

[Damien Mattei]

Hi,

i have an error i never seen, without a line in code ,  the code worked on
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-λογικι-guile+.scm")
;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0
;;;       or pass the --no-auto-compile argument to disable.
;;; compiling
/home/mattei/Dropbox/git/library-FunctProg/start-λογικι-guile+.scm
;;; WARNING: compilation of
/home/mattei/Dropbox/git/library-FunctProg/start-λογικι-guile+.scm failed:
;;; In procedure lock-mutex: mutex already locked by thread

Damien

Re: error : mutex already locked by thread

[Damien Mattei]

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))) =
ice-9/boot-9.scm:1685:16: In procedure raise-exception:
In procedure variable-ref: Unbound variable: #<variable 7fdb92501ba0 value:
#<undefined>>

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 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80>)
#<continuation 7fdb93671ba0>) #<variable 7fdb932f2ff0 v…> …))
   626:19 12 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80>)
#<continuation 7fdb93671ba0>) #<variable 7fdb932f2ff0 v…> …))
    155:9 11 (_ #(#(#<directory (guile-user) 7fdb9e3c0c80>) (or (and (not
a) (not b) (not c) (not d)) (and (not …) …) …)))
    619:8 10 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80>) (or (and (not
a) (not b) (not c) (not d)) (and # …) …)) # …))
   626:19  9 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80>) (or (and (not
a) (not b) (not c) (not d)) (and # …) …)) # …))
    619:8  8 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80> (a b c d) (or
(and c (not d)) (and a (not b) # d) …)) #) # …))
   626:19  7 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80> (a b c d) (or
(and c (not d)) (and a (not b) # d) …)) #) # …))
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 …)) #)
In ice-9/eval.scm:
    159:9  5 (_ #(#(#<directory (guile-user) 7fdb9e3c0c80>) (1 0 0 1) (1 0
1 0)))
    619:8  4 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80>) (1 0 0 1))
#<variable 7fdb92501bb0 value: #<undefined>> # …))
   304:50  3 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80>) (1 0 0 1))
#<variable 7fdb92501bb0 value: #<undefined>> # …))
   196:27  2 (_ #(#(#(#<directory (guile-user) 7fdb9e3c0c80>) (1 0 0 1))
#<variable 7fdb92501bb0 value: #<undefined>> # …))
    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 <damien.mattei@gmail.com>
wrote:

> Hi,
>
> i have an error i never seen, without a line in code ,  the code worked on
> 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-λογικι-guile+.scm")
> ;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0
> ;;;       or pass the --no-auto-compile argument to disable.
> ;;; compiling
> /home/mattei/Dropbox/git/library-FunctProg/start-λογικι-guile+.scm
> ;;; WARNING: compilation of
> /home/mattei/Dropbox/git/library-FunctProg/start-λογικι-guile+.scm failed:
> ;;; In procedure lock-mutex: mutex already locked by thread
>
> Damien
>