linux内核分析 轮换,Linux内核源代码情状分析-系统调用mknod

Linux内核源代码情景分析-系统调用mknod

普通文件可以用open或者create创建，FIFO文件可以用pipe创建，mknod主要用于设备文件的创建。

在内核中，mknod是由sys_mknod实现的，代码如下：

asmlinkage long sys_mknod(const char * filename, int mode, dev_t dev) //比如filename为/tmp/server_socket，dev是设备号

{

int error = 0;

char * tmp;

struct dentry * dentry;

struct nameidata nd;

if (S_ISDIR(mode))

return -EPERM;

tmp = getname(filename);

if (IS_ERR(tmp))

return PTR_ERR(tmp);

if (path_init(tmp, LOOKUP_PARENT, &nd))//寻找父节点，这里就是/tmp节点

error = path_walk(tmp, &nd);

if (error)

goto out;

dentry = lookup_create(&nd, 0);//寻找/tmp/server_socket节点，返回该节点的dentry结构，但是dentry->d_inode为NULL

error = PTR_ERR(dentry);

if (!IS_ERR(dentry)) {

switch (mode & S_IFMT) {

case 0: case S_IFREG://普通文件

error = vfs_create(nd.dentry->d_inode,dentry,mode);

break;

case S_IFCHR: case S_IFBLK: case S_IFIFO: case S_IFSOCK://字符设备，块设备，管道，socket文件

error = vfs_mknod(nd.dentry->d_inode,mode,dev);//创建/tmp/server_socket节点的inode结构，并关联到文件系统中

break;

case S_IFDIR:

error = -EPERM;

break;

default:

error = -EINVAL;

}

dput(dentry);

}

up(&nd.dentry->d_inode->i_sem);

path_release(&nd);

out:

putname(tmp);

return error;

}

lookup_create，寻找/tmp/server_socket节点，代码如下：

static struct dentry *lookup_create(struct nameidata *nd, int is_dir)

{

struct dentry *dentry;

down(&nd->dentry->d_inode->i_sem);

dentry = ERR_PTR(-EEXIST);

if (nd->last_type != LAST_NORM)

goto fail;

dentry = lookup_hash(&nd->last, nd->dentry);//nd->last是server_socket

if (IS_ERR(dentry))

goto fail;

if (!is_dir && nd->last.name[nd->last.len] && !dentry->d_inode)

goto enoent;

return dentry;

enoent:

dput(dentry);

dentry = ERR_PTR(-ENOENT);

fail:

return dentry;

}struct dentry * lookup_hash(struct qstr *name, struct dentry * base)//name为server_socket，base为父节点/tmp的dentry结构

{

struct dentry * dentry;

struct inode *inode;

int err;

inode = base->d_inode;//父节点/tmp的i节点

err = permission(inode, MAY_EXEC);

dentry = ERR_PTR(err);

if (err)

goto out;

/*

* See if the low-level filesystem might want

* to use its own hash..

*/

if (base->d_op && base->d_op->d_hash) {

err = base->d_op->d_hash(base, name);

dentry = ERR_PTR(err);

if (err < 0)

goto out;

}

dentry = cached_lookup(base, name, 0);

if (!dentry) {

struct dentry *new = d_alloc(base, name);//创建/tmp/server_socket节点的dentry结构

dentry = ERR_PTR(-ENOMEM);

if (!new)

goto out;

lock_kernel();

dentry = inode->i_op->lookup(inode, new);//dentry为NULL

unlock_kernel();

if (!dentry)

dentry = new;//刚刚创建的new赋值给dentry，但是dentry->d_inode为NULL

else

dput(new);

}

out:

return dentry;

}    vfs_mknod，创建/tmp/server_socket节点的inode结构，并关联到文件系统中，代码如下：

int vfs_mknod(struct inode *dir, struct dentry *dentry, int mode, dev_t dev)//dir为/tmp父节点的inode结构,dentry为/tmp/server_socket节点的dentry结构

{

int error = -EPERM;

mode &= ~current->fs->umask;

down(&dir->i_zombie);

if ((S_ISCHR(mode) || S_ISBLK(mode)) && !capable(CAP_MKNOD))//检验当前进程是否允许创建设备节点，此项检验仅用于待创建节点为设备节点时

goto exit_lock;

error = may_create(dir, dentry);

if (error)

goto exit_lock;

error = -EPERM;

if (!dir->i_op || !dir->i_op->mknod)

goto exit_lock;

DQUOT_INIT(dir);

lock_kernel();

error = dir->i_op->mknod(dir, dentry, mode, dev);//对于Ext2，这个函数是ext2_mknod

unlock_kernel();

exit_lock:

up(&dir->i_zombie);

if (!error)

inode_dir_notify(dir, DN_CREATE);

return error;

}

