!lTqhfnNvIkcEackxxk:matrix.org

Nix Bindings

70 Members
Nix C API https://github.com/NixOS/nix/blob/master/doc/manual/src/c-api.md, language-specific bindings, and their use cases (currently broken link: https://nixos.org/manual/nix/unstable/c-api)19 Servers

Load older messages


SenderMessageTime
17 Jan 2025
@o-santi:matrix.orgLeonardo Santiagohmph, not as easy as I thought. when you parse the derivation from the file, it loses the contexts on the strings, and there's not simple way to readd it, such that if I just try to export it back to a derivation it does not return to the same one18:34:15
@o-santi:matrix.orgLeonardo Santiago my idea was to parse builtins.derivation as a function and then pass an attrset as argument, to see if I could generate the exact same derivation, but I guess this is not as easy as I initially thought 18:35:01
19 Jan 2025
@o-santi:matrix.orgLeonardo Santiago I mean, it works, but it does not generate the same derivation back, because I cannot for the life of me make inputSrcs and inputDrvs appear in the resulting derivation. 16:01:45
@o-santi:matrix.orgLeonardo Santiago even if I add buildInputs and inputDrvs and inputSrcs as attributes in the argument passed to builtins.derivation, they do not put anything in the correct fields and instead only appear as environment variables 16:03:56
@o-santi:matrix.orgLeonardo Santiagocan anyone think of any simple way of doing this? I'm very close to just trying to hack exporting derivations in the C API, though I'm fairly certain I'm not qualified for doing it 16:05:33
20 Jan 2025
@roberthensing:matrix.orgRobert Hensing (roberth)

That's kind of the purpose of inputDrvs and inputSrc.

correct fields

Which fields would that be? Are you trying to produce the full package attribute set? That can not be recovered from the .drv due to things like meta and passthru to put it simply

08:09:59
@emily:woof.ripemily 🐾 joined the room.23:50:01
@emily:woof.ripemily 🐾 left the room.23:50:12
21 Jan 2025
@o-santi:matrix.orgLeonardo Santiago ...all of them? As I've stated before, I'm trying to reproduce the nix develop behavior utilizing a different caching mechanism for evaluation 03:00:54
@o-santi:matrix.orgLeonardo Santiago the problem is that I realised that source $stdenv/setup during shell entering is very slow and nix develop can only be so fast because it also caches that behind a derivation 03:01:35
@o-santi:matrix.orgLeonardo Santiago I'd like to do what it does (cache source $stdenv/setup by making it an output of a derivation) but in order to do it I'd need to fiddle with the actual derivation 03:02:19
@o-santi:matrix.orgLeonardo Santiago specifically, I'd like to be able to write it back to the store, so that it can be built, but if I just do it the dumbest way possible (copy the parsed env vars and pass it to derivation primop) then inputSrc and inputDrvs get empty 03:04:49
@o-santi:matrix.orgLeonardo Santiago I know that it's not strictly necessary to get it working in this specific case, but it's expected from the library I'm writing that parse_drv(parse_drv(path).serialize()) == parse_drv(path) 03:11:58
@o-santi:matrix.orgLeonardo Santiago * specifically, I'd like to be able to write it back to the store, so that it can be built, but if I just do it the dumbest way possible (copy the parsed env vars and pass it to derivation primop) then inputSrc and inputDrvs are generated empty 12:33:37
24 Jan 2025
@idioticself55:matrix.orgYongli Blidirmir joined the room.14:19:47
@o-santi:matrix.orgLeonardo Santiagoabout memory management16:45:11
@o-santi:matrix.orgLeonardo Santiago let's say I have a Value, how am I supposed to free it? there's nix_gc_decref and nix_value_decref 16:45:50
@o-santi:matrix.orgLeonardo Santiago * let's say I have a Value, how am I supposed to free it? there's nix_gc_decref and nix_value_decref and there's not a clear explanation on which should be used when. 16:46:30
@o-santi:matrix.orgLeonardo Santiago after calling nix_alloc_value, if I don't cal nix_value_incref nor nix_gc_incref, which one should I use to decrement the gc? and am I expected to run anything else in order to force it to be freed? 16:47:33
@o-santi:matrix.orgLeonardo Santiago * after calling nix_alloc_value, if I don't cal nix_value_incref nor nix_gc_incref, which one should I use to decrement the gc (or both?)? and am I expected to run anything else in order to force it to be freed? 16:47:43
@o-santi:matrix.orgLeonardo Santiago * after calling nix_alloc_value, if I don't cal nix_value_incref nor nix_gc_incref, which one should I use to decrement the gc? should I use both? and am I expected to run anything else in order to force it to be freed? 16:48:13
@o-santi:matrix.orgLeonardo Santiago the documentation in nix_alloc_value says that one should use nix_gc_decref but there's no explanation regarding when (if?) to use nix_value_decref 16:48:43
@o-santi:matrix.orgLeonardo Santiago okay, looking at the code it's clear that value_decref is just a gc_decref behind the curtains so it shouldn't make a difference, but the API sure could use some explanation/refinement here 16:52:16
@o-santi:matrix.orgLeonardo Santiago one of my concerns is that nix flake check takes way too much memory (32GB~) as we have a ton of hosts to check (200~), and surely that is because it's not freeing the previous hosts while iterating, and so my idea was to try to explicitly evaluate and deallocate each attribute 17:02:02
@o-santi:matrix.orgLeonardo Santiago ...but the memory is not being freed? I don't understand what is going on, there should only be one ref as the Value's themselves are not being incref'd, and on rust Drop it's calling decref to hopefully free it once and forall 17:03:33
@o-santi:matrix.orgLeonardo Santiagobut that doesn't seem to be happening? or at least, the memory footprint isn't getting any smaller17:03:49
@roberthensing:matrix.orgRobert Hensing (roberth) nix_alloc_value should be released with nix_value_decref. The main benefit for now is that it has a more specific type, but future evaluators might hypothetically require this 17:58:13
@roberthensing:matrix.orgRobert Hensing (roberth)as for the garbage collection, neither bdwgc (a conservative gc) nor the interpreter data model are particularly conducive to gc. See https://github.com/NixOS/nix/issues/8621, and for the representation of closures: https://github.com/NixOS/nix/issues/828518:01:13
@roberthensing:matrix.orgRobert Hensing (roberth) Leonardo Santiago: ^ 18:01:23
@o-santi:matrix.orgLeonardo Santiagonot sure I 100% understand the issue, I'm not holding a reference to a closure18:08:51

Show newer messages


Back to Room ListRoom Version: 10