主頁 > 軟體設計 > Linux硬鏈接與軟連接實作對比

Linux硬鏈接與軟連接實作對比

2021-01-28 11:17:31 軟體設計

概述

linux系統中有一種比較特殊的檔案稱之為鏈接(link),通俗地說,鏈接就是從一個檔案指向另外一個檔案的路徑,linux中鏈接分為倆種,硬鏈接和軟鏈接,簡單來說,硬鏈接相當于源檔案和鏈接檔案在磁盤和記憶體中共享一個inode,因此,鏈接檔案和源檔案有不同的dentry,因此,這個特性決定了硬鏈接無法跨越檔案系統,而且我們無法為目錄創建硬鏈接,軟鏈接和硬鏈接不同,首先軟鏈接可以跨越檔案系統,其次,鏈接檔案和源檔案有著不同的inodedentry,因此,兩個檔案的屬性和內容也截然不同,軟鏈接檔案的檔案內容是源檔案的檔案名,

在這里插入圖片描述

硬鏈接實作

看完前面的關于硬鏈接和軟鏈接的介紹以后,接下來我們仔細考究下linux內核中對硬鏈接和軟鏈接的實作,

使用strace工具,可以發現建立硬鏈接呼叫的函式是link(),該函式的內核入口為SYSCALL_DEFINE2(),其實就是sys_link(),我們就從這個入口開始一步步跟蹤實作原理,

SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
{
    return sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
}

sys_link()其實呼叫了函式sys_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0)

SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
int, newdfd, const char __user *, newname, int, flags)
{
    struct dentry *new_dentry;
    struct nameidata nd;
    struct path old_path;
    int error;
    char *to;

    if ((flags & ~AT_SYMLINK_FOLLOW) != 0)
        return -EINVAL;
    error = user_path_at(olddfd, oldname,
		         flags & AT_SYMLINK_FOLLOW ? LOOKUP_FOLLOW : 0,
		        &old_path);
    if (error)
        return error;

    /* 查找目的鏈接名的父目錄的dentry */
    error = user_path_parent(newdfd, newname, &nd, &to);
    if (error)
        goto out;

    error = -EXDEV;
    /* 如果源和目的不是同一個檔案系統,則回傳錯誤 */	
    if (old_path.mnt != nd.path.mnt)
        goto out_release;

    /* 為鏈接檔案創建dentry結構 */
    new_dentry = lookup_create(&nd, 0);
    error = PTR_ERR(new_dentry);
    if (IS_ERR(new_dentry))
        goto out_unlock;
    error = mnt_want_write(nd.path.mnt);
    if (error)
        goto out_dput;
    error = security_path_link(old_path.dentry, &nd.path, new_dentry);
    if (error)
        goto out_drop_write;
    error = vfs_link(old_path.dentry, nd.path.dentry->d_inode, new_dentry);
    ...
    return error;
}

其實,我們仔細思考+上面的圖示可以明白,創建硬鏈接所做的事情主要包含:為鏈接檔案創建一個dentry,初始化(主要是指初始化其inode號);將鏈接檔案的dentry寫入父目錄的資料塊中,因此,上面的代碼頁就顯得一目了然,代碼主要做的事情有:

  • 合法性檢查,前面我們說硬鏈接不可跨越檔案系統,這是因為鏈接檔案和源檔案共用一個inode,而inode號在同一個檔案系統內才有意義;

  • 獲取鏈接檔案父目錄的inode結構;

  • 為鏈接檔案創建一個dentry結構;

  • 等到一切準備作業就緒以后,初始化鏈接檔案dentry結構中的inode號,并添加到父目錄的資料塊中,

上述步驟中的1、2、3在上面的函式中均有對應,而步驟4的主要作業則是在vfs_link()中進行,其傳入的實參的意義也在代碼中作了較為詳細的說明,vfs_link()的實作如下:

int vfs_link(struct dentry *old_dentry, struct inode *dir, struct dentry *new_dentry)
{
    struct inode *inode = old_dentry->d_inode;
    int error;

    if (!inode)
        return -ENOENT;

    /* 檢查是否有創建檔案目錄項權限 */
    error = may_create(dir, new_dentry);
    if (error)
        return error;

    if (dir->i_sb != inode->i_sb)
        return -EXDEV;

    if (IS_APPEND(inode) || IS_IMMUTABLE(inode))
        return -EPERM;

    /* 呼叫具體檔案系統的link,如ext3_link() */
    if (!dir->i_op->link)
        return -EPERM;
    if (S_ISDIR(inode->i_mode))
        return -EPERM;

    error = security_inode_link(old_dentry, dir, new_dentry);
    if (error)
        return error;
    mutex_lock(&inode->i_mutex);
    error = dir->i_op->link(old_dentry, dir, new_dentry);
    mutex_unlock(&inode->i_mutex);
    if (!error)
        fsnotify_link(dir, inode, new_dentry);
     return error;
}

