update

[l4.git] / l4 / pkg / l4re_vfs / include / vfs.h

/*
 * (c) 2010 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
 *          Alexander Warg <warg@os.inf.tu-dresden.de>
 *     economic rights: Technische Universität Dresden (Germany)
 *
 * This file is part of TUD:OS and distributed under the terms of the
 * GNU General Public License 2.
 * Please see the COPYING-GPL-2 file for details.
 *
 * As a special exception, you may use this file as part of a free software
 * library without restriction.  Specifically, if other files instantiate
 * templates or use macros or inline functions from this file, or you compile
 * this file and link it with other files to produce an executable, this
 * file does not by itself cause the resulting executable to be covered by
 * the GNU General Public License.  This exception does not however
 * invalidate any other reasons why the executable file might be covered by
 * the GNU General Public License.
 */
#pragma once

#include <l4/sys/compiler.h>

#include <unistd.h>
#include <stdarg.h>
#include <fcntl.h>
#include <sys/stat.h>
#include <sys/mman.h>
#include <utime.h>
#include <errno.h>

#ifndef AT_FDCWD
# define AT_FDCWD -100
#endif

#ifdef __cplusplus

#include <l4/sys/capability>
#include <l4/re/cap_alloc>
#include <l4/re/dataspace>
#include <l4/cxx/ref_ptr>
#include <cstdlib>
#include <cstring>

namespace L4Re {
/**
 * \brief Virtual file system for interfaces POSIX libc.
 */
namespace Vfs {

class Mount_tree;
class File;

/**
 * \brief The common interface for an open POSIX file.
 *
 * This interface is common to all kinds of open files, independent of
 * the the file type (e.g., directory, regular file etc.).  However, in
 * the L4Re::Vfs the interface File is used for every real object.
 *
 * \see L4Re::Vfs::File for mor information.
 */
class Generic_file
{
public:
  virtual ~Generic_file() throw() = 0;
  /**
   * \brief Unlock all locks on the file.
   * \note All locks means all locks independent by which file
   *       the locks were taken.
   *
   * This method is called by the POSIX close implementation to
   * get the POSIX semantics of releasing all locks taken by this
   * application on a close for any fd referencing the real file.
   *
   * \return 0 on success, or <0 on error.
   */
  virtual int unlock_all_locks() throw() = 0;

  /**
   * \brief Get status information for the file.
   *
   * This is the backend for POSIX fstat, stat, fstat64 and friends.
   *
   * \retval buf This buffer is filled with the status information.
   * \return 0 on success, or <0 on error.
   */
  virtual int fstat64(struct stat64 *buf) const throw() = 0;

  /**
   * \brief Change POSIX access rights on that file.
   *
   * Backend for POSIX chmod and fchmod.
   */
  virtual int fchmod(mode_t) throw() = 0;

  /**
   * \brief Get file status flags (fcntl F_GETFL).
   *
   * This function is used by the fcntl implementation for the F_GETFL
   * command).
   *
   * \return flags such as #O_RDONLY, #O_WRONLY, #O_RDWR, #O_DIRECT, #O_ASYNC,
   *         #O_NOATIME, #O_NONBLOCK, or <0 on error.
   */
  virtual int get_status_flags() const throw() = 0;

  /**
   * \brief Set file status flags (fcntl F_SETFL).
   *
   * This function is used by the fcntl implementation for the F_SETFL
   * command).
   *
   * \param flags The file status flags to set. This must be a combination of
   *              #O_RDONLY, #O_WRONLY, #O_RDWR, #O_APPEND, #O_ASYNC,
   *              #O_DIRECT, #O_NOATIME, #O_NONBLOCK.
   *
   * \note Creation flags such as #O_CREAT, #O_EXCL, #O_NOCTTY, #O_TRUNC are
   *       ignored.
   *
   * \return 0 on success, or <0 on error.
   */
  virtual int set_status_flags(long flags) throw() = 0;

