Set-версии (Владимир Селезнев, LVEE-2019) — различия между версиями

RPM packages have dependecies, installed system should have all installed packages with satisfied dependencies (i.e. it should not contain unmets). Same is true for package repositories:  consistent one contains no unmets. During the package build rpm-build calculates needed and provided sonames for of \linebreak packaged ELFs and this information is placed in package provided and required dependencies. But originally it did nothing to \linebreak symbols exported or used by ELFs. Provided all this information in package dependencies would be too expensive.

To keep information about ELF symbols in package dependencies, ALT Linux Team introduced new type of RPM dependency: ''set-versions''. <!-- , based on complementary hashing. -->
It's a way to hash two sets R and P (sets of required and provided symbols) that it is able to check is R a subset of P. It was mainly developed by Alexey Tourbin in 2010.
</blockquote>

{{VideoSection}}
{{vimeoembed|366000958|800|450}}

{{youtubelink|34gpxT_PScw}}


{{SlidesSection}}
[[File:Set-версии (Владимир Селезнев, LVEE-2019).pdf|left|page=-|300px]]

{{----}}

== Thesis ==


Разделяемые библиотеки — важная часть экосистемы дистрибутивов Linux.

Разделяемые библиотеки очень легко создавать (в тривиальном случае надо передать опцию компилятору <code>-shared</code>), но сложно сопровождать стабильное ABI, что является одни из источников проблем. Поломку ABI очень легко пропустить, что неоднократно подтверждалось на практике.

Часть мер предосторожности можно предпринять на уровне репозитория: обнаруживать несовместимые изменения ABI до того, как пакет попадёт в репозиторий, удостоверяться, что все клиенты, которые используют интерфейсы библиотеки связаяны с этой библиотеков, и что ничто нет перелинковки.

На работающей системе во время установки пакетов можно проверять, что все необходимые разделяемые библиотеки предоставлены, равно как и предоставлены необходимые веросионирования интерфейсов. Также нужно удостовериться, что все неходимые символы, требуемые от разделяемой библиотеки, она предоставляет. Первое решение, которое можно было бы предожить, это записать в предоставляемые зависимости пакетов все символы, которые экспортируют разделяемые библиотеки, упакованные в данные пакеты, а в требуемые зависимостм этой библиотеки записать все неопределённые символы ELF’ов, упакованных в них. Очевидным недостатком этого решения будет то, что зависимости пакетов станут чрезмерно большими, а разрешение зависимостей — чрезмено доглим. В зависимостях можно связать символы с именем билиотеки (SONAME), которая их экспортирует, тогда надо будет убедиться, что требуемые символы являются подмножеством предоставляемых для разрешения зависимостей. Но такое решение всё ещё слишком тяжёлое.

Вместо множества имён символов реализовать функции хэширования этих множеств и проверки того, что одно множество входит в другое. Такая схема реализована в rpm, используемом в системах ALT.
{{----}}
[[File:{{#setmainimage:Set-версии (Владимир Селезнев, LVEE-2019)!.jpg}}|center|640px]]
{{LinksSection}}
* Ulrich Drepper. How To Write Shared Libraries http://people.redhat.com/drepper/dsohowto.pdf.
* Dmitry V. Levin. Set-versioned package dependencies addressing the problem of shared library updates.
* Алексей Турбин. Комплементарное хэширование подмножеств ftp://ftp.altlinux.org/pub/people/at/protva-2010.pdf
* [ Talks page]
<!-- <blockquote>[©]</blockquote> -->


{{fblink|2416727411913599}}                                          
{{vklink|1452}}                                          
<references/>

[[Категория:LVEE-2019]]
[[Категория:ALT Linux]]
{{stats|disqus_comments=0|refresh_time=2020-07-06T00:54:322021-08-31T16:36:43.533203634904|vimeo_plays=7|youtube_comments=2|youtube_plays=22}}5}}