Artifact 0c662e1ebb17a33bd9f66c62aa56760f11ff69d1:
- File srfi/s42/timing.scm — part of check-in [80c8c83034] at 2016-07-07 18:11:39 on branch trunk — initial import (user: ovenpasta@pizzahack.eu size: 2816)
0000: 3b 20 3c 50 4c 41 49 4e 54 45 58 54 3e 0a 3b 20 ; <PLAINTEXT>.; 0010: 54 69 6d 69 6e 67 20 66 6f 72 20 45 61 67 65 72 Timing for Eager 0020: 20 43 6f 6d 70 72 65 68 65 6e 73 69 6f 6e 73 20 Comprehensions 0030: 69 6e 20 5b 6f 75 74 65 72 2e 2e 69 6e 6e 65 72 in [outer..inner 0040: 7c 65 78 70 72 5d 2d 43 6f 6e 76 65 6e 74 69 6f |expr]-Conventio 0050: 6e 0a 3b 20 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d n.; ============ 0060: 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d ================ 0070: 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d ================ 0080: 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d ================ 0090: 3d 3d 3d 3d 3d 0a 3b 0a 3b 20 73 65 62 61 73 74 =====.;.; sebast 00a0: 69 61 6e 2e 65 67 6e 65 72 40 70 68 69 6c 69 70 ian.egner@philip 00b0: 73 2e 63 6f 6d 2c 20 45 69 6e 64 68 6f 76 65 6e s.com, Eindhoven 00c0: 2c 20 54 68 65 20 4e 65 74 68 65 72 6c 61 6e 64 , The Netherland 00d0: 73 2c 20 46 65 62 2d 32 30 30 33 2e 0a 3b 20 53 s, Feb-2003..; S 00e0: 63 68 65 6d 65 20 52 35 52 53 20 28 69 6e 63 6c cheme R5RS (incl 00f0: 2e 20 6d 61 63 72 6f 73 29 2c 20 53 52 46 49 2d . macros), SRFI- 0100: 32 33 20 28 65 72 72 6f 72 29 2e 0a 3b 20 0a 3b 23 (error)..; .; 0110: 20 52 75 6e 6e 69 6e 67 20 74 68 65 20 65 78 61 Running the exa 0120: 6d 70 6c 65 73 20 69 6e 20 53 63 68 65 6d 65 34 mples in Scheme4 0130: 38 20 28 76 65 72 73 69 6f 6e 20 30 2e 35 37 29 8 (version 0.57) 0140: 3a 0a 3b 20 20 20 2c 6f 70 65 6e 20 73 72 66 69 :.; ,open srfi 0150: 2d 32 33 0a 3b 20 20 20 2c 6c 6f 61 64 20 65 63 -23.; ,load ec 0160: 2e 73 63 6d 0a 3b 20 20 20 2c 6c 6f 61 64 20 74 .scm.; ,load t 0170: 69 6d 69 6e 67 2e 73 63 6d 0a 3b 0a 3b 20 52 75 iming.scm.;.; Ru 0180: 6e 6e 69 6e 67 20 74 68 65 20 65 78 61 6d 70 6c nning the exampl 0190: 65 73 20 69 6e 20 50 4c 54 2f 44 72 53 63 68 65 es in PLT/DrSche 01a0: 6d 65 20 28 76 65 72 73 69 6f 6e 20 32 30 32 29 me (version 202) 01b0: 3a 20 0a 3b 20 20 20 3b 20 6f 70 65 6e 20 22 65 : .; ; open "e 01c0: 63 2e 73 63 6d 22 2c 20 63 6c 69 63 6b 20 45 78 c.scm", click Ex 01d0: 65 63 75 74 65 0a 3b 20 20 20 28 6c 6f 61 64 20 ecute.; (load 01e0: 22 74 69 6d 69 6e 67 2e 73 63 6d 22 29 0a 3b 0a "timing.scm").;. 01f0: 3b 20 52 75 6e 6e 69 6e 67 20 74 68 65 20 65 78 ; Running the ex 0200: 61 6d 70 6c 65 73 20 69 6e 20 53 43 4d 20 28 76 amples in SCM (v 0210: 65 72 73 69 6f 6e 20 35 64 37 29 3a 0a 3b 20 20 ersion 5d7):.; 0220: 20 3b 20 69 6e 76 6f 6b 65 20 53 43 4d 20 77 69 ; invoke SCM wi 0230: 74 68 20 2d 76 20 6f 6e 20 74 68 65 20 63 6f 6d th -v on the com 0240: 6d 61 6e 64 20 6c 69 6e 65 0a 3b 20 20 20 28 72 mand line.; (r 0250: 65 71 75 69 72 65 20 27 6d 61 63 72 6f 29 20 28 equire 'macro) ( 0260: 72 65 71 75 69 72 65 20 27 72 65 63 6f 72 64 29 require 'record) 0270: 0a 3b 20 20 20 28 6c 6f 61 64 20 22 65 63 2e 73 .; (load "ec.s 0280: 63 6d 22 29 0a 3b 20 20 20 28 6c 6f 61 64 20 22 cm").; (load " 0290: 74 69 6d 69 6e 67 2e 73 63 6d 22 29 0a 0a 0a 3b timing.scm")...; 02a0: 20 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d =============== 02b0: 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d ================ 02c0: 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d ================ 02d0: 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d ================ 02e0: 3d 3d 3d 3d 3d 3d 3d 3d 0a 3b 20 42 61 73 69 63 ========.; Basic 02f0: 20 6c 6f 6f 70 73 0a 3b 20 3d 3d 3d 3d 3d 3d 3d loops.; ======= 0300: 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d ================ 0310: 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d ================ 0320: 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d ================ 0330: 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d 3d ================ 0340: 0a 3b 0a 3b 20 57 65 20 6d 65 61 73 75 72 65 20 .;.; We measure 0350: 65 78 65 63 75 74 69 6f 6e 20 74 69 6d 65 73 20 execution times 0360: 66 6f 72 20 28 3a 72 61 6e 67 65 20 76 61 72 20 for (:range var 0370: 6e 29 20 61 6e 64 20 66 6f 72 20 28 3a 20 76 61 n) and for (: va 0380: 72 20 6e 29 2c 0a 3b 20 62 6f 74 68 20 61 73 20 r n),.; both as 0390: 61 6e 20 6f 75 74 65 72 20 6c 6f 6f 70 20 28 74 an outer loop (t 03a0: 6f 20 6d 65 61 73 75 72 65 20 69 74 65 72 61 74 o measure iterat 03b0: 69 6f 6e 20 73 70 65 65 64 29 20 6f 72 20 61 73 ion speed) or as 03c0: 20 61 6e 20 69 6e 6e 65 72 20 0a 3b 20 6c 6f 6f an inner .; loo 03d0: 70 20 28 74 6f 20 6d 65 61 73 75 72 65 20 73 74 p (to measure st 03e0: 61 72 74 20 75 70 20 6f 76 65 72 68 65 61 64 29 art up overhead) 03f0: 2e 20 46 6f 72 20 63 6f 6d 70 61 72 69 73 6f 6e . For comparison 0400: 20 74 68 65 20 73 61 6d 65 20 69 73 0a 3b 20 6d the same is.; m 0410: 65 61 73 75 72 65 64 20 66 6f 72 20 61 20 68 61 easured for a ha 0420: 6e 64 2d 63 6f 64 65 64 20 44 4f 2d 6c 6f 6f 70 nd-coded DO-loop 0430: 2e 0a 0a 28 64 65 66 69 6e 65 20 28 70 65 72 66 ...(define (perf 0440: 30 20 6e 29 20 3b 20 72 65 66 65 72 65 6e 63 65 0 n) ; reference 0450: 20 66 6f 72 20 6c 6f 6f 70 20 64 75 72 61 74 69 for loop durati 0460: 6f 6e 0a 20 20 28 64 6f 20 28 28 69 20 30 20 28 on. (do ((i 0 ( 0470: 2b 20 69 20 31 29 29 29 0a 20 20 20 20 20 20 28 + i 1))). ( 0480: 28 3d 20 69 20 6e 29 29 0a 20 20 20 20 69 29 29 (= i n)). i)) 0490: 0a 0a 28 64 65 66 69 6e 65 20 28 70 65 72 66 31 ..(define (perf1 04a0: 20 6e 29 0a 20 20 28 64 6f 2d 65 63 20 28 3a 72 n). (do-ec (:r 04b0: 61 6e 67 65 20 69 20 6e 29 20 69 29 29 0a 0a 28 ange i n) i))..( 04c0: 64 65 66 69 6e 65 20 28 70 65 72 66 32 20 6e 29 define (perf2 n) 04d0: 0a 20 20 28 64 6f 2d 65 63 20 28 3a 20 69 20 6e . (do-ec (: i n 04e0: 29 20 69 29 29 0a 0a 28 64 65 66 69 6e 65 20 28 ) i))..(define ( 04f0: 70 65 72 66 30 73 20 6e 29 20 3b 20 72 65 66 65 perf0s n) ; refe 0500: 72 65 6e 63 65 20 66 6f 72 20 73 74 61 72 74 75 rence for startu 0510: 70 20 64 65 6c 61 79 0a 20 20 28 64 6f 2d 65 63 p delay. (do-ec 0520: 20 28 3a 72 61 6e 67 65 20 69 20 6e 29 0a 20 20 (:range i n). 0530: 20 20 20 20 20 20 20 28 64 6f 20 28 28 69 20 30 (do ((i 0 0540: 20 28 2b 20 69 20 31 29 29 29 0a 20 20 20 20 20 (+ i 1))). 0550: 20 20 20 20 20 20 20 20 28 28 3d 20 69 20 31 29 ((= i 1) 0560: 29 0a 20 20 20 20 20 20 20 20 20 20 20 69 29 29 ). i)) 0570: 29 0a 0a 28 64 65 66 69 6e 65 20 28 70 65 72 66 )..(define (perf 0580: 31 73 20 6e 29 0a 20 20 28 64 6f 2d 65 63 20 28 1s n). (do-ec ( 0590: 3a 72 61 6e 67 65 20 69 20 6e 29 20 28 3a 72 61 :range i n) (:ra 05a0: 6e 67 65 20 6a 20 31 29 20 69 29 29 0a 0a 28 64 nge j 1) i))..(d 05b0: 65 66 69 6e 65 20 28 70 65 72 66 32 73 20 6e 29 efine (perf2s n) 05c0: 0a 20 20 28 64 6f 2d 65 63 20 28 3a 72 61 6e 67 . (do-ec (:rang 05d0: 65 20 69 20 6e 29 20 28 3a 20 6a 20 31 29 20 69 e i n) (: j 1) i 05e0: 29 29 0a 0a 28 64 65 66 69 6e 65 20 6e 2d 70 65 ))..(define n-pe 05f0: 72 66 20 0a 20 20 31 30 30 30 30 30 30 30 29 0a rf . 10000000). 0600: 0a 0a 3b 20 53 63 68 65 6d 65 34 38 20 30 2e 35 ..; Scheme48 0.5 0610: 37 20 6f 6e 20 48 50 20 39 30 30 30 2f 38 30 30 7 on HP 9000/800 0620: 20 73 65 72 76 65 72 20 72 75 6e 6e 69 6e 67 20 server running 0630: 48 50 2d 55 58 0a 3b 20 2d 2d 2d 2d 2d 2d 2d 2d HP-UX.; -------- 0640: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ---------------- 0650: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ---------------- 0660: 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 3b 0a 3b 20 2c 74 ---------.;.; ,t 0670: 69 6d 65 20 28 70 65 72 66 30 20 20 6e 2d 70 65 ime (perf0 n-pe 0680: 72 66 29 20 20 20 31 39 2e 33 20 20 20 3b 20 62 rf) 19.3 ; b 0690: 75 69 6c 74 2d 69 6e 20 64 6f 0a 3b 20 2c 74 69 uilt-in do.; ,ti 06a0: 6d 65 20 28 70 65 72 66 31 20 20 6e 2d 70 65 72 me (perf1 n-per 06b0: 66 29 20 20 20 31 37 2e 30 20 20 20 3b 20 66 61 f) 17.0 ; fa 06c0: 73 74 65 72 20 74 68 61 6e 20 62 75 69 6c 74 2d ster than built- 06d0: 69 6e 20 64 6f 20 28 3f 29 0a 3b 20 2c 74 69 6d in do (?).; ,tim 06e0: 65 20 28 70 65 72 66 32 20 20 6e 2d 70 65 72 66 e (perf2 n-perf 06f0: 29 20 20 20 34 30 2e 34 20 20 20 3b 20 64 75 65 ) 40.4 ; due 0700: 20 74 6f 20 63 61 6c 6c 69 6e 67 20 74 68 65 20 to calling the 0710: 67 65 6e 65 72 61 74 6f 72 20 61 73 20 70 72 6f generator as pro 0720: 63 65 64 75 72 65 0a 3b 0a 3b 20 2c 74 69 6d 65 cedure.;.; ,time 0730: 20 28 70 65 72 66 30 73 20 6e 2d 70 65 72 66 29 (perf0s n-perf) 0740: 20 20 20 35 37 2e 35 20 20 20 3b 20 62 75 69 6c 57.5 ; buil 0750: 74 2d 69 6e 20 64 6f 20 69 6e 20 74 68 65 20 69 t-in do in the i 0760: 6e 6e 65 72 20 6c 6f 6f 70 0a 3b 20 2c 74 69 6d nner loop.; ,tim 0770: 65 20 28 70 65 72 66 31 73 20 6e 2d 70 65 72 66 e (perf1s n-perf 0780: 29 20 20 20 37 38 2e 35 20 20 20 3b 20 64 75 65 ) 78.5 ; due 0790: 20 74 6f 20 63 68 65 63 6b 69 6e 67 20 65 78 61 to checking exa 07a0: 63 74 3f 20 69 6e 74 65 67 65 72 3f 0a 3b 20 2c ct? integer?.; , 07b0: 74 69 6d 65 20 28 70 65 72 66 32 73 20 6e 2d 70 time (perf2s n-p 07c0: 65 72 66 29 20 20 32 37 34 2e 30 20 20 20 3b 20 erf) 274.0 ; 07d0: 64 75 65 20 74 6f 20 64 69 73 70 61 74 63 68 20 due to dispatch 07e0: 6d 65 63 68 61 6e 69 73 6d 0a 3b 0a 3b 20 5b 41 mechanism.;.; [A 07f0: 6c 6c 20 74 69 6d 65 73 20 61 72 65 20 43 50 55 ll times are CPU 0800: 20 74 69 6d 65 20 69 6e 20 73 65 63 6f 6e 64 73 time in seconds 0810: 20 66 6f 72 20 6e 2d 70 65 72 66 20 69 74 65 72 for n-perf iter 0820: 61 74 69 6f 6e 73 2e 5d 0a 0a 0a 3b 20 50 4c 54 ations.]...; PLT 0830: 20 32 30 32 20 6f 6e 20 50 65 6e 74 69 75 6d 20 202 on Pentium 0840: 49 49 49 20 4d 6f 62 69 6c 65 2c 20 31 20 47 48 III Mobile, 1 GH 0850: 7a 2c 20 31 20 47 42 20 52 41 4d 2c 20 57 69 6e z, 1 GB RAM, Win 0860: 64 6f 77 73 20 32 6b 0a 3b 20 2d 2d 2d 2d 2d 2d dows 2k.; ------ 0870: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ---------------- 0880: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ---------------- 0890: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ---------------- 08a0: 2d 2d 2d 2d 0a 3b 0a 3b 20 28 74 69 6d 65 20 28 ----.;.; (time ( 08b0: 70 65 72 66 30 20 20 6e 2d 70 65 72 66 29 29 20 perf0 n-perf)) 08c0: 20 20 31 31 2e 31 0a 3b 20 28 74 69 6d 65 20 28 11.1.; (time ( 08d0: 70 65 72 66 31 20 20 6e 2d 70 65 72 66 29 29 20 perf1 n-perf)) 08e0: 20 20 20 37 2e 38 0a 3b 20 28 74 69 6d 65 20 28 7.8.; (time ( 08f0: 70 65 72 66 32 20 20 6e 2d 70 65 72 66 29 29 20 perf2 n-perf)) 0900: 20 20 31 38 2e 31 0a 3b 0a 3b 20 28 74 69 6d 65 18.1.;.; (time 0910: 20 28 70 65 72 66 30 73 20 6e 2d 70 65 72 66 29 (perf0s n-perf) 0920: 29 20 20 20 33 35 2e 32 0a 3b 20 28 74 69 6d 65 ) 35.2.; (time 0930: 20 28 70 65 72 66 31 73 20 6e 2d 70 65 72 66 29 (perf1s n-perf) 0940: 29 20 20 20 34 32 2e 39 0a 3b 20 28 74 69 6d 65 ) 42.9.; (time 0950: 20 28 70 65 72 66 32 73 20 6e 2d 70 65 72 66 29 (perf2s n-perf) 0960: 29 20 20 31 34 37 2e 38 0a 3b 20 0a 3b 20 5b 41 ) 147.8.; .; [A 0970: 6c 6c 20 74 69 6d 65 73 20 61 72 65 20 43 50 55 ll times are CPU 0980: 20 74 69 6d 65 20 69 6e 20 73 65 63 6f 6e 64 73 time in seconds 0990: 20 66 6f 72 20 6e 2d 70 65 72 66 20 69 74 65 72 for n-perf iter 09a0: 61 74 69 6f 6e 73 2e 5d 0a 0a 0a 3b 20 53 43 4d ations.]...; SCM 09b0: 20 35 64 37 20 6f 6e 20 50 65 6e 74 69 75 6d 20 5d7 on Pentium 09c0: 49 49 49 20 4d 6f 62 69 6c 65 2c 20 31 20 47 48 III Mobile, 1 GH 09d0: 7a 2c 20 31 20 47 42 20 52 41 4d 2c 20 57 69 6e z, 1 GB RAM, Win 09e0: 64 6f 77 73 20 32 6b 0a 3b 20 2d 2d 2d 2d 2d 2d dows 2k.; ------ 09f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ---------------- 0a00: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ---------------- 0a10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ---------------- 0a20: 2d 2d 2d 2d 0a 3b 0a 3b 20 28 70 65 72 66 30 20 ----.;.; (perf0 0a30: 20 6e 2d 70 65 72 66 29 20 20 20 32 39 2e 31 0a n-perf) 29.1. 0a40: 3b 20 28 70 65 72 66 31 20 20 6e 2d 70 65 72 66 ; (perf1 n-perf 0a50: 29 20 20 20 33 30 2e 30 0a 3b 20 28 70 65 72 66 ) 30.0.; (perf 0a60: 32 20 20 6e 2d 70 65 72 66 29 20 20 20 34 35 2e 2 n-perf) 45. 0a70: 35 0a 3b 0a 3b 20 28 70 65 72 66 30 73 20 6e 2d 5.;.; (perf0s n- 0a80: 70 65 72 66 29 20 20 20 37 39 2e 32 0a 3b 20 28 perf) 79.2.; ( 0a90: 70 65 72 66 31 73 20 6e 2d 70 65 72 66 29 20 20 perf1s n-perf) 0aa0: 34 34 38 2e 36 0a 3b 20 28 70 65 72 66 32 73 20 448.6.; (perf2s 0ab0: 6e 2d 70 65 72 66 29 20 20 37 35 36 2e 32 0a 3b n-perf) 756.2.; 0ac0: 20 0a 3b 20 5b 41 6c 6c 20 74 69 6d 65 73 20 61 .; [All times a 0ad0: 72 65 20 43 50 55 20 74 69 6d 65 20 69 6e 20 73 re CPU time in s 0ae0: 65 63 6f 6e 64 73 20 66 6f 72 20 6e 2d 70 65 72 econds for n-per 0af0: 66 20 69 74 65 72 61 74 69 6f 6e 73 2e 5d 0a 0a f iterations.]..