From: Terence Kelly <tpkelly@eecs.umich.edu>
To: guile-devel@gnu.org
Subject: persistent memory for Guile
Date: Thu, 16 Mar 2023 03:02:27 -0400 (EDT) [thread overview]
Message-ID: <alpine.DEB.2.22.394.2303160239180.2920093@email.eecs.umich.edu> (raw)
Dear Colleagues,
An ongoing thread in the gnu-prog-discuss mailing list is discussing
persistent memory for GNU projects. Circa late February, Jacob Bachmeyer
suggested on that list that Guile might benefit from persistent memory.
After consulting the Guile manual, I'm writing now to outline what this
might mean and to invite interested persons in the Guile community to
discuss further.
First, a note on terminology: By "persistent memory" I do *not* mean
newfangled non-volatile memory hardware, e.g., Intel Optane or NVDIMMs.
Instead, "persistent memory" here refers to a purely software abstraction
that can be implemented on conventional hardware --- ordinary computers
with volatile DRAM memory and conventional block storage (HDDs, SSDs).
The easiest way to vividly explain the possibilities for Guile might be to
point out the persistent memory feature recently added to the GNU AWK
(gawk) interpreter. The new persistent memory feature of gawk is called
"pm-gawk." When you run an AWK script in the gawk interpreter, you may
activate pm-gawk by specifying a file containing a persistent heap where
pm-gawk will hold AWK variables and functions. AWK scripts themselves are
*not* modified in any way to activate pm-gawk. A persistent heap lives in
a file on disk and hangs around until deleted. It may be re-used by
subsequent runs of the same AWK script or by completely different AWK
scripts, i.e., it's a way to pass variables and functions between
unrelated scripts. As a side effect, pm-gawk gives AWK (the moral
equivalent of) a REPL. The Persistent Memory Gawk User Manual explains
the details; see the Quick Start section for a succinct concrete
illustration of use:
https://www.gnu.org/software/gawk/manual/pm-gawk/
If Guile did something similar, the details might differ from pm-gawk, but
the benefits would hopefully be the same: Efficient, transparent, and
nearly effortless persistence-to-disk for arbitrary Scheme code, at the
cost of small and fairly easy changes to Guile. Implementing pm-gawk was
remarkably easy --- under 100 lines of code added/changed in the initial
proof-of-concept prototype, most of which was integrating a
malloc-compatible persistent memory library into the gawk interpreter:
https://dl.acm.org/doi/pdf/10.1145/3534855
Another precedent for persistence in Scheme is a project that used an
older persistent heap of mine to retrofit persistence onto a Scheme
interpreter:
https://github.com/tvcutsem/schemeken
If you think that a similar persistence capability might be useful for
Guile, let's talk.
Thank you.
Terence Kelly
https://dl.acm.org/profile/81100523747
reply other threads:[~2023-03-16 7:02 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/guile/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=alpine.DEB.2.22.394.2303160239180.2920093@email.eecs.umich.edu \
--to=tpkelly@eecs.umich.edu \
--cc=guile-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).