Knihovna (programování)

Nejstarší programové koncepty obdobné knihovnám byly vyvinuty, aby oddělily definici dat od realizace programu. Kolem roku 1959 jazyk JOVIAL zpopularizoval koncept COMPOOL (Communication Pool). „Záměrem konceptu COMPOOL bylo povolení sdílení systémových dat mezi více programy pomocí centralizovaného popisu dat.“[1]

V roce 1959 byly do jazyku COBOL zahrnuty „primitivní funkce knihovního systému“,[2] které Jean Sammet ve zpětném pohledu popsal jako „nedostatečná knihovní zařízení“.[3]

Další významné přispění k modernímu pojetí knihovny přišlo v podobě podprogramu, který byl součástí inovace jazyka FORTRAN. Podprogramy mohou být v jazyce FORTRAN kompilovány nezávisle na sobě, ale kompilátoru chybí linker. Takže před zavedením modulů v jazyce Fortran-90 nebyla mezi podprogramy možná typová kontrola.[4]

S významným konceptem přišla též Simula 67. Simula byl první objektově orientovaný programovací jazyk a jeho třídy jsou téměř totožné s moderním pojetím, které je používáno v jazyce Java, C++ nebo C#. Třídy konceptu Simula byly také předchůdcem balíčku v programovacím jazyku Ada a modulu v Modula-2.[5] Třídy Simula mohly být zahrnuty v knihovních souborech a přidány v době kompilace, přestože byly vyvinuty už v roce 1965.[6]

Knihovna je soubor, který obsahuje soubor funkcí a procedur v podobě strojového kódu, které jsou uloženy do společného souboru. Je tak vytvořen archiv, který je souhrnem objektových kódů a se kterým lze dále pracovat.

Z technického hlediska je možné rozdělit knihovny podle způsobu propojení s programem, který je bude využívat:

• statická knihovna (anglicky static linking library)
• dynamická knihovna (anglicky dynamic linking library)

Druhé možné rozdělení je z hlediska možnosti sdílení kódu knihovny mezi více běžícími programy (tj. procesy):

• sdílená knihovna (anglicky shared library)
• nesdílená knihovna

Statická knihovna tvoří s přeloženým programem kompaktní celek. V závěrečné fázi překladu programu ze zdrojového kódu do strojového kódu jsou volané funkce (a další jimi kaskádově volané funkce) připojovány linkerem (odtud označení linkování) do výsledného spustitelného souboru. V horším případě je k programu připojena celá knihovna bez ohledu na to, jaké části program skutečně využívá. Výsledný spustitelný soubor tak v sobě obsahuje všechny části, které jsou nutné pro jeho běh. Staticky slinkovaný spustitelný soubor proto typicky při spuštění nepotřebuje žádné další soubory, takže je ho možné překopírovat na jiný systém a jednoduše spustit (tj. bez instalace, tak, jak je známá například pro běžné programy v Microsoft Windows).

Typickou příponou souboru statické knihovny je .lib nebo .a. Přípona souboru s knihovnou závisí na použitém operačním systému, programovacím jazyku i linkeru. Staticky jde s programem slinkovat i dynamické knihovny (přípona .so).

Dynamické knihovny nejsou (na rozdíl od statických knihoven) k výslednému spustitelnému souboru přidávány. V závěrečné fázi překladu programu ze zdrojového kódu do strojového kódu jsou odkazy na volané knihovní funkce pomocí linkeru (odtud označení linkování) zapsány do speciální tabulky symbolů, která je připojena k výslednému spustitelnému souboru. Pro chod programu (tj. spuštění výsledného spustitelného souboru) je pak nutné mít k dispozici též příslušné dynamické knihovny. Pokud dynamická knihovna využívá ke své činnosti jiné dynamické knihovny, vzniká řetězec závislostí a všechny potřebné knihovny musí být při spuštění programu přítomny.

V Microsoft Windows mají dynamické knihovny příponu .DLL, v unixových systémech je používána přípona .o nebo .so (Linux). Dynamickou knihovnu je typicky možné slinkovat s programem i staticky (viz výše).

Kód sdílených knihoven je možné sdílet mezi více programy, čímž jsou efektivně snižovány nároky na velikost potřebné operační paměti. V takovém případě se úsek paměti s kódem knihovních funkcí nalézá ve sdílené paměti, která je přístupná více procesům (je namapována do adresních prostorů všech procesů, které ji používají). Protože knihovny typicky pracují se svými interními daty, musí být možné zajistit každé knihovně privátní datový prostor pro data pro každý proces zvlášť. Přitom se s výhodou využívají možnosti virtuální paměti, jejíž podpora musí však být přítomna v procesoru.

Sdílet je možné jen identické knihovny. Z technického hlediska možné sdílet jen dynamické knihovny, protože jen u nich je zaručeno, že se vždy jedná o naprosto stejný kód (z principu není možné při startu programu porovnávat kód statický linkované knihovny s obsahem paměti ostatních spuštěných procesů). Nastavení sdílení paměťového prostoru se kódem sdílených dynamických knihoven zajišťuje při startu dynamicky linkovaného programu výše zmíněný dynamický zavaděč (anglicky dynamic loader).