vfs_link()中主要完成一些引數檢查的任務,最終呼叫的是具體檔案系統的link實作,如ext3檔案系統的ext3_link()

static int ext3_link (struct dentry * old_dentry,
		       struct inode * dir, struct dentry *dentry)
{
    handle_t *handle;
    struct inode *inode = old_dentry->d_inode;
    int err, retries = 0;

    /* 如果檔案上的鏈接數過多,回傳Too many links錯誤 */
    if (inode->i_nlink >= EXT3_LINK_MAX)
        return -EMLINK;

    dquot_initialize(dir);

    if (inode->i_nlink == 0)
        return -ENOENT;
retry:
    handle = ext3_journal_start(dir, EXT3_DATA_TRANS_BLOCKS(dir->i_sb) +
					EXT3_INDEX_EXTRA_TRANS_BLOCKS);
    if (IS_ERR(handle))
        return PTR_ERR(handle);

    if (IS_DIRSYNC(dir))
        handle->h_sync = 1;

    inode->i_ctime = CURRENT_TIME_SEC;
    /* 將源檔案inode上的鏈接數 + 1 */
    inc_nlink(inode);
    atomic_inc(&inode->i_count);

    /* 將鏈接檔案的dentry寫入到其父目錄的資料塊中 */
    err = ext3_add_entry(handle, dentry, inode);
    if (!err) {
        ext3_mark_inode_dirty(handle, inode);
	d_instantiate(dentry, inode);
    } else {
	drop_nlink(inode);
	iput(inode);
    }
    ext3_journal_stop(handle);
    if (err == -ENOSPC && ext3_should_retry_alloc(dir->i_sb, &retries))
        goto retry;
     return err;
}

ext3_link()中完成鏈接的具體作業,拋開一些與日志相關的內容,我們可以看到主要呼叫了ext3_add_entry()來將鏈接檔案的dentry添加到父目錄的資料塊中,與此同時也會將源檔案的inode號記錄在鏈接檔案dentry中,這樣便達到了源檔案和鏈接檔案有著不同的dentry結構,卻共享inode的目的,

軟鏈接實作

使用strace工具,可以發現建立硬鏈接呼叫的函式是symlink(),該函式的內核入口為SYSCALL_DEFINE2(symlink,...),其實就是sys_symlink(),我們就從這個入口開始一步步跟蹤內部實作原理,

SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
{
    return sys_symlinkat(oldname, AT_FDCWD, newname);
}

sys_symlink()呼叫了函式sys_symlinkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0)

SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
 int, newdfd, const char __user *, newname)
{
    ......
    from = getname(oldname);
    if (IS_ERR(from))
        return PTR_ERR(from);

    /* 查找軟鏈接父目錄結構,存于nd之中 */
    error = user_path_parent(newdfd, newname, &nd, &to);
    if (error)
        goto out_putname;

    /* 在上面查找的父目錄下創建軟連接dentry,作為回傳值 */
    dentry = lookup_create(&nd, 0);
    error = PTR_ERR(dentry);
    if (IS_ERR(dentry))
        goto out_unlock;

    error = mnt_want_write(nd.path.mnt);
    if (error)
        goto out_dput;
    error = security_path_symlink(&nd.path, dentry, from);
    if (error)
        goto out_drop_write;
 
    /* d_inode:鏈接檔案父目錄inode結構
     * dentry:鏈接檔案的dentry結構
     * from:源檔案名
     */
    error = vfs_symlink(nd.path.dentry->d_inode, dentry, from);
    ......
    return error;
}

通過代碼可以看到,其基本的函式呼叫流程和sys_linkat一模一樣,只是最后呼叫的是vfs_symlinkat,而且,引數的意義稍有不同,可參見代碼注釋:

/* 建立軟鏈接
 * @dir:軟連接父目錄inode
 * @dentry:軟連接的dentry
 * @oldname:源檔案或目錄的名字
 */
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
{
    int error = may_create(dir, dentry);
    if (error)
        return error;

    if (!dir->i_op->symlink)
        return -EPERM;

    error = security_inode_symlink(dir, dentry, oldname);
    if (error)
        return error;

    error = dir->i_op->symlink(dir, dentry, oldname);
    if (!error)
	fsnotify_create(dir, dentry);

    return error;
}

