378

I am trying to understand how a function, say mkdir, works by looking at the kernel source. This is an attempt to understand the kernel internals and navigate between various functions. I know mkdir is defined in sys/stat.h. I found the prototype:

/* Create a new directory named PATH, with permission bits MODE.  */
extern int mkdir (__const char *__path, __mode_t __mode)
     __THROW __nonnull ((1));

Now I need to see in which C file this function is implemented. From the source directory, I tried

ack "int mkdir"

which displayed

security/inode.c
103:static int mkdir(struct inode *dir, struct dentry *dentry, int mode)

tools/perf/util/util.c
4:int mkdir_p(char *path, mode_t mode)

tools/perf/util/util.h
259:int mkdir_p(char *path, mode_t mode);

But none of them matches the definition in sys/stat.h.

Questions

  1. Which file has the mkdir implementation?
  2. With a function definition like the above, how can I find out which file has the implementation? Is there any pattern which the kernel follows in defining and implementing methods?

NOTE: I am using kernel 2.6.36-rc1.

1
  • 2
    By the way, check out this: voinici.ceata.org/~tct/resurse/utlk.pdf
    – Student
    Commented Jul 26, 2012 at 13:53

8 Answers 8

389

System calls aren't handled like regular function calls. It takes special code to make the transition from user space to kernel space, basically a bit of inline assembly code injected into your program at the call site. The kernel side code that "catches" the system call is also low-level stuff you probably don't need to understand deeply, at least at first.

In include/linux/syscalls.h under your kernel source directory, you find this:

asmlinkage long sys_mkdir(const char __user *pathname, int mode);

Then in /usr/include/asm*/unistd.h, you find this:

#define __NR_mkdir                              83
__SYSCALL(__NR_mkdir, sys_mkdir)

This code is saying mkdir(2) is system call #83. That is to say, system calls are called by number, not by address as with a normal function call within your own program or to a function in a library linked to your program. The inline assembly glue code I mentioned above uses this to make the transition from user to kernel space, taking your parameters along with it.

Another bit of evidence that things are a little weird here is that there isn't always a strict parameter list for system calls: open(2), for instance, can take either 2 or 3 parameters. That means open(2) is overloaded, a feature of C++, not C, yet the syscall interface is C-compatible. (This is not the same thing as C's varargs feature, which allows a single function to take a variable number of arguments.)

To answer your first question, there is no single file where mkdir() exists. Linux supports many different file systems and each one has its own implementation of the "mkdir" operation. The abstraction layer that lets the kernel hide all that behind a single system call is called the VFS. So, you probably want to start digging in fs/namei.c, with vfs_mkdir(). The actual implementations of the low-level file system modifying code are elsewhere. For instance, the ext4 implementation is called ext4_mkdir(), defined in fs/ext4/namei.c.

As for your second question, yes there are patterns to all this, but not a single rule. What you actually need is a fairly broad understanding of how the kernel works in order to figure out where you should look for any particular system call. Not all system calls involve the VFS, so their kernel-side call chains don't all start in fs/namei.c. mmap(2), for instance, starts in mm/mmap.c, because it's part of the memory management ("mm") subsystem of the kernel.

I recommend you get a copy of "Understanding the Linux Kernel" by Bovet and Cesati.

4
  • Very good answer. One point about the book you mention, "Understanding the Linux Kernel". I dont have it, but from the release date (2000) and TOC (at oreilly site) seem to me that is about 2.2 kernels plus some insights from 2.4 kernels (but I my be wrong). My question is: there is an equivalent book that cover 2.6 kernels internals ? (or even better that cover 2.2, 2.4 and 2.6) ?
    – DavAlPi
    Commented May 14, 2013 at 14:27
  • 2
    @DavAlPi: As far as I'm aware, Bovet & Cesati is still the best single book on this topic. When I need to supplement it with more up to date material, I go digging in the Documentation subdirectory of the source tree for the kernel I'm working with. Commented May 14, 2013 at 17:28
  • 1
    In fact open(2) is a varargs function. There are only two ways to call it, so the manpage documents it this way, the actual prototype has ... in it as any varargs function. Of course, this is implemented at the libc level. It may pass either 0 or a garbage value to the kernel ABI when the third parameter is not used.
    – Random832
    Commented Jan 19, 2017 at 16:48
  • 1
    "It's something you don't need to understand". World would be a better place if this kind of sentence was nowhere to find on stackexchange network.
    – Petr
    Commented Sep 29, 2017 at 7:37
85

This probably doesn't answer your question directly, but I've found strace to be really cool when trying to understand the underlying system calls, in action, that are made for even the simplest shell commands. e.g.

strace -o trace.txt mkdir mynewdir

The system calls for the command mkdir mynewdir will be dumped to trace.txt for your viewing pleasure.

2
  • 5
    +1 Neat trick! I'd not used that before Commented Nov 16, 2010 at 20:42
  • 3
    Better yet, make the output file trace.strace, and open it in VIM. VIM will highlight it, making reading it a lot easier.
    – Marcin
    Commented Aug 23, 2016 at 14:25
57

A good place to read the Linux kernel source is the Linux cross-reference (LXR)¹. Searches return typed matches (functions prototypes, variable declarations, etc.) in addition to free text search results, so it's handier than a mere grep (and faster too).

LXR doesn't expand preprocessor definitions. System calls have their name mangled by the preprocessor all over the place. However, most (all?) system calls are defined with one of the SYSCALL_DEFINEx families of macros. Since mkdir takes two arguments, a search for SYSCALL_DEFINE2(mkdir leads to the declaration of the mkdir syscall:

SYSCALL_DEFINE2(mkdir, const char __user *, pathname, int, mode)
{
    return sys_mkdirat(AT_FDCWD, pathname, mode);
}

ok, sys_mkdirat means it's the mkdirat syscall, so clicking on it only leads you to the declaration in include/linux/syscalls.h, but the definition is just above.

The main job of mkdirat is to call vfs_mkdir (VFS is the generic filesystem layer). Cliking on that shows two search results: the declaration in include/linux/fs.h, and the definition a few lines above. The main job of vfs_mkdir is to call the filesystem-specific implementation: dir->i_op->mkdir. To find how this is implemented, you need to turn to the implementation of the individual filesystem, and there's no hard-and-fast rule — it could even be a module outside the kernel tree.

¹ LXR is an indexing program. There are several websites that provide an interface to LXR, with slightly different sets of known versions and slightly different web interfaces. They tend to come and go, so if the one you're used to isn't available, do a web search for “linux cross-reference” to find another.

0
23

System calls are usually wrapped in the SYSCALL_DEFINEx() macro, which is why a simple grep doesn't find them:

fs/namei.c:SYSCALL_DEFINE2(mkdir, const char __user *, pathname, int, mode)

The final function name after the macro is expanded ends up being sys_mkdir. The SYSCALL_DEFINEx() macro adds boilerplate things like tracing code that each syscall definition needs to have.

17

Note: the .h file doesn't define the function. It's declared in that .h file and defined (implemented) elsewhere. This allows the compiler to include information about the function's signature (prototype) to allow type checking of arguments and match the return types to any calling contexts in your code.

In general .h (header) files in C are used to declare functions and define macros.

mkdir in particular is a system call. There may be a GNU libc wrapper around that system call (almost certainly is, in fact). The true kernel implementation of mkdir can be found by searching the kernel sources and the system calls in particular.

Note that there will also be an implementation of some sort of directory creation code for each filesystem. The VFS (virtual filesystem) layer provides a common API which the system call layer can call into. Every filesystem must register functions for the VFS layer to call into. This allows different filesystems to implement their own semantics for how directories are structured (for example if they are stored using some sort of hashing scheme to make searching for specific entries more efficient). I mention this because you're likely to trip over these filesystem specific directory creation functions if you're searching the Linux kernel source tree.

8

None of the implementations you found matches the prototype in sys/stat.h Maybe searching for an include statement with this header file would be more successful?

1
  • 1
    The implementation (as described in sys/stat.h) is the business of userland and libc. The kernel internal stuff (how it is really done) is kernel internal business. For all the kernel hackers care, the internal function could be called xyzzy and take 5 parameters. It is libc's job to take the userland call, translate it into whatever kernel incantations are required, ship it off and collect any results.
    – vonbrand
    Commented Jan 16, 2013 at 3:42
6

Here are a couple really great blog posts describing various techniques for hunting down low-level kernel source code.

1
  • 12
    Please don't post just links to blogs or forums, summarize their contents so that readers can see what they're about, and to have something left if the sites disappear. Also, your first link is about libc, which is off-topic for this question. Commented Jan 13, 2011 at 22:24
0

You can use ftrace to inspect the syscall implementatio, and check how it executes.

  1. enable ftrace in your kernel. (Google for how to enable)
  2. mount tracefs mount -t tracefs nodev /sys/kernel/tracing
  3. Determine the syscall name. Say, you want to know how mmap executes.
# grep sys_mmap /sys/kernel/tracing/available_filter_functions
__arm64_sys_mmap
ksys_mmap_pgoff
__arm64_sys_mmap_pgoff

So the mmap syscall is implemented as __arm64_sys_mmap on an ARM64 machine.

  1. Write a simple user space program:
// clear everying
system("echo nop > /sys/kernel/tracing/current_tracer");
system("echo  > /sys/kernel/tracing/trace");

snprintf(cmd, sizeof(cmd), "echo %d > /sys/kernel/tracing/set_ftrace_pid", getpid());
system(cmd);
system("echo __arm64_sys_mmap > /sys/kernel/tracing/set_graph_function");
system("echo function_graph > /sys/kernel/tracing/current_tracer");

mem = mmap(NULL, size, PROT_READ|PROT_WRITE, 0, fd, 0);
  1. When the program exits, show the ftrace result:
# cat /sys/kernel/tracing/trace
# tracer: function_graph
#
# CPU  DURATION                  FUNCTION CALLS
# |     |   |                     |   |   |   |
 0)               |  __arm64_sys_mmap() {
 0)               |    ksys_mmap_pgoff() {
 0)               |      fget() {
 0)   2.560 us    |        __rcu_read_lock();
 0)   1.600 us    |        __rcu_read_unlock();
 0) + 17.104 us   |      }
 0)   2.080 us    |      is_file_shm_hugepages();
 0)               |      vm_mmap_pgoff() {
 0)               |        security_mmap_file() {
 0)   1.648 us    |          cap_mmap_file();
 0)   8.256 us    |        }
 0)   2.128 us    |        down_write_killable();
 0)               |        do_mmap() {
 0)               |          get_unmapped_area() {
 0)               |            arch_get_unmapped_area_topdown() {
 0)               |              generic_get_unmapped_area_topdown() {
 0)   6.272 us    |                vm_unmapped_area();
 0) + 12.736 us   |              }
 0) + 18.032 us   |            }
 0)               |            security_mmap_addr() {
 0)   2.480 us    |              cap_mmap_addr();
 0)   8.256 us    |            }
 0) + 36.208 us   |          }
 0) + 44.128 us   |        }
 0)   2.320 us    |        up_write();
 0) + 72.608 us   |      }
 0)   2.288 us    |      fput();
 0) ! 111.616 us  |    }
 0) ! 136.832 us  |  }

In this example, mmap syscall failed and returned from cap_mmap_addr(). Because I passed 0 to the flag parameter. man mmap says that at least one of MAP_SHARED/MAP_SHARED_VALIDATE/MAP_PRIVATE shall be specified in flag parameter.

Conclusion: with ftrace, you can see how a syscall is implemented, and how it executes. It also helps you to find out that why your syscall fails.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .