Initial import of the muenfs Linux kernel module
authorReto Buerki <reet@codelabs.ch>
Thu, 2 Apr 2015 13:52:36 +0000 (15:52 +0200)
committerReto Buerki <reet@codelabs.ch>
Wed, 15 Apr 2015 13:53:42 +0000 (15:53 +0200)
The muenfs kernel module implements a virtual file system that
facilitates user-space access to shared memory channels provided by the
Muen Separation Kernel [1]. See the README.md file for more information.

[1] - http://muen.sk

COPYING [new file with mode: 0644]
Makefile [new file with mode: 0644]
README.md [new file with mode: 0644]
fs.c [new file with mode: 0644]
internal.h [new file with mode: 0644]
main.c [new file with mode: 0644]
test/Makefile [new file with mode: 0644]
test/muenfs-marker.c [new file with mode: 0644]
test/muenfs-test.c [new file with mode: 0644]

diff --git a/COPYING b/COPYING
new file mode 100644 (file)
index 0000000..d159169
--- /dev/null
+++ b/COPYING
@@ -0,0 +1,339 @@
+                    GNU GENERAL PUBLIC LICENSE
+                       Version 2, June 1991
+
+ Copyright (C) 1989, 1991 Free Software Foundation, Inc.,
+ 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ Everyone is permitted to copy and distribute verbatim copies
+ of this license document, but changing it is not allowed.
+
+                            Preamble
+
+  The licenses for most software are designed to take away your
+freedom to share and change it.  By contrast, the GNU General Public
+License is intended to guarantee your freedom to share and change free
+software--to make sure the software is free for all its users.  This
+General Public License applies to most of the Free Software
+Foundation's software and to any other program whose authors commit to
+using it.  (Some other Free Software Foundation software is covered by
+the GNU Lesser General Public License instead.)  You can apply it to
+your programs, too.
+
+  When we speak of free software, we are referring to freedom, not
+price.  Our General Public Licenses are designed to make sure that you
+have the freedom to distribute copies of free software (and charge for
+this service if you wish), that you receive source code or can get it
+if you want it, that you can change the software or use pieces of it
+in new free programs; and that you know you can do these things.
+
+  To protect your rights, we need to make restrictions that forbid
+anyone to deny you these rights or to ask you to surrender the rights.
+These restrictions translate to certain responsibilities for you if you
+distribute copies of the software, or if you modify it.
+
+  For example, if you distribute copies of such a program, whether
+gratis or for a fee, you must give the recipients all the rights that
+you have.  You must make sure that they, too, receive or can get the
+source code.  And you must show them these terms so they know their
+rights.
+
+  We protect your rights with two steps: (1) copyright the software, and
+(2) offer you this license which gives you legal permission to copy,
+distribute and/or modify the software.
+
+  Also, for each author's protection and ours, we want to make certain
+that everyone understands that there is no warranty for this free
+software.  If the software is modified by someone else and passed on, we
+want its recipients to know that what they have is not the original, so
+that any problems introduced by others will not reflect on the original
+authors' reputations.
+
+  Finally, any free program is threatened constantly by software
+patents.  We wish to avoid the danger that redistributors of a free
+program will individually obtain patent licenses, in effect making the
+program proprietary.  To prevent this, we have made it clear that any
+patent must be licensed for everyone's free use or not licensed at all.
+
+  The precise terms and conditions for copying, distribution and
+modification follow.
+
+                    GNU GENERAL PUBLIC LICENSE
+   TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
+
+  0. This License applies to any program or other work which contains
+a notice placed by the copyright holder saying it may be distributed
+under the terms of this General Public License.  The "Program", below,
+refers to any such program or work, and a "work based on the Program"
+means either the Program or any derivative work under copyright law:
+that is to say, a work containing the Program or a portion of it,
+either verbatim or with modifications and/or translated into another
+language.  (Hereinafter, translation is included without limitation in
+the term "modification".)  Each licensee is addressed as "you".
+
+Activities other than copying, distribution and modification are not
+covered by this License; they are outside its scope.  The act of
+running the Program is not restricted, and the output from the Program
+is covered only if its contents constitute a work based on the
+Program (independent of having been made by running the Program).
+Whether that is true depends on what the Program does.
+
+  1. You may copy and distribute verbatim copies of the Program's
+source code as you receive it, in any medium, provided that you
+conspicuously and appropriately publish on each copy an appropriate
+copyright notice and disclaimer of warranty; keep intact all the
+notices that refer to this License and to the absence of any warranty;
+and give any other recipients of the Program a copy of this License
+along with the Program.
+
+You may charge a fee for the physical act of transferring a copy, and
+you may at your option offer warranty protection in exchange for a fee.
+
+  2. You may modify your copy or copies of the Program or any portion
+of it, thus forming a work based on the Program, and copy and
+distribute such modifications or work under the terms of Section 1
+above, provided that you also meet all of these conditions:
+
+    a) You must cause the modified files to carry prominent notices
+    stating that you changed the files and the date of any change.
+
+    b) You must cause any work that you distribute or publish, that in
+    whole or in part contains or is derived from the Program or any
+    part thereof, to be licensed as a whole at no charge to all third
+    parties under the terms of this License.
+
+    c) If the modified program normally reads commands interactively
+    when run, you must cause it, when started running for such
+    interactive use in the most ordinary way, to print or display an
+    announcement including an appropriate copyright notice and a
+    notice that there is no warranty (or else, saying that you provide
+    a warranty) and that users may redistribute the program under
+    these conditions, and telling the user how to view a copy of this
+    License.  (Exception: if the Program itself is interactive but
+    does not normally print such an announcement, your work based on
+    the Program is not required to print an announcement.)
+
+These requirements apply to the modified work as a whole.  If
+identifiable sections of that work are not derived from the Program,
+and can be reasonably considered independent and separate works in
+themselves, then this License, and its terms, do not apply to those
+sections when you distribute them as separate works.  But when you
+distribute the same sections as part of a whole which is a work based
+on the Program, the distribution of the whole must be on the terms of
+this License, whose permissions for other licensees extend to the
+entire whole, and thus to each and every part regardless of who wrote it.
+
+Thus, it is not the intent of this section to claim rights or contest
+your rights to work written entirely by you; rather, the intent is to
+exercise the right to control the distribution of derivative or
+collective works based on the Program.
+
+In addition, mere aggregation of another work not based on the Program
+with the Program (or with a work based on the Program) on a volume of
+a storage or distribution medium does not bring the other work under
+the scope of this License.
+
+  3. You may copy and distribute the Program (or a work based on it,
+under Section 2) in object code or executable form under the terms of
+Sections 1 and 2 above provided that you also do one of the following:
+
+    a) Accompany it with the complete corresponding machine-readable
+    source code, which must be distributed under the terms of Sections
+    1 and 2 above on a medium customarily used for software interchange; or,
+
+    b) Accompany it with a written offer, valid for at least three
+    years, to give any third party, for a charge no more than your
+    cost of physically performing source distribution, a complete
+    machine-readable copy of the corresponding source code, to be
+    distributed under the terms of Sections 1 and 2 above on a medium
+    customarily used for software interchange; or,
+
+    c) Accompany it with the information you received as to the offer
+    to distribute corresponding source code.  (This alternative is
+    allowed only for noncommercial distribution and only if you
+    received the program in object code or executable form with such
+    an offer, in accord with Subsection b above.)
+
+The source code for a work means the preferred form of the work for
+making modifications to it.  For an executable work, complete source
+code means all the source code for all modules it contains, plus any
+associated interface definition files, plus the scripts used to
+control compilation and installation of the executable.  However, as a
+special exception, the source code distributed need not include
+anything that is normally distributed (in either source or binary
+form) with the major components (compiler, kernel, and so on) of the
+operating system on which the executable runs, unless that component
+itself accompanies the executable.
+
+If distribution of executable or object code is made by offering
+access to copy from a designated place, then offering equivalent
+access to copy the source code from the same place counts as
+distribution of the source code, even though third parties are not
+compelled to copy the source along with the object code.
+
+  4. You may not copy, modify, sublicense, or distribute the Program
+except as expressly provided under this License.  Any attempt
+otherwise to copy, modify, sublicense or distribute the Program is
+void, and will automatically terminate your rights under this License.
+However, parties who have received copies, or rights, from you under
+this License will not have their licenses terminated so long as such
+parties remain in full compliance.
+
+  5. You are not required to accept this License, since you have not
+signed it.  However, nothing else grants you permission to modify or
+distribute the Program or its derivative works.  These actions are
+prohibited by law if you do not accept this License.  Therefore, by
+modifying or distributing the Program (or any work based on the
+Program), you indicate your acceptance of this License to do so, and
+all its terms and conditions for copying, distributing or modifying
+the Program or works based on it.
+
+  6. Each time you redistribute the Program (or any work based on the
+Program), the recipient automatically receives a license from the
+original licensor to copy, distribute or modify the Program subject to
+these terms and conditions.  You may not impose any further
+restrictions on the recipients' exercise of the rights granted herein.
+You are not responsible for enforcing compliance by third parties to
+this License.
+
+  7. If, as a consequence of a court judgment or allegation of patent
+infringement or for any other reason (not limited to patent issues),
+conditions are imposed on you (whether by court order, agreement or
+otherwise) that contradict the conditions of this License, they do not
+excuse you from the conditions of this License.  If you cannot
+distribute so as to satisfy simultaneously your obligations under this
+License and any other pertinent obligations, then as a consequence you
+may not distribute the Program at all.  For example, if a patent
+license would not permit royalty-free redistribution of the Program by
+all those who receive copies directly or indirectly through you, then
+the only way you could satisfy both it and this License would be to
+refrain entirely from distribution of the Program.
+
+If any portion of this section is held invalid or unenforceable under
+any particular circumstance, the balance of the section is intended to
+apply and the section as a whole is intended to apply in other
+circumstances.
+
+It is not the purpose of this section to induce you to infringe any
+patents or other property right claims or to contest validity of any
+such claims; this section has the sole purpose of protecting the
+integrity of the free software distribution system, which is
+implemented by public license practices.  Many people have made
+generous contributions to the wide range of software distributed
+through that system in reliance on consistent application of that
+system; it is up to the author/donor to decide if he or she is willing
+to distribute software through any other system and a licensee cannot
+impose that choice.
+
+This section is intended to make thoroughly clear what is believed to
+be a consequence of the rest of this License.
+
+  8. If the distribution and/or use of the Program is restricted in
+certain countries either by patents or by copyrighted interfaces, the
+original copyright holder who places the Program under this License
+may add an explicit geographical distribution limitation excluding
+those countries, so that distribution is permitted only in or among
+countries not thus excluded.  In such case, this License incorporates
+the limitation as if written in the body of this License.
+
+  9. The Free Software Foundation may publish revised and/or new versions
+of the General Public License from time to time.  Such new versions will
+be similar in spirit to the present version, but may differ in detail to
+address new problems or concerns.
+
+Each version is given a distinguishing version number.  If the Program
+specifies a version number of this License which applies to it and "any
+later version", you have the option of following the terms and conditions
+either of that version or of any later version published by the Free
+Software Foundation.  If the Program does not specify a version number of
+this License, you may choose any version ever published by the Free Software
+Foundation.
+
+  10. If you wish to incorporate parts of the Program into other free
+programs whose distribution conditions are different, write to the author
+to ask for permission.  For software which is copyrighted by the Free
+Software Foundation, write to the Free Software Foundation; we sometimes
+make exceptions for this.  Our decision will be guided by the two goals
+of preserving the free status of all derivatives of our free software and
+of promoting the sharing and reuse of software generally.
+
+                            NO WARRANTY
+
+  11. BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY
+FOR THE PROGRAM, TO THE EXTENT PERMITTED BY APPLICABLE LAW.  EXCEPT WHEN
+OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES
+PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
+OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
+MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.  THE ENTIRE RISK AS
+TO THE QUALITY AND PERFORMANCE OF THE PROGRAM IS WITH YOU.  SHOULD THE
+PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING,
+REPAIR OR CORRECTION.
+
+  12. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
+WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY AND/OR
+REDISTRIBUTE THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES,
+INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING
+OUT OF THE USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED
+TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY
+YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER
+PROGRAMS), EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE
+POSSIBILITY OF SUCH DAMAGES.
+
+                     END OF TERMS AND CONDITIONS
+
+            How to Apply These Terms to Your New Programs
+
+  If you develop a new program, and you want it to be of the greatest
+possible use to the public, the best way to achieve this is to make it
+free software which everyone can redistribute and change under these terms.
+
+  To do so, attach the following notices to the program.  It is safest
+to attach them to the start of each source file to most effectively
+convey the exclusion of warranty; and each file should have at least
+the "copyright" line and a pointer to where the full notice is found.
+
+    <one line to give the program's name and a brief idea of what it does.>
+    Copyright (C) <year>  <name of author>
+
+    This program is free software; you can redistribute it and/or modify
+    it under the terms of the GNU General Public License as published by
+    the Free Software Foundation; either version 2 of the License, or
+    (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU General Public License for more details.
+
+    You should have received a copy of the GNU General Public License along
+    with this program; if not, write to the Free Software Foundation, Inc.,
+    51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
+
+Also add information on how to contact you by electronic and paper mail.
+
+If the program is interactive, make it output a short notice like this
+when it starts in an interactive mode:
+
+    Gnomovision version 69, Copyright (C) year name of author
+    Gnomovision comes with ABSOLUTELY NO WARRANTY; for details type `show w'.
+    This is free software, and you are welcome to redistribute it
+    under certain conditions; type `show c' for details.
+
+The hypothetical commands `show w' and `show c' should show the appropriate
+parts of the General Public License.  Of course, the commands you use may
+be called something other than `show w' and `show c'; they could even be
+mouse-clicks or menu items--whatever suits your program.
+
+You should also get your employer (if you work as a programmer) or your
+school, if any, to sign a "copyright disclaimer" for the program, if
+necessary.  Here is a sample; alter the names:
+
+  Yoyodyne, Inc., hereby disclaims all copyright interest in the program
+  `Gnomovision' (which makes passes at compilers) written by James Hacker.
+
+  <signature of Ty Coon>, 1 April 1989
+  Ty Coon, President of Vice
+
+This General Public License does not permit incorporating your program into
+proprietary programs.  If your program is a subroutine library, you may
+consider it more useful to permit linking proprietary applications with the
+library.  If this is what you want to do, use the GNU Lesser General
+Public License instead of this License.
diff --git a/Makefile b/Makefile
new file mode 100644 (file)
index 0000000..82fc326
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,27 @@
+obj-m       := muenfs.o
+muenfs-objs := main.o fs.o
+
+KERNEL_SOURCE ?= /lib/modules/$(shell uname -r)/build
+
+PWD := $(shell pwd)
+
+all: compile-module compile-test
+
+compile-module:
+       $(MAKE) -C $(KERNEL_SOURCE) M=$(PWD) modules
+
+compile-test:
+       $(MAKE) -C test all
+
+install: install-module install-test
+
+install-module:
+       install -d $(DESTDIR)/lib/modules/extra
+       install muenfs.ko $(DESTDIR)/lib/modules/extra
+
+install-test:
+       $(MAKE) -C test install
+
+clean:
+       $(MAKE) -C $(KERNEL_SOURCE) M=$(PWD) clean
+       $(MAKE) -C test clean
diff --git a/README.md b/README.md
new file mode 100644 (file)
index 0000000..431f730
--- /dev/null
+++ b/README.md
@@ -0,0 +1,31 @@
+# Muenfs
+
+## Introduction
+
+The *muenfs* Linux kernel module implements a virtual file system that
+facilitates user-space access to shared memory channels provided by the [Muen
+Separation Kernel][1].
+
+For each detected channel, a file of matching size and permission is shown in
+the file system. A user-space application can use *stat(2)* calls to get the
+permissions (rw or r/o) of the files and the size of the region. For accessing
+file contents *read(2)*, *write(2)*, and *mmap(2)* operations are supported.
+
+## Usage
+
+    $ modprobe muenfs
+    $ mkdir -p /muenfs
+    $ mount -t muenfs none /muenfs
+
+## Example Code
+
+See the `test/muenfs-test.c` program for example code on how to map a channel
+file and access its contents.
+
+## Authentication
+
+The current authentication model is that the files are created with uid and gid
+set to 0. Depending on the type of the region the files have permissions 0400
+or 0600. No further capability checking is done by this module.
+
+[1]: http://muen.sk
diff --git a/fs.c b/fs.c
new file mode 100644 (file)
index 0000000..ef84b52
--- /dev/null
+++ b/fs.c
@@ -0,0 +1,503 @@
+/*
+ * Muen shared memory channel file system.
+ *
+ * Copyright (C) 2015  secunet Security Networks AG
+ *
+ * This program is free software; you can redistribute it and/or modify it
+ * under the terms and conditions of the GNU General Public License,
+ * version 2, as published by the Free Software Foundation.
+ *
+ * This program is distributed in the hope it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
+ * more details.
+ *
+ * You should have received a copy of the GNU General Public License along with
+ * this program; if not, write to the Free Software Foundation, Inc.,
+ * 51 Franklin St - Fifth Floor, Boston, MA 02110-1301 USA.
+ */
+
+/**
+ * @file fs.c
+ * @brief Implementation of the file system and the file operations.
+ *
+ * This kernel module implements a file system named "muenfs". It facilitates
+ * user-space access to shared memory channels provided by the Muen Separation
+ * Kernel.
+ *
+ * For each channel memory region a file of the correct size is shown in the
+ * file system. A program can use stat calls to get the permissions (rw or r/o)
+ * of the files and the size of the region. For accessing the file read, write,
+ * and mmap operations are supported.
+ *
+ * The current authentication model is that the files are created with uid and
+ * gid set to 0. Depending on the type of the region the files have permissions
+ * 0400 or 0600. No further capability checking is done by this module.
+ */
+
+#include <linux/module.h>
+#include <linux/uaccess.h>
+#include <linux/pagemap.h>
+#include <linux/slab.h>
+#include <linux/io.h>
+
+#include "internal.h"
+
+/**
+ * @brief Magic value to identify this file system
+ */
+#define MUENFS_MAGIC 0xd2c82edd
+
+/**
+ * @brief Retrieve #memory_region_t from file.
+ *
+ * This function retrieves the memory region information previously stored with
+ * set_memory_info().
+ *
+ * @param file file pointer
+ * @return the memory_region_t stored in the private_data element.
+ */
+static inline struct memory_region_t *get_memory_info(struct file *file)
+{
+       return file->private_data;
+}
+
+/**
+ * @brief Store #memory_region_t into file.
+ *
+ * This function uses the file private_data element to store the memory region
+ * information.
+ *
+ * @param file file pointer
+ * @param info a memory region information
+ */
+static inline void set_memory_info(struct file *file,
+                                  struct memory_region_t *info)
+{
+       file->private_data = info;
+}
+
+/**
+ * @brief Open a file representing a channel memory region.
+ *
+ * This function checks the requested file permissions against the permissions
+ * of the memory region. It also transfers the private data pointing to the
+ * memory region from the inode to the file.
+ *
+ * @param inode inode information
+ * @param file file information
+ * @return 0 on success
+ * @return -EPERM if write access was requested for read-only memory region
+ */
+static int muenfs_open(struct inode *inode, struct file *file)
+{
+       struct memory_region_t *my_region = inode->i_private;
+
+       set_memory_info(file, my_region);
+
+       if ((file->f_flags & O_ACCMODE) == O_WRONLY ||
+           (file->f_flags & O_ACCMODE) == O_RDWR) {
+               if (!my_region->writable)
+                       return -EPERM;
+       }
+
+       return 0;
+}
+
+/**
+ * @brief Calculates remaining bytes in a page.
+ *
+ * This functions calculates the remaining bytes in a page.
+ *
+ * @param pos current position in units of bytes
+ * @return a value between 1 and PAGE_SIZE
+ */
+static inline size_t remaining_in_page(loff_t pos)
+{
+       unsigned long address = pos;
+       size_t result = PAGE_SIZE;
+       size_t remaining = -address & (PAGE_SIZE - 1);
+
+       if (remaining)
+               result = remaining;
+       return result;
+}
+
+/**
+ * @brief Read data from a memory region.
+ *
+ * This function reads the data from the memory region and writes it to the user
+ * area. The reading is performed in page-units.
+ *
+ * @param file file pointer
+ * @param buffer user-space buffer to store the data
+ * @param length maximum number of bytes to read
+ * @param offset pointer to current position, will be updated to reflect read progress
+ * @return number of bytes read
+ * @return -EFAULT if memory was unmapped during data copy
+ */
+static ssize_t muenfs_read(struct file *file,
+                          char __user *buffer,
+                          size_t length,
+                          loff_t *offset)
+{
+       struct memory_region_t *my_region = get_memory_info(file);
+       ssize_t to_read;
+       ssize_t ret = 0;
+       loff_t initial_offset = *offset;
+       unsigned char __user *current_dest = buffer;
+       unsigned long mem_pos = my_region->start_phys + initial_offset;
+       loff_t region_size = my_region->size_in_pages << PAGE_SHIFT;
+
+       if (initial_offset >= region_size)
+               return 0;
+
+       to_read = region_size - initial_offset;
+       if (to_read > length)
+               to_read = length;
+
+       while (to_read > 0) {
+               size_t max_size = remaining_in_page(mem_pos);
+               const void *ptr;
+
+               if (max_size > to_read)
+                       max_size = to_read;
+
+               ptr = ioremap_cache(mem_pos, PAGE_SIZE);
+               if (copy_to_user(current_dest, ptr, max_size)) {
+                       iounmap((void *)ptr);
+                       return -EFAULT;
+               }
+               iounmap((void *)ptr);
+               current_dest += max_size;
+               to_read -= max_size;
+               mem_pos += max_size;
+               ret += max_size;
+       }
+
+       *offset += ret;
+       return ret;
+}
+
+/**
+ * @brief Write data to memory region.
+ *
+ * This function reads the data provided by the user and writes it to the given
+ * offset into the memory region.
+ *
+ * @param file file pointer
+ * @param buffer user-space buffer to read from
+ * @param length maximum number of bytes to write
+ * @param offset pointer to current position, will be updated for successful operations
+ * @return number of bytes written on success
+ * @return -EFAULT if inaccessible memory was encountered
+ * @return -ENOSPC if the end of the memory region was reached and length is
+ * larger than 0
+ */
+static ssize_t muenfs_write(struct file *file,
+                           const char __user *buffer,
+                           size_t length,
+                           loff_t *offset)
+{
+       struct memory_region_t *my_region = get_memory_info(file);
+       ssize_t to_write;
+       ssize_t ret = 0;
+       loff_t initial_offset = *offset;
+       const unsigned char __user *current_source = buffer;
+       unsigned long mem_pos = my_region->start_phys + initial_offset;
+       loff_t region_size = my_region->size_in_pages << PAGE_SHIFT;
+
+       if (initial_offset >= region_size) {
+               if (length > 0)
+                       return -ENOSPC;
+               else
+                       return 0;
+       }
+
+       to_write = region_size - initial_offset;
+       if (to_write > length)
+               to_write = length;
+
+       while (to_write > 0) {
+               size_t max_size = remaining_in_page(mem_pos);
+               void *ptr;
+
+               if (max_size > to_write)
+                       max_size = to_write;
+
+               ptr = ioremap_cache(mem_pos, PAGE_SIZE);
+               if (copy_from_user(ptr, current_source, max_size)) {
+                       iounmap(ptr);
+                       return -EFAULT;
+               }
+               iounmap(ptr);
+               current_source += max_size;
+               to_write -= max_size;
+               mem_pos += max_size;
+               ret += max_size;
+       }
+
+       *offset += ret;
+
+       return ret;
+}
+
+/**
+ * @brief Virtual memory operations for mmap.
+ *
+ * As we do fault-in mappings no operation is necessary.
+ */
+static const struct vm_operations_struct device_vm_ops = {
+};
+
+/**
+ * @brief Implementation of the mmap syscall.
+ *
+ * This function provides the mmap syscall for this file system. It checks if
+ * the size of the mapping request is within the boundaries of the memory
+ * region and performs the mapping.
+ *
+ * @param file file pointer to the file where the mapping is performed
+ * @param vma virtual memory area where the mapping is done
+ * @return 0 on success
+ * @return -ENOMEM if mapping is larger than the memory region size
+ * @return -EAGAIN if remap_pfn_range fails
+ */
+static int muenfs_mmap(struct file *file, struct vm_area_struct *vma)
+{
+       struct memory_region_t *my_region = get_memory_info(file);
+       unsigned long requested_size = vma->vm_end - vma->vm_start;
+       unsigned long region_size = my_region->size_in_pages << PAGE_SHIFT;
+       unsigned long offset = vma->vm_pgoff << PAGE_SHIFT;
+       unsigned long physaddr = offset + my_region->start_phys;
+
+       if (offset >= region_size || requested_size > region_size - offset)
+               return -ENOMEM;
+
+       vma->vm_ops = &device_vm_ops;
+
+       /* Remap-pfn-range will mark the range VM_IO and VM_RESERVED */
+       if (remap_pfn_range(vma,
+               vma->vm_start,
+               physaddr >> PAGE_SHIFT,
+               requested_size,
+               vma->vm_page_prot))
+               return -EAGAIN;
+
+       return 0;
+}
+
+/**
+ * @brief File operations for this file system.
+ */
+static const struct file_operations muenfs_file_fops = {
+       .open   = muenfs_open,
+       .read   = muenfs_read,
+       .llseek = generic_file_llseek,
+       .write  = muenfs_write,
+       .mmap   = muenfs_mmap,
+};
+
+/**
+ * @brief Create a new inode.
+ *
+ * @param sb super block of our file system
+ * @param mode the file mode to use (includes specification of the file type)
+ * @return a new inode on success
+ * @return NULL if inode could not be allocated
+ */
+static struct inode *muenfs_make_inode(struct super_block *sb, int mode)
+{
+       struct inode *ret = new_inode(sb);
+
+       if (ret) {
+               ret->i_mode = mode;
+               ret->i_uid.val = ret->i_gid.val = 0;
+               ret->i_blocks = 0;
+               ret->i_atime = ret->i_mtime = ret->i_ctime = CURRENT_TIME;
+       }
+       return ret;
+}
+
+/**
+ * @brief Updates the attributes of an inode.
+ *
+ * This function is called to update the attributes of an inode after changing
+ * them. It must call inode_setattr to establish them. This version just
+ * returns 0 to avoid any updates.
+ *
+ * @param dentry directory entry to update
+ * @param attr new attributes
+ * @return 0 to simulate successful operation
+ */
+static int muenfs_set_attr(struct dentry *dentry, struct iattr *attr)
+{
+       return 0;
+}
+
+/**
+ * @brief Inode operations for files describing the memregions.
+ *
+ * This structure is used to override the setattr routine with
+ * muenfs_set_attr().
+ */
+static const struct inode_operations muenfs_file_inode_ops = {
+       .setattr = muenfs_set_attr,
+};
+
+/**
+ * @brief Callback parameter type.
+ */
+struct cb_arg {
+       struct super_block *sb; /**< the super block of the file system    */
+       struct dentry *dir;     /**< the parent directory to create a file */
+};
+
+/**
+ * @brief Create a file.
+ *
+ * This function creates a new file in our file system. The region given as
+ * parameter is stored in the private data of the inode for later retrieval.
+ * Depending on the permissions of the memory region the file mode is set to
+ * 0600 for read-write access or 0400 for read-only access. The file size is
+ * set to the channel memory region size in bytes.
+ *
+ * @param region the memory region associated with the file
+ * @param data refers to the super block of the file system and the base
+ * directory
+ * @param region the memory region associated with the file
+ * @return true on success
+ * @return false if directory entry could not be allocated
+ */
+static bool muenfs_create_file(const struct muen_channel_info *const info,
+                              void *const data)
+{
+       struct cb_arg *arg = data;
+       struct dentry *dentry;
+       struct inode *inode;
+       struct qstr qname;
+       int file_mode = 0400;
+       struct memory_region_t *region;
+
+       region = kzalloc(sizeof(*region), GFP_KERNEL);
+       if (!region)
+               goto out;
+
+       strncpy(region->name, info->name, sizeof(region->name) - 1);
+       region->start_phys = info->address;
+       region->writable = info->writable;
+       region->size_in_pages = info->size >> PAGE_SHIFT;
+
+       /* create hashed name */
+       qname.name = region->name;
+       qname.len = strlen(region->name);
+       qname.hash = full_name_hash(region->name, qname.len);
+
+       /* create inode and dentry */
+       if (region->writable)
+               file_mode = 0600;
+
+       inode = muenfs_make_inode(arg->sb, S_IFREG | file_mode);
+       if (!inode)
+               goto out_free;
+
+       inode->i_ino = get_next_ino();
+       inode->i_size = region->size_in_pages << PAGE_SHIFT;
+       inode->i_fop = &muenfs_file_fops;
+       inode->i_op = &muenfs_file_inode_ops;
+       inode->i_private = region;
+
+       dentry = d_alloc(arg->dir, &qname);
+       if (!dentry)
+               goto out_iput;
+
+       /* put into cache and return */
+       d_add(dentry, inode);
+       pr_info("muenfs: registered file %s - start 0x%016llx, size 0x%08llx, access %s\n",
+              region->name, region->start_phys, inode->i_size,
+              region->writable ? "rw" : "ro");
+       return true;
+
+out_iput:
+       iput(inode);
+out_free:
+       kfree(region);
+out:
+       return false;
+}
+
+/**
+ * @brief Create a file for each Muen channel
+ *
+ * This function creates a new file in the root directory for every Muen
+ * channel that is present.
+ *
+ * @param sb super block of the file system
+ * @return 0 on success
+ * @return errors returned by muenfs_create_file()
+ */
+static int muenfs_create_files(struct super_block *sb)
+{
+       struct cb_arg args = { .sb = sb, .dir = sb->s_root };
+
+       return muen_for_each_channel(muenfs_create_file, &args) ? 0 : -ENOMEM;
+}
+
+/**
+ * @brief Fills the super block of the file system.
+ *
+ * This functions initializes the super block, creates the root directory and
+ * the files using the muenfs_create_files() function.
+ *
+ * @param sb the super block of the file system
+ * @param data file system options, currently ignored
+ * @param silent don't display any printk message if true (ignored)
+ * @return 0 on success
+ * @see simple_fill_super() and muenfs_create_files() for possible error
+ * conditions
+ */
+static int muenfs_fill_super(struct super_block *sb, void *data, int silent)
+{
+       static struct tree_descr empty_descr = {""};
+       int err;
+
+       err = simple_fill_super(sb, MUENFS_MAGIC, &empty_descr);
+       if (err)
+               return err;
+
+       return muenfs_create_files(sb);
+       /* TODO: Register dentry_operations to free
+                allocated memory-region structures. */
+}
+
+/**
+ * @brief Mount super block.
+ *
+ * This function uses mount_single() to provide a single instance of the file
+ * system. The function muenfs_fill_super() is specified to fill the super
+ * block of the instance.
+ *
+ * @param fst file system type specification
+ * @param flags parameters specified in the user-space for this mount operation
+ * @param devname device to mount, ignored
+ * @param data file system options specified in user-space
+ * @return pointer or error condition returned by mount_single()
+ */
+static struct dentry *muenfs_mount(struct file_system_type *fst,
+                                 int flags, const char *devname, void *data)
+{
+       return mount_single(fst, flags, data, muenfs_fill_super);
+}
+
+/**
+ * This description contains the owner, the name, the operation to get the
+ * super block, and the operation to destroy the super block. Here
+ * kill_litter_super() is required as we are holding references to the
+ * directory entries in the file system.
+ */
+struct file_system_type muenfs_type = {
+       .owner          = THIS_MODULE,
+       .name           = "muenfs",
+       .mount          = muenfs_mount,
+       .kill_sb        = kill_litter_super,
+};
diff --git a/internal.h b/internal.h
new file mode 100644 (file)
index 0000000..d124094
--- /dev/null
@@ -0,0 +1,54 @@
+/*
+ * Muen shared memory channel file system.
+ *
+ * Copyright (C) 2015  secunet Security Networks AG
+ *
+ * This program is free software; you can redistribute it and/or modify it
+ * under the terms and conditions of the GNU General Public License,
+ * version 2, as published by the Free Software Foundation.
+ *
+ * This program is distributed in the hope it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
+ * more details.
+ *
+ * You should have received a copy of the GNU General Public License along with
+ * this program; if not, write to the Free Software Foundation, Inc.,
+ * 51 Franklin St - Fifth Floor, Boston, MA 02110-1301 USA.
+ */
+
+#ifndef INTERNAL_H_
+#define INTERNAL_H_
+
+/**
+ * @file internal.h
+ * @brief Common information shared by the other source files.
+ */
+
+#include <linux/types.h>
+#include <linux/list.h>
+#include <muen/sinfo.h>
+
+/**
+ * @brief Structure holding information about memregions.
+ *
+ * This structure holds information about each identified channel memory
+ * region. The information is provided by the Muen SK in the subject info page.
+ *
+ * All regions are linked with #memory_region_list being the head of
+ * the list.
+ */
+struct memory_region_t {
+       struct list_head list;               /**< the list_head where the entries are chained with   */
+       char name[MAX_CHANNEL_NAME_LEN + 1]; /**< the name of the memory region                      */
+       uint64_t start_phys;                 /**< the start of the memory region as physical address */
+       bool writable;                       /**< whether the region is writable or not              */
+       size_t size_in_pages;                /**< size of the memory region in pages                 */
+};
+
+/**
+ * @brief Description of our file system.
+ */
+extern struct file_system_type muenfs_type;
+
+#endif
diff --git a/main.c b/main.c
new file mode 100644 (file)
index 0000000..e4b38a7
--- /dev/null
+++ b/main.c
@@ -0,0 +1,59 @@
+/*
+ * Muen shared memory channel file system.
+ *
+ * Copyright (C) 2015  secunet Security Networks AG
+ *
+ * This program is free software; you can redistribute it and/or modify it
+ * under the terms and conditions of the GNU General Public License,
+ * version 2, as published by the Free Software Foundation.
+ *
+ * This program is distributed in the hope it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
+ * more details.
+ *
+ * You should have received a copy of the GNU General Public License along with
+ * this program; if not, write to the Free Software Foundation, Inc.,
+ * 51 Franklin St - Fifth Floor, Boston, MA 02110-1301 USA.
+ */
+
+/**
+ * @file main.c
+ * @brief Muenfs register/unregister functionality.
+ *
+ * These routines are dealing with file system initialization and cleanup.
+ */
+
+#include <linux/module.h>
+#include <linux/fs.h>
+
+#include "internal.h"
+
+/**
+ * @brief Module initialization.
+ *
+ * This function registers the Muen file system.
+ *
+ * @return 0 on success, negative values on error
+ */
+static int __init muenfs_init(void)
+{
+       return register_filesystem(&muenfs_type);
+}
+
+/**
+ * @brief Module finalization.
+ *
+ * This function unregisters the Muen file system.
+ */
+static void __exit muenfs_exit(void)
+{
+       unregister_filesystem(&muenfs_type);
+}
+
+module_init(muenfs_init);
+module_exit(muenfs_exit);
+
+MODULE_DESCRIPTION("Muen SK shared memory channel file system");
+MODULE_LICENSE("GPL");
+MODULE_AUTHOR("Torsten Hilbrich <torsten.hilbrich@secunet.com>");
diff --git a/test/Makefile b/test/Makefile
new file mode 100644 (file)
index 0000000..31c11a4
--- /dev/null
@@ -0,0 +1,14 @@
+all: muenfs-test muenfs-marker
+
+muenfs-test: muenfs-test.o
+       $(CC) -o $@ $^
+
+muenfs-marker: muenfs-marker.o
+       $(CC) -o $@ $^
+
+install:
+       install -d $(DESTDIR)/usr/sbin
+       install muenfs-test muenfs-marker $(DESTDIR)/usr/sbin
+
+clean:
+       rm -f muenfs-test.o muenfs-test muenfs-marker.o muenfs-marker
diff --git a/test/muenfs-marker.c b/test/muenfs-marker.c
new file mode 100644 (file)
index 0000000..bec1764
--- /dev/null
@@ -0,0 +1,39 @@
+#include <stdlib.h>
+#include <stdio.h>
+#include <stdint.h>
+#include <fcntl.h>
+#include <sys/mman.h>
+
+#define SHMSTREAM_MARKER 0x487312b6b79a9b6d
+
+int main(int argc, char *argv[])
+{
+       const char *filename = argv[1];
+       int fd;
+       uint64_t *ptr;
+
+       if (argc != 2) {
+               fprintf(stderr, "Usage: %s file\n", argv[0]);
+               exit(1);
+       }
+
+       fd = open(filename, O_RDONLY);
+       if (fd == -1) {
+               perror("open");
+               exit(1);
+       }
+
+       ptr = mmap(NULL, 4096, PROT_READ, MAP_SHARED, fd, 0);
+       if (ptr == MAP_FAILED) {
+               perror("mmap");
+               exit(1);
+       }
+
+       if (*ptr != SHMSTREAM_MARKER) {
+               printf("Muen channel marker not found in file '%s'\n", filename);
+               exit(1);
+       }
+
+       printf("Muen channel marker found in file '%s'\n", filename);
+       return 0;
+}
diff --git a/test/muenfs-test.c b/test/muenfs-test.c
new file mode 100644 (file)
index 0000000..7c05e83
--- /dev/null
@@ -0,0 +1,313 @@
+#include <fcntl.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <sys/mman.h>
+#include <sys/stat.h>
+#include <errno.h>
+#include <limits.h>
+
+#define error(...) do { fprintf(stderr, __VA_ARGS__); abort(); } while(0)
+#define assert_int(SHOULD, IS) do { int is = (IS); int should = (SHOULD); if (is != should) error("Assertion failed: INT result %d <> expected %d at %s:%d\n", is, should, __FILE__, __LINE__); } while(0)
+#define assert_true(IS) do { int is = (IS); if (! is) error("Assertion failed: boolean FALSE <> expected TRUE at %s:%d\n", __FILE__, __LINE__); } while(0)
+
+enum file_type { READ_ONLY, READ_WRITE };
+
+static inline void get_file_info(const char *filename, size_t *size,
+               enum file_type *type)
+{
+       struct stat result;
+
+       assert_int(0, stat(filename, &result));
+       assert_true(S_ISREG(result.st_mode));
+       assert_int(0, result.st_uid);
+       assert_int(0, result.st_gid);
+
+       *size = result.st_size;
+
+       /* not very portable here */
+       switch (result.st_mode & 0777) {
+       case 0600:
+               *type = READ_WRITE;
+               break;
+       case 0400:
+               *type = READ_ONLY;
+               break;
+       default:
+               error("Invalid mode for file %s encountered: %06o\n", filename,
+                               result.st_mode & 0777);
+       }
+}
+
+static void buffer_read(int fd, char *buffer, size_t buffer_size,
+               size_t file_size, enum file_type perm)
+{
+       size_t ret = 0;
+
+       /* first rewind to ensure proper operation */
+       assert_int(0, lseek(fd, 0, SEEK_SET));
+
+       while (ret < file_size + 1) {
+               ssize_t result = read(fd, buffer, buffer_size);
+               if (result < 0) {
+                       error("Reading failed with error %s\n", strerror(errno));
+               }
+               if (result == 0)
+                       break;
+
+               if (perm == READ_ONLY) {
+                       size_t i;
+                       for (i = 0; i < result; i++)
+                               if (buffer[i] != 0)
+                                       error("Read check failed at offset %zu: %02x\n", result + i,
+                                                       buffer[i]);
+               }
+               ret += result;
+       }
+       if (ret > file_size)
+               error("Read beyond the memory region end\n");
+       if (ret < file_size)
+               error("Premature EOF, only read %zu bytes instead of %zu\n", ret,
+                               file_size);
+}
+
+static void buffer_write(int fd, char *buffer, size_t buffer_size, size_t file_size)
+{
+       size_t ret = 0;
+
+       long seed = random();
+
+       /* first rewind to ensure proper operation */
+       assert_int(0, lseek(fd, 0, SEEK_SET));
+
+       srandom(seed & UINT_MAX);
+
+       /* now start filling the file */
+       while (ret < file_size) {
+               size_t i;
+               ssize_t result;
+               size_t length = file_size - ret;
+               if (length > buffer_size)
+                       length = buffer_size;
+
+               for (i = 0; i < length; i++)
+                       buffer[i] = random() & UCHAR_MAX;
+               result = write(fd, buffer, length);
+               if (result < 0)
+                       error("Writing failed with error %s\n", strerror(errno));
+
+               if (result < length)
+                       error("Short write, wrote only %zd bytes\n", result);
+               ret += result;
+       }
+
+       /* first rewind to ensure proper operation */
+       assert_int(0, lseek(fd, 0, SEEK_SET));
+
+       srandom(seed & UINT_MAX);
+       /* now read and compare */
+       ret = 0;
+       while (ret < file_size) {
+               size_t i;
+               ssize_t result;
+               result = read(fd, buffer, buffer_size);
+               if (result == 0)
+                       break;
+               if (result < 0)
+                       error("Reading failed with error %s\n", strerror(errno));
+               for (i = 0; i < result; i++) {
+                       int ra = random() & UCHAR_MAX;
+                       if (((unsigned char *)buffer)[i] != ra)
+                               error("Compare failed at offset %zu\n", ret + i);
+               }
+               ret += result;
+       }
+       if (ret < file_size)
+               error("Short read in buffer_write, read only %zu instead of %zu\n",
+                               ret, file_size);
+}
+
+static void test_write_eof(int fd, char *buffer, size_t buffer_size, size_t size)
+{
+       size_t pos;
+       size_t success_length;
+
+       if (size > 10) {
+               pos = size - 10;
+               success_length = 10;
+       } else {
+               pos = 0;
+               success_length = size;
+       }
+
+       /* seek to that position */
+       assert_int(pos, lseek(fd, pos, SEEK_SET));
+
+       /* write the available data */
+       assert_int(success_length, write(fd, buffer, buffer_size));
+
+       /* next write should return error */
+       assert_int(-1, write(fd, buffer, buffer_size));
+       assert_int(ENOSPC, errno);
+
+       /* a zero write should be okay */
+       assert_int(0, write(fd, buffer, 0));
+}
+
+void test_ftruncate(int fd, size_t size, enum file_type type)
+{
+       struct stat stat_result;
+
+       if (type == READ_WRITE) {
+               /* expect the truncate to be succesful */
+               assert_int(0, ftruncate(fd, 0));
+       } else {
+               /* truncate must fail */
+               assert_int(-1, ftruncate(fd, 0));
+       }
+
+       /* but it must not change the actual file size */
+       assert_int(0, fstat(fd, &stat_result));
+       assert_true(size == stat_result.st_size);
+}
+
+void test_truncate(const char *filename, size_t size, enum file_type type)
+{
+       struct stat stat_result;
+
+       if (type == READ_WRITE) {
+               /* expect the truncate to be succesful */
+               assert_int(0, truncate(filename, 0));
+       }
+       /* truncate on r/o file will succeed for root user, so no
+        * assumption here */
+
+       /* but it must not change the actual file size */
+       assert_int(0, stat(filename, &stat_result));
+       assert_true(size == stat_result.st_size);
+}
+
+static void test_mmap(int fd, int prot, size_t size)
+{
+       unsigned char *ptr;
+
+       if (prot & PROT_WRITE == 0) {
+               /* make sure that mmap fails here */
+               assert_true(mmap(NULL, size, prot | PROT_WRITE, MAP_SHARED, fd, 0)
+                               == MAP_FAILED);
+       }
+
+       /* make sure that mapping with larger size fails */
+       assert_true(mmap(NULL, size + 1, prot, MAP_SHARED, fd, 0) == (void*)-1);
+       assert_true(mmap(NULL, size + 4096, prot, MAP_SHARED, fd, 0) == (void*)-1);
+
+       /* now make a mapping that must succeed */
+       ptr = mmap(NULL, size, prot, MAP_SHARED, fd, 0);
+       assert_true(ptr != MAP_FAILED);
+
+       if (prot & PROT_WRITE == 0) {
+               /* pick a random position and read it, it should always be 0 */
+               size_t i;
+               for (i = 0; i < size * 5; i++) {
+                       size_t real_pos = (random() % size);
+                       unsigned char result = ptr[real_pos];
+                       if (result != 0)
+                               error("mmap read test failed at position %zu, got result %02x\n",
+                                               real_pos, result);
+               }
+       }
+       munmap(ptr, size);
+
+       if (prot & PROT_WRITE) {
+               unsigned char *reference;
+               size_t i;
+
+               ptr = mmap(NULL, size, prot, MAP_SHARED, fd, 0);
+               /* fill reference with random data */
+               reference = malloc(size);
+               assert_true(reference != NULL);
+
+               for (i = 0; i < size; i++) {
+                       unsigned char ra = (random() & UINT_MAX);
+                       reference[i] = ra;
+               }
+
+               /* use one large write to write the data */
+               assert_int(0, lseek(fd, 0, SEEK_SET));
+               assert_int(size, write(fd, reference, size));
+
+               /* now check randomly using ptr */
+               for (i = 0; i < size * 5; i++) {
+                       size_t real_pos = (random() % size);
+                       unsigned char result = ptr[real_pos];
+                       if (result != reference[real_pos])
+                               error("mmap read test failed at position %zu, got result %02x,"
+                                               " expected %02x\n", real_pos, result,
+                                               reference[real_pos]);
+               }
+               free(reference);
+               munmap(ptr, size);
+       }
+}
+
+static void test_file(const char *filename)
+{
+       size_t size;
+       enum file_type perm;
+       int prot;
+       int mode;
+       int fd;
+       char buffer[8192];
+
+       fprintf(stderr, "Processing file %s\n", filename);
+       get_file_info(filename, &size, &perm);
+
+       if (perm == READ_ONLY) {
+               prot = PROT_READ;
+               mode = O_RDONLY;
+       } else {
+               prot = PROT_READ | PROT_WRITE;
+               mode = O_RDWR;
+       }
+
+       if (perm == READ_ONLY) {
+               /* make sure that permission checking works */
+               assert_int(-EPERM, open(filename, O_RDWR));
+       }
+
+       /* now open the file normally */
+       fd = open(filename, mode);
+       assert_true(fd >= 0);
+
+       /* now read the whole file, optionally checking its contents and counting bytes */
+       /* use different buffer sizes to check for possible corner cases */
+       buffer_read(fd, buffer, 1234, size, perm);
+       buffer_read(fd, buffer, 4095, size, perm);
+       buffer_read(fd, buffer, 4096, size, perm);
+       buffer_read(fd, buffer, 4097, size, perm);
+       buffer_read(fd, buffer, 8192, size, perm);
+
+       if (perm == READ_WRITE) {
+               buffer_write(fd, buffer, 1234, size);
+               buffer_write(fd, buffer, 4095, size);
+               buffer_write(fd, buffer, 4096, size);
+               buffer_write(fd, buffer, 4097, size);
+               buffer_write(fd, buffer, 8192, size);
+               test_write_eof(fd, buffer, sizeof(buffer), size);
+       }
+       test_ftruncate(fd, size, perm);
+       test_mmap(fd, prot, size);
+       close(fd);
+       test_truncate(filename, size, perm);
+       fprintf(stderr, "TEST of file %s: OK\n", filename);
+}
+
+int main(int argc, char *argv[])
+{
+       if (argc != 2) {
+               fprintf(stderr, "Usage: %s file\n", argv[0]);
+               exit(1);
+       }
+
+       test_file(argv[1]);
+       return 0;
+}