[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#31755] [PATCH 12/19] vm: 'expression->derivation-in-linux-vm' code
From: |
Ludovic Courtès |
Subject: |
[bug#31755] [PATCH 12/19] vm: 'expression->derivation-in-linux-vm' code can now use dlopen. |
Date: |
Fri, 8 Jun 2018 11:34:44 +0200 |
* gnu/system/vm.scm (expression->derivation-in-linux-vm)
[user-builder]: Define in non-monadic style as 'program-file'.
[loader]: Likewise, and 'execl' USER-BUILDER instead of loading it.
(system-docker-image): Pass BUILD as the second
argument to 'expression->derivation-in-linux-vm'.
(make-iso9660-image, qemu-image): Remove call to 'reboot'.
---
gnu/system/vm.scm | 43 ++++++++++++++++++++-----------------------
1 file changed, 20 insertions(+), 23 deletions(-)
diff --git a/gnu/system/vm.scm b/gnu/system/vm.scm
index 2ffab15dd..e0fcf1f3e 100644
--- a/gnu/system/vm.scm
+++ b/gnu/system/vm.scm
@@ -148,12 +148,24 @@ based on the size of the closure of REFERENCES-GRAPHS.
When REFERENCES-GRAPHS is true, it must be a list of file name/store path
pairs, as for `derivation'. The files containing the reference graphs are
made available under the /xchg CIFS share."
+ (define user-builder
+ (program-file "builder-in-linux-vm" exp))
+
+ (define loader
+ ;; Invoke USER-BUILDER instead using 'primitive-load'. The reason for
+ ;; this is to allow USER-BUILDER to dlopen stuff by using a full-featured
+ ;; Guile, which it couldn't do using the statically-linked guile used in
+ ;; the initrd. See example at
+ ;; <https://lists.gnu.org/archive/html/guix-devel/2017-10/msg00233.html>.
+ (program-file "linux-vm-loader"
+ ;; When USER-BUILDER succeeds, reboot (indicating a
+ ;; success), otherwise die, which causes a kernel panic
+ ;; ("Attempted to kill init!").
+ #~(when (zero? (system* #$user-builder))
+ (reboot))))
+
(mlet* %store-monad
- ((user-builder (gexp->file "builder-in-linux-vm" exp))
- (loader (gexp->file "linux-vm-loader"
- #~(primitive-load #$user-builder)))
- (coreutils -> (canonical-package coreutils))
- (initrd (if initrd ; use the default initrd?
+ ((initrd (if initrd ; use the default initrd?
(return initrd)
(base-initrd %linux-vm-file-systems
#:on-error 'backtrace
@@ -254,8 +266,7 @@ INPUTS is a list of inputs (as for packages)."
#:closures graphs
#:volume-id #$file-system-label
#:volume-uuid #$(and=> file-system-uuid
- uuid-bytevector))
- (reboot))))
+ uuid-bytevector)))))
#:system system
#:make-disk-image? #f
#:single-file-output? #t
@@ -373,8 +384,7 @@ the image."
#:bootcfg-location
#$(bootloader-configuration-file bootloader)
#:bootloader-installer
- #$(bootloader-installer bootloader))
- (reboot)))))
+ #$(bootloader-installer bootloader))))))
#:system system
#:make-disk-image? #t
#:disk-image-size disk-image-size
@@ -464,20 +474,7 @@ should set REGISTER-CLOSURES? to #f."
#:creation-time (make-time time-utc 0 1)
#:transformations `((,root-directory -> ""))))))))
(expression->derivation-in-linux-vm
- name
- ;; The VM's initrd Guile doesn't support dlopen, but our "build" gexp
- ;; needs to be run by a Guile that can dlopen libgcrypt. The following
- ;; hack works around that problem by putting the "build" gexp into an
- ;; executable script (created by program-file) which, when executed, will
- ;; run using a Guile that supports dlopen. That way, the VM's initrd
- ;; Guile can just execute it via invoke, without using dlopen. See:
- ;; https://lists.gnu.org/archive/html/guix-devel/2017-10/msg00233.html
- (with-imported-modules `((guix build utils))
- #~(begin
- (use-modules (guix build utils))
- ;; If we use execl instead of invoke here, the VM will crash with a
- ;; kernel panic.
- (invoke #$(program-file "build-docker-image" build))))
+ name build
#:make-disk-image? #f
#:single-file-output? #t
#:references-graphs `((,graph ,os-drv)))))
--
2.17.1
- [bug#31755] [PATCH 00/19] Use (guix store database) instead of 'guix-register', Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 01/19] database: 'with-database' can now initialize new databases., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 06/19] database: 'register-path' creates the database directory if needed., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 07/19] deduplicate: Fix a couple of thinkos., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 08/19] database: Remove extra SQL parameter in 'update-or-insert'., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 10/19] database: Replace existing entries in Refs., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 02/19] database: Fail registration when encountering unregistered references., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 09/19] database: Add #:reset-timestamps? to 'register-path'., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 05/19] database: Provide a way to specify the schema location., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 11/19] database: 'reset-timestamps' sets file permissions as well., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 12/19] vm: 'expression->derivation-in-linux-vm' code can now use dlopen.,
Ludovic Courtès <=
- [bug#31755] [PATCH 04/19] build: Require Guile-SQLite3., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 18/19] store: Remove 'register-path'., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 14/19] database: 'sqlite-register' takes a database, not a file name., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 19/19] Remove 'guix-register' and its traces., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 03/19] store-copy: 'read-reference-graph' returns a list of records., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 15/19] database: Add 'register-items'., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 16/19] install: Use 'reset-timestamps' from (guix store database)., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 17/19] database: Allow for deterministic database construction., Ludovic Courtès, 2018/06/08
- [bug#31755] [PATCH 13/19] install: Use (guix store database) instead of 'guix-register'., Ludovic Courtès, 2018/06/08
- bug#31755: [PATCH 00/19] Use (guix store database) instead of 'guix-register', Ludovic Courtès, 2018/06/14