da2d893e32
Fixes 'guix size foo bar' when 'foo' is in the local store and 'bar' isn't, which could lead to an incomplete requisite list. * guix/scripts/size.scm (requisites*): Partition ITEMS according to 'valid-path?'. Use 'substitutable-requisites' only on invalid items.
301 lines
11 KiB
Scheme
301 lines
11 KiB
Scheme
;;; GNU Guix --- Functional package management for GNU
|
||
;;; Copyright © 2015, 2016 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 (guix scripts size)
|
||
#:use-module (guix ui)
|
||
#:use-module (guix scripts)
|
||
#:use-module (guix store)
|
||
#:use-module (guix monads)
|
||
#:use-module (guix combinators)
|
||
#:use-module (guix grafts)
|
||
#:use-module (guix packages)
|
||
#:use-module (guix derivations)
|
||
#:use-module (gnu packages)
|
||
#:use-module (srfi srfi-1)
|
||
#:use-module (srfi srfi-9)
|
||
#:use-module (srfi srfi-11)
|
||
#:use-module (srfi srfi-26)
|
||
#:use-module (srfi srfi-34)
|
||
#:use-module (srfi srfi-37)
|
||
#:use-module (ice-9 match)
|
||
#:use-module (ice-9 format)
|
||
#:export (profile?
|
||
profile-file
|
||
profile-self-size
|
||
profile-closure-size
|
||
store-profile
|
||
|
||
guix-size))
|
||
|
||
;; Size profile of a store item.
|
||
(define-record-type <profile>
|
||
(profile file self-size closure-size)
|
||
profile?
|
||
(file profile-file) ;store item
|
||
(self-size profile-self-size) ;size in bytes
|
||
(closure-size profile-closure-size)) ;size of dependencies in bytes
|
||
|
||
(define substitutable-path-info*
|
||
(store-lift substitutable-path-info))
|
||
|
||
(define (query-path-info* item)
|
||
"Monadic version of 'query-path-info' that returns #f when ITEM is not in
|
||
the store."
|
||
(lambda (store)
|
||
(guard (c ((nix-protocol-error? c)
|
||
;; ITEM is not in the store; return #f.
|
||
(values #f store)))
|
||
(values (query-path-info store item) store))))
|
||
|
||
(define (file-size item)
|
||
"Return the size in bytes of ITEM, resorting to information from substitutes
|
||
if ITEM is not in the store."
|
||
(mlet %store-monad ((info (query-path-info* item)))
|
||
(if info
|
||
(return (path-info-nar-size info))
|
||
(mlet %store-monad ((info (substitutable-path-info* (list item))))
|
||
(match info
|
||
((info)
|
||
;; The nar size is an approximation, but a good one.
|
||
(return (substitutable-nar-size info)))
|
||
(()
|
||
(leave (_ "no available substitute information for '~a'~%")
|
||
item)))))))
|
||
|
||
(define* (display-profile profile #:optional (port (current-output-port)))
|
||
"Display PROFILE, a list of PROFILE objects, to PORT."
|
||
(define MiB (expt 2 20))
|
||
|
||
(format port "~64a ~8a ~a\n"
|
||
(_ "store item") (_ "total") (_ "self"))
|
||
(let ((whole (reduce + 0 (map profile-self-size profile))))
|
||
(for-each (match-lambda
|
||
(($ <profile> name self total)
|
||
(format port "~64a ~6,1f ~6,1f ~5,1f%\n"
|
||
name (/ total MiB) (/ self MiB)
|
||
(* 100. (/ self whole 1.)))))
|
||
(sort profile
|
||
(match-lambda*
|
||
((($ <profile> _ _ total1) ($ <profile> _ _ total2))
|
||
(> total1 total2)))))
|
||
(format port (_ "total: ~,1f MiB~%") (/ whole MiB 1.))))
|
||
|
||
(define display-profile*
|
||
(lift display-profile %store-monad))
|
||
|
||
(define (substitutable-requisites store items)
|
||
"Return the list of requisites of ITEMS based on information available in
|
||
substitutes."
|
||
(let loop ((items items)
|
||
(result '()))
|
||
(match items
|
||
(()
|
||
(delete-duplicates result))
|
||
(items
|
||
(let ((info (substitutable-path-info store
|
||
(delete-duplicates items))))
|
||
(loop (remove (lambda (item) ;XXX: complexity
|
||
(member item result))
|
||
(append-map substitutable-references info))
|
||
(append (append-map substitutable-references info)
|
||
result)))))))
|
||
|
||
(define (requisites* items)
|
||
"Return as a monadic value the requisites of ITEMS, based either on the
|
||
information available in the local store or using information about
|
||
substitutes."
|
||
(lambda (store)
|
||
(let-values (((local missing)
|
||
(partition (cut valid-path? store <>) items)))
|
||
(values (delete-duplicates
|
||
(append (requisites store local)
|
||
(substitutable-requisites store missing)))
|
||
store))))
|
||
|
||
(define (store-profile items)
|
||
"Return as a monadic value a list of <profile> objects representing the
|
||
profile of ITEMS and their requisites."
|
||
(mlet* %store-monad ((refs (>>= (requisites* items)
|
||
(lambda (refs)
|
||
(return (delete-duplicates
|
||
(append items refs))))))
|
||
(sizes (mapm %store-monad
|
||
(lambda (item)
|
||
(>>= (file-size item)
|
||
(lambda (size)
|
||
(return (cons item size)))))
|
||
refs)))
|
||
(define (dependency-size item)
|
||
(mlet %store-monad ((deps (requisites* (list item))))
|
||
(foldm %store-monad
|
||
(lambda (item total)
|
||
(return (+ (assoc-ref sizes item) total)))
|
||
0
|
||
(delete-duplicates (cons item deps)))))
|
||
|
||
(mapm %store-monad
|
||
(match-lambda
|
||
((item . size)
|
||
(mlet %store-monad ((dependencies (dependency-size item)))
|
||
(return (profile item size dependencies)))))
|
||
sizes)))
|
||
|
||
(define* (ensure-store-item spec-or-item)
|
||
"Return a store file name. If SPEC-OR-ITEM is a store file name, return it
|
||
as is. Otherwise, assume SPEC-OR-ITEM is a package output specification such
|
||
as \"guile:debug\" or \"gcc-4.8\" and return its store file name."
|
||
(with-monad %store-monad
|
||
(if (store-path? spec-or-item)
|
||
(return spec-or-item)
|
||
(let-values (((package output)
|
||
(specification->package+output spec-or-item)))
|
||
(mlet %store-monad ((drv (package->derivation package)))
|
||
;; Note: we don't try building DRV like 'guix archive' does
|
||
;; because we don't have to since we can instead rely on
|
||
;; substitute meta-data.
|
||
(return (derivation->output-path drv output)))))))
|
||
|
||
|
||
;;;
|
||
;;; Charts.
|
||
;;;
|
||
|
||
;; Autoload Guile-Charting.
|
||
;; XXX: Use this hack instead of #:autoload to avoid compilation errors.
|
||
;; See <http://bugs.gnu.org/12202>.
|
||
(module-autoload! (current-module)
|
||
'(charting) '(make-page-map))
|
||
|
||
(define (profile->page-map profiles file)
|
||
"Write a 'page map' chart of PROFILES, a list of <profile> objects, to FILE,
|
||
the name of a PNG file."
|
||
(define (strip name)
|
||
(string-drop name (+ (string-length (%store-prefix)) 28)))
|
||
|
||
(define data
|
||
(fold2 (lambda (profile result offset)
|
||
(match profile
|
||
(($ <profile> name self)
|
||
(let ((self (inexact->exact
|
||
(round (/ self (expt 2. 10))))))
|
||
(values `((,(strip name) ,offset . ,self)
|
||
,@result)
|
||
(+ offset self))))))
|
||
'()
|
||
0
|
||
(sort profiles
|
||
(match-lambda*
|
||
((($ <profile> _ _ total1) ($ <profile> _ _ total2))
|
||
(> total1 total2))))))
|
||
|
||
;; TRANSLATORS: This is the title of a graph, meaning that the graph
|
||
;; represents a profile of the store (the "store" being the place where
|
||
;; packages are stored.)
|
||
(make-page-map (_ "store profile") data
|
||
#:write-to-png file))
|
||
|
||
|
||
;;;
|
||
;;; Options.
|
||
;;;
|
||
|
||
(define (show-help)
|
||
(display (_ "Usage: guix size [OPTION]... PACKAGE
|
||
Report the size of PACKAGE and its dependencies.\n"))
|
||
(display (_ "
|
||
--substitute-urls=URLS
|
||
fetch substitute from URLS if they are authorized"))
|
||
(display (_ "
|
||
-s, --system=SYSTEM consider packages for SYSTEM--e.g., \"i686-linux\""))
|
||
(display (_ "
|
||
-m, --map-file=FILE write to FILE a graphical map of disk usage"))
|
||
(newline)
|
||
(display (_ "
|
||
-h, --help display this help and exit"))
|
||
(display (_ "
|
||
-V, --version display version information and exit"))
|
||
(newline)
|
||
(show-bug-report-information))
|
||
|
||
(define %options
|
||
;; Specifications of the command-line options.
|
||
(list (option '(#\s "system") #t #f
|
||
(lambda (opt name arg result)
|
||
(alist-cons 'system arg
|
||
(alist-delete 'system result eq?))))
|
||
(option '("substitute-urls") #t #f
|
||
(lambda (opt name arg result . rest)
|
||
(apply values
|
||
(alist-cons 'substitute-urls
|
||
(string-tokenize arg)
|
||
(alist-delete 'substitute-urls result))
|
||
rest)))
|
||
(option '(#\m "map-file") #t #f
|
||
(lambda (opt name arg result)
|
||
(alist-cons 'map-file arg result)))
|
||
(option '(#\h "help") #f #f
|
||
(lambda args
|
||
(show-help)
|
||
(exit 0)))
|
||
(option '(#\V "version") #f #f
|
||
(lambda args
|
||
(show-version-and-exit "guix size")))))
|
||
|
||
(define %default-options
|
||
`((system . ,(%current-system))))
|
||
|
||
|
||
;;;
|
||
;;; Entry point.
|
||
;;;
|
||
|
||
(define (guix-size . args)
|
||
(with-error-handling
|
||
(let* ((opts (parse-command-line args %options (list %default-options)))
|
||
(files (filter-map (match-lambda
|
||
(('argument . file) file)
|
||
(_ #f))
|
||
opts))
|
||
(map-file (assoc-ref opts 'map-file))
|
||
(system (assoc-ref opts 'system))
|
||
(urls (assoc-ref opts 'substitute-urls)))
|
||
(match files
|
||
(()
|
||
(leave (_ "missing store item argument\n")))
|
||
((files ..1)
|
||
(leave-on-EPIPE
|
||
;; Turn off grafts because (1) hydra.gnu.org does not serve grafted
|
||
;; packages, and (2) they do not make any difference on the
|
||
;; resulting size.
|
||
(parameterize ((%graft? #f))
|
||
(with-store store
|
||
(set-build-options store
|
||
#:use-substitutes? #t
|
||
#:substitute-urls urls)
|
||
|
||
(run-with-store store
|
||
(mlet* %store-monad ((items (mapm %store-monad
|
||
ensure-store-item files))
|
||
(profile (store-profile items)))
|
||
(if map-file
|
||
(begin
|
||
(profile->page-map profile map-file)
|
||
(return #t))
|
||
(display-profile* profile)))
|
||
#:system system)))))))))
|