最侄訓是呼叫了具體檔案系統的symlink函式,如ext3_symlink()

//ext3建立軟連接函式
//@dir:軟連接的父目錄的inode
//@dentry:軟連接的dentry結構
//@symname:源檔案名稱
static int ext3_symlink (struct inode * dir,
		struct dentry *dentry, const char * symname)
{
    handle_t *handle;
    struct inode * inode;
    int l, err, retries = 0;
 
    l = strlen(symname)+1;
    if (l > dir->i_sb->s_blocksize)
        return -ENAMETOOLONG;
    dquot_initialize(dir);

retry:
    handle = ext3_journal_start(dir, EXT3_DATA_TRANS_BLOCKS(dir->i_sb) +
					EXT3_INDEX_EXTRA_TRANS_BLOCKS + 5 +
					EXT3_MAXQUOTAS_INIT_BLOCKS(dir->i_sb));

    if (IS_ERR(handle))
        return PTR_ERR(handle);

    if (IS_DIRSYNC(dir))
	handle->h_sync = 1;

    // 為軟連接創建一個新的inode結構
    inode = ext3_new_inode (handle, dir, S_IFLNK|S_IRWXUGO);
    err = PTR_ERR(inode);
    if (IS_ERR(inode))
        goto out_stop;

    if (l > sizeof (EXT3_I(inode)->i_data)) {
	inode->i_op = &ext3_symlink_inode_operations;
	ext3_set_aops(inode);
	err = __page_symlink(inode, symname, l, 1);
        if (err) {
	  ......
	}
    } else {
        /* 如果源檔案名稱不夠長
         * 可直接將其保存在inode的i_data中
         */
	inode->i_op = &ext3_fast_symlink_inode_operations;
        memcpy((char*)&EXT3_I(inode)->i_data,symname,l);
        inode->i_size = l-1;
    }
    EXT3_I(inode)->i_disksize = inode->i_size;
    /* 將鏈接檔案的inode和dentry關聯并
     * 與其父目錄建立關聯
     */
    err = ext3_add_nondir(handle, dentry, inode);

out_stop:
    .....
}

分析ext3_symlink的實作,拋開日志等模塊不談,有以下幾個關鍵步驟:

  • 代碼中會為鏈接檔案創建一個inode結構,這在函式ext3_new_inode()中實作,這也是硬鏈接和軟鏈接的最大不同;
  • 鏈接檔案的檔案內容是源檔案的檔案名,而且,如果檔案名不是很長(小于60位元組),會將檔案名直接保存在inode中,無需為其分配資料塊;
  • 最后會將鏈接檔案的inodedentry建立關聯,并將鏈接檔案的dentry寫入到父目錄的資料塊中,呼叫的是函式ext3_add_nondir()

Linux、C/C++技術交流群:【960994558】整理了一些個人覺得比較好的學習書籍、大廠面試題、和熱門技術教學視頻資料共享在里面(包括C/C++,Linux,Nginx,ZeroMQ,MySQL,Redis,fastdfs,MongoDB,ZK,流媒體,CDN,P2P,K8S,Docker,TCP/IP,協程,DPDK等等.),有需要的可以自行添加哦!~在這里插入圖片描述

在這里插入圖片描述

轉載請註明出處,本文鏈接:https://www.uj5u.com/ruanti/253514.html

標籤:其他

上一篇:【Maven】學習筆記:自動化構建工具Maven

