Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add a real implementation of SRFI 124 based on Gambit's wills #611

Merged
merged 2 commits into from
May 11, 2021
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
50 changes: 41 additions & 9 deletions src/std/srfi/124.ss
Original file line number Diff line number Diff line change
@@ -1,15 +1,47 @@
;;; -*- Gerbil -*-
;;; (c) vyzo at hackzen.org
;;; SRFI-124: Ephemerons; trivial implementation.
;;; SRFI-124: Ephemerons; weak-referencing implementation on Gambit wills by
;;; Daphne Preston-Kendal

(export ephemeron? make-ephemeron ephemeron-broken? ephemeron-key ephemeron-datum reference-barrier)
(import :std/srfi/9
:gerbil/gambit/misc)
(export ephemeron?
make-ephemeron
ephemeron-key ephemeron-datum
ephemeron-broken?
reference-barrier)

(defstruct ephemeron (key datum broken?)
constructor: :init! final: #t)
(define-record-type <ephemeron>
(%make-ephemeron broken? will datum)
ephemeron?
(broken? ephemeron-broken? set-ephemeron-broken!)
(key-will ephemeron-key-will set-ephemeron-key-will!)
(datum-will ephemeron-datum-will set-ephemeron-datum-will!))

(defmethod {:init! ephemeron}
(lambda (self key datum)
(struct-instance-init! self key datum)))
(define (make-ephemeron key datum)
(letrec* ((eph (%make-ephemeron #f #f #f))
(datum-action
(lambda (x)
(if (not (ephemeron-broken? eph))
(set-ephemeron-datum-will!
eph
(make-will x datum-action))))))
(set-ephemeron-key-will!
eph
(make-will key
(lambda (x)
(set-ephemeron-broken! eph #t)
(set-ephemeron-datum-will! eph #f))))
(set-ephemeron-datum-will!
eph
(make-will datum datum-action))
eph))

(def (reference-barrier key)
(void))
(define (ephemeron-key eph)
(will-testator (ephemeron-key-will eph)))

(define (ephemeron-datum eph)
(and (not (ephemeron-broken? eph))
(will-testator (ephemeron-datum-will eph))))

(define (reference-barrier k) (void))