• Statická knihovna se spojuje se spustitelným souborem v době linkování programu, zatímco dynamická knihovna se spojuje se spustitelným souborem v době spuštění programu nebo až za jeho běhu.
• Pokud se spustí několik programů, které využívají jednu statickou knihovnu, je tato knihovna v operační paměti opakovaně (v každé instanci programu). Kód dynamické knihovny naproti tomu může být v paměti sdílen všemi instancemi.
• Staticky slinkovaný program je lépe přenosný, stačí přenést jeden soubor. U dynamicky slinkovaného programu je nutno zajistit, aby na počítači byly nainstalovány správné verze požadovaných dynamických knihoven nebo při přenosu přidat správné verze jako další soubory. Toto pravidlo platí rekurzivně (dynamické knihovny mohou vyžadovat další dynamické knihovny).
• Pokud je chyba ve statické knihovně, je nutné po jejím opravení znovu sestavit všechny programy, které danou knihovnu používají. U dynamické knihovny stačí nahradit jediný soubor dynamické knihovny její novější (opravenou) verzí. Všechny programy používající tuto dynamickou pak automaticky pracují s opravenou knihovnou.
• Automatické použití novější verze knihovny lze využít i jindy než při opravě chyby, novější verze může obsahovat například optimalizace a v některých případech i novou funkčnost pro nové programy (za předpokladu, že knihovna zachová funkčnost starého rozhraní pro staré programy).
• Spuštění staticky slinkovaného programu typicky trvá o něco kratší dobu, protože při spouštění dynamicky linkovaného programu operační systém musí zajistit načtení dynamické knihovny do paměti zvlášť a provést relokaci, tedy nahradit odkazy na data v knihovně jejich výslednou adresou.
• Dynamicky slinkovaný program je výrazně menší. Pokud knihovnu používá více než jeden program, ušetříme tedy místo i na disku.

Součástí návrhu většího softwarového projektu je obvykle i oddělení části funkčnosti do jedné nebo několika samostatných knihoven. Při návrhu knihovny se berou v úvahu především některé vlastnosti známé (na nižší úrovni) z objektově orientovaného programování:

• Zapouzdřenost – komplexní funkčnost knihovny by měla být dostupná přes jednoduché a snadno použitelné rozhraní. Na hotovou knihovnu se pak dá dívat jako na černou skříňku.
• Znovupoužitelnost – dobře navržená knihovna může dobře posloužit při vývoji budoucích projektů, kdy bude potřeba stejná nebo podobná funkčnost.

Dynamické knihovny jsou v platformě Linux a Unix označované jako sdílené objekty. Sdílený objekt (ang.Shared object), také označován jako je soubor, který je určen ke sdílení spustitelnými soubory (programy) nebo jinými sdílenými objekty. Jedná se o unixovou/Linuxovou obdobu DLL knihoven z operačního systému Windows. Z toto objektu jsou při startu programu nebo během jeho chodu načítány do paměti systému jednotlivé rutiny knihovny, které jsou využívány za běhu programu. Díky tomu nemusí linker při kompilaci programu tyto metody zakomponovávat přímo do programů a vytvářet tak ohromné monolitické programy.
Dynamické knihovny mohou být použity také jako statické knihovny a je možné je do programu linkovat staticky při kompilaci programu. Toto ale není doporučováno, častěji se připojují až za běhu programu.

Většina moderních operačních systémů může mít soubory sdílené knihovny ve stejném formátu jako spustitelné soubory. To nabízí dvě hlavní výhody. za prvé, místo dvou loaderů pro každý typ zvlášť stačí jen jeden loader pro oba. Za druhé, umožňuje spustitelné také použít jako knihovny, pokud mají tabulku symbolů. Typické kombinace spustitelný soubor a knihovny jsou formáty ELF a Mach-O (oba Unix) a PE (Windows).

Postup vytvoření sdílené knihovny probíhá v několika krocích. Následující příklad objasňuje symbolicky celý postup. Zdrojový kód knihovny je uložen v souborech prvni.c a druhy.c, ze kterých má být vytvořena knihovna (typu ELF). Postup vytvoření sdílené knihovny bude pak následující:

$ gcc -fPIC -g -c -Wall prvni.c
$ gcc -fPIC -g -c -Wall druhy.c
$ gcc -shared -Wl,-soname,libMyMethods.so.1 -o libMyMethods.so.1.0.1 prvni.o druhy.o

První dva příkazy přeloží díky přepínači -c soubory prvni.c a druhy.c do podoby objektového kódu (tj. do souborů prvni.o a druhy.o, které jsou určitou formou polotovaru, protože se nepoužije linker). Přepínač -fPIC zapne vytvoření pozičně nezávislého kódu. Přepínač -g zapne generování ladících informací, které jsou umístěny do výsledného kódu. Přepínač -Wall zapne výpis všech varování při překladu.

Poslední příkaz vytvoří vlastní knihovnu (přepínačem -shared) jako soubor libMyMethods.so.1.0.1, který je dále využitelný jako dynamická knihovna v jiných programech. Verze knihovny (tj. interní označení), které indikuje verzi API knihovny, je nastaveno na libMyMethods.so.1. Při překladu jiného programu může být knihovna nabídnuta linkeru přepínačem -lMyMethods. Pro programování v jazyce C bude ke knihovně nutné dodat hlavičkový soubor s názvem libMyMethods.h, který bude definovat prototypy v knihovně obsažených funkcí.

• standardní knihovna jazyka C
• standardní knihovna šablon (Standard Template Library) v jazyce C++
• grafické knihovny jako DirectX, OpenGL, SDL, Swing apod.
• matematická knihovna LINPACK pro řešení soustav lineárních rovnic

• Obrázky, zvuky či videa k tématu knihovna na Wikimedia Commons