GNU logs - #37066, boring messages

Message sent to bug-guile@HIDDEN:

Subject: bug#37066: Using GOOPS #:allocation #:virtual slot option causes stack overflow
Resent-From: Jan <tona_kosmicznego_smiecia@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Sat, 17 Aug 2019 22:44:02 +0000
Resent-Message-ID: <handler.37066.B.15660817877538 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 37066 <at> debbugs.gnu.org
Date: Sun, 18 Aug 2019 00:42:23 +0200
From: Jan <tona_kosmicznego_smiecia@HIDDEN>
Message-ID: <20190818004223.22acd911@kompiuter>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Hi everyone.

I've written the program attached below and it hangs at writing=20
"after changing (K): ", computer freezes for a moment and then Guile
throws the following message:

allocate_stack failed: Can't allocate memory
Warning: Unwind-only `stack-overflow' exception; skipping pre-unwind
handler.
allocate_stack failed: Can't allocate memory
Warning: Unwind-only `stack-overflow' exception; skipping pre-unwind
handler.

Guile version: 2.9.3
OS: Devuan ASCII GNU/Linux
Architecture: x86_64

Code:

(define-class <temperature> ()
  (k #:init-value 0
     #:init-keyword #:k
     #:accessor kelvin)

  (c #:accessor celsius
     #:init-keyword #:c
     #:allocation #:virtual
     #:slot-ref (lambda (o)
                  (let ((k (slot-ref o 'k)))
                    (- k 273.15)))
     #:slot-set! (lambda (o c)
                   (slot-set! o 'c c)
                   (slot-set! o 'k (+ 273.15 c)))))

(define (test-virtual-slots)
  (let ((temp1 (make <temperature> #:k 0)))
    (display "Absolute zero(K): ")
    (display (kelvin temp1))
    (newline)
    (display "Absolute zero(C): ")
    (display (celsius temp1))
    (newline)
    (display "After changing (K): ")
    (slot-set! temp1 'c 0)
    (display (kelvin temp1))))

(test-virtual-slots)

I couldn't find any mistake, because I'm a new Guile user, so please
tell me if I'm doing something wrong. Using an example from the manual
(8.5 Illustrating Slot Description) didn't help, because it also throws
a different error, not sure if I hadn't copied everything or if there's
something fundamentally wrong in GOOPS.

The code of the example:

(define-class <my-complex> (<number>)
  ;; True slots use rectangular coordinates
  (r #:init-value 0 #:accessor real-part #:init-keyword #:r)
  (i #:init-value 0 #:accessor imag-part #:init-keyword #:i)
  ;; Virtual slots access do the conversion
  (m #:accessor magnitude #:init-keyword #:magn
     #:allocation #:virtual
     #:slot-ref (lambda (o)
                  (let ((r (slot-ref o =E2=80=99r)) (i (slot-ref o =E2=80=
=99i)))
                    (sqrt (+ (* r r) (* i i)))))
     #:slot-set! (lambda (o m)
                   (let ((a (slot-ref o =E2=80=99a)))
                     (slot-set! o =E2=80=99r (* m (cos a)))
                     (slot-set! o =E2=80=99i (* m (sin a))))))
  (a #:accessor angle #:init-keyword #:angle
     #:allocation #:virtual
     #:slot-ref (lambda (o)
                  (atan (slot-ref o =E2=80=99i) (slot-ref o =E2=80=99r)))
     #:slot-set! (lambda(o a)
                   (let ((m (slot-ref o =E2=80=99m)))
                     (slot-set! o =E2=80=99r (* m (cos a)))
                     (slot-set! o =E2=80=99i (* m (sin a)))))))

(define c (make <my-complex> #:r 12 #:i 20))
(slot-set! c =E2=80=99a 3)
(display "Real part: ")
(display (real-part c))
(newline)
(display "Angle: ")
(display (angle c))
(newline)
(slot-set! c =E2=80=99i 10)
(set! (real-part c) 1)
(describe c)

The error:

;;; /home/user/Projects/guile/./goops-bug.scm:44:47: warning: possibly
unbound variable `#{\x2019;i}#'
;;; /home/user/Projects/guile/./goops-bug.scm:47:28: warning: possibly
unbound variable `#{\x2019;a}#'
;;; /home/user/Projects/guile/./goops-bug.scm:48:21: warning: possibly
unbound variable `#{\x2019;r}#'
;;; /home/user/Projects/guile/./goops-bug.scm:49:21: warning: possibly
unbound variable `#{\x2019;i}#'
;;; /home/user/Projects/guile/./goops-bug.scm:53:24: warning: possibly
unbound variable `#{\x2019;i}#'
;;; /home/user/Projects/guile/./goops-bug.scm:53:40: warning: possibly
unbound variable `#{\x2019;r}#'
;;; /home/user/Projects/guile/./goops-bug.scm:55:28: warning: possibly
unbound variable `#{\x2019;m}#'
;;; /home/user/Projects/guile/./goops-bug.scm:56:21: warning: possibly
unbound variable `#{\x2019;r}#'
;;; /home/user/Projects/guile/./goops-bug.scm:57:21: warning: possibly
unbound variable `#{\x2019;i}#'
;;; /home/user/Projects/guile/./goops-bug.scm:60:0: warning: possibly
unbound variable `#{\x2019;a}#'
;;; /home/user/Projects/guile/./goops-bug.scm:67:0: warning: possibly
unbound variable `#{\x2019;i}#'
;;;
compiled /home/user/.cache/guile/ccache/3.0-LE-8-4.1/home/user/Projects/gui=
le/goops-bug.scm.go
Backtrace:
           5 (apply-smob/1 #<catch-closure 55db22ad7780>)
In ice-9/boot-9.scm:
    702:2  4 (call-with-prompt _ _ #<procedure default-prompt-handle=E2=80=
=A6>)
In ice-9/eval.scm:
    619:8  3 (_ #(#(#<directory (guile-user) 55db22b9d750>)))
In ice-9/boot-9.scm:
   2296:4  2 (save-module-excursion _)
  3816:12  1 (_)
In /home/user/Projects/guile/./goops-bug.scm:
     69:0  0 (_)

/home/user/Projects/guile/./goops-bug.scm:69:0: Unbound variable:
#{\x2019;a}#


The line 69 is the last line of the program.

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Jan <tona_kosmicznego_smiecia@HIDDEN>
Subject: bug#37066: Acknowledgement (Using GOOPS #:allocation #:virtual
 slot option causes stack overflow)
Message-ID: <handler.37066.B.15660817877538.ack <at> debbugs.gnu.org>
References: <20190818004223.22acd911@kompiuter>
X-Gnu-PR-Message: ack 37066
X-Gnu-PR-Package: guile
Reply-To: 37066 <at> debbugs.gnu.org
Date: Sat, 17 Aug 2019 22:44:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-guile@HIDDEN

If you wish to submit further information on this problem, please
send it to 37066 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
37066: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D37066
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guile@HIDDEN:

Subject: bug#37066: Using GOOPS #:allocation #:virtual slot option causes stack overflow
Resent-From: David Pirotte <david@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Sun, 18 Aug 2019 08:10:01 +0000
Resent-Message-ID: <handler.37066.B37066.156611574332678 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Jan <tona_kosmicznego_smiecia@HIDDEN>
Cc: 37066 <at> debbugs.gnu.org
Date: Sun, 18 Aug 2019 05:08:53 -0300
From: David Pirotte <david@HIDDEN>
Message-ID: <20190818050853.17b31311@capac>
In-Reply-To: <20190818004223.22acd911@kompiuter>
References: <20190818004223.22acd911@kompiuter>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="Sig_/AcATnYB.ec0Q/bi1vM+3ev8";
 protocol="application/pgp-signature"; micalg=pgp-sha512
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

--Sig_/AcATnYB.ec0Q/bi1vM+3ev8
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: quoted-printable

Hello Jan,

> I've written the program attached below and it hangs at writing=20
> "after changing (K): ", computer freezes for a moment and then Guile
> throws the following message:
=20
> allocate_stack failed: Can't allocate memory
> Warning: Unwind-only `stack-overflow' exception; skipping pre-unwind
> handler.
> ...

This is not goops bug. The problem occurs because you try to set the
value of the virtual slot, something you should never do. Here is a
slightly corrected version of your code:

(define-module (temperature)
  #:use-module (oop goops)

  #:export (<temperature>
            kelvin
            celsius))

(define-class <temperature> ()
  (k #:accessor kelvin
     #:init-keyword #:k
     #:init-value 0)
  (c #:accessor celsius
     #:init-keyword #:c
     #:allocation #:virtual
     #:slot-ref (lambda (o)
                  (- (kelvin o) 273.15))
     #:slot-set! (lambda (o c)
                   (set! (kelvin o) (+ 273.15 c)))))

Then, in a repl:

scheme@(guile-user)> (add-to-load-path "/your/temperature/module/path")
scheme@(guile-user)> ,use (oop goops)
scheme@(guile-user)> ,use (oop goops describe)
scheme@(guile-user)> ,use (temperature)
;;; note: source file ...  newer than compiled ...
;;; ...
scheme@(guile-user)> (make <temperature>)
$2 =3D #<<temperature> 5604c4614200>
scheme@(guile-user)> (describe $2)
#<<temperature> 5604c4614200> is an instance of class <temperature>
Slots are:=20
     k =3D 0
     c =3D -273.15
scheme@(guile-user)> (set! (celsius $2) 0)
$3 =3D 273.15
scheme@(guile-user)> (describe $2)
#<<temperature> 5604c4614200> is an instance of class <temperature>
Slots are:=20
     k =3D 273.15
     c =3D 0.0

> ... it also throws a different error ...

I didn't look into this manual example code yet, I wanted to get back
to your own example first ...

David

--Sig_/AcATnYB.ec0Q/bi1vM+3ev8
Content-Type: application/pgp-signature
Content-Description: OpenPGP digital signature

-----BEGIN PGP SIGNATURE-----

iQEzBAEBCgAdFiEEhCJlRZtBM3furJHe83T9k6MFetcFAl1ZB5UACgkQ83T9k6MF
etcuPQf/bMLGdfjNr8IZdCmBYcAVotYkzpUthWi9RDNJM2SOMHa59Uk41u+3Du+G
ZEzol20IyvWlr1QeC16PiTi3QJIX4g2w/TdHXU8kO4p4qsxSh4xauKAE0TznrnPy
E/hDjwVnNRkee7uaK2GocPOWuY6UZ7T8yFeIawlYSzeG/FoK+LiGJD7JNDoG/8a+
JxLR5+onscwUuCVybvw8gMi/UnDP+L6JQ9wDk3HiwnO9ZMnx1z8LdhEJDZtfdolg
4jFH+1+Q72dNC1gMtVjoO4pRjbi5tSw4ZtUJJw3p78Wvk5OreUbBDNqI2nl/N8LV
27DRmEOfF7DCgsEIDvnsLv/eYLBNZw==
=WaA4
-----END PGP SIGNATURE-----

--Sig_/AcATnYB.ec0Q/bi1vM+3ev8--

Message sent to bug-guile@HIDDEN:

Subject: bug#37066: Using GOOPS #:allocation #:virtual slot option causes stack overflow
Resent-From: Jan <tona_kosmicznego_smiecia@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Sun, 18 Aug 2019 21:44:02 +0000
Resent-Message-ID: <handler.37066.B37066.156616463417883 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: David Pirotte <david@HIDDEN>
Cc: 37066 <at> debbugs.gnu.org
Date: Sun, 18 Aug 2019 23:43:30 +0200
From: Jan <tona_kosmicznego_smiecia@HIDDEN>
Message-ID: <20190818234330.0f4bf77d@kompiuter>
In-Reply-To: <20190818050853.17b31311@capac>
References: <20190818004223.22acd911@kompiuter> <20190818050853.17b31311@capac>
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Sorry, I sent a private mail, hope this one will be in the right
place.

On Sun, 18 Aug 2019 05:08:53 -0300
David Pirotte <david@HIDDEN> wrote:

> This is not goops bug. The problem occurs because you try to set the
> value of the virtual slot, something you should never do.

Thank you for explaining, I understand it now.
I don't think eating the whole CPU and RAM and segmentation fault is a
good default behavior though. If this is a thing one should never do,
shouldn't Guile throw an error, warning or whatever?


Jan

Last modified: Mon, 25 Nov 2019 12:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.