  virtual int utime(const struct utimbuf *) throw() = 0;
  virtual int utimes(const struct utimbuf [2]) throw() = 0;
  virtual ssize_t readlink(char *, size_t) = 0;
};

inline
Generic_file::~Generic_file() throw()
{}

/**
 * \brief Interface for a POSIX file that is a directory.
 *
 * This interface provides functionality for directory files
 * in the L4Re::Vfs. However, real objects use always the
 * combined L4Re::Vfs::File interface.
 */
class Directory
{
public:
  virtual ~Directory() throw() = 0;

  /**
   * \brief Check access permissions on the given file.
   *
   * Backend function for POSIX access and faccessat functions.
   *
   * \param path The path reltive to this directory.
   *             Note: \a path is relative to this directory and
   *             may contain subdirectories.
   * \param mode The access mode to check.
   * \param flags The flags as in POSIX faccessat (AT_EACCESS,
   *              AT_SYMLINK_NOFOLLOW).
   * \return 0 on success, or <0 on error.
   */
  virtual int faccessat(const char *path, int mode, int flags) throw() = 0;

  /**
   * \brief Create a new subdirectory.
   *
   * Backend for POSIX mkdir and mkdirat function calls.
   *
   * \param path The name of the subdirectory to create.
   *             Note: \a path is relative to this directory and
   *             may contain subdirectories.
   * \param mode The file mode to use for the new directory.
   * \return 0 on success, or <0 on error. -ENOTDIR if this or some component
   *         in path is is not a directory.
   */
  virtual int mkdir(const char *path, mode_t mode) throw() = 0;

  /**
   * \brief Unlink the given file from that directory.
   *
   * Backend for the POSIX unlink and unlinkat functions.
   *
   * \param path The name to the file to unlink. Note: \a path
   *             is relative to this directory and may
   *             contain subdirectories.
   * \return 0 on success, or <0 on error.
   */
  virtual int unlink(const char *path) throw() = 0;

  /**
   * \brief Rename the given file.
   *
   * Backend for the POSIX rename, renameat functions.
   *
   * \param src_path The old name to the file to rename.
   *                 Note: \a src_path is relative to this
   *                 directory and may contain subdirectories.
   * \param dst_path The new name for the file.
   *                 Note: \a dst_path is relative to this
   *                 directory and may contain subdirectories.
   * \return 0 on success, or <0 on error.
   */
  virtual int rename(const char *src_path, const char *dst_path) throw() = 0;

  /**
   * \brief Create a hard link (second name) for the given file.
   *
   * Backend for the POSIX link and linkat functions.
   *
   * \param src_path The old name to the file.
   *                 Note: \a src_path is relative to this
   *                 directory and may contain subdirectories.
   * \param dst_path The new (second) name for the file.
   *                 Note: \a dst_path is relative to this
   *                 directory and may contain subdirectories.
   * \return 0 on success, or <0 on error.
   */
  virtual int link(const char *src_path, const char *dst_path) throw() = 0;

  /**
   * \brief Create a symbolic link for the given file.
   *
   * Backend for the POSIX symlink and symlinkat functions.
   *
   * \param src_path The old name to the file.
   *                 Note: \a src_path shall be an absolute path.
   * \param dst_path The name for symlink.
   *                 Note: \a dst_path is relative to this
   *                 directory and may contain subdirectories.
   * \return 0 on success, or <0 on error.
   */
  virtual int symlink(const char *src_path, const char *dst_path) throw() = 0;

  /**
   * \brief Delete an empty directory.
   *
   * Backend for POSIX rmdir, rmdirat functions.
   *
   * \param path The name of the directory to remove.
   *             Note: \a path is relative to this
   *             directory and may contain subdirectories.
   * \return 0 on success, or <0 on error.
   */
  virtual int rmdir(const char *) throw() = 0;
  virtual int openat(const char *path, int flags, mode_t mode,
                     cxx::Ref_ptr<File> *f) throw() = 0;

  virtual ssize_t getdents(char *buf, size_t sizebytes) throw() = 0;

