aboutsummaryrefslogblamecommitdiff
path: root/README.md
blob: be1e0a6ec9c31b356dc717a1a1b1d1f3b2e4af81 (plain) (tree)



































                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      
# evanix
Evanix is a Nix build scheduler designed to maximize throughput given limited resources. The input is a graph G=(V,E), where each vertex v represents a Nix package with a weight w(v) and a profit p(v). The profit for a transitive dependency is 0, while it is 1 for packages that we intend to build. Our objective is to identify a set of vertices that maximizes the profit or the number of packages built. It is crucial that a vertex or package can only be selected if all of its dependencies are also selected. An edge in the graph represents a dependency, with the indegree of a vertex denoting the number of packages that depend on it and the outdegree representing the number of dependencies of the package.

# todo

- [x] Utilize mixed-integer programming to approximate the most optimal solution efficiently, using the HiGHS solver.
- [x] Maximize the number of requested packages produced within a specified budget, with a maximum constraint of n builds.
- [x] Maximize the number of requested packages produced within a specified budget, constrained by a maximum time limit of t.
- [x] Utilize data from Hydra to estimate the build times for derivations.
- [x] Develop a linear regression model to estimate build times for derivations when such data is unavailable in Hydra.
- [x] Implement unit tests using Meson’s built-in testing framework, and integration tests utilizing the NixOS integration testing framework.
- [x] Implement a pipelined architecture to initiate the building of derivations immediately following their evaluation.
- [x] Enhance the linear regression model and conduct additional tests to validate its performance and accuracy.
- [x] Integrate the linear regression model with evanix
- [x] 1.0 refactor

# options

```console
$ nix run github:sinanmohd/evanix -- --help
Usage: evanix [options] expr

  -h, --help                         Show help message and quit.
  -f, --flake                        Build a flake.
  -d, --dry-run                      Show what derivations would be built.
  -s, --system                       System to build for.
  -m, --max-builds                   Max number of builds.
  -t, --max-time                     Max time available in seconds.
  -b, --break-evanix                 Enable experimental features.
  -r, --solver-report                Print solver report.
  -p, --pipelined            <bool>  Use evanix build pipeline.
  -l, --check_cache-status   <bool>  Perform cache locality check.
  -c, --close-unused-fd      <bool>  Close stderr on exec.
  -e, --statistics           <path>  Path to time statistics database.
  -k, --solver sjf|conformity|highs  Solver to use.
```