forked from lix-project/lix
922697c8b2
instantiation, e.g. "nix-env -i" and "nix-env -qas" (but not "nix-env -qa"). It turns out that many redundant calls to addToStore(path) were made, which reads and hashes the entire path. For instance, the bash bootstrap binary in Nixpkgs would be read and hashed many times. As a result nix-env would spend around 92% of its time in the function sha256_block (according to callgrind). Some simple memoization fixes this.
65 lines
1.4 KiB
C++
65 lines
1.4 KiB
C++
#ifndef __EVAL_H
|
|
#define __EVAL_H
|
|
|
|
#include <map>
|
|
|
|
#include "aterm.hh"
|
|
#include "hash.hh"
|
|
#include "nixexpr.hh"
|
|
|
|
|
|
typedef map<Path, PathSet> DrvRoots;
|
|
typedef map<Path, Hash> DrvHashes;
|
|
|
|
/* Cache for calls to addToStore(); maps source paths to the store
|
|
paths. */
|
|
typedef map<Path, Path> SrcToStore;
|
|
|
|
struct EvalState;
|
|
|
|
/* Note: using a ATermVector is safe here, since when we call a primop
|
|
we also have an ATermList on the stack. */
|
|
typedef Expr (* PrimOp) (EvalState &, const ATermVector & args);
|
|
|
|
|
|
struct EvalState
|
|
{
|
|
ATermMap normalForms;
|
|
ATermMap primOps;
|
|
DrvRoots drvRoots;
|
|
DrvHashes drvHashes; /* normalised derivation hashes */
|
|
SrcToStore srcToStore;
|
|
Expr blackHole;
|
|
|
|
unsigned int nrEvaluated;
|
|
unsigned int nrCached;
|
|
|
|
EvalState();
|
|
|
|
void addPrimOps();
|
|
void addPrimOp(const string & name,
|
|
unsigned int arity, PrimOp primOp);
|
|
};
|
|
|
|
|
|
MakeError(EvalError, Error)
|
|
MakeError(AssertionError, EvalError)
|
|
|
|
|
|
/* Evaluate an expression to normal form. */
|
|
Expr evalExpr(EvalState & state, Expr e);
|
|
|
|
/* Evaluate an expression read from the given file to normal form. */
|
|
Expr evalFile(EvalState & state, const Path & path);
|
|
|
|
/* Specific results. */
|
|
string evalString(EvalState & state, Expr e);
|
|
Path evalPath(EvalState & state, Expr e);
|
|
ATermList evalList(EvalState & state, Expr e);
|
|
|
|
/* Print statistics. */
|
|
void printEvalStats(EvalState & state);
|
|
|
|
|
|
#endif /* !__EVAL_H */
|