aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/perf-analysis
blob: 232591569bdbf77f517f0e5d86fa0d7b75f72e45 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
Performance analysis for V8-0 branch
------------------------------------

  Dec 29, 2005: new test and use of -vm in Stalmarck

  Dec 27, 2005: contrib Karatsuba added (~ 30s)

Dec 28, 2005: size decrease
  mainly due to Defined moved to Qed in FSets (reduction from 95M to 7Mo)

Dec 1-14, 2005: benchmarking server down
  between the two dates: Godel: -10%, CoRN: -10%
  probably due to changes around vm (new informative Cast,
  change of equality in named_context_val) 

  Oct 6, 2005: contribs IPC and Tait added (~ 22s and ~ 25s)

Aug 19, 2005: time decrease after application of "Array.length x=0" Xavier's 
  suggestions for optimisation
  (e.g. Nijmegen/QArith: -3%, Nijmegen/CoRN: -7%, Godel: -3%)
 
  Aug 1, 2005: contrib Kildall added (~ 65s)

Jul 26-Aug 2, 2005: bench down

Jul 14-15, 2005: 4 contribs failed including CoRN

Jul 14, 2005: time increase after activation of "closure optimisation"
  (e.g. Nijmegen/QArith: +8%, Nijmegen/CoRN: +3%, Godel: +13%)

  Jul 7, 2005: adding contrib Fermat4

  Jun 17, 2005: contrib Goodstein extended and moved to CantorOrdinals (~ 30s)

  May 19, 2005: contrib Goodstein and prfx (~ 9s) added 

Apr 21, 2005: strange time decrease
  (could it be due to the change of Back and Reset mechanism) 
  (e.g. Nijmegen/CoRN: -2%, Nijmegen/QARITH: -4%, Godel: -11%)

Mar 20, 2005: fixed Logic.with_check bug
  global time decrease (e.g. Nijmegen/CoRN: -3%, Nijmegen/QARITH: -1.5%)

Jan 31-Feb 8, 2005: small instability
  (e.g. CoRN: ~2015s -> ~1999s -> ~2032s, Godel: ~340s -> ~370s)

  Jan 13, 2005: contrib SumOfTwoSquare added (~ 38s)