mirror of
https://github.com/NixOS/nix
synced 2025-06-30 11:43:15 +02:00
cafefed421
"content-address*ed*" derivation is misleading because all derivations are *themselves* content-addressed. What may or may not be content-addressed is not derivation itself, but the *output* of the derivation. The outputs are not *part* of the derivation (for then the derivation wouldn't be complete before we built it) but rather separate entities produced by the derivation. "content-adddress*ed*" is not correctly because it can only describe what the derivation *is*, and that is not what we are trying to do. "content-address*ing*" is correct because it describes what the derivation *does* --- it produces content-addressed data.
41 lines
1.8 KiB
SQL
41 lines
1.8 KiB
SQL
-- Extension of the sql schema for content-addressing derivations.
|
||
-- Won't be loaded unless the experimental feature `ca-derivations`
|
||
-- is enabled
|
||
|
||
create table if not exists Realisations (
|
||
id integer primary key autoincrement not null,
|
||
drvPath text not null,
|
||
outputName text not null, -- symbolic output id, usually "out"
|
||
outputPath integer not null,
|
||
signatures text, -- space-separated list
|
||
foreign key (outputPath) references ValidPaths(id) on delete cascade
|
||
);
|
||
|
||
create index if not exists IndexRealisations on Realisations(drvPath, outputName);
|
||
|
||
-- We can end-up in a weird edge-case where a path depends on itself because
|
||
-- it’s an output of a CA derivation, that happens to be the same as one of its
|
||
-- dependencies.
|
||
-- In that case we have a dependency loop (path -> realisation1 -> realisation2
|
||
-- -> path) that we need to break by removing the dependencies between the
|
||
-- realisations
|
||
create trigger if not exists DeleteSelfRefsViaRealisations before delete on ValidPaths
|
||
begin
|
||
delete from RealisationsRefs where realisationReference in (
|
||
select id from Realisations where outputPath = old.id
|
||
);
|
||
end;
|
||
|
||
create table if not exists RealisationsRefs (
|
||
referrer integer not null,
|
||
realisationReference integer,
|
||
foreign key (referrer) references Realisations(id) on delete cascade,
|
||
foreign key (realisationReference) references Realisations(id) on delete restrict
|
||
);
|
||
-- used by deletion trigger
|
||
create index if not exists IndexRealisationsRefsRealisationReference on RealisationsRefs(realisationReference);
|
||
|
||
-- used by QueryRealisationReferences
|
||
create index if not exists IndexRealisationsRefs on RealisationsRefs(referrer);
|
||
-- used by cascade deletion when ValidPaths is deleted
|
||
create index if not exists IndexRealisationsRefsOnOutputPath on Realisations(outputPath);
|