123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482 |
- ;;; GNU Guix --- Functional package management for GNU
- ;;; Copyright © 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019 Ludovic Courtès <ludo@gnu.org>
- ;;;
- ;;; This file is part of GNU Guix.
- ;;;
- ;;; GNU Guix is free software; you can redistribute it and/or modify it
- ;;; under the terms of the GNU General Public License as published by
- ;;; the Free Software Foundation; either version 3 of the License, or (at
- ;;; your option) any later version.
- ;;;
- ;;; GNU Guix is distributed in the hope that it will be useful, but
- ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
- ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- ;;; GNU General Public License for more details.
- ;;;
- ;;; You should have received a copy of the GNU General Public License
- ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
- (define-module (test-nar)
- #:use-module (guix tests)
- #:use-module (guix nar)
- #:use-module (guix serialization)
- #:use-module (guix store)
- #:use-module ((gcrypt hash)
- #:select (open-sha256-port open-sha256-input-port))
- #:use-module ((guix packages)
- #:select (base32))
- #:use-module ((guix build utils)
- #:select (find-files))
- #:use-module (rnrs bytevectors)
- #:use-module (rnrs io ports)
- #:use-module (srfi srfi-1)
- #:use-module (srfi srfi-11)
- #:use-module (srfi srfi-26)
- #:use-module (srfi srfi-34)
- #:use-module (srfi srfi-35)
- #:use-module (srfi srfi-64)
- #:use-module (ice-9 ftw)
- #:use-module (ice-9 regex)
- #:use-module ((ice-9 control) #:select (let/ec))
- #:use-module (ice-9 match))
- ;; Test the (guix nar) module.
- ;;;
- ;;; File system testing tools, initially contributed to Guile, then libchop.
- ;;;
- (define (random-file-size)
- (define %average (* 1024 512)) ; 512 KiB
- (define %stddev (* 1024 64)) ; 64 KiB
- (inexact->exact
- (max 0 (round (+ %average (* %stddev (random:normal)))))))
- (define (make-file-tree dir tree)
- "Make file system TREE at DIR."
- (let loop ((dir dir)
- (tree tree))
- (define (scope file)
- (string-append dir "/" file))
- (match tree
- (('directory name (body ...))
- (mkdir (scope name))
- (for-each (cute loop (scope name) <>) body))
- (('directory name (? integer? mode) (body ...))
- (mkdir (scope name))
- (for-each (cute loop (scope name) <>) body)
- (chmod (scope name) mode))
- ((file)
- (populate-file (scope file) (random-file-size)))
- ((file (? integer? mode))
- (populate-file (scope file) (random-file-size))
- (chmod (scope file) mode))
- ((from '-> to)
- (symlink to (scope from))))))
- (define (delete-file-tree dir tree)
- "Delete file TREE from DIR."
- (let loop ((dir dir)
- (tree tree))
- (define (scope file)
- (string-append dir "/" file))
- (match tree
- (('directory name (body ...))
- (for-each (cute loop (scope name) <>) body)
- (rmdir (scope name)))
- (('directory name (? integer? mode) (body ...))
- (chmod (scope name) #o755) ; make sure it can be entered
- (for-each (cute loop (scope name) <>) body)
- (rmdir (scope name)))
- ((from '-> _)
- (delete-file (scope from)))
- ((file _ ...)
- (delete-file (scope file))))))
- (define-syntax-rule (with-file-tree dir tree body ...)
- (dynamic-wind
- (lambda ()
- (make-file-tree dir 'tree))
- (lambda ()
- body ...)
- (lambda ()
- (delete-file-tree dir 'tree))))
- (define (file-tree-equal? input output)
- "Return #t if the file trees at INPUT and OUTPUT are equal."
- (define strip
- (cute string-drop <> (string-length input)))
- (define sibling
- (compose (cut string-append output <>) strip))
- (file-system-fold (const #t)
- (lambda (name stat result) ; leaf
- (and result
- (file=? name (sibling name))))
- (lambda (name stat result) ; down
- result)
- (lambda (name stat result) ; up
- result)
- (const #f) ; skip
- (lambda (name stat errno result)
- (pk 'error name stat errno)
- #f)
- #t ; result
- input
- lstat))
- (define (populate-file file size)
- (call-with-output-file file
- (lambda (p)
- (put-bytevector p (random-bytevector size)))))
- (define (rm-rf dir)
- (file-system-fold (const #t) ; enter?
- (lambda (file stat result) ; leaf
- (delete-file file))
- (const #t) ; down
- (lambda (dir stat result) ; up
- (rmdir dir))
- (const #t) ; skip
- (const #t) ; error
- #t
- dir
- lstat))
- (define %test-dir
- ;; An output directory under $top_builddir.
- (string-append (dirname (search-path %load-path "pre-inst-env"))
- "/test-nar-" (number->string (getpid))))
- (test-begin "nar")
- (test-assert "write-file-tree + restore-file"
- (let* ((file1 (search-path %load-path "guix.scm"))
- (file2 (search-path %load-path "guix/base32.scm"))
- (file3 "#!/bin/something")
- (output (string-append %test-dir "/output")))
- (dynamic-wind
- (lambda () #t)
- (lambda ()
- (define-values (port get-bytevector)
- (open-bytevector-output-port))
- (write-file-tree "root" port
- #:file-type+size
- (match-lambda
- ("root"
- (values 'directory 0))
- ("root/foo"
- (values 'regular (stat:size (stat file1))))
- ("root/lnk"
- (values 'symlink 0))
- ("root/dir"
- (values 'directory 0))
- ("root/dir/bar"
- (values 'regular (stat:size (stat file2))))
- ("root/dir/exe"
- (values 'executable (string-length file3))))
- #:file-port
- (match-lambda
- ("root/foo" (open-input-file file1))
- ("root/dir/bar" (open-input-file file2))
- ("root/dir/exe" (open-input-string file3)))
- #:symlink-target
- (match-lambda
- ("root/lnk" "foo"))
- #:directory-entries
- (match-lambda
- ("root" '("foo" "dir" "lnk"))
- ("root/dir" '("bar" "exe"))))
- (close-port port)
- (rm-rf %test-dir)
- (mkdir %test-dir)
- (restore-file (open-bytevector-input-port (get-bytevector))
- output)
- (and (file=? (string-append output "/foo") file1)
- (string=? (readlink (string-append output "/lnk"))
- "foo")
- (file=? (string-append output "/dir/bar") file2)
- (string=? (call-with-input-file (string-append output "/dir/exe")
- get-string-all)
- file3)
- (> (logand (stat:mode (lstat (string-append output "/dir/exe")))
- #o100)
- 0)
- (equal? '("." ".." "bar" "exe")
- (scandir (string-append output "/dir")))
- (equal? '("." ".." "dir" "foo" "lnk")
- (scandir output))))
- (lambda ()
- (false-if-exception (rm-rf %test-dir))))))
- (test-assert "write-file supports non-file output ports"
- (let ((input (string-append (dirname (search-path %load-path "guix.scm"))
- "/guix"))
- (output (%make-void-port "w")))
- (write-file input output)
- #t))
- (test-equal "write-file puts file in C locale collation order"
- (base32 "0sfn5r63k88w9ls4hivnvscg82bqg8a0w7955l6xlk4g96jnb2z3")
- (let ((input (string-append %test-dir ".input")))
- (dynamic-wind
- (lambda ()
- (define (touch file)
- (call-with-output-file (string-append input "/" file)
- (const #t)))
- (mkdir input)
- (touch "B")
- (touch "Z")
- (touch "a")
- (symlink "B" (string-append input "/z")))
- (lambda ()
- (let-values (((port get-hash) (open-sha256-port)))
- (write-file input port)
- (close-port port)
- (get-hash)))
- (lambda ()
- (rm-rf input)))))
- (test-equal "restore-file with incomplete input"
- (string-append %test-dir "/foo")
- (let ((port (open-bytevector-input-port #vu8(1 2 3))))
- (guard (c ((nar-error? c)
- (and (eq? port (nar-error-port c))
- (nar-error-file c))))
- (restore-file port (string-append %test-dir "/foo"))
- #f)))
- (test-assert "write-file + restore-file"
- (let* ((input (string-append (dirname (search-path %load-path "guix.scm"))
- "/guix"))
- (output %test-dir)
- (nar (string-append output ".nar")))
- (dynamic-wind
- (lambda () #t)
- (lambda ()
- (call-with-output-file nar
- (cut write-file input <>))
- (call-with-input-file nar
- (cut restore-file <> output))
- (file-tree-equal? input output))
- (lambda ()
- (false-if-exception (delete-file nar))
- (false-if-exception (rm-rf output))))))
- (test-assert "write-file + restore-file with symlinks"
- (let ((input (string-append %test-dir ".input")))
- (mkdir input)
- (dynamic-wind
- (const #t)
- (lambda ()
- (with-file-tree input
- (directory "root"
- (("reg") ("exe" #o777) ("sym" -> "reg")))
- (let* ((output %test-dir)
- (nar (string-append output ".nar")))
- (dynamic-wind
- (lambda () #t)
- (lambda ()
- (call-with-output-file nar
- (cut write-file input <>))
- (call-with-input-file nar
- (cut restore-file <> output))
- (file-tree-equal? input output))
- (lambda ()
- (false-if-exception (delete-file nar))
- (false-if-exception (rm-rf output)))))))
- (lambda ()
- (rmdir input)))))
- (test-assert "write-file #:select? + restore-file"
- (let ((input (string-append %test-dir ".input")))
- (mkdir input)
- (dynamic-wind
- (const #t)
- (lambda ()
- (with-file-tree input
- (directory "root"
- ((directory "a" (("x") ("y") ("z")))
- ("b") ("c") ("d" -> "b")))
- (let* ((output %test-dir)
- (nar (string-append output ".nar")))
- (dynamic-wind
- (lambda () #t)
- (lambda ()
- (call-with-output-file nar
- (lambda (port)
- (write-file input port
- #:select?
- (lambda (file stat)
- (and (not (string=? (basename file)
- "a"))
- (not (eq? (stat:type stat)
- 'symlink)))))))
- (call-with-input-file nar
- (cut restore-file <> output))
- ;; Make sure "a" and "d" have been filtered out.
- (and (not (file-exists? (string-append output "/root/a")))
- (file=? (string-append output "/root/b")
- (string-append input "/root/b"))
- (file=? (string-append output "/root/c")
- (string-append input "/root/c"))
- (not (file-exists? (string-append output "/root/d")))))
- (lambda ()
- (false-if-exception (delete-file nar))
- (false-if-exception (rm-rf output)))))))
- (lambda ()
- (rmdir input)))))
- (test-eq "restore-file with non-UTF8 locale" ;<https://bugs.gnu.org/33603>
- 'encoding-error
- (let* ((file (search-path %load-path "guix.scm"))
- (output (string-append %test-dir "/output"))
- (locale (setlocale LC_ALL "C")))
- (dynamic-wind
- (lambda () #t)
- (lambda ()
- (define-values (port get-bytevector)
- (open-bytevector-output-port))
- (write-file-tree "root" port
- #:file-type+size
- (match-lambda
- ("root" (values 'directory 0))
- ("root/λ" (values 'regular 0)))
- #:file-port (const (%make-void-port "r"))
- #:symlink-target (const #f)
- #:directory-entries (const '("λ")))
- (close-port port)
- (mkdir %test-dir)
- (catch 'encoding-error
- (lambda ()
- ;; This show throw to 'encoding-error.
- (restore-file (open-bytevector-input-port (get-bytevector))
- output)
- (scandir output))
- (lambda args
- 'encoding-error)))
- (lambda ()
- (false-if-exception (rm-rf %test-dir))
- (setlocale LC_ALL locale)))))
- (test-assert "restore-file-set (signed, valid)"
- (with-store store
- (let* ((texts (unfold (cut >= <> 10)
- (lambda _ (random-text))
- 1+
- 0))
- (files (map (cut add-text-to-store store "text" <>) texts))
- (dump (call-with-bytevector-output-port
- (cut export-paths store files <>))))
- (delete-paths store files)
- (and (every (negate file-exists?) files)
- (let* ((source (open-bytevector-input-port dump))
- (imported (restore-file-set source)))
- (and (equal? imported files)
- (every (lambda (file)
- (and (file-exists? file)
- (valid-path? store file)))
- files)
- (equal? texts
- (map (lambda (file)
- (call-with-input-file file
- get-string-all))
- files))
- (every canonical-file? files)))))))
- (test-assert "restore-file-set with directories (signed, valid)"
- ;; <https://bugs.gnu.org/33361> describes a bug whereby directories
- ;; containing files subject to deduplication were not canonicalized--i.e.,
- ;; their mtime and permissions were not reset. Ensure that this bug is
- ;; gone.
- (with-store store
- (let* ((text1 (random-text))
- (text2 (random-text))
- (tree `("tree" directory
- ("a" regular (data ,text1))
- ("b" directory
- ("c" regular (data ,text2))
- ("d" regular (data ,text1))))) ;duplicate
- (file (add-file-tree-to-store store tree))
- (dump (call-with-bytevector-output-port
- (cute export-paths store (list file) <>))))
- (delete-paths store (list file))
- (and (not (file-exists? file))
- (let* ((source (open-bytevector-input-port dump))
- (imported (restore-file-set source)))
- (and (equal? imported (list file))
- (file-exists? file)
- (valid-path? store file)
- (string=? text1
- (call-with-input-file (string-append file "/a")
- get-string-all))
- (string=? text2
- (call-with-input-file
- (string-append file "/b/c")
- get-string-all))
- (= (stat:ino (stat (string-append file "/a"))) ;deduplication
- (stat:ino (stat (string-append file "/b/d"))))
- (every canonical-file?
- (find-files file #:directories? #t))))))))
- (test-assert "restore-file-set (missing signature)"
- (let/ec return
- (with-store store
- (let* ((file (add-text-to-store store "foo" (random-text)))
- (dump (call-with-bytevector-output-port
- (cute export-paths store (list file) <>
- #:sign? #f))))
- (delete-paths store (list file))
- (and (not (file-exists? file))
- (let ((source (open-bytevector-input-port dump)))
- (guard (c ((nar-signature-error? c)
- (let ((message (condition-message c))
- (port (nar-error-port c)))
- (return
- (and (string-match "lacks.*signature" message)
- (string=? file (nar-error-file c))
- (eq? source port))))))
- (restore-file-set source))
- #f))))))
- (test-assert "restore-file-set (corrupt)"
- (let/ec return
- (with-store store
- (let* ((file (add-text-to-store store "foo"
- (random-text)))
- (dump (call-with-bytevector-output-port
- (cute export-paths store (list file) <>))))
- (delete-paths store (list file))
- ;; Flip a byte in the file contents.
- (let* ((index 120)
- (byte (bytevector-u8-ref dump index)))
- (bytevector-u8-set! dump index (logxor #xff byte)))
- (and (not (file-exists? file))
- (let ((source (open-bytevector-input-port dump)))
- (guard (c ((nar-invalid-hash-error? c)
- (let ((message (condition-message c))
- (port (nar-error-port c)))
- (return
- (and (string-contains message "hash")
- (string=? file (nar-error-file c))
- (eq? source port))))))
- (restore-file-set source))
- #f))))))
- (test-end "nar")
- ;;; Local Variables:
- ;;; eval: (put 'with-file-tree 'scheme-indent-function 2)
- ;;; End:
|