2007-01-20 14:32:30 -05:00
|
|
|
; Extraction of benchmark results.
|
|
|
|
|
|
|
|
(define (summarize-usual-suspects . rest)
|
|
|
|
(let* ((setting (if (null? rest) "-r6rs" (car rest)))
|
|
|
|
(summarize
|
|
|
|
(lambda (system-results)
|
|
|
|
(lambda (in out)
|
|
|
|
((summarize system-results)
|
|
|
|
(string-append in setting)
|
|
|
|
(string-append out setting))))))
|
|
|
|
|
2007-01-21 19:20:37 -05:00
|
|
|
;((summarize bigloo-results) "results.Bigloo" "summary.Bigloo")
|
|
|
|
;((summarize chez-results) "results.Chez-Scheme" "summary.Chez")
|
|
|
|
((summarize ikarus-results) "results.Ikarus-Scheme" "summary.Ikarus")
|
|
|
|
;((summarize chicken-results) "results.Chicken" "summary.Chicken")
|
|
|
|
;((summarize gambit-results) "results.Gambit-C" "summary.Gambit")
|
2007-01-20 14:32:30 -05:00
|
|
|
((summarize larceny-results) "results.Larceny" "summary.Larceny")
|
2007-01-21 19:20:37 -05:00
|
|
|
;((summarize mzscheme-results) "results.MzScheme" "summary.MzScheme")
|
|
|
|
;((summarize scheme48-results) "results.Scheme48" "summary.Scheme48")
|
|
|
|
))
|
2007-01-20 14:32:30 -05:00
|
|
|
|
|
|
|
(define (decode-usual-suspects . rest)
|
|
|
|
(let* ((setting (if (null? rest) "-r6rs" (car rest)))
|
|
|
|
(decode-summary
|
|
|
|
(lambda (in)
|
|
|
|
(decode-summary (string-append in setting)))))
|
|
|
|
(map decode-summary
|
|
|
|
'("summary.Larceny"
|
2007-01-21 19:20:37 -05:00
|
|
|
;"summary.Bigloo"
|
|
|
|
;"summary.Chez"
|
|
|
|
;"summary.Chicken"
|
|
|
|
;"summary.Gambit"
|
|
|
|
"summary.Ikarus"
|
|
|
|
;"summary.MzScheme"
|
|
|
|
;"summary.Scheme48"
|
|
|
|
))))
|
2007-01-20 14:32:30 -05:00
|
|
|
|
|
|
|
(define (summarize-usual-suspects-linux . rest)
|
|
|
|
(let* ((setting (if (null? rest) "-r6rs" (car rest)))
|
|
|
|
(summarize
|
|
|
|
(lambda (system-results)
|
|
|
|
(lambda (in out)
|
|
|
|
((summarize system-results)
|
|
|
|
(string-append in setting)
|
|
|
|
(string-append out setting))))))
|
|
|
|
|
|
|
|
((summarize bigloo-results) "results.Bigloo" "summary.Bigloo")
|
|
|
|
((summarize chicken-results) "results.Chicken" "summary.Chicken")
|
|
|
|
((summarize gambit-results) "results.Gambit-C" "summary.Gambit")
|
|
|
|
((summarize henchman-results) "results.Henchman" "summary.Henchman")
|
|
|
|
((summarize larceny-results) "results.Larceny" "summary.Larceny")
|
|
|
|
((summarize mit-results) "results.MIT-Scheme" "summary.MIT")
|
|
|
|
((summarize mzscheme-results) "results.MzScheme" "summary.MzScheme")
|
2007-01-21 19:20:37 -05:00
|
|
|
((summarize ikarus-results) "results.Ikarus" "summary.Ikarus")
|
2007-01-20 14:32:30 -05:00
|
|
|
((summarize petite-chez-results) "results.Petite-Chez-Scheme" "summary.Petite")
|
|
|
|
((summarize scheme48-results) "results.Scheme48" "summary.Scheme48")))
|
|
|
|
|
|
|
|
(define (decode-usual-suspects-linux . rest)
|
|
|
|
(let* ((setting (if (null? rest) "-r6rs" (car rest)))
|
|
|
|
(decode-summary
|
|
|
|
(lambda (in)
|
|
|
|
(decode-summary (string-append in setting)))))
|
|
|
|
(map decode-summary
|
|
|
|
'(;"summary.Henchman"
|
|
|
|
"summary.Larceny"
|
2007-01-21 19:20:37 -05:00
|
|
|
;"summary.Bigloo"
|
|
|
|
;"summary.Chicken"
|
|
|
|
;"summary.Gambit"
|
|
|
|
"summary.Ikarus"
|
|
|
|
;"summary.MIT"
|
|
|
|
;"summary.MzScheme"
|
|
|
|
;"summary.Petite"
|
|
|
|
;"summary.Scheme48"
|
|
|
|
))))
|
2007-01-20 14:32:30 -05:00
|
|
|
|
|
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
;
|
|
|
|
; Help procedures.
|
|
|
|
;
|
|
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
|
|
|
|
(define (readline port)
|
|
|
|
(do ((c (read-char port) (read-char port))
|
|
|
|
(chars '() (cons c chars)))
|
|
|
|
((or (eof-object? c)
|
|
|
|
(char=? c #\newline))
|
|
|
|
(list->string (reverse chars)))))
|
|
|
|
|
|
|
|
(define (readlines port)
|
|
|
|
(do ((c (peek-char port) (peek-char port))
|
|
|
|
(lines '() (cons (readline port) lines)))
|
|
|
|
((eof-object? c)
|
|
|
|
(reverse lines))))
|
|
|
|
|
|
|
|
; If s1 is a substring of s2, then returns the least integer m
|
|
|
|
; such that (string=? s1 (substring s2 m (+ m (string-length s1)))).
|
|
|
|
; Otherwise returns #f.
|
|
|
|
|
|
|
|
(define (substring? s1 s2)
|
|
|
|
(let ((n1 (string-length s1))
|
|
|
|
(n2 (string-length s2)))
|
|
|
|
(let ((n (- n2 n1)))
|
|
|
|
(let loop ((m 0))
|
|
|
|
(if (<= m n)
|
|
|
|
(if (substring=? s1 s2 m (+ m n1))
|
|
|
|
m
|
|
|
|
(loop (+ m 1)))
|
|
|
|
#f)))))
|
|
|
|
|
|
|
|
(define (substring=? s1 s2 m n)
|
|
|
|
(and (<= (string-length s1) (- n m))
|
|
|
|
(<= n (string-length s2))
|
|
|
|
(do ((i 0 (+ i 1))
|
|
|
|
(m m (+ m 1)))
|
|
|
|
((or (= m n)
|
|
|
|
(not (char=? (string-ref s1 i)
|
|
|
|
(string-ref s2 m))))
|
|
|
|
(= m n)))))
|
|
|
|
|
|
|
|
(define (right-justify x n . port)
|
|
|
|
(let ((p (open-output-string))
|
|
|
|
(port (if (null? port) (current-output-port) (car port))))
|
|
|
|
(display x p)
|
|
|
|
(let* ((s (get-output-string p))
|
|
|
|
(m (string-length s)))
|
|
|
|
(if (< m n)
|
|
|
|
(display (string-append (make-string (- n m) #\space) s) port)
|
|
|
|
(display (substring s 0 n) port)))))
|
|
|
|
|
|
|
|
(define (left-justify x n . port)
|
|
|
|
(let ((p (open-output-string))
|
|
|
|
(port (if (null? port) (current-output-port) (car port))))
|
|
|
|
(display x p)
|
|
|
|
(let* ((s (get-output-string p))
|
|
|
|
(m (string-length s)))
|
|
|
|
(if (< m n)
|
|
|
|
(display (string-append s (make-string (- n m) #\space)) port)
|
|
|
|
(display (substring s 0 n) port)))))
|
|
|
|
|
|
|
|
; Given a string that contains a timing in hours:minutes:seconds
|
|
|
|
; or in 1h3m0.417s format, returns the timing in milliseconds.
|
|
|
|
|
|
|
|
(define (string->msec s)
|
|
|
|
(if (substring? "s" s)
|
|
|
|
(string1->msec s)
|
|
|
|
(string2->msec s)))
|
|
|
|
|
|
|
|
(define (string1->msec s)
|
|
|
|
(let* ((s0 (list->string
|
|
|
|
(filter (lambda (c) (not (char-whitespace? c)))
|
|
|
|
(string->list s))))
|
|
|
|
(n1 (substring? "h" s0))
|
|
|
|
(s1 (if n1 (substring s0 0 n1) "0"))
|
|
|
|
(s0 (if n1 (substring s0 (+ n1 1) (string-length s0)) s0))
|
|
|
|
(n2 (substring? "m" s0))
|
|
|
|
(s2 (if n2 (substring s0 0 n2) "0"))
|
|
|
|
(s0 (if n2 (substring s0 (+ n2 1) (string-length s0)) s0))
|
|
|
|
(hours (if n1 (string->number s1) 0))
|
|
|
|
(minutes (if n2 (string->number s2) 0))
|
|
|
|
(seconds (string->number (substring s0 0 (- (string-length s0) 1))))
|
|
|
|
(seconds (+ (* 3600 hours) (* 60 minutes) seconds)))
|
|
|
|
(inexact->exact (round (* 1000.0 seconds)))))
|
|
|
|
|
|
|
|
(define (string2->msec s)
|
|
|
|
(let* ((s0 (list->string
|
|
|
|
(filter (lambda (c) (not (char-whitespace? c)))
|
|
|
|
(string->list s))))
|
|
|
|
(n1 (substring? ":" s0))
|
|
|
|
(s1 (if n1 (substring s0 0 n1) "0"))
|
|
|
|
(s0 (if n1 (substring s0 (+ n1 1) (string-length s0)) s0))
|
|
|
|
(n2 (substring? ":" s0))
|
|
|
|
(s2 (if n2 (substring s0 0 n2) "0"))
|
|
|
|
(s0 (if n2 (substring s0 (+ n2 1) (string-length s0)) s0))
|
|
|
|
(hours (if (and n1 n2) (string->number s1) 0))
|
|
|
|
(minutes (cond ((and n1 n2) (string->number s2))
|
|
|
|
(n1 (string->number s1))
|
|
|
|
(else 0)))
|
|
|
|
(seconds (string->number s0))
|
|
|
|
(seconds (+ (* 3600 hours) (* 60 minutes) seconds)))
|
|
|
|
(inexact->exact (round (* 1000.0 seconds)))))
|
|
|
|
|
|
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
;
|
|
|
|
; Summarizing the results.* files that are created by the bench
|
|
|
|
; script.
|
|
|
|
;
|
|
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
|
|
|
|
(define (summarize f)
|
|
|
|
(define (summarize in . rest)
|
|
|
|
(define (bad-arguments)
|
|
|
|
(error "Bad arguments to summarize-results"
|
|
|
|
(cons in rest)))
|
|
|
|
(cond ((string? in)
|
|
|
|
(call-with-input-file
|
|
|
|
in
|
|
|
|
(lambda (in) (apply summarize in rest))))
|
|
|
|
((input-port? in)
|
|
|
|
(cond ((null? rest)
|
|
|
|
(summarize in (current-output-port)))
|
|
|
|
((string? (car rest))
|
|
|
|
(call-with-output-file
|
|
|
|
(car rest)
|
|
|
|
(lambda (out)
|
|
|
|
(summarize in out))))
|
|
|
|
((output-port? (car rest))
|
|
|
|
(f (readlines in) (car rest)))
|
|
|
|
(else
|
|
|
|
(bad-arguments))))
|
|
|
|
(else
|
|
|
|
(bad-arguments))))
|
|
|
|
summarize)
|
|
|
|
|
|
|
|
; For results that are displayed in the form of
|
|
|
|
; cpu time: 57290 real time: 58218
|
|
|
|
|
|
|
|
(define (generic-results sysname lines out)
|
|
|
|
(let ((system-key "Benchmarking ")
|
|
|
|
(test-key "Testing ")
|
|
|
|
(test-key-tail (string-append " under " sysname))
|
|
|
|
(cpu-key "cpu time: ")
|
|
|
|
(real-key " real time: ")
|
|
|
|
;(gc-key " seconds in (major) GC")
|
|
|
|
;(ms-key " ms")
|
|
|
|
(error-key "Error: ")
|
|
|
|
(wrong-key "*** wrong result ***"))
|
|
|
|
(let ((n-system-key (string-length system-key))
|
|
|
|
(n-test-key (string-length test-key))
|
|
|
|
(n-cpu-key (string-length cpu-key))
|
|
|
|
(n-real-key (string-length real-key))
|
|
|
|
;(n-gc-key (string-length gc-key))
|
|
|
|
;(n-ms-key (string-length ms-key))
|
|
|
|
(n-error-key (string-length error-key))
|
|
|
|
(n-wrong-key (string-length wrong-key))
|
|
|
|
(name-width 20)
|
|
|
|
(timing-width 10))
|
|
|
|
(let loop ((lines lines))
|
|
|
|
(if (null? lines)
|
|
|
|
(newline out)
|
|
|
|
(let ((line (car lines)))
|
|
|
|
(cond ((substring=? system-key line 0 n-system-key)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(newline out)
|
|
|
|
(display
|
|
|
|
"benchmark cpu real gc"
|
|
|
|
out)
|
|
|
|
(newline out))
|
|
|
|
((substring=? test-key line 0 n-test-key)
|
|
|
|
(newline out)
|
|
|
|
(let ((name (substring line
|
|
|
|
n-test-key
|
|
|
|
(substring? test-key-tail line))))
|
|
|
|
(left-justify name name-width out)))
|
|
|
|
((and (substring=? cpu-key line 0 n-cpu-key)
|
|
|
|
(substring? real-key line))
|
|
|
|
(let* ((n1 (substring? real-key line))
|
|
|
|
(s (substring line n-cpu-key n1))
|
|
|
|
(s1 (list->string
|
|
|
|
(filter (lambda (c) (not (char=? c #\space)))
|
|
|
|
(string->list s))))
|
|
|
|
(x (string->number s1))
|
|
|
|
(s (substring line
|
|
|
|
(+ n1 n-real-key)
|
|
|
|
(string-length line)))
|
|
|
|
(s2 (list->string
|
|
|
|
(filter (lambda (c) (not (char=? c #\space)))
|
|
|
|
(string->list s))))
|
|
|
|
(y (string->number s2)))
|
|
|
|
(right-justify x timing-width out)
|
|
|
|
(right-justify y timing-width out)))
|
|
|
|
(#f ;(substring? gc-key line)
|
|
|
|
(let* ((n1 (substring? gc-key line))
|
|
|
|
(s (substring line 0 n1))
|
|
|
|
(s1 (list->string
|
|
|
|
(filter (lambda (c) (not (char=? c #\space)))
|
|
|
|
(string->list s))))
|
|
|
|
(x (string->msec s1)))
|
|
|
|
(right-justify x timing-width out)
|
|
|
|
(newline out)))
|
|
|
|
((substring=? error-key line 0 n-error-key)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(display (make-string name-width #\space) out))
|
|
|
|
((substring=? wrong-key line 0 n-wrong-key)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(display (make-string name-width #\space) out)))
|
|
|
|
(loop (cdr lines))))))))
|
|
|
|
|
|
|
|
; Scheme 48
|
|
|
|
|
|
|
|
(define (scheme48-results lines out)
|
|
|
|
(generic-results "Scheme48" lines out))
|
|
|
|
|
|
|
|
; Gambit-C
|
|
|
|
|
|
|
|
(define (gambit-results lines out)
|
|
|
|
(let ((system-key "Benchmarking ")
|
|
|
|
(test-key "Testing ")
|
|
|
|
(test-key-tail " under Gambit-C")
|
|
|
|
(cpu-key " ms cpu time")
|
|
|
|
(real-key " ms real time")
|
|
|
|
(gc-key " collections accounting for ")
|
|
|
|
(ms-key " ms")
|
|
|
|
(space-key " ")
|
|
|
|
(error-key "Error: ")
|
|
|
|
(wrong-key "*** wrong result ***"))
|
|
|
|
(let ((n-system-key (string-length system-key))
|
|
|
|
(n-test-key (string-length test-key))
|
|
|
|
(n-cpu-key (string-length cpu-key))
|
|
|
|
(n-real-key (string-length real-key))
|
|
|
|
(n-gc-key (string-length gc-key))
|
|
|
|
(n-ms-key (string-length ms-key))
|
|
|
|
(n-space-key (string-length space-key))
|
|
|
|
(n-error-key (string-length error-key))
|
|
|
|
(n-wrong-key (string-length wrong-key))
|
|
|
|
(name-width 20)
|
|
|
|
(timing-width 10))
|
|
|
|
(let loop ((lines lines)
|
|
|
|
(real ""))
|
|
|
|
(if (null? lines)
|
|
|
|
(newline out)
|
|
|
|
(let ((line (car lines)))
|
|
|
|
(cond ((substring=? system-key line 0 n-system-key)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(newline out)
|
|
|
|
(display "benchmark cpu real gc"
|
|
|
|
out)
|
|
|
|
(newline out))
|
|
|
|
((substring=? test-key line 0 n-test-key)
|
|
|
|
(newline out)
|
|
|
|
(let ((name (substring line
|
|
|
|
n-test-key
|
|
|
|
(substring? test-key-tail line))))
|
|
|
|
(left-justify name name-width out)))
|
|
|
|
((substring? gc-key line)
|
|
|
|
(let ((x (substring line
|
|
|
|
(+ n-gc-key (substring? gc-key line))
|
|
|
|
(substring? ms-key line))))
|
|
|
|
(right-justify x timing-width out)
|
|
|
|
(newline out)))
|
|
|
|
((substring? cpu-key line)
|
|
|
|
(let ((x (substring line
|
|
|
|
n-space-key
|
|
|
|
(substring? cpu-key line))))
|
|
|
|
(right-justify x timing-width out)
|
|
|
|
(right-justify real timing-width out)))
|
|
|
|
((substring? real-key line)
|
|
|
|
(let ((x (substring line
|
|
|
|
n-space-key
|
|
|
|
(substring? real-key line))))
|
|
|
|
(set! real x)))
|
|
|
|
((substring=? error-key line 0 n-error-key)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(display (make-string name-width #\space) out))
|
|
|
|
((substring=? wrong-key line 0 n-wrong-key)
|
|
|
|
(display " " out)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(display (make-string name-width #\space) out)))
|
|
|
|
(loop (cdr lines) real)))))))
|
|
|
|
|
2007-01-21 19:20:37 -05:00
|
|
|
; Chez and Ikarus Scheme.
|
2007-01-20 14:32:30 -05:00
|
|
|
|
|
|
|
(define (chez-results lines out)
|
|
|
|
(chez-results-proto "Chez-Scheme" lines out))
|
|
|
|
|
|
|
|
(define (petite-chez-results lines out)
|
|
|
|
(chez-results-proto "Petite-Chez-Scheme" lines out))
|
|
|
|
|
2007-01-21 19:20:37 -05:00
|
|
|
(define (ikarus-results lines out)
|
|
|
|
(chez-results-proto "Ikarus" lines out))
|
|
|
|
|
2007-01-20 14:32:30 -05:00
|
|
|
(define (chez-results-proto sysname lines out)
|
|
|
|
(let ((system-key "Benchmarking ")
|
|
|
|
(test-key "Testing ")
|
|
|
|
(test-key-tail (string-append " under " sysname))
|
|
|
|
(cpu-key " ms elapsed cpu time")
|
|
|
|
(real-key " ms elapsed real time")
|
|
|
|
(space-key " ")
|
2007-01-21 19:20:37 -05:00
|
|
|
(error-key "Error")
|
2007-01-20 14:32:30 -05:00
|
|
|
(wrong-key "*** wrong result ***"))
|
|
|
|
(let ((n-system-key (string-length system-key))
|
|
|
|
(n-test-key (string-length test-key))
|
|
|
|
(n-cpu-key (string-length cpu-key))
|
|
|
|
(n-real-key (string-length real-key))
|
|
|
|
(n-space-key (string-length space-key))
|
|
|
|
(n-error-key (string-length error-key))
|
|
|
|
(n-wrong-key (string-length wrong-key))
|
|
|
|
(name-width 20)
|
|
|
|
(timing-width 10))
|
|
|
|
(let loop ((lines lines))
|
|
|
|
(if (null? lines)
|
|
|
|
(newline out)
|
|
|
|
(let ((line (car lines)))
|
|
|
|
(cond ((substring=? system-key line 0 n-system-key)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(newline out)
|
|
|
|
(display "benchmark cpu real" out)
|
|
|
|
(newline out))
|
|
|
|
((substring=? test-key line 0 n-test-key)
|
|
|
|
(newline out)
|
|
|
|
(let ((name (substring line
|
|
|
|
n-test-key
|
|
|
|
(substring? test-key-tail line))))
|
|
|
|
(left-justify name name-width out)))
|
|
|
|
((substring? cpu-key line)
|
|
|
|
(let ((x (substring line
|
|
|
|
n-space-key
|
|
|
|
(substring? cpu-key line))))
|
|
|
|
(right-justify x timing-width out)))
|
|
|
|
((substring? real-key line)
|
|
|
|
(let ((x (substring line
|
|
|
|
n-space-key
|
|
|
|
(substring? real-key line))))
|
2007-01-21 19:20:37 -05:00
|
|
|
(right-justify x timing-width out)))
|
2007-01-20 14:32:30 -05:00
|
|
|
((substring=? error-key line 0 n-error-key)
|
|
|
|
(display line out)
|
2007-01-21 19:20:37 -05:00
|
|
|
;(newline out)
|
|
|
|
;(display (make-string name-width #\space) out)
|
|
|
|
)
|
2007-01-20 14:32:30 -05:00
|
|
|
((substring=? wrong-key line 0 n-wrong-key)
|
|
|
|
(display " " out)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(display (make-string name-width #\space) out)))
|
2007-01-21 19:20:37 -05:00
|
|
|
;(flush-output-port out)
|
2007-01-20 14:32:30 -05:00
|
|
|
(loop (cdr lines))))))))
|
|
|
|
|
|
|
|
; Larceny
|
|
|
|
|
|
|
|
(define (larceny-results lines out)
|
|
|
|
(larceny-results-proto "Larceny" lines out))
|
|
|
|
|
|
|
|
(define (henchman-results lines out)
|
|
|
|
(larceny-results-proto "Henchman" lines out))
|
|
|
|
|
|
|
|
(define (larceny-results-proto sysname lines out)
|
|
|
|
(let ((system-key "Benchmarking ")
|
|
|
|
(test-key "Testing ")
|
|
|
|
(test-key-tail (string-append " under " sysname))
|
|
|
|
(cpu-key "User: ")
|
|
|
|
(real-key "Elapsed time...: ")
|
|
|
|
(gc-key "Elapsed GC time: ")
|
|
|
|
(ms-key " ms")
|
|
|
|
(error-key "Error: ")
|
|
|
|
(wrong-key "*** wrong result ***"))
|
|
|
|
(let ((n-system-key (string-length system-key))
|
|
|
|
(n-test-key (string-length test-key))
|
|
|
|
(n-cpu-key (string-length cpu-key))
|
|
|
|
(n-real-key (string-length real-key))
|
|
|
|
(n-gc-key (string-length gc-key))
|
|
|
|
(n-ms-key (string-length ms-key))
|
|
|
|
(n-error-key (string-length error-key))
|
|
|
|
(n-wrong-key (string-length wrong-key))
|
|
|
|
(name-width 20)
|
|
|
|
(timing-width 10))
|
|
|
|
(let loop ((lines lines))
|
|
|
|
(if (null? lines)
|
|
|
|
(newline out)
|
|
|
|
(let ((line (car lines)))
|
|
|
|
(cond ((substring=? system-key line 0 n-system-key)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(newline out)
|
|
|
|
(display
|
|
|
|
"benchmark cpu real gc"
|
|
|
|
out)
|
|
|
|
(newline out))
|
|
|
|
((substring=? test-key line 0 n-test-key)
|
|
|
|
(newline out)
|
|
|
|
(let ((name (substring line
|
|
|
|
n-test-key
|
|
|
|
(substring? test-key-tail line))))
|
|
|
|
(left-justify name name-width out)))
|
|
|
|
((substring=? real-key line 0 n-real-key)
|
|
|
|
(let* ((n1 (substring? ms-key line))
|
|
|
|
(n2 (substring? cpu-key line))
|
|
|
|
(s (substring line n2 (string-length line)))
|
|
|
|
(n3 (substring? ms-key s))
|
|
|
|
(x (substring line n-real-key n1))
|
|
|
|
(y (substring s n-cpu-key n3)))
|
|
|
|
(right-justify y timing-width out)
|
|
|
|
(right-justify x timing-width out)))
|
|
|
|
((substring=? gc-key line 0 n-gc-key)
|
|
|
|
(let* ((n1 (substring? ms-key line))
|
|
|
|
(x (substring line n-gc-key n1)))
|
|
|
|
(right-justify x timing-width out)))
|
|
|
|
((substring=? error-key line 0 n-error-key)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(display (make-string name-width #\space) out))
|
|
|
|
((substring=? wrong-key line 0 n-wrong-key)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(display (make-string name-width #\space) out)))
|
|
|
|
(loop (cdr lines))))))))
|
|
|
|
|
|
|
|
; Chicken
|
|
|
|
|
|
|
|
(define (chicken-results lines out)
|
|
|
|
(generic-results "Chicken" lines out))
|
|
|
|
|
|
|
|
; MzScheme
|
|
|
|
|
|
|
|
(define (mzscheme-results lines out)
|
|
|
|
(let ((system-key "Benchmarking ")
|
|
|
|
(test-key "Testing ")
|
|
|
|
(test-key-tail " under MzScheme")
|
|
|
|
(cpu-key "cpu time: ")
|
|
|
|
(real-key "real time: ")
|
|
|
|
(gc-key "gc time: ")
|
|
|
|
(ms-key " ms")
|
|
|
|
(error-key "Error: ")
|
|
|
|
(wrong-key "*** wrong result ***"))
|
|
|
|
(let ((n-system-key (string-length system-key))
|
|
|
|
(n-test-key (string-length test-key))
|
|
|
|
(n-cpu-key (string-length cpu-key))
|
|
|
|
(n-real-key (string-length real-key))
|
|
|
|
(n-gc-key (string-length gc-key))
|
|
|
|
(n-ms-key (string-length ms-key))
|
|
|
|
(n-error-key (string-length error-key))
|
|
|
|
(n-wrong-key (string-length wrong-key))
|
|
|
|
(name-width 20)
|
|
|
|
(timing-width 10))
|
|
|
|
(let loop ((lines lines))
|
|
|
|
(if (null? lines)
|
|
|
|
(newline out)
|
|
|
|
(let ((line (car lines)))
|
|
|
|
(cond ((substring=? system-key line 0 n-system-key)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(newline out)
|
|
|
|
(display
|
|
|
|
"benchmark cpu real gc"
|
|
|
|
out)
|
|
|
|
(newline out))
|
|
|
|
((substring=? test-key line 0 n-test-key)
|
|
|
|
(newline out)
|
|
|
|
(let ((name (substring line
|
|
|
|
n-test-key
|
|
|
|
(substring? test-key-tail line))))
|
|
|
|
(left-justify name name-width out)))
|
|
|
|
((substring=? cpu-key line 0 n-cpu-key)
|
|
|
|
(let* ((n1 (substring? real-key line))
|
|
|
|
(n2 (substring? gc-key line))
|
|
|
|
(s (substring line n2 (string-length line)))
|
|
|
|
(x (substring line n-cpu-key (- n1 1)))
|
|
|
|
(y (substring line
|
|
|
|
(+ n1 n-real-key)
|
|
|
|
(- n2 1)))
|
|
|
|
(z (substring line
|
|
|
|
(+ n2 n-gc-key)
|
|
|
|
(string-length line))))
|
|
|
|
(right-justify x timing-width out)
|
|
|
|
(right-justify y timing-width out)
|
|
|
|
(right-justify z timing-width out)
|
|
|
|
(newline out)))
|
|
|
|
((substring=? error-key line 0 n-error-key)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(display (make-string name-width #\space) out))
|
|
|
|
((substring=? wrong-key line 0 n-wrong-key)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(display (make-string name-width #\space) out)))
|
|
|
|
(loop (cdr lines))))))))
|
|
|
|
|
|
|
|
; Bigloo
|
|
|
|
|
|
|
|
(define (bigloo-results lines out)
|
|
|
|
(generic-results "Bigloo" lines out))
|
|
|
|
|
|
|
|
; The following is commented out.
|
|
|
|
|
|
|
|
'
|
|
|
|
(define (bigloo-results lines out)
|
|
|
|
(let ((system-key "Benchmarking ")
|
|
|
|
(test-key "Testing ")
|
|
|
|
(test-key-tail " under Bigloo")
|
|
|
|
(run-key "Running...")
|
|
|
|
(cpu-key "user")
|
|
|
|
(real-key "real")
|
|
|
|
(error-key "Error: ")
|
|
|
|
(wrong-key "*** wrong result ***"))
|
|
|
|
(let ((n-system-key (string-length system-key))
|
|
|
|
(n-test-key (string-length test-key))
|
|
|
|
(n-run-key (string-length run-key))
|
|
|
|
(n-cpu-key (string-length cpu-key))
|
|
|
|
(n-real-key (string-length real-key))
|
|
|
|
(n-error-key (string-length error-key))
|
|
|
|
(n-wrong-key (string-length wrong-key))
|
|
|
|
(name-width 20)
|
|
|
|
(timing-width 10))
|
|
|
|
(let loop ((lines lines))
|
|
|
|
(if (null? lines)
|
|
|
|
(newline out)
|
|
|
|
(let ((line (car lines)))
|
|
|
|
(cond ((substring=? system-key line 0 n-system-key)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(newline out)
|
|
|
|
(display
|
|
|
|
"benchmark cpu real gc"
|
|
|
|
out)
|
|
|
|
(newline out))
|
|
|
|
((substring=? test-key line 0 n-test-key)
|
|
|
|
(newline out)
|
|
|
|
(let ((name (substring line
|
|
|
|
n-test-key
|
|
|
|
(substring? test-key-tail line))))
|
|
|
|
(left-justify name name-width out)))
|
|
|
|
((substring=? run-key line 0 n-run-key)
|
|
|
|
(let* ((lines
|
|
|
|
(do ((lines (cdr lines) (cdr lines)))
|
|
|
|
((substring=? real-key
|
|
|
|
(car lines) 0 n-real-key)
|
|
|
|
lines)))
|
|
|
|
(line1 (car lines))
|
|
|
|
(line2 (cadr lines))
|
|
|
|
(y (string->msec
|
|
|
|
(substring line1
|
|
|
|
n-real-key
|
|
|
|
(string-length line1))))
|
|
|
|
(x (string->msec
|
|
|
|
(substring line2
|
|
|
|
n-cpu-key
|
|
|
|
(string-length line2)))))
|
|
|
|
(right-justify x timing-width out)
|
|
|
|
(right-justify y timing-width out)
|
|
|
|
(newline out)))
|
|
|
|
((substring=? error-key line 0 n-error-key)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(display (make-string name-width #\space) out))
|
|
|
|
((substring=? wrong-key line 0 n-wrong-key)
|
|
|
|
(display line out)
|
|
|
|
(newline out)
|
|
|
|
(display (make-string name-width #\space) out)))
|
|
|
|
(loop (cdr lines))))))))
|
|
|
|
|
|
|
|
; MIT Scheme
|
|
|
|
|
|
|
|
(define (mit-results lines out)
|
|
|
|
(generic-results "MIT-Scheme" lines out))
|
|
|
|
|
|
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
;
|
|
|
|
; Conversion of the summaries into Scheme-readable data.
|
|
|
|
;
|
|
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
|
|
|
|
; Given a file name or input port containing a summary
|
|
|
|
; produced by the summarize procedure above,
|
|
|
|
; returns a decoded summary of the form
|
|
|
|
;
|
|
|
|
; (<system> ; a string, e.g. "Larceny"
|
|
|
|
; (<hostname> <date> ...) ; strings
|
|
|
|
; ((<benchmark> ; a symbol, e.g. fib
|
|
|
|
; <cputime> ; a number, in milliseconds
|
|
|
|
; <realtime> ; a number, in milliseconds
|
|
|
|
; <gctime>) ; a number, in milliseconds
|
|
|
|
; ...))
|
|
|
|
|
|
|
|
(define make-summary list)
|
|
|
|
(define make-timing list)
|
|
|
|
|
|
|
|
(define summary:system car)
|
|
|
|
(define summary:hostetc cadr)
|
|
|
|
(define summary:timings caddr)
|
|
|
|
(define timing:benchmark car)
|
|
|
|
(define timing:cpu cadr)
|
|
|
|
(define timing:real caddr)
|
|
|
|
(define timing:gc cadddr)
|
|
|
|
|
|
|
|
(define (decode-summary in)
|
|
|
|
(define (bad-arguments)
|
|
|
|
(error "Bad arguments to summarize-results" in))
|
|
|
|
(cond ((string? in)
|
|
|
|
(call-with-input-file
|
|
|
|
in
|
|
|
|
(lambda (in) (decode-summary in))))
|
|
|
|
((input-port? in)
|
|
|
|
(decode-lines (readlines in)))
|
|
|
|
(else
|
|
|
|
(bad-arguments))))
|
|
|
|
|
|
|
|
; Given the summary as a list of lines,
|
|
|
|
; returns the decoded summary as for decode-summary.
|
|
|
|
|
|
|
|
(define (decode-lines lines)
|
|
|
|
(let ((system-key "Benchmarking ")
|
|
|
|
(date-key " on ")
|
|
|
|
(header-key "benchmark"))
|
|
|
|
(let ((n-system-key (string-length system-key))
|
|
|
|
(n-date-key (string-length date-key))
|
|
|
|
(n-header-key (string-length header-key)))
|
|
|
|
(and (not (null? lines))
|
|
|
|
(substring=? system-key (car lines) 0 n-system-key))
|
|
|
|
(let* ((line0 (car lines))
|
|
|
|
(n0 (string-length line0))
|
|
|
|
(n1 (substring? date-key line0))
|
|
|
|
(system (substring line0 n-system-key n1))
|
|
|
|
(hostname "unknown")
|
|
|
|
(date (substring line0 (+ n1 n-date-key) n0))
|
|
|
|
(benchmarks
|
|
|
|
(map (lambda (line)
|
|
|
|
(let* ((padding " #f #f #f #f")
|
|
|
|
(in (open-input-string
|
|
|
|
(string-append line padding)))
|
|
|
|
(name (read in)))
|
|
|
|
(let loop ((tot-cpu 0)
|
|
|
|
(tot-real 0)
|
|
|
|
(tot-gc 0)
|
|
|
|
(count 0))
|
|
|
|
(let* ((cpu (read in))
|
|
|
|
(real (read in))
|
|
|
|
(gc (read in)))
|
|
|
|
(cond ((or (not (number? cpu))
|
|
|
|
(not (number? real))
|
|
|
|
(not (number? gc)))
|
|
|
|
(cond ((= count 0)
|
|
|
|
(list name cpu real gc))
|
|
|
|
(else
|
|
|
|
(list name
|
|
|
|
(quotient tot-cpu count)
|
|
|
|
(quotient tot-real count)
|
|
|
|
(quotient tot-gc count)))))
|
|
|
|
(else
|
|
|
|
(loop (+ tot-cpu cpu)
|
|
|
|
(+ tot-real real)
|
|
|
|
(+ tot-gc gc)
|
|
|
|
(+ count 1))))))))
|
|
|
|
(cdr lines)))
|
|
|
|
(benchmarks
|
|
|
|
(filter (lambda (x)
|
|
|
|
(and (car x)
|
|
|
|
(symbol? (car x))
|
|
|
|
(not (eq? (car x) 'benchmark))
|
|
|
|
(number? (cadr x))
|
|
|
|
(number? (caddr x))
|
|
|
|
(positive? (caddr x))))
|
|
|
|
benchmarks)))
|
|
|
|
(list system
|
|
|
|
(list hostname date)
|
|
|
|
benchmarks)))))
|