  /**
   * \internal
   */
  virtual int get_entry(const char *, int, mode_t, cxx::Ref_ptr<File> *) throw() = 0;
};

inline
Directory::~Directory() throw()
{}

/**
 * \brief Interface for a POSIX file that provides regular file semantics.
 *
 * Real objects use always the combined L4Re::Vfs::File interface.
 */
class Regular_file
{
public:
  virtual ~Regular_file() throw() = 0;

  /**
   * \brief Get an L4Re::Dataspace object for the file.
   *
   * This is used as a backend for POSIX mmap and mmap2 functions.
   * \note mmap is not possible if the functions returns an invalid
   *       capability.
   *
   * \return A capability to an L4Re::Dataspace, that represents the files
   *         contents in an L4Re way.
   */
  virtual L4::Cap<L4Re::Dataspace> data_space() const throw() = 0;

  /**
   * \brief Read one or more blocks of data from the file.
   *
   * This function acts as backend for POSIX read and readv calls and
   * reads data starting for the f_pos pointer of that open file.
   * The file pointer is advanced according to the number of red bytes.
   *
   * \return The number of bytes red from the file. or <0 on error-
   */
  virtual ssize_t readv(const struct iovec*, int iovcnt) throw() = 0;

  /**
   * \brief Write one or more blocks of data to the file.
   *
   * This function acts as backend for POSIX write and writev calls.
   * The data is written starting at the current file pointer and the
   * file pointer must be advanced according to the number of written
   * bytes.
   *
   * \return The number of bytes written to the file, or <0 on error.
   */
  virtual ssize_t writev(const struct iovec*, int iovcnt) throw() = 0;

  virtual ssize_t preadv(const struct iovec *iov, int iovcnt, off64_t offset) throw() = 0;
  virtual ssize_t pwritev(const struct iovec *iov, int iovcnt, off64_t offset) throw() = 0;

  /**
   * \brief Change the file pointer.
   *
   * This is the backend for POSIX seek, lseek and friends.
   *
   * \return The new file position, or <0 on error.
   */
  virtual off64_t lseek64(off64_t, int) throw() = 0;


  /**
   * \brief Truncate the file at the given position.
   *
   * This function is the backend for truncate and friends.
   * \param pos The offset at which the file shall be truncated.
   * \return 0 on success, or <0 on error.
   */
  virtual int ftruncate64(off64_t pos) throw() = 0;

  /**
   * \brief Sync the data and meta data to persistent storage.
   *
   * This is the backend for POSIX fsync.
   */
  virtual int fsync() const throw() = 0;

  /**
   * \brief Sync the data to persistent storage.
   *
   * This is the backend for POSIX fdatasync.
   */
  virtual int fdatasync() const throw() = 0;

  /**
   * \brief Test if the given lock can be placed in the file.
   *
   * This function is used as backend for fcntl F_GETLK commands.
   * \param lock The lock that shall be placed on the file. The
   *             \a l_type member will contain #F_UNLCK if the lock
   *             could be placed.
   * \return 0 on success, <0 on error.
   */
  virtual int get_lock(struct flock64 *lock) throw() = 0;

  /**
   * \brief Acquire or release the given lock on the file.
   *
   * This function is used as backend for fcntl F_SETLK and F_SETLKW commands.
   * \param lock The lock that shall be placed on the file.
   * \param wait If true, then block if there is a conflicting lock on the file.
   * \return 0 on success, <0 on error.
   */
  virtual int set_lock(struct flock64 *lock, bool wait) throw() = 0;
};

inline
Regular_file::~Regular_file() throw()
{}

/**
 * \brief Interface for a POSIX file that provides special file semantics.
 *
 * Real objects use always the combined L4Re::Vfs::File interface.
 */
class Special_file
{
public:
  virtual ~Special_file() throw() = 0;

  /**
   * \brief The famous IO control.
   *
   * Backend for POSIX generic object invocation ioctl.
   *
   * \param cmd The ioctl command.
   * \param args The arguments for the ioctl, usually some kind
   *             of pointer.
   * \return >=0 on success, or <0 on error.
   */
  virtual int ioctl(unsigned long cmd, va_list args) throw() = 0;
};

inline
Special_file::~Special_file() throw()
{}

/**
 * \brief The basic interface for an open POSIX file.
 *
 * An open POSIX file can be anything that hides behind a
 * POSIX file descriptor. This means that even a directories
 * are files.  An open file can be anything from a directory to a
 * special device file so see Generic_file, Regular_file, Directory,
 * and Special_file for more information.
 *
 * \note For implementing a backend for the L4Re::Vfs you may use
 *       L4Re::Vfs::Be_file as a base class.
 *
 */
class File :
  public Generic_file,
  public Regular_file,
  public Directory,
  public Special_file
{
  friend class Mount_tree;

private:
  void operator = (File const &);

protected:
  File() throw() : _ref_cnt(0) {}
  File(File const &)
  : Generic_file(),Regular_file(), Directory(), Special_file(), _ref_cnt(0)
  {}

public:

  const char *get_mount(const char *path, cxx::Ref_ptr<File> *dir,
                        cxx::Ref_ptr<Mount_tree> *mt = 0) throw();

  int openat(const char *path, int flags, mode_t mode,
             cxx::Ref_ptr<File> *f) throw();

  void add_ref() throw() { ++_ref_cnt; }
  int remove_ref() throw() { return --_ref_cnt; }

  virtual ~File() throw() = 0;

  cxx::Ref_ptr<Mount_tree> mount_tree() const throw()
  { return _mount_tree; }

private:
  int _ref_cnt;
  cxx::Ref_ptr<Mount_tree> _mount_tree;

};

inline
File::~File() throw()
{}

class Path
{
private:
  char const *_p;
  unsigned _l;

public:
  Path() throw() : _p(0), _l(0) {}

  explicit Path(char const *p) throw() : _p(p)
  { for (_l = 0; *p; ++p, ++_l) ; }

  Path(char const *p, unsigned l) throw() : _p(p), _l(l)
  {}

  static bool __is_sep(char s) throw();

  Path cmp_path(char const *prefix) const throw();

  struct Invalid_ptr;
  operator Invalid_ptr const * () const
  { return reinterpret_cast<Invalid_ptr const *>(_p); }

  unsigned length() const { return _l; }
  char const *path() const { return _p; }

  bool empty() const { return _l == 0; }

  bool is_sep(unsigned offset) const { return __is_sep(_p[offset]); }

  bool strip_sep()
  {
    bool s = false;
    for (; __is_sep(*_p) && _l; ++_p, --_l)
      s = true;
    return s;
  }

  Path first() const
  {
    unsigned i;
    for (i = 0; i < _l && !is_sep(i); ++i)
      ;

    return Path(_p, i);
  }

  Path strip_first()
  {
    Path r = first();
    _p += r.length();
    _l -= r.length();
    strip_sep();
    return r;
  }

};


/**
 * \internal
 * \brief Internal representation for a tree of mount points.
 * \note You should never need to deal with a Mount_tree objects
 *       directly.
 */
class Mount_tree
{
public:

  explicit Mount_tree(char *n) throw();

  Path lookup(Path const &path, cxx::Ref_ptr<Mount_tree> *mt,
              cxx::Ref_ptr<Mount_tree> *mp = 0) throw();

  Path find(Path const &p, cxx::Ref_ptr<Mount_tree> *t) throw();

  cxx::Ref_ptr<File> mount() const
  { return _mount; }

  void mount(cxx::Ref_ptr<File> const &m)
  {
    m->_mount_tree = this;
    _mount = m;
  }

  static int create_tree(cxx::Ref_ptr<Mount_tree> const &root,
                         char const *path,
                         cxx::Ref_ptr<File> const &dir) throw();

  void add_child_node(Mount_tree *cld);

  virtual ~Mount_tree() throw()  = 0;

  void add_ref() throw() { ++_ref_cnt; }
  int remove_ref() throw() { return --_ref_cnt; }

private:
  friend class Real_mount_tree;

  int _ref_cnt;
  char *_name;
  cxx::Ref_ptr<Mount_tree> _cld;
  cxx::Ref_ptr<Mount_tree> _sib;
  cxx::Ref_ptr<File> _mount;
};

inline
Mount_tree::~Mount_tree() throw()
{}

inline bool
Path::__is_sep(char s) throw()
{ return s == '/'; }

inline Path
Path::cmp_path(char const *n) const throw()
{
  char const *p = _p;
  for (; *p && !__is_sep(*p) && *n; ++p, ++n)
    if (*p != *n)
      return Path();

  if (*n || (*p && !__is_sep(*p)))
    return Path();

  return Path(p, _l - (p - _p));
}

inline
Mount_tree::Mount_tree(char *n) throw()
: _ref_cnt(0), _name(n)
{}

inline Path
Mount_tree::find(Path const &p, cxx::Ref_ptr<Mount_tree> *t) throw()
{
  if (!_cld)
    return Path();

  for (cxx::Ref_ptr<Mount_tree> x = _cld; x; x = x->_sib)
    {
      Path const r = p.cmp_path(x->_name);
      if (r)
        {
          *t = x;
          return r;
        }
    }

  return Path();
}

inline Path
Mount_tree::lookup(Path const &path, cxx::Ref_ptr<Mount_tree> *mt,
                   cxx::Ref_ptr<Mount_tree> *mp) throw()
{
  cxx::Ref_ptr<Mount_tree> x(this);
  Path p = path;
  Path last_mp = p;

  if (mp)
    *mp = this;

  while (1)
    {
      Path r = x->find(p, &x);

      if (!r)
        {
          if (mp)
            return last_mp;

          if (mt)
            *mt = x;

          return p;
        }

      r.strip_sep();

      if (mp && x->_mount)
        {
          last_mp = r;
          *mp = x;
        }

      if (r.empty())
        {
          if (mt)
            *mt = x;

          if (mp)
            return last_mp;
          else
            return r;
        }

      p = r;
    }
}

inline
void
Mount_tree::add_child_node(Mount_tree *cld)
{
  cld->_sib = _cld;
  _cld = cld;
}

/**
 * \internal
 * \brief This is an instantiatable mount-tree derivate.
 */
class Real_mount_tree : public Mount_tree
{
public:
  explicit Real_mount_tree(char *n) : Mount_tree(n) {}
};

inline int
Mount_tree::create_tree(cxx::Ref_ptr<Mount_tree> const &root,
                        char const *path, cxx::Ref_ptr<File> const &dir) throw()
{
  cxx::Ref_ptr<Mount_tree> base;
  Path p = root->lookup(Path(path), &base);

  while (!p.empty())
    {
      Path f = p.strip_first();

      if (f.empty())
        return -EEXIST;

      char *name = strndup(f.path(), f.length());
      if (!name)
        return -ENOMEM;

      cxx::Ref_ptr<Mount_tree> nt(new Real_mount_tree(name));
      if (!nt)
        {
          free(name);
          return -ENOMEM;
        }

      nt->_sib = base->_cld;
      base->_cld = nt;

      base = nt;

      if (p.empty())
        {
          nt->_mount = dir;
          return 0;
        }
    }

  return -EINVAL;
}

inline
const char *
File::get_mount(const char *path, cxx::Ref_ptr<File> *dir,
                cxx::Ref_ptr<Mount_tree> *mt) throw()
{
  if (!_mount_tree)
    {
      *dir = this;
      return path;
    }

  cxx::Ref_ptr<Mount_tree> mp;
  Path p = _mount_tree->lookup(Path(path), mt, &mp);
  if (mp->mount())
    {
      *dir = mp->mount();
      return p.path();
    }
  else
    {
      *dir = this;
      return path;
    }
}

inline int
File::openat(const char *path, int flags, mode_t mode,
             cxx::Ref_ptr<File> *f) throw()
{
  cxx::Ref_ptr<File> dir;
  cxx::Ref_ptr<Mount_tree> mt;
  path = get_mount(path, &dir, &mt);

  int res = dir->get_entry(path, flags, mode, f);

  if (res < 0)
    return res;

  if (!(*f)->_mount_tree && mt)
    (*f)->_mount_tree = mt;

  return res;
}

/**
 * \brief Interface for the POSIX memory management.
 * \note This interface exists usually as a singleton as superclass
 *       of L4Re::Vfs::Ops.
 *
 * An implementation for this interface is in l4/l4re_vfs/impl/vfs_impl.h
 * and used by the l4re_vfs library or by the VFS implementation in lsdo.
 */
class Mman
{
public:
  /// Backend for the mmap2 system call.
  virtual int mmap2(void *start, size_t len, int prot, int flags, int fd,
                    off_t offset, void **ptr) throw() = 0;

  /// Backend for the munmap system call.
  virtual int munmap(void *start, size_t len) throw() = 0;

  /// Backend for the mremap system call.
  virtual int mremap(void *old, size_t old_sz, size_t new_sz, int flags,
                     void **new_adr) throw() = 0;

  /// Backend for the mprotect system call.
  virtual int mprotect(const void *a, size_t sz, int prot) throw() = 0;

  /// Backend for the msync system call
  virtual int msync(void *addr, size_t len, int flags) throw() = 0;

  /// Backend for the madvice system call
  virtual int madvise(void *addr, size_t len, int advice) throw() = 0;

  virtual ~Mman() throw() = 0;
};

inline
Mman::~Mman() throw() {}

/**
 * \brief Basic interface for an L4Re::Vfs file system.
 * \note For implementing a special file system you may
 *       use L4Re::Vfs::Be_file_system as a base class.
 *
 * The may purpose of this interface is that there is a
 * single object for each supported file-system type (e.g., ext2, vfat)
 * exists in your application and is registered at the L4Re::Vfs::Fs
 * singleton available in via L4Re::Vfs::vfs_ops.
 * At the end the POSIX mount function call the File_system::mount method
 * for the given file-system type given in mount.
 *
 */
class File_system
{
protected:
  File_system *_next;

public:
  File_system() throw() : _next(0) {}
  /**
   * \brief Returns the type of the file system, used in mount as fstype
   * argument.
   * \note This method is already provided by Be_file_system.
   */
  virtual char const *type() const throw() = 0;

  /**
   * \brief Create a directory object \a dir representing \a source
   *        mounted with this file system.
   *
   * \param source The path to the source device to mount. This may
   *               also be some URL or anything file-system specific.
   * \param mountflags The mount flags as specified in the POSIX
   *                   mount call.
   * \param data The data as specified in the POSIX mount call. The
   *             contents are file-system specific.
   * \retval dir A new directory object representing the file-system
   *             root directory.
   * \return 0 on success, and <0 on error (e.g. -EINVAL).
   *
   */
  virtual int mount(char const *source, unsigned long mountflags,
                    void const *data, cxx::Ref_ptr<File> *dir) throw() = 0;

  virtual ~File_system() throw() = 0;

  /**
   * \internal
   * \brief Get the next file system in the internal registry.
   */
  File_system *next() const throw() { return _next; }
  File_system *&next() throw() { return _next; }
  void next(File_system *n) throw() { _next = n; }
};

inline
File_system::~File_system() throw()
{}

/**
 * \brief POSIX File-system related functionality.
 * \note This class usually exists as a singleton as a superclass
 *       of L4Re::Vfs::Ops (\see L4Re::Vfs::vfs_ops).
 */
class Fs
{
public:
  /**
   * \brief Get the L4Re::Vfs::File for the file descriptor \a fd.
   * \param fd The POSIX file descriptor number.
   * \return A pointer to the File object, or 0 if \a fd is not open.
   */
  virtual cxx::Ref_ptr<File> get_file(int fd) throw() = 0;

  /// Get the directory object for the applications root directory.
  virtual cxx::Ref_ptr<File> get_root() throw() = 0;

  /// Get the directory object for the applications current working directory.
  virtual cxx::Ref_ptr<File> get_cwd() throw() { return get_root(); }

  /// Set the current working directory for the application.
  virtual void set_cwd(cxx::Ref_ptr<File> const &) throw() {}

  /**
   * \brief Allocate the next free file descriptor.
   * \param f The file to assign to that file descriptor.
   * \return the allocated file descriptor, or -EMFILE on error.
   */
  virtual int alloc_fd(cxx::Ref_ptr<File> const &f = cxx::Ref_ptr<>::Nil) throw() = 0;

  /**
   * \brief Set the file object referenced by the file descriptor \a fd.
   * \param fd The file descriptor to set to \a f;
   * \param f The file object to assign.
   * \return A pointer to the file object that was previously assigned to fd.
   */
  virtual cxx::Ref_ptr<File> set_fd(int fd, cxx::Ref_ptr<File> const &f = cxx::Ref_ptr<>::Nil) throw() = 0;

  /**
   * \brief Free the file descriptor \a fd.
   * \param fd The file descriptor to free.
   * \return A pointer to the file object that was assigned to the fd.
   */
  virtual cxx::Ref_ptr<File> free_fd(int fd) throw() = 0;

  /**
   * \brief Mount a given file object at the given global path in the VFS.
   * \param path The global path to mount \a dir at.
   * \param dir A pointer to the file/directory object that shall be mountet
   *            at \a path.
   * \return 0 on success, or <0 on error.
   */
  int mount(char const *path, cxx::Ref_ptr<File> const &dir) throw();

  /**
   * \internal
   * \brief Register a file-system type in the global registry.
   * \note this is done automatically by Be_file_system.
   * \param f A pointer to the file system to register.
   * \return 0 on success, or <0 on error.
   */
  virtual int register_file_system(File_system *f) throw() = 0;

  /**
   * \internal
   * \brief Removed the given file system from the global registry.
   * \note This is done automatically by Be_file_system.
   * \param f The file system instance to remove from the registry.
   * \return 0 on success, <0 on error.
   */
  virtual int unregister_file_system(File_system *f) throw() = 0;

  /**
   * \internal
   * \brief Find the file-system object for the given file-system type.
   * \note This function is used by the mount.
   * \param fstype The file-system type (e.g. ext, vfat).
   * \return A pointer to the file-system object, or 0 on error.
   */
  virtual File_system *get_file_system(char const *fstype) throw() = 0;

  /**
   * \brief Backend for the POSIX mount call.
   */
  int mount(char const *source, char const *target,
            char const *fstype, unsigned long mountflags,
            void const *data) throw();

  virtual ~Fs() = 0;
};


inline int
Fs::mount(char const *path, cxx::Ref_ptr<File> const &dir) throw()
{
  if (cxx::Ref_ptr<Mount_tree> root = get_root()->mount_tree())
    return Mount_tree::create_tree(root, path, dir);

  return -EINVAL;
}

inline int
Fs::mount(char const *source, char const *target,
          char const *fstype, unsigned long mountflags,
          void const *data) throw()
{
  File_system *fs = get_file_system(fstype);

  if (!fs)
    return -ENODEV;

  cxx::Ref_ptr<File> dir;
  int res = fs->mount(source, mountflags, data, &dir);

  if (res < 0)
    return res;

  return mount(target, dir);
}

inline
Fs::~Fs()
{}

class App_api
{
public:
  virtual Cap_alloc *cap_alloc() throw() = 0;
  virtual ~App_api() = 0;
};

inline
App_api::~App_api()
{}

/**
 * \brief Interface for the POSIX backends for an application.
 * \note There usually exists a singe instance of this interface
 *       available via L4Re::Vfs::vfs_ops that is used for all
 *       kinds of C-Library functions.
 */
class Ops : public Mman, public Fs, public App_api
{
public:
  virtual ~Ops() throw() = 0;
};

inline
Ops::~Ops() throw()
{}



}}

#endif