[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