cosmos72 / hyperluminal-db Goto Github PK

Hi,

proceeded as described using sbcl 2.0.1 on ubuntu 20.04.

The output of hyperluminal test is:

• (asdf:test-system :hyperluminal-db)
  ; compiling file "/home/aswood/quicklisp/local-projects/hyperluminal-db/test/package.lisp" (written 25 JUN 2021 07:37:46 AM):
  ; compiling (IN-PACKAGE :CL-USER)
  ; compiling (DEFPACKAGE #:HYPERLUMINAL-DB-TEST ...)
  ; compiling (IN-PACKAGE :HYPERLUMINAL-DB-TEST)
  ; compiling (DEF-SUITE SUITE)

; wrote /home/aswood/.cache/common-lisp/sbcl-2.0.1.debian-linux-x64/home/aswood/quicklisp/local-projects/hyperluminal-db/test/package-tmp97AGCAO1.fasl
; compilation finished in 0:00:00.002

Running test suite SUITE
Didn't run anything...huh?

???????

Hello. When I run the test suit as shown in readme, hyperluminal-mem and stmx pass all the tests. However, hyperluminal-db says:

CL-USER> (asdf:test-system :hyperluminal-db)
To load "hyperluminal-db-test":
  Load 1 ASDF system:
    hyperluminal-db-test
; Loading "hyperluminal-db-test"


Running test suite SUITE
 Didn't run anything...huh?

Is there something wrong with its test? My OS is ubuntu 16.04 x64. And Lisp implementation is SBCL 1.3.1 x64.
Thanks.

Hyperluminal-DB uses a (supposedly) clever trick in order to overcome Intel claims that hardware memory transactions (specifically, Intel TSX) cannot perform input/output.

The result is that Hyperluminal-DB is able to perform transactional input/output while running hardware memory transactions - an apparent paradox - in an extremely specific but significant case: reading and writing memory-mapped files.

Could you go into more detail about the 'clever trick' you discovered that allows TSX to perform input/output?

Environment portacle with sbcl 2.0.0 or sbcl 2.0.6 native

quickload fails on store.lisp @ line 78

[package hyperluminal-db].....

; file: /usr/local/bin/portacle/all/quicklisp/local-projects/hyperluminal-db/db/store.lisp
; in: DEFVAR P
; (DEFVAR HYPERLUMINAL-DB::P HYPERLUMINAL-MEM-FFI:+NULL-POINTER+)
; --> PROGN SB-IMPL::%DEFVAR SB-IMPL::%DEFVAR
; ==>
; '#.(SB-SYS:INT-SAP #X00000000)
;
; caught ERROR:
; Objects of type SB-SYS:SYSTEM-AREA-POINTER can't be dumped into fasl files.

Is there any hint to overcome this issue?

To load hyperluminal-db with quicklisp version of hyperluminal-mem it needs to change package dependencies from hyperluminal-ffi to hyperluminal-mem-ffi in db/package.lisp and some fixes in db/store.lisp at least.
Just try to load it and you'll see errors.