Added some compiler statistics utilities. The idea is that all you do

is place a call to SAMPLE/1 or SAMPLE/2 at the appropriate place in
the code, and NOT rely on their arguments for a side effect.

Each statistic has a name (a symbol), a type (a symbol) and perhaps
some optional parameters.  The calls to SAMPLE/n create the statistic
if it unknown, and then incorporate the data for generating a report.

  (COMPILER:RESET-STATISTICS!)
  (COMPILER:DISPLAY-STATISTICS)
  (SAMPLE/1 '(name type [parameters]) datum)
  (SAMPLE/2 '(name type [parameters]) datum1 datum2)

Current unary statistics are

  '(name AVERAGE) <x>)		- number, sum and average
  '(name HISTOGRAM VECTOR)	- histogram small non-negative integers
  '(name HISTOGRAM HASH-TABLE)	- histogram numbers, strings, symbols etc
  '(name HISTOGRAM)		- same as HASH-TABLE

Currently there are no binary statistics.

diff --git a/v8/src/compiler/base/utils.scm b/v8/src/compiler/base/utils.scm
index 4830c6f9c75461f292a858be9d3b659ec9f55672..1ffab46208a3bec11fdc5a57f053281f665d5721 100644 (file)
--- a/v8/src/compiler/base/utils.scm
+++ b/v8/src/compiler/base/utils.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: utils.scm,v 1.1 1994/11/19 02:02:36 adams Exp $
+$Id: utils.scm,v 1.2 1994/12/14 20:33:47 adams Exp $
 
 Copyright (c) 1987-1994 Massachusetts Institute of Technology
 
@@ -387,4 +387,179 @@ MIT in each case. |#
          ((predicate (car l))
           (loop (cdr l) (cons (car l) yes) no))
          (else
-          (loop (cdr l) yes (cons (car l) no))))))
\ No newline at end of file
+          (loop (cdr l) yes (cons (car l) no))))))
+\f
+;; Statistics gathering machinery
+;;
+;; (compiler:reset-statistics!)
+;; (compiler:display-statistics)
+;; (sample/1 '(name type [parameters]) datum)
+;; (sample/2 '(name type [parameters]) datum1 datum2)
+
+
+(define *compiler-statistics-enabled?* #T)
+(define *compiler-statistics* (make-eq-hash-table))
+
+(define (compiler:reset-statistics!)
+  (set! *compiler-statistics* (make-eq-hash-table))
+  unspecific)
+
+(define-structure
+    (compiler-statistic
+     (conc-name compiler-statistic/))
+  sample
+  display)
+
+(define (compiler:display-statistics)
+  (for-each (lambda (name.statistic)
+             (newline) (newline)
+             ((compiler-statistic/display (cdr name.statistic))))
+           (sort
+            (hash-table->alist *compiler-statistics*)
+            (lambda (pair1 pair2)
+              (symbol<? (car pair1) (car pair2))))))
+
+(define-integrable (sample/1 statistic datum)
+  (if *compiler-statistics-enabled?*
+      (sample/1/really statistic datum)
+      unspecific))
+
+(define-integrable (sample/2 statistic datum1 datum2)
+  (if *compiler-statistics-enabled?*
+      (sample/2/really statistic datum1 datum2)
+      unspecific))
+
+(define (sample statistic . data)
+  (cond ((find-statistic statistic)
+        => (lambda (stat)
+             (apply (compiler-statistic/sample stat) data)
+             datum))    
+       (else
+        (define-compiler-statistic (length data) statistic)
+        (warn "SAMPLE should be replaced with call to SAMPLE/1 or SAMPLE/2"
+              `(sample ,statistic ...))
+        (apply sample/1/really statistic data))))
+
+(define (sample/1/really statistic datum)
+  (cond ((find-statistic statistic)
+        => (lambda (stat)
+             ((compiler-statistic/sample stat) datum)))
+       (else
+        (define-compiler-statistic 1 statistic)
+        (sample/1/really statistic datum))))
+
+(define (sample/2/really statistic datum1 datum2)
+  (cond ((find-statistic statistic)
+        => (lambda (stat)
+             ((compiler-statistic/sample stat) datum1 datum2)))
+       (else
+        (define-compiler-statistic 2 statistic)
+        (sample/2/really statistic datum1 datum2))))
+
+(define-integrable (find-statistic specification)
+  (if (pair? statistic)
+      (hash-table/get *compiler-statistics* (car specification) #F)
+      #F))
+
+(define (define-compiler-statistic arity specification)
+  arity                                        ; ignored
+  (if (not (and (pair? specification)
+               (pair? (cdr specification))))
+      (error "Illegal compiler-statistic specification:" specification))
+  (let ((name (first specification))
+       (type (second specification)))
+    (cond ((hash-table/get *compiler-statistic-types* type #F)
+          => (lambda (maker)
+               (let ((statistic  (apply maker specification)))
+                 (hash-table/put! *compiler-statistics* name statistic))))
+         (else
+          (error "Unknown compiler-statistic type:" type specification)))))
+
+(define *compiler-statistic-types* (make-eq-hash-table))
+
+(define (define-statistic-type name maker)
+  (hash-table/put! *compiler-statistic-types* name maker))
+
+
+(define-statistic-type 'COUNT
+  (lambda (name type)
+    (let ((count 0))
+      (define (sample datum)
+       (set! count (+ count datum))
+       unspecific)
+      (define (print)
+       (define (say . stuff) (for-each display stuff))
+       (say name  " " type "   "  count))
+      (make-compiler-statistic sample print))))
+
+
+(define-statistic-type 'AVERAGE
+  (lambda (name type)
+    (let ((n   0)
+         (sum 0))
+      (define (sample datum)
+       (set! n (+ n 1))
+       (set! sum (+ sum datum))
+       unspecific)
+      (define (print)
+       (define (say . stuff) (for-each display stuff))
+       (say name  " " type "   ")
+       (say " n = "  n  "   sum = "  sum  "   mean = " (/ sum n)))
+      (make-compiler-statistic sample print))))
+
+(define-statistic-type 'HISTOGRAM
+  (lambda (name type #!optional method)
+
+    (define (key<? u v)
+      (cond ((and (number? u) (number? v))
+            (< u v))
+           ((number? u) #T)
+           ((number? v) #F)
+           ((< (object-type u) (object-type v))
+            #T)
+           ((> (object-type u) (object-type v))
+            #F)
+           ((and (symbol? u) (symbol? v))
+            (symbol<? u v))
+           ((and (string? u) (string? v))
+            (string<? u v))
+           (else '(DONT KNOW))))
+
+    (define (pp-alist alist)
+      (define (say . stuff) (for-each display stuff))
+      (say name  " "  type  "   total: "  (reduce + 0 (map cdr alist))
+          "   (datum . count):")
+      (newline)
+      (pp alist (current-output-port) #F 4))
+
+    (define (make-hash-table-histogram)
+      (let ((samples  (make-eqv-hash-table)))
+       (define (sample datum)
+         (hash-table/put! samples datum
+                          (+ (hash-table/get samples datum 0) 1)))
+       (define (print)
+         (pp-alist (sort (hash-table->alist samples)
+                         (lambda (u v) (key<? (car u) (car v))))))
+       (make-compiler-statistic sample print)))
+    
+    (define (make-vector-histogram)
+      (let ((samples  (vector)))
+       (define (sample datum)
+         (if (>= datum (vector-length samples))
+             (set! samples (vector-grow samples (+ 1 datum))))
+         (vector-set! samples datum
+                      (+ 1 (or (vector-ref samples datum) 0))))
+       (define (print)
+         (pp-alist (list-transform-positive
+                       (vector->list
+                        (make-initialized-vector (vector-length samples)
+                          (lambda (i) (cons i (vector-ref samples i)))))
+                     cdr)))
+       (make-compiler-statistic sample print)))
+    
+    (let ((method (if (default-object? method) 'HASH-TABLE method)))
+      (case method
+       ((HASH-TABLE HASH)  (make-hash-table-histogram))
+       ((VECTOR)           (make-vector-histogram))
+       (else
+        (error "Unknown histogram method:" method `(,name ,type ,method)))))))