下一篇:Linux行程詳解

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 面試突擊第一季,第二季,第三季

    第一季必考 https://www.bilibili.com/video/BV1FE411y79Y?from=search&seid=15921726601957489746 第二季分布式 https://www.bilibili.com/video/BV13f4y127ee/?spm_id_fro ......

    uj5u.com 2020-09-10 05:35:24 more
  • 第三單元作業總結

    1.前言 這應該是本學期最后一次寫作業總結了吧。總體來說,對作業的節奏也差不多掌握了,作業做起來的效率也更高了。雖然和之前的作業一樣,作業中都要用到新的知識,但是相比之前,更加懂得了如何利用工具以及資料。雖然之間卡過殼,但總體而言,這幾次作業還算完成的比較好。 2.作業程序總結 相比前兩個單元,此單 ......

    uj5u.com 2020-09-10 05:35:41 more
  • 北航OO(2020)第四單元博客作業暨課程總結博客

    北航OO(2020)第四單元博客作業暨課程總結博客 本單元作業的架構設計 在本單元中,由于UML圖具有比較清晰的樹形結構,因此我對其中需要進行查詢操作的元素進行了包裝,在樹的父節點中存盤所有孩子的參考。考慮到性能問題,我采用了快取機制,一次查詢后盡可能快取已經遍歷過的資訊,以減少遍歷次數。 本單元我 ......

    uj5u.com 2020-09-10 05:35:48 more
  • BUAA_OO_第四單元

    一、UML決議器設計 ? 先看下題目:第四單元實作一個基于JDK 8帶有效性檢查的UML(Unified Modeling Language)類圖,順序圖,狀態圖分析器 MyUmlInteraction,實際上我們要建立一個有向圖模型,UML中的物件(元素)可能與同級元素連接,也可與低級元素相連形成 ......

    uj5u.com 2020-09-10 05:35:54 more
  • 6.1邏輯運算子

    邏輯運算子 1. && 短路與 運算式1 && 運算式2 01.運算式1為true并且運算式2也為true 整體回傳為true 02.運算式1為false,將不會執行運算式2 整體回傳為false 03.只要有一個運算式為false 整體回傳為false 2. || 短路或 運算式1 || 運算式2 ......

    uj5u.com 2020-09-10 05:35:56 more
  • BUAAOO 第四單元 & 課程總結

    1. 第四單元:StarUml檔案決議 本單元采用了圖模型決議UML。 UML檔案可以抽象為圖、子圖、邊的邏輯結構。 在實作中,圖的節點包括類、介面、屬性,子圖包括狀態圖、順序圖等。 采用了三次遍歷UML元素的方法建圖,第一遍遍歷建點,第二、三次遍歷設定屬性、連邊,實作圖物件的初始化。這里借鑒了一些 ......

    uj5u.com 2020-09-10 05:36:06 more
  • 談談我對C# 多型的理解

    面向物件三要素:封裝、繼承、多型。 封裝和繼承,這兩個比較好理解,但要理解多型的話,可就稍微有點難度了。今天,我們就來講講多型的理解。 我們應該經常會看到面試題目:請談談對多型的理解。 其實呢,多型非常簡單,就一句話:呼叫同一種方法產生了不同的結果。 具體實作方式有三種。 一、多載 多載很簡單。 p ......

    uj5u.com 2020-09-10 05:36:09 more
  • Python 資料驅動工具:DDT

    背景 python 的unittest 沒有自帶資料驅動功能。 所以如果使用unittest,同時又想使用資料驅動,那么就可以使用DDT來完成。 DDT是 “Data-Driven Tests”的縮寫。 資料:http://ddt.readthedocs.io/en/latest/ 使用方法 dd. ......

    uj5u.com 2020-09-10 05:36:13 more
  • Python里面的xlrd模塊詳解

    那我就一下面積個問題對xlrd模塊進行學習一下: 1.什么是xlrd模塊? 2.為什么使用xlrd模塊? 3.怎樣使用xlrd模塊? 1.什么是xlrd模塊? ?python操作excel主要用到xlrd和xlwt這兩個庫,即xlrd是讀excel,xlwt是寫excel的庫。 今天就先來說一下xl ......

    uj5u.com 2020-09-10 05:36:28 more
  • 當我們創建HashMap時,底層到底做了什么?

    jdk1.7中的底層實作程序(底層基于陣列+鏈表) 在我們new HashMap()時,底層創建了默認長度為16的一維陣列Entry[ ] table。當我們呼叫map.put(key1,value1)方法向HashMap里添加資料的時候: 首先,呼叫key1所在類的hashCode()計算key1 ......

    uj5u.com 2020-09-10 05:36:38 more
最新发布
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:20:47 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:20:25 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:20:17 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:20:10 more
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:19:44 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:19:07 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:18:57 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:18:49 more
  • 05單件模式

    #經典的單件模式 public class Singleton { private static Singleton uniqueInstance; //一個靜態變數持有Singleton類的唯一實體。 // 其他有用的實體變數寫在這里 //構造器宣告為私有,只有Singleton可以實體化這個類! ......

    uj5u.com 2023-04-19 08:42:51 more
  • 【架構與設計】常見微服務分層架構的區別和落地實踐

    軟體工程的方方面面都遵循一個最基本的道理:沒有銀彈,架構分層模型更是如此,每一種都有各自優缺點,所以請根據不同的業務場景,并遵循簡單、可演進這兩個重要的架構原則選擇合適的架構分層模型即可。 ......

    uj5u.com 2023-04-19 08:42:41 more