diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-05-03T17·29+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-05-03T17·29+0000 |
| commit | 052cefe1bdb6be0257ef2f1c1f128b7e635814ed (patch) | |
| tree | a02dbb5bfccab86f7f7ddf4f9dddbc8d3e0f9e7f /table/timings.txt | |
| parent | d300b4383dabb007db08c7165fb327c12dbe8e71 (diff) | |
* Started hacking on a ATermTable replacement, since ATermTable uses
gigantic amounts of memory --- 65536 bytes per table at least --- which makes it unsuitable for representing short-lived substitution tables and attribute sets.
Diffstat (limited to 'table/timings.txt')
| -rw-r--r-- | table/timings.txt | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/table/timings.txt b/table/timings.txt new file mode 100644 index 000000000000..26b428adec50 --- /dev/null +++ b/table/timings.txt @@ -0,0 +1,19 @@ +[eelco@tyros:~/Dev/nix/table]$ time ./a.out +testing... +SET: 3000000 3400626 1.13354 10 +GET: 10000000 13034450 1.30344 + +real 0m1.981s +user 0m1.972s +sys 0m0.008s + + +# Floating point -> fixed point +[eelco@tyros:~/Dev/nix/table]$ time ./a.out +testing... +SET: 3000000 3400506 1.1335 9 +GET: 10000000 13032311 1.30323 + +real 0m0.956s +user 0m0.928s +sys 0m0.024s |