技術

[xv6 #67] Chapter 5 – File system – Code: System calls

テキストの74ページ

本文

低レイヤが提供する関数を使って実装される多くのシステムコールは些細なものである。(sysfile.cを見よ)
その中で注目に値するシステムコールがいくつかある。

sys_linkとsys_unlinkシステムコールは、ディレクトリを変更し、inodeへの参照を生成したり消去したりする。
それらはトランザクションの便利さを示すいい例である。
sys_linkシステムコールは、その引数、oldとnewという文字列変数を取り出すところからはじめる。
oldは存在し、かつディレクトリではないと仮定し、sys_linkはそのip->nlinkをインクリメントする。
それからsys_linkは、newの親ディレクトリと最後のパス要素を探すためにnameiparent関数を呼び、そしてoldのinodeを参照する新しいディレクトリエントリを作成する。
newの親ディレクトリは存在している必要があり、oldのinodeと同じデバイス上になければならない。
inode番号は、一つのディスク上でのみ一意だからである。
以上のルールに沿わないようなエラーが起きた場合、sys_linkは途中まで行った操作を元に戻して、ip->nlinkをデクリメントしなければならない。

sys_linkは複数のディスクブロックを更新する必要があるので、トランザクションはその実装を単純化するが、どのような順番でブロックが更新されるかについては我々が心配する必要はない。
最終的には成功するか失敗するかのどちらかである。
例えば、トランザクション無しだと、リンクを作成するまえにip->nlinkを更新するときに、一時的にファイルシステムが危険な状態になり、その間にクラッシュが起きると、大破壊がもたらされるだろう。
トランザクションを使えば、このような事について心配する必要はなくなる。

sys_linkは、既存のinodeのための新しい名前を作成する。
create関数は、新しいinodeのための新しい名前を作成する。
create関数は、ファイル生成に関わる3つのシステムコールの処理を一般化したものである。
openシステムコールがO_CREATEフラグとともに呼ばれると、通常の新しいファイルを生成し、mkdirシステムコールは新しいディレクトリを作成し、mkdevシステムコールは新しいデバイスファイルを作成する。
sys_linkのように、create関数は、親ディレクトリのinodeを得るためにnameiparent関数を呼ぶことから初める。
それからdirlookup関数を使って、名前がすでに存在していないかチェックする。
名前がすでに存在していた場合、create関数の振る舞いはどのシステムコールに呼ばれたかに依存する。
名前がすでに存在しているという事実は、openでは、mkdirやmkdevとは違った意味を持つ。
createがopenのために呼ばれ(type == T_FILE)、名前がすでに存在し、それが通常のファイルだった場合、openは成功として扱い、createもそれに従う。
そうでなければエラーとなる。
名前が存在しない場合、createはiallocを使って新しいinodeを割り当てる。
新しいinodeがディレクトリである場合、createは”.”と”..”でそのエントリを初期化する。
最後に、そのデータが正常に初期化されたら、createはその親ディレクトリにそのディレクトリへのリンクを作成する。
createは、sys_linkのように、同時に2つのinode(ipとdp)のロックを保持する。
inode ipは新たに割り当てられたものなので、デッドロックは起こりえない。
まずipをロックし、それからdpをロックしようとするような他のプロセスは存在しない。

createを使うと、sys_open, sys_mkdir, sys_mknodの実装が簡単になる。
sys_openがその中では一番複雑である。
なぜなら新しいファイルを生成することは、それが出来ることの一部に過ぎないからである。
openにO_CREATEフラグが渡された場合、createを呼ぶ。
それ以外の場合は、nameiを呼ぶ。
createはロック済みのinodeを返すが、nameiはそうじゃないので、sys_openはそのinodeを自分自身でロックする。
これは、対象のinodeがディレクトリかつ読み込み専用で開かれてるだけかどうかをチェックするにはよい箇所である。
いずれにしても、inodeが得られたと仮定し、sys_openはファイルとファイルディスクリプタを割り当て、それからファイルのメタデータを設定する。
このファイルは、現在のプロセスのテーブルにしか存在しないので、初期化途中のファイルに他のプロセスがアクセスすることはないということに注意せよ。

第4章では、ファイルシステムの説明の前に、パイプの実装について説明した。
sys_pipe関数は、パイプの組を生成する方法を提供する事によって、ファイルシステムの実装への橋渡しをしている。
sys_pipeの引数は、2つの整数の領域を指すポインタであり、新しい2つのファイルディスクリプタを記録する場所になる。
sys_pipeはパイプを割り当て、ファイルディスクリプタにそのパイプを設定する。

sysfile.c

#include &quot;types.h&quot;<br />
#include &quot;defs.h&quot;<br />
#include &quot;param.h&quot;<br />
#include &quot;stat.h&quot;<br />
#include &quot;mmu.h&quot;<br />
#include &quot;proc.h&quot;<br />
#include &quot;fs.h&quot;<br />
#include &quot;file.h&quot;<br />
#include &quot;fcntl.h&quot;</p>
<p>// Fetch the nth word-sized system call argument as a file descriptor<br />
// and return both the descriptor and the corresponding struct file.<br />
static int<br />
argfd(int n, int *pfd, struct file **pf)<br />
{<br />
  int fd;<br />
  struct file *f;</p>
<p>  if(argint(n, &amp;fd) &lt; 0)<br />
    return -1;<br />
  if(fd &lt; 0 || fd &gt;= NOFILE || (f=proc-&gt;ofile[fd]) == 0)<br />
    return -1;<br />
  if(pfd)<br />
    *pfd = fd;<br />
  if(pf)<br />
    *pf = f;<br />
  return 0;<br />
}</p>
<p>// Allocate a file descriptor for the given file.<br />
// Takes over file reference from caller on success.<br />
static int<br />
fdalloc(struct file *f)<br />
{<br />
  int fd;</p>
<p>  for(fd = 0; fd &lt; NOFILE; fd++){<br />
    if(proc-&gt;ofile[fd] == 0){<br />
      proc-&gt;ofile[fd] = f;<br />
      return fd;<br />
    }<br />
  }<br />
  return -1;<br />
}</p>
<p>int<br />
sys_dup(void)<br />
{<br />
  struct file *f;<br />
  int fd;</p>
<p>  if(argfd(0, 0, &amp;f) &lt; 0)<br />
    return -1;<br />
  if((fd=fdalloc(f)) &lt; 0)<br />
    return -1;<br />
  filedup(f);<br />
  return fd;<br />
}</p>
<p>int<br />
sys_read(void)<br />
{<br />
  struct file *f;<br />
  int n;<br />
  char *p;</p>
<p>  if(argfd(0, 0, &amp;f) &lt; 0 || argint(2, &amp;n) &lt; 0 || argptr(1, &amp;p, n) &lt; 0)<br />
    return -1;<br />
  return fileread(f, p, n);<br />
}</p>
<p>int<br />
sys_write(void)<br />
{<br />
  struct file *f;<br />
  int n;<br />
  char *p;</p>
<p>  if(argfd(0, 0, &amp;f) &lt; 0 || argint(2, &amp;n) &lt; 0 || argptr(1, &amp;p, n) &lt; 0)<br />
    return -1;<br />
  return filewrite(f, p, n);<br />
}</p>
<p>int<br />
sys_close(void)<br />
{<br />
  int fd;<br />
  struct file *f;</p>
<p>  if(argfd(0, &amp;fd, &amp;f) &lt; 0)<br />
    return -1;<br />
  proc-&gt;ofile[fd] = 0;<br />
  fileclose(f);<br />
  return 0;<br />
}</p>
<p>int<br />
sys_fstat(void)<br />
{<br />
  struct file *f;<br />
  struct stat *st;</p>
<p>  if(argfd(0, 0, &amp;f) &lt; 0 || argptr(1, (void*)&amp;st, sizeof(*st)) &lt; 0)<br />
    return -1;<br />
  return filestat(f, st);<br />
}</p>
<p>// Create the path new as a link to the same inode as old.<br />
int<br />
sys_link(void)<br />
{<br />
  char name[DIRSIZ], *new, *old;<br />
  struct inode *dp, *ip;</p>
<p>  if(argstr(0, &amp;old) &lt; 0 || argstr(1, &amp;new) &lt; 0)<br />
    return -1;<br />
  if((ip = namei(old)) == 0)<br />
    return -1;</p>
<p>  begin_trans();</p>
<p>  ilock(ip);<br />
  if(ip-&gt;type == T_DIR){<br />
    iunlockput(ip);<br />
    commit_trans();<br />
    return -1;<br />
  }</p>
<p>  ip-&gt;nlink++;<br />
  iupdate(ip);<br />
  iunlock(ip);</p>
<p>  if((dp = nameiparent(new, name)) == 0)<br />
    goto bad;<br />
  ilock(dp);<br />
  if(dp-&gt;dev != ip-&gt;dev || dirlink(dp, name, ip-&gt;inum) &lt; 0){<br />
    iunlockput(dp);<br />
    goto bad;<br />
  }<br />
  iunlockput(dp);<br />
  iput(ip);</p>
<p>  commit_trans();</p>
<p>  return 0;</p>
<p>bad:<br />
  ilock(ip);<br />
  ip-&gt;nlink--;<br />
  iupdate(ip);<br />
  iunlockput(ip);<br />
  commit_trans();<br />
  return -1;<br />
}</p>
<p>// Is the directory dp empty except for &quot;.&quot; and &quot;..&quot; ?<br />
static int<br />
isdirempty(struct inode *dp)<br />
{<br />
  int off;<br />
  struct dirent de;</p>
<p>  for(off=2*sizeof(de); off&lt;dp-&gt;size; off+=sizeof(de)){<br />
    if(readi(dp, (char*)&amp;de, off, sizeof(de)) != sizeof(de))<br />
      panic(&quot;isdirempty: readi&quot;);<br />
    if(de.inum != 0)<br />
      return 0;<br />
  }<br />
  return 1;<br />
}</p>
<p>//PAGEBREAK!<br />
int<br />
sys_unlink(void)<br />
{<br />
  struct inode *ip, *dp;<br />
  struct dirent de;<br />
  char name[DIRSIZ], *path;<br />
  uint off;</p>
<p>  if(argstr(0, &amp;path) &lt; 0)<br />
    return -1;<br />
  if((dp = nameiparent(path, name)) == 0)<br />
    return -1;</p>
<p>  begin_trans();</p>
<p>  ilock(dp);</p>
<p>  // Cannot unlink &quot;.&quot; or &quot;..&quot;.<br />
  if(namecmp(name, &quot;.&quot;) == 0 || namecmp(name, &quot;..&quot;) == 0)<br />
    goto bad;</p>
<p>  if((ip = dirlookup(dp, name, &amp;off)) == 0)<br />
    goto bad;<br />
  ilock(ip);</p>
<p>  if(ip-&gt;nlink &lt; 1)<br />
    panic(&quot;unlink: nlink &lt; 1&quot;);<br />
  if(ip-&gt;type == T_DIR &amp;&amp; !isdirempty(ip)){<br />
    iunlockput(ip);<br />
    goto bad;<br />
  }</p>
<p>  memset(&amp;de, 0, sizeof(de));<br />
  if(writei(dp, (char*)&amp;de, off, sizeof(de)) != sizeof(de))<br />
    panic(&quot;unlink: writei&quot;);<br />
  if(ip-&gt;type == T_DIR){<br />
    dp-&gt;nlink--;<br />
    iupdate(dp);<br />
  }<br />
  iunlockput(dp);</p>
<p>  ip-&gt;nlink--;<br />
  iupdate(ip);<br />
  iunlockput(ip);</p>
<p>  commit_trans();</p>
<p>  return 0;</p>
<p>bad:<br />
  iunlockput(dp);<br />
  commit_trans();<br />
  return -1;<br />
}</p>
<p>static struct inode*<br />
create(char *path, short type, short major, short minor)<br />
{<br />
  uint off;<br />
  struct inode *ip, *dp;<br />
  char name[DIRSIZ];</p>
<p>  if((dp = nameiparent(path, name)) == 0)<br />
    return 0;<br />
  ilock(dp);</p>
<p>  if((ip = dirlookup(dp, name, &amp;off)) != 0){<br />
    iunlockput(dp);<br />
    ilock(ip);<br />
    if(type == T_FILE &amp;&amp; ip-&gt;type == T_FILE)<br />
      return ip;<br />
    iunlockput(ip);<br />
    return 0;<br />
  }</p>
<p>  if((ip = ialloc(dp-&gt;dev, type)) == 0)<br />
    panic(&quot;create: ialloc&quot;);</p>
<p>  ilock(ip);<br />
  ip-&gt;major = major;<br />
  ip-&gt;minor = minor;<br />
  ip-&gt;nlink = 1;<br />
  iupdate(ip);</p>
<p>  if(type == T_DIR){  // Create . and .. entries.<br />
    dp-&gt;nlink++;  // for &quot;..&quot;<br />
    iupdate(dp);<br />
    // No ip-&gt;nlink++ for &quot;.&quot;: avoid cyclic ref count.<br />
    if(dirlink(ip, &quot;.&quot;, ip-&gt;inum) &lt; 0 || dirlink(ip, &quot;..&quot;, dp-&gt;inum) &lt; 0)<br />
      panic(&quot;create dots&quot;);<br />
  }</p>
<p>  if(dirlink(dp, name, ip-&gt;inum) &lt; 0)<br />
    panic(&quot;create: dirlink&quot;);</p>
<p>  iunlockput(dp);</p>
<p>  return ip;<br />
}</p>
<p>int<br />
sys_open(void)<br />
{<br />
  char *path;<br />
  int fd, omode;<br />
  struct file *f;<br />
  struct inode *ip;</p>
<p>  if(argstr(0, &amp;path) &lt; 0 || argint(1, &amp;omode) &lt; 0)<br />
    return -1;<br />
  if(omode &amp; O_CREATE){<br />
    begin_trans();<br />
    ip = create(path, T_FILE, 0, 0);<br />
    commit_trans();<br />
    if(ip == 0)<br />
      return -1;<br />
  } else {<br />
    if((ip = namei(path)) == 0)<br />
      return -1;<br />
    ilock(ip);<br />
    if(ip-&gt;type == T_DIR &amp;&amp; omode != O_RDONLY){<br />
      iunlockput(ip);<br />
      return -1;<br />
    }<br />
  }</p>
<p>  if((f = filealloc()) == 0 || (fd = fdalloc(f)) &lt; 0){<br />
    if(f)<br />
      fileclose(f);<br />
    iunlockput(ip);<br />
    return -1;<br />
  }<br />
  iunlock(ip);</p>
<p>  f-&gt;type = FD_INODE;<br />
  f-&gt;ip = ip;<br />
  f-&gt;off = 0;<br />
  f-&gt;readable = !(omode &amp; O_WRONLY);<br />
  f-&gt;writable = (omode &amp; O_WRONLY) || (omode &amp; O_RDWR);<br />
  return fd;<br />
}</p>
<p>int<br />
sys_mkdir(void)<br />
{<br />
  char *path;<br />
  struct inode *ip;</p>
<p>  begin_trans();<br />
  if(argstr(0, &amp;path) &lt; 0 || (ip = create(path, T_DIR, 0, 0)) == 0){<br />
    commit_trans();<br />
    return -1;<br />
  }<br />
  iunlockput(ip);<br />
  commit_trans();<br />
  return 0;<br />
}</p>
<p>int<br />
sys_mknod(void)<br />
{<br />
  struct inode *ip;<br />
  char *path;<br />
  int len;<br />
  int major, minor;</p>
<p>  begin_trans();<br />
  if((len=argstr(0, &amp;path)) &lt; 0 ||<br />
     argint(1, &amp;major) &lt; 0 ||<br />
     argint(2, &amp;minor) &lt; 0 ||<br />
     (ip = create(path, T_DEV, major, minor)) == 0){<br />
    commit_trans();<br />
    return -1;<br />
  }<br />
  iunlockput(ip);<br />
  commit_trans();<br />
  return 0;<br />
}</p>
<p>int<br />
sys_chdir(void)<br />
{<br />
  char *path;<br />
  struct inode *ip;</p>
<p>  if(argstr(0, &amp;path) &lt; 0 || (ip = namei(path)) == 0)<br />
    return -1;<br />
  ilock(ip);<br />
  if(ip-&gt;type != T_DIR){<br />
    iunlockput(ip);<br />
    return -1;<br />
  }<br />
  iunlock(ip);<br />
  iput(proc-&gt;cwd);<br />
  proc-&gt;cwd = ip;<br />
  return 0;<br />
}</p>
<p>int<br />
sys_exec(void)<br />
{<br />
  char *path, *argv[MAXARG];<br />
  int i;<br />
  uint uargv, uarg;</p>
<p>  if(argstr(0, &amp;path) &lt; 0 || argint(1, (int*)&amp;uargv) &lt; 0){<br />
    return -1;<br />
  }<br />
  memset(argv, 0, sizeof(argv));<br />
  for(i=0;; i++){<br />
    if(i &gt;= NELEM(argv))<br />
      return -1;<br />
    if(fetchint(proc, uargv+4*i, (int*)&amp;uarg) &lt; 0)<br />
      return -1;<br />
    if(uarg == 0){<br />
      argv[i] = 0;<br />
      break;<br />
    }<br />
    if(fetchstr(proc, uarg, &amp;argv[i]) &lt; 0)<br />
      return -1;<br />
  }<br />
  return exec(path, argv);<br />
}</p>
<p>int<br />
sys_pipe(void)<br />
{<br />
  int *fd;<br />
  struct file *rf, *wf;<br />
  int fd0, fd1;</p>
<p>  if(argptr(0, (void*)&amp;fd, 2*sizeof(fd[0])) &lt; 0)<br />
    return -1;<br />
  if(pipealloc(&amp;rf, &amp;wf) &lt; 0)<br />
    return -1;<br />
  fd0 = -1;<br />
  if((fd0 = fdalloc(rf)) &lt; 0 || (fd1 = fdalloc(wf)) &lt; 0){<br />
    if(fd0 &gt;= 0)<br />
      proc-&gt;ofile[fd0] = 0;<br />
    fileclose(rf);<br />
    fileclose(wf);<br />
    return -1;<br />
  }<br />
  fd[0] = fd0;<br />
  fd[1] = fd1;<br />
  return 0;<br />
}

感想

ファイルシステム関連のシステムコールの実装についてです。

原文でも明記されてなかったりするので、システムコールという名称と関数という名称の使い分けが曖昧な部分があります。
まぁ関数のほうがより一般的な概念なのでどちらも関数と言っておけば間違いないと思いますが、システムコールに関しては、SYSCALLマクロで生成された(例えば)openのようなものだけをそう呼ぶのか、その実体である(例えば)sys_openまで含めるのかどうかが微妙なところです。

コメントを残す

メールアドレスが公開されることはありません。



※画像をクリックして別の画像を表示

このサイトはスパムを低減するために Akismet を使っています。コメントデータの処理方法の詳細はこちらをご覧ください