Can you summarize the following document?
        
  庫連結(英語:linking)是指把一個或多個庫包括到程式中,有兩種連結形式:靜態連結和動態連結;相應的,前者連結的庫叫做靜態庫,後者的叫做動態庫。

  靜態連結是由連結器在連結時將庫的內容加入到可執行程式中的做法。連結器是一個獨立程式,將一個或多個庫或目標檔案(先前由編譯器或彙編器生成)連結到一塊生成可執行程式。  靜態連結的最大缺點是生成的可執行檔案較大,需要更多的系統資源,在載入到記憶體時也會消耗更多的時間。

  

  動態連結,在可執行檔案裝載時或執行時,由作業系統的裝載程式載入庫。大多數作業系統將解析外部引用(比如庫)作為載入過程的一部分。在這些系統上,可執行檔案包含一個叫做"import directory"的表,該表的每一項包含一個庫的名字。根據表中記錄的名字,裝載程式在硬碟上搜尋需要的庫,然後將其載入到記憶體中預先不確定的位置,之後根據載入庫後確定的庫的地址更新可執行程式。可執行程式根據更新後的庫資訊呼叫庫中的函式或引用庫中的資料。這種型別的動態載入稱為裝載(load-time)時載入,被包括Windows和Linux的大多數系統採用。裝載程式在載入應用軟體時要完成的最複雜的工作之一就是載入時連結。  其他作業系統可能在執行時解析引用。在這些系統上,可執行程式呼叫作業系統API將庫的名字、函式在庫中的編號和函式引數一同傳遞。作業系統負責立即解析然後代表應用呼叫合適的函式。這種動態連結叫做執行時連結。因為每個呼叫都會有系統開銷,執行時連結要慢得多,對應用的效能有負面影響。現代作業系統已經很少使用執行時連結。  可以動態連結的函式庫,在Windows上是"Dynamic Link Library(DLL)",在UNIX或Linux上是"Shared Library"。庫檔案是預先編譯連結好的可執行檔案,儲存在計算機的硬碟上。大多數情況下,同一時間多個應用可以使用一個庫的同一份拷貝,作業系統不需要載入這個庫的多個例項。
庫(英語:library)是在電腦科學中用於開發軟體的子程式集合。庫和可執行檔案的區別是,其不是獨立的計算機程式,他們是向其他程式提供服務的程式碼。