0c4828ea05
* new(UseGC) is inexplicably slower than GC_MALLOC, so prefer the
...
latter.
2010-10-28 12:50:01 +00:00
e11e6fb1c6
* Handle out of memory condition.
2010-10-28 12:29:40 +00:00
43535499f3
* When allocating an attribute set, reserve enough space for all
...
elements. This prevents the vector from having to resize itself.
2010-10-24 20:09:37 +00:00
e0b7fb8f27
* Keep attribute sets in sorted order to speed up attribute lookups.
...
* Simplify the representation of attributes in the AST.
* Change the behaviour of listToAttrs() in case of duplicate names.
2010-10-24 19:52:33 +00:00
2dc6d50941
* Don't create thunks for variable lookups (if possible). This
...
significantly reduces the number of values allocated (e.g. from 8.7m
to 4.9m for the Bittorrent test).
2010-10-24 14:20:02 +00:00
0b305c534f
* Store attribute sets as a vector instead of a map (i.e. a red-black
...
tree). This saves a lot of memory. The vector should be sorted so
that names can be looked up using binary search, but this is not the
case yet. (Surprisingly, looking up attributes using linear search
doesn't have a big impact on performance.)
Memory consumption for
$ nix-instantiate /etc/nixos/nixos/tests -A bittorrent.test --readonly-mode
on x86_64-linux with GC enabled is now 185 MiB (compared to 946
MiB on the trunk).
2010-10-24 00:41:29 +00:00
a247d20604
* Fix compiling without Boehm.
...
* Fix the stats.
2010-10-23 22:58:24 +00:00
b2ba62170c
* Optimise string constants by putting them in the symbol table.
2010-10-23 21:11:59 +00:00
8ac06726b9
* Make Value smaller by not storing redundant PrimOp info.
...
* Clear pointers in Values after overwriting them to make sure that no
objects are kept alive unnecessarily.
2010-10-23 20:07:47 +00:00
3f66cfb96b
* Remove allocValues().
2010-10-23 18:18:07 +00:00
4dee289550
* In environments, store pointers to values rather than values. This
...
improves GC effectiveness a bit more (because a live value doesn't
keep other values in the environment plus the parent environments
alive), and removes the need for copy nodes.
2010-10-22 15:51:52 +00:00
41c45a9b31
* Store Value nodes outside of attribute sets. I.e., Attr now stores
...
a pointer to a Value, rather than the Value directly. This improves
the effectiveness of garbage collection a lot: if the Value is
stored inside the set directly, then any live pointer to the Value
causes all other attributes in the set to be live as well.
2010-10-22 14:47:42 +00:00
64c3325b0b
* Make building against the Boehm GC a configure option.
2010-10-22 13:39:15 +00:00
76feaf016a
* Keep some more stats.
2010-10-20 15:48:00 +00:00
e879a0371b
* Use the Boehm garbage collector to reclaim unused memory in the Nix
...
expression evaluator.
2010-10-20 11:38:30 +00:00
df50916e46
* Oops - "null" was displayed as "true".
2010-08-27 12:10:56 +00:00
6d6200f37a
* Optimisation in the // operator: if one of the sets is empty, return
...
the other set.
2010-08-02 16:31:05 +00:00
f16fe2af8d
* builtins.toXML: propagate the string context. This is a regression
...
from the old ATerm-based evaluator.
2010-06-10 10:29:50 +00:00
1ab67cf437
2010-06-02 09:43:04 +00:00
93cd5a4a13
* The << operator on values should be const.
2010-05-18 10:36:37 +00:00
b2235d81d1
* Restore the __overrides feature that was lost somewhere in the
...
fast-eval branch.
2010-05-15 08:10:12 +00:00
bd25ac2260
* Print attributes in sorted order.
2010-05-12 12:15:49 +00:00
01e58adce0
* Store position info for inherited attributes.
2010-05-07 12:43:57 +00:00
e2d5e40f4f
* Keep track of the source positions of attributes.
2010-05-07 12:11:05 +00:00
84ce7ac76f
* Store attribute positions in the AST and report duplicate attribute
...
errors with position info.
* For all positions, use the position of the first character of the
first token, rather than the last character of the first token plus
one.
2010-05-06 16:46:48 +00:00
0bc468f195
* Simplify the implementation of `with'. This gives a 7% speedup in
...
evaluating the NixOS system configuration.
2010-04-22 15:08:09 +00:00
2d7636529f
* String equality tests should take the context into account. All the
...
evaluation test cases now succeed.
2010-04-22 09:54:11 +00:00
0777448ca6
* Fixed builtins.genericClosure.
2010-04-21 15:57:11 +00:00
fe2d869e04
* Store user environment manifests as a Nix expression in
...
$out/manifest.nix rather than as an ATerm.
(Hm, I thought I committed this two days ago...)
2010-04-21 15:08:58 +00:00
5c31995bb8
* Updated some more primops.
2010-04-16 15:13:47 +00:00
8ca4a001cb
* Improve sharing a bit.
2010-04-16 14:03:26 +00:00
497e4ad126
* Remove some redundant tests.
2010-04-16 13:51:01 +00:00
02c1dac909
* In an nested `with' where the inner with is a variable (`with ...;
...
with someVar; ...'), the contents of the variable would be
clobbered. (The attributes in the outer `with' were added to the
variable.)
2010-04-16 13:44:02 +00:00
04c4bd3624
* Store lists as lists of pointers to values rather than as lists of
...
values. This improves sharing and gives another speed up.
Evaluation of the NixOS system attribute is now almost 7 times
faster than the old evaluator.
2010-04-15 00:37:36 +00:00
e41b5828db
* Better stats.
2010-04-14 23:48:46 +00:00
d39d3c6264
* Implemented inherit.
2010-04-14 23:25:05 +00:00
267dc693d2
* Fix builtins.
2010-04-14 22:59:39 +00:00
81de12bc8f
* Refactoring: move variable uses to a separate class.
2010-04-14 15:14:23 +00:00
110d155778
* Implemented withs.
2010-04-14 15:01:04 +00:00
9985230c00
* After parsing, compute level/displacement pairs for each variable
...
use site, allowing environments to be stores as vectors of values
rather than maps. This should speed up evaluation and reduce the
number of allocations.
2010-04-14 14:42:32 +00:00
85d13c8f93
* Change the semantics of "with" so that inner "withs" take
...
precedence, i.e. `with {x=1;}; with {x=2;}; x' evaluates to 2'.
This has a simpler implementation and seems more natural. There
doesn't seem to be any code in Nixpkgs or NixOS that relies on the
old behaviour.
2010-04-14 08:37:08 +00:00
816f9c0f6f
* Use std::tr1::unordered_set instead of std::set for the symbol
...
table. This gives a 10% speed increase on `nix-instantiate
/etc/nixos/nixos -A system --readonly-mode'.
2010-04-13 14:34:11 +00:00
7d47498b5e
* Evaluate lets directly (i.e. without desugaring to `rec { attrs...;
...
<let-body> = e; }.<let-body>). This prevents the unnecessary
allocation of an attribute set.
2010-04-13 13:42:25 +00:00
ac1e8f40d4
* Use a symbol table to represent identifiers and attribute names
...
efficiently. The symbol table ensures that there is only one copy
of each symbol, thus allowing symbols to be compared efficiently
using a pointer equality test.
2010-04-13 12:25:42 +00:00
10e8b1fd15
* Finished the ATerm-less parser.
2010-04-12 23:33:23 +00:00
d4f0b0fc6c
* Indented strings.
2010-04-12 22:03:27 +00:00
a60317f20f
* More missing constructs.
2010-04-12 21:21:24 +00:00
4d6ad5be17
* Don't use ATerms for the abstract syntax trees anymore. Not
...
finished yet.
2010-04-12 18:30:11 +00:00
db90b88e65
* Hack to support builderDefs expressions.
2010-04-12 09:50:20 +00:00
4e49002576
* Doh.
2010-04-12 09:45:00 +00:00
Eelco Dolstra