[devel] пакеты копировать нельзя

[Evgeny Sinelnikov]

16 февраля 2009 г. 23:52 пользователь Dmitriy M. Maslennikov
<maslennikovdm at gmail.com> написал:
> 16 февраля 2009 г. 12:28 пользователь Alexey Tourbin <at at altlinux.ru> написал:
>> ...
> ...

К странным выводам прихожу я... Если пакет есть функция

B(S,C)->P,

где B - процедура сборки, S - src.rpm пакет, а С - сборочная среда

C = C(S,U) = C0(U) + C1(S,U)

где C0 - процедура инициализации базового сборочного чрута, C1 -
процедура установки в базовый сборочный чрут дополнительных
зависимостей BuildRequires пакета S.

То кроме сборки пакета с исходным кодом S в разных средах Ca и Cb,
можно вести речь о сборке разных пакетов на одной и той же сборочной
среде

B(Sа,Ca)->Pa
B(Sb,Cb)->Pb

где

Ca = Ca(Sa,U) = C0(U) + C1(Sa,U)
Cb = Cb(Sb,U) = C0(U) + C1(Sb,U)

При этом вовсе не обязательно, что эволюция универсума пакетов будет
приводить к неповторяемости:

Ca = Ca(Sa,U) ? Ca' = Ca(Sa,Ub)
Cb = Ca(Sb,U) ? Cb' = Cb(Sb,Ua)

где

M(U,Pa)->Ua
M(U,Pb)->Ub

где

M - процедура объединения нового пакета в универсум пакетов
Ua - универсум пакетов с новой сборкой пакета Pa
Ub - универсум пакетов с новой сборкой пакета Pb

То есть ответ на вопрос о не равенствах Ca и Ca', а также Cb и Cb',
зависит от вхождения исходных вариантов пакетов Pa^ и Pb^ в из U в
сборочные среды Cb и Ca для сборки пакетов Pb и Pa соответственно.

Из этого следует, что параллельная работа над разными частями
репозитория, как минимум, может вестись параллельно. Получаем, что
вести речь о пересборке только лишь одного и того же пакета для
коллективной разработки приводит, как минимум, к слишком общим
выводам.

В плане же перекладывания можно пойти дальше. Процедура B определяет
пересобираемость пакета на предыдущем универсуме пакетов, но ничего не
говорит о последующих, а, самое главное, совсем ничего не говорит о
работоспособности ни на каком из них. Работоспособность же
определяется тестированием (числом проявившихся отказов). Так вот
компромисс между потерей целостности истории репозитория и времени
потраченного на тестирование предыдущей сборки одного и того же пакета
нужно решать аккуратно. Иначе мы рискуем, получив полную историю,
всегда терять время потраченное нами самими на тестирование разных
сборок (в разных сборочных средах) одних и тех же пакетов...


-- 
Sin (Sinelnikov Evgeny)