may_create，检查目标节点的inode结构是否存在。static inline int may_create(struct inode *dir, struct dentry *child) {

if (child->d_inode)//也就是检查d_inode是否为NULL

return -EEXIST;

if (IS_DEADDIR(dir))

return -ENOENT;

return permission(dir,MAY_WRITE | MAY_EXEC);

}

对于Ext2，dir->i_op->mknod是ext2_mknod，代码如下：static int ext2_mknod (struct inode * dir, struct dentry *dentry, int mode, int rdev)

{

struct inode * inode = ext2_new_inode (dir, mode);//分配了一个inode结构

int err = PTR_ERR(inode);

if (IS_ERR(inode))

return err;

inode->i_uid = current->fsuid;

init_special_inode(inode, mode, rdev);

err = ext2_add_entry (dir, dentry->d_name.name, dentry->d_name.len,

inode);//inode关联到文件系统中，也就是通过父节点inode结构，能够找到新创建的子节点的inode结构

if (err)

goto out_no_entry;

mark_inode_dirty(inode);//新创建的inode结构设置成"脏"

d_instantiate(dentry, inode);//将新创建的inode结构与dentry结构相关联

return 0;

out_no_entry:

inode->i_nlink--;

mark_inode_dirty(inode);

iput(inode);

return err;

}void init_special_inode(struct inode *inode, umode_t mode, int rdev)

{

inode->i_mode = mode;

if (S_ISCHR(mode)) {//字符设备

inode->i_fop = &def_chr_fops;

inode->i_rdev = to_kdev_t(rdev);

} else if (S_ISBLK(mode)) {//块设备

inode->i_fop = &def_blk_fops;

inode->i_rdev = to_kdev_t(rdev);

inode->i_bdev = bdget(rdev);

} else if (S_ISFIFO(mode))//FIFO设备

inode->i_fop = &def_fifo_fops;

else if (S_ISSOCK(mode))//socket设备

inode->i_fop = &bad_sock_fops;

else

printk(KERN_DEBUG "init_special_inode: bogus imode (%o)\n", mode);

}    由于新创建的inode结构设置成了“脏”，内核在"同步"内存中的inode结构与磁盘上的索引节点的时候，就会将这个inode结构的内容写到磁盘上分配给这个文件的索引节点，即ext2_inode数据结构中。由于ext2_inode结构中并不存在i_rdev这么个成分，而对于设备文件却又不需要使用i_block[]数组，所以就挪用其i_block[0]来保存设备号。要了解这一点，主要看ext2_update_inode代码中一个片段：

if (S_ISCHR(inode->i_mode) || S_ISBLK(inode->i_mode))//FIFO设备和SOCKET设备没有设备号

raw_inode->i_block[0] = cpu_to_le32(kdev_t_to_nr(inode->i_rdev));

else for (block = 0; block < EXT2_N_BLOCKS; block++)

raw_inode->i_block[block] = inode->u.ext2_i.i_data[block];

反过来，当通过ext2_read_inode从磁盘上读入索引节点，并为之在内存中创建相应的inode结构时，则先将i_block[]数组全部复制到i_data[]数组中。如果是设备文件就调用init_special_inode将i_block[0]的内容填入inode结构的i_rdev。以下是片段：

for (block = 0; block < EXT2_N_BLOCKS; block++)

inode->u.ext2_i.i_data[block] = raw_inode->i_block[block];

if (inode->i_ino == EXT2_ACL_IDX_INO ||

inode->i_ino == EXT2_ACL_DATA_INO)

/* Nothing to do */ ;

else if (S_ISREG(inode->i_mode)) {

} else if (S_ISDIR(inode->i_mode)) {

} else if (S_ISLNK(inode->i_mode)) {

} else

init_special_inode(inode, inode->i_mode,

le32_to_cpu(raw_inode->i_block[0]));

我们回过头想一想，在Linux内核源代码情景分析-文件系统的安装，/dev/sdb1，就是通过mknod建立的。

还有在Linux内核源代码情景分析-基于socket的进程间通信，/tmp/server_socket，也是通过vfs_mknod创建的。