[devel] apt virtual packages

Alexey Tourbin at на altlinux.ru
Сб Дек 16 23:19:25 MSK 2006


On Sat, Dec 16, 2006 at 03:03:05PM +0300, Alexey I. Froloff wrote:
> * Alexey Tourbin <at@> [061216 01:48]:
> > В общем апт не должен ставить пакеты подряд.  А для каждого пакета
> > подряд он должен выделять подмножество пакетов удовлетворяющих условию.
> > А на втором проходе из этих подмножеств выделять одно непротиворечивое
> > множество которое подлежит установке.
> 
> http://people.debian.org/~dburrows/model.pdf
> Правда я этот резольвер оторвал, потому как глючный дюже...

Спасибо!  Я как раз думал, что это математическая задача.  То есть нужно
предложить конечный набор (последовательность) правил, как минимум для
install, а лучше ещё и для dist-upgrade, и желательно без весов.  То
есть чисто на теории множеств + исчислении предикатов, без чисел.   Я
пока не понимаю, можно ли эту "последовательность" будет развернуть в
конечный автомат, тогда ляпота.

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

С виртуальными пакетами и их версиями слишком много тонкостей.  Но любой
виртуальный пакет можно моделировать как дизъюнкцию реальных пакетов,
т.е. virtual := real1 | real2 | ...

В общем щас попробую осилить, хотя вроде пьяненький уже немножко конечно.
Кажется скоро будет новый год.  Здравствуй дедушка мороз, борода из ваты...
----------- следущая часть -----------
Было удалено вложение не в текстовом формате...
Имя     : отсутствует
Тип     : application/pgp-signature
Размер  : 189 байтов
Описание: отсутствует
Url     : http://lists.altlinux.org/pipermail/devel/attachments/20061216/0c64708f/attachment.bin 


Подробная информация о списке рассылки Devel