Re: Kernel Syscall from Ada?

[Florian Weimer <fw@deneb.enyo.de>]

* Diogenes:

> Is there a simple way to make a direct (Linux)Kernel syscall from Ada
> without using the system C library? i.e. Make a direct call as in
> Assembler?

glibc implements a lot of system calls as assembler stubs.  Some are
more complicated because emulation of certain features is desirable,
or there is no straight mapping between the application and kernel
parameter lists (e.g., the offset parameter to mmap).

Calling individual system calls in GNAT using machine code insertion
is not that hard (except for 6-argument system calls on i386 with
older GCC versions).  But designing a way to write such system calls
so that you do not have to tweak the sources for each architecture is
quite hard.  The lax C type system allows you to treat all system
calls as taking signed long arguments, returning signed long (*), and
you only have to specialize the number of arguments.  With the C
preprocessor, you can also deal with 64-bit arguments in a portable
manner (so that the source code denoting the system call is identical
across 32-bit and 64-bit architectures).  I doubt something similar is
possible in GNAT.

You also need to replicate all data types used in the userspace API,
which can be rather involved (stat is a bit complicated, and there are
many ioctls).

(*) Some architectures do not use in-band signaling for errno, and the
return convention is different.