2005-04-17 02:20:36 +04:00
/*
* linux / fs / file_table . c
*
* Copyright ( C ) 1991 , 1992 Linus Torvalds
* Copyright ( C ) 1997 David S . Miller ( davem @ caip . rutgers . edu )
*/
# include <linux/string.h>
# include <linux/slab.h>
# include <linux/file.h>
2008-04-24 15:44:08 +04:00
# include <linux/fdtable.h>
2005-04-17 02:20:36 +04:00
# include <linux/init.h>
# include <linux/module.h>
# include <linux/fs.h>
# include <linux/security.h>
2017-02-02 19:54:15 +03:00
# include <linux/cred.h>
2005-04-17 02:20:36 +04:00
# include <linux/eventpoll.h>
2005-09-10 00:04:13 +04:00
# include <linux/rcupdate.h>
2005-04-17 02:20:36 +04:00
# include <linux/mount.h>
2006-01-11 23:17:46 +03:00
# include <linux/capability.h>
2005-04-17 02:20:36 +04:00
# include <linux/cdev.h>
[PATCH] inotify
inotify is intended to correct the deficiencies of dnotify, particularly
its inability to scale and its terrible user interface:
* dnotify requires the opening of one fd per each directory
that you intend to watch. This quickly results in too many
open files and pins removable media, preventing unmount.
* dnotify is directory-based. You only learn about changes to
directories. Sure, a change to a file in a directory affects
the directory, but you are then forced to keep a cache of
stat structures.
* dnotify's interface to user-space is awful. Signals?
inotify provides a more usable, simple, powerful solution to file change
notification:
* inotify's interface is a system call that returns a fd, not SIGIO.
You get a single fd, which is select()-able.
* inotify has an event that says "the filesystem that the item
you were watching is on was unmounted."
* inotify can watch directories or files.
Inotify is currently used by Beagle (a desktop search infrastructure),
Gamin (a FAM replacement), and other projects.
See Documentation/filesystems/inotify.txt.
Signed-off-by: Robert Love <rml@novell.com>
Cc: John McCutchan <ttb@tentacle.dhs.org>
Cc: Christoph Hellwig <hch@lst.de>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
2005-07-13 01:06:03 +04:00
# include <linux/fsnotify.h>
2006-03-08 08:55:35 +03:00
# include <linux/sysctl.h>
# include <linux/percpu_counter.h>
fs: scale files_lock
fs: scale files_lock
Improve scalability of files_lock by adding per-cpu, per-sb files lists,
protected with an lglock. The lglock provides fast access to the per-cpu lists
to add and remove files. It also provides a snapshot of all the per-cpu lists
(although this is very slow).
One difficulty with this approach is that a file can be removed from the list
by another CPU. We must track which per-cpu list the file is on with a new
variale in the file struct (packed into a hole on 64-bit archs). Scalability
could suffer if files are frequently removed from different cpu's list.
However loads with frequent removal of files imply short interval between
adding and removing the files, and the scheduler attempts to avoid moving
processes too far away. Also, even in the case of cross-CPU removal, the
hardware has much more opportunity to parallelise cacheline transfers with N
cachelines than with 1.
A worst-case test of 1 CPU allocating files subsequently being freed by N CPUs
degenerates to contending on a single lock, which is no worse than before. When
more than one CPU are allocating files, even if they are always freed by
different CPUs, there will be more parallelism than the single-lock case.
Testing results:
On a 2 socket, 8 core opteron, I measure the number of times the lock is taken
to remove the file, the number of times it is removed by the same CPU that
added it, and the number of times it is removed by the same node that added it.
Booting: locks= 25049 cpu-hits= 23174 (92.5%) node-hits= 23945 (95.6%)
kbuild -j16 locks=2281913 cpu-hits=2208126 (96.8%) node-hits=2252674 (98.7%)
dbench 64 locks=4306582 cpu-hits=4287247 (99.6%) node-hits=4299527 (99.8%)
So a file is removed from the same CPU it was added by over 90% of the time.
It remains within the same node 95% of the time.
Tim Chen ran some numbers for a 64 thread Nehalem system performing a compile.
throughput
2.6.34-rc2 24.5
+patch 24.9
us sys idle IO wait (in %)
2.6.34-rc2 51.25 28.25 17.25 3.25
+patch 53.75 18.5 19 8.75
So significantly less CPU time spent in kernel code, higher idle time and
slightly higher throughput.
Single threaded performance difference was within the noise of microbenchmarks.
That is not to say penalty does not exist, the code is larger and more memory
accesses required so it will be slightly slower.
Cc: linux-kernel@vger.kernel.org
Cc: Tim Chen <tim.c.chen@linux.intel.com>
Cc: Andi Kleen <ak@linux.intel.com>
Signed-off-by: Nick Piggin <npiggin@kernel.dk>
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
2010-08-17 22:37:38 +04:00
# include <linux/percpu.h>
2012-06-24 09:56:45 +04:00
# include <linux/hardirq.h>
# include <linux/task_work.h>
2009-12-16 12:53:03 +03:00
# include <linux/ima.h>
2015-08-07 01:46:20 +03:00
# include <linux/swap.h>
2006-03-08 08:55:35 +03:00
2011-07-27 03:09:06 +04:00
# include <linux/atomic.h>
2005-04-17 02:20:36 +04:00
2009-12-04 23:47:36 +03:00
# include "internal.h"
2005-04-17 02:20:36 +04:00
/* sysctl tunables... */
struct files_stat_struct files_stat = {
. max_files = NR_FILE
} ;
2008-12-10 20:35:45 +03:00
/* SLAB cache for file structures */
static struct kmem_cache * filp_cachep __read_mostly ;
2006-03-08 08:55:35 +03:00
static struct percpu_counter nr_files __cacheline_aligned_in_smp ;
2005-04-17 02:20:36 +04:00
2012-07-20 23:05:59 +04:00
static void file_free_rcu ( struct rcu_head * head )
2005-04-17 02:20:36 +04:00
{
2008-11-14 02:39:25 +03:00
struct file * f = container_of ( head , struct file , f_u . fu_rcuhead ) ;
put_cred ( f - > f_cred ) ;
2006-03-08 08:55:35 +03:00
kmem_cache_free ( filp_cachep , f ) ;
2005-04-17 02:20:36 +04:00
}
2006-03-08 08:55:35 +03:00
static inline void file_free ( struct file * f )
2005-04-17 02:20:36 +04:00
{
2006-03-08 08:55:35 +03:00
percpu_counter_dec ( & nr_files ) ;
call_rcu ( & f - > f_u . fu_rcuhead , file_free_rcu ) ;
2005-04-17 02:20:36 +04:00
}
2006-03-08 08:55:35 +03:00
/*
* Return the total number of open files in the system
*/
2010-10-27 01:22:44 +04:00
static long get_nr_files ( void )
2005-04-17 02:20:36 +04:00
{
2006-03-08 08:55:35 +03:00
return percpu_counter_read_positive ( & nr_files ) ;
2005-04-17 02:20:36 +04:00
}
2006-03-08 08:55:35 +03:00
/*
* Return the maximum number of open files in the system
*/
2010-10-27 01:22:44 +04:00
unsigned long get_max_files ( void )
2005-09-10 00:04:13 +04:00
{
2006-03-08 08:55:35 +03:00
return files_stat . max_files ;
2005-09-10 00:04:13 +04:00
}
2006-03-08 08:55:35 +03:00
EXPORT_SYMBOL_GPL ( get_max_files ) ;
/*
* Handle nr_files sysctl
*/
# if defined(CONFIG_SYSCTL) && defined(CONFIG_PROC_FS)
2014-06-07 01:38:05 +04:00
int proc_nr_files ( struct ctl_table * table , int write ,
2006-03-08 08:55:35 +03:00
void __user * buffer , size_t * lenp , loff_t * ppos )
{
files_stat . nr_files = get_nr_files ( ) ;
2010-10-27 01:22:44 +04:00
return proc_doulongvec_minmax ( table , write , buffer , lenp , ppos ) ;
2006-03-08 08:55:35 +03:00
}
# else
2014-06-07 01:38:05 +04:00
int proc_nr_files ( struct ctl_table * table , int write ,
2006-03-08 08:55:35 +03:00
void __user * buffer , size_t * lenp , loff_t * ppos )
{
return - ENOSYS ;
}
# endif
2005-09-10 00:04:13 +04:00
2005-04-17 02:20:36 +04:00
/* Find an unused file structure and return a pointer to it.
2013-02-15 05:41:04 +04:00
* Returns an error pointer if some error happend e . g . we over file
* structures limit , run out of memory or operation is not permitted .
2008-02-16 01:37:26 +03:00
*
* Be very careful using this . You are responsible for
* getting write access to any mount that you might assign
* to this filp , if it is opened for write . If this is not
* done , you will imbalance int the mount ' s writer count
* and a warning at __fput ( ) time .
2005-04-17 02:20:36 +04:00
*/
struct file * get_empty_filp ( void )
{
2008-11-14 02:39:18 +03:00
const struct cred * cred = current_cred ( ) ;
2010-10-27 01:22:44 +04:00
static long old_max ;
2013-02-15 05:41:04 +04:00
struct file * f ;
int error ;
2005-04-17 02:20:36 +04:00
/*
* Privileged users can go above max_files
*/
2006-03-08 08:55:35 +03:00
if ( get_nr_files ( ) > = files_stat . max_files & & ! capable ( CAP_SYS_ADMIN ) ) {
/*
* percpu_counters are inaccurate . Do an expensive check before
* we go and fail .
*/
2007-10-17 10:25:44 +04:00
if ( percpu_counter_sum_positive ( & nr_files ) > = files_stat . max_files )
2006-03-08 08:55:35 +03:00
goto over ;
}
2005-06-23 11:09:50 +04:00
2007-10-17 10:26:19 +04:00
f = kmem_cache_zalloc ( filp_cachep , GFP_KERNEL ) ;
2013-02-15 05:41:04 +04:00
if ( unlikely ( ! f ) )
return ERR_PTR ( - ENOMEM ) ;
2005-06-23 11:09:50 +04:00
2006-03-08 08:55:35 +03:00
percpu_counter_inc ( & nr_files ) ;
2011-02-04 21:13:24 +03:00
f - > f_cred = get_cred ( cred ) ;
2013-02-15 05:41:04 +04:00
error = security_file_alloc ( f ) ;
if ( unlikely ( error ) ) {
file_free ( f ) ;
return ERR_PTR ( error ) ;
}
2005-04-17 02:20:36 +04:00
2008-07-26 08:39:17 +04:00
atomic_long_set ( & f - > f_count , 1 ) ;
2005-06-23 11:09:50 +04:00
rwlock_init ( & f - > f_owner . lock ) ;
2009-02-06 23:52:43 +03:00
spin_lock_init ( & f - > f_lock ) ;
2014-03-03 21:36:58 +04:00
mutex_init ( & f - > f_pos_lock ) ;
2006-03-23 14:01:03 +03:00
eventpoll_init_file ( f ) ;
2005-06-23 11:09:50 +04:00
/* f->f_version: 0 */
return f ;
over :
2005-04-17 02:20:36 +04:00
/* Ran out of filps - report that */
2006-03-08 08:55:35 +03:00
if ( get_nr_files ( ) > old_max ) {
2010-10-27 01:22:44 +04:00
pr_info ( " VFS: file-max limit %lu reached \n " , get_max_files ( ) ) ;
2006-03-08 08:55:35 +03:00
old_max = get_nr_files ( ) ;
2005-04-17 02:20:36 +04:00
}
2013-02-15 05:41:04 +04:00
return ERR_PTR ( - ENFILE ) ;
2005-04-17 02:20:36 +04:00
}
2007-10-17 10:31:13 +04:00
/**
* alloc_file - allocate and initialize a ' struct file '
2014-10-12 23:29:29 +04:00
*
* @ path : the ( dentry , vfsmount ) pair for the new file
2007-10-17 10:31:13 +04:00
* @ mode : the mode with which the new file will be opened
* @ fop : the ' struct file_operations ' for the new file
*/
2016-11-21 04:28:12 +03:00
struct file * alloc_file ( const struct path * path , fmode_t mode ,
2009-08-09 00:52:35 +04:00
const struct file_operations * fop )
2007-10-17 10:31:13 +04:00
{
struct file * file ;
file = get_empty_filp ( ) ;
2013-02-15 05:41:04 +04:00
if ( IS_ERR ( file ) )
2012-09-13 07:11:55 +04:00
return file ;
2007-10-17 10:31:13 +04:00
2009-08-09 00:52:35 +04:00
file - > f_path = * path ;
2013-03-02 04:48:30 +04:00
file - > f_inode = path - > dentry - > d_inode ;
2009-08-09 00:52:35 +04:00
file - > f_mapping = path - > dentry - > d_inode - > i_mapping ;
2014-02-12 03:37:41 +04:00
if ( ( mode & FMODE_READ ) & &
2015-04-04 08:14:53 +03:00
likely ( fop - > read | | fop - > read_iter ) )
2014-02-12 02:49:24 +04:00
mode | = FMODE_CAN_READ ;
2014-02-12 03:37:41 +04:00
if ( ( mode & FMODE_WRITE ) & &
2015-04-04 08:14:53 +03:00
likely ( fop - > write | | fop - > write_iter ) )
2014-02-12 02:49:24 +04:00
mode | = FMODE_CAN_WRITE ;
2007-10-17 10:31:13 +04:00
file - > f_mode = mode ;
file - > f_op = fop ;
2010-11-02 17:13:07 +03:00
if ( ( mode & ( FMODE_READ | FMODE_WRITE ) ) = = FMODE_READ )
i_readcount_inc ( path - > dentry - > d_inode ) ;
2009-08-08 23:56:29 +04:00
return file ;
2007-10-17 10:31:13 +04:00
}
2009-12-16 23:43:11 +03:00
EXPORT_SYMBOL ( alloc_file ) ;
2007-10-17 10:31:13 +04:00
2010-05-26 23:13:55 +04:00
/* the real guts of fput() - releasing the last reference to file
2005-04-17 02:20:36 +04:00
*/
2010-05-26 23:13:55 +04:00
static void __fput ( struct file * file )
2005-04-17 02:20:36 +04:00
{
2006-12-08 13:36:35 +03:00
struct dentry * dentry = file - > f_path . dentry ;
struct vfsmount * mnt = file - > f_path . mnt ;
2013-06-14 02:37:49 +04:00
struct inode * inode = file - > f_inode ;
2005-04-17 02:20:36 +04:00
might_sleep ( ) ;
[PATCH] inotify
inotify is intended to correct the deficiencies of dnotify, particularly
its inability to scale and its terrible user interface:
* dnotify requires the opening of one fd per each directory
that you intend to watch. This quickly results in too many
open files and pins removable media, preventing unmount.
* dnotify is directory-based. You only learn about changes to
directories. Sure, a change to a file in a directory affects
the directory, but you are then forced to keep a cache of
stat structures.
* dnotify's interface to user-space is awful. Signals?
inotify provides a more usable, simple, powerful solution to file change
notification:
* inotify's interface is a system call that returns a fd, not SIGIO.
You get a single fd, which is select()-able.
* inotify has an event that says "the filesystem that the item
you were watching is on was unmounted."
* inotify can watch directories or files.
Inotify is currently used by Beagle (a desktop search infrastructure),
Gamin (a FAM replacement), and other projects.
See Documentation/filesystems/inotify.txt.
Signed-off-by: Robert Love <rml@novell.com>
Cc: John McCutchan <ttb@tentacle.dhs.org>
Cc: Christoph Hellwig <hch@lst.de>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
2005-07-13 01:06:03 +04:00
fsnotify_close ( file ) ;
2005-04-17 02:20:36 +04:00
/*
* The function eventpoll_release ( ) should be the first called
* in the file cleanup chain .
*/
eventpoll_release ( file ) ;
2014-02-03 21:13:08 +04:00
locks_remove_file ( file ) ;
2005-04-17 02:20:36 +04:00
2008-11-01 02:28:30 +03:00
if ( unlikely ( file - > f_flags & FASYNC ) ) {
2013-09-23 00:27:52 +04:00
if ( file - > f_op - > fasync )
2008-11-01 02:28:30 +03:00
file - > f_op - > fasync ( - 1 , file , 0 ) ;
}
2011-03-17 05:48:43 +03:00
ima_file_free ( file ) ;
2013-09-23 00:27:52 +04:00
if ( file - > f_op - > release )
2005-04-17 02:20:36 +04:00
file - > f_op - > release ( inode , file ) ;
security_file_free ( file ) ;
2011-03-16 20:17:54 +03:00
if ( unlikely ( S_ISCHR ( inode - > i_mode ) & & inode - > i_cdev ! = NULL & &
! ( file - > f_mode & FMODE_PATH ) ) ) {
2005-04-17 02:20:36 +04:00
cdev_put ( inode - > i_cdev ) ;
2011-03-16 20:17:54 +03:00
}
2005-04-17 02:20:36 +04:00
fops_put ( file - > f_op ) ;
2006-10-02 13:17:15 +04:00
put_pid ( file - > f_owner . pid ) ;
2010-11-02 17:13:07 +03:00
if ( ( file - > f_mode & ( FMODE_READ | FMODE_WRITE ) ) = = FMODE_READ )
i_readcount_dec ( inode ) ;
2014-03-14 20:02:47 +04:00
if ( file - > f_mode & FMODE_WRITER ) {
put_write_access ( inode ) ;
__mnt_drop_write ( mnt ) ;
}
2006-12-08 13:36:35 +03:00
file - > f_path . dentry = NULL ;
file - > f_path . mnt = NULL ;
2013-03-02 04:48:30 +04:00
file - > f_inode = NULL ;
2005-04-17 02:20:36 +04:00
file_free ( file ) ;
dput ( dentry ) ;
mntput ( mnt ) ;
}
2013-07-09 01:24:16 +04:00
static LLIST_HEAD ( delayed_fput_list ) ;
2012-06-24 09:56:45 +04:00
static void delayed_fput ( struct work_struct * unused )
{
2013-07-09 01:24:16 +04:00
struct llist_node * node = llist_del_all ( & delayed_fput_list ) ;
struct llist_node * next ;
for ( ; node ; node = next ) {
next = llist_next ( node ) ;
__fput ( llist_entry ( node , struct file , f_u . fu_llist ) ) ;
2012-06-24 09:56:45 +04:00
}
}
static void ____fput ( struct callback_head * work )
{
__fput ( container_of ( work , struct file , f_u . fu_rcuhead ) ) ;
}
/*
* If kernel thread really needs to have the final fput ( ) it has done
* to complete , call this . The only user right now is the boot - we
* * do * need to make sure our writes to binaries on initramfs has
* not left us with opened struct file waiting for __fput ( ) - execve ( )
* won ' t work without that . Please , don ' t add more callers without
* very good reasons ; in particular , never call that with locks
* held and never call that from a thread that might need to do
* some work on any kind of umount .
*/
void flush_delayed_fput ( void )
{
delayed_fput ( NULL ) ;
}
2013-10-20 16:44:39 +04:00
static DECLARE_DELAYED_WORK ( delayed_fput_work , delayed_fput ) ;
2012-06-24 09:56:45 +04:00
2010-05-26 23:13:55 +04:00
void fput ( struct file * file )
{
2012-06-24 09:56:45 +04:00
if ( atomic_long_dec_and_test ( & file - > f_count ) ) {
struct task_struct * task = current ;
2013-06-14 23:09:47 +04:00
if ( likely ( ! in_interrupt ( ) & & ! ( task - > flags & PF_KTHREAD ) ) ) {
init_task_work ( & file - > f_u . fu_rcuhead , ____fput ) ;
if ( ! task_work_add ( task , & file - > f_u . fu_rcuhead , true ) )
return ;
2013-07-09 01:24:15 +04:00
/*
* After this task has run exit_task_work ( ) ,
2013-09-12 01:24:34 +04:00
* task_work_add ( ) will fail . Fall through to delayed
2013-07-09 01:24:15 +04:00
* fput to avoid leaking * file .
*/
2012-06-24 09:56:45 +04:00
}
2013-07-09 01:24:16 +04:00
if ( llist_add ( & file - > f_u . fu_llist , & delayed_fput_list ) )
2013-10-20 16:44:39 +04:00
schedule_delayed_work ( & delayed_fput_work , 1 ) ;
2012-06-24 09:56:45 +04:00
}
}
/*
* synchronous analog of fput ( ) ; for kernel threads that might be needed
* in some umount ( ) ( and thus can ' t use flush_delayed_fput ( ) without
* risking deadlocks ) , need to wait for completion of __fput ( ) and know
* for this specific struct file it won ' t involve anything that would
* need them . Use only if you really need it - at the very least ,
* don ' t blindly convert fput ( ) by kernel thread to that .
*/
void __fput_sync ( struct file * file )
{
if ( atomic_long_dec_and_test ( & file - > f_count ) ) {
struct task_struct * task = current ;
BUG_ON ( ! ( task - > flags & PF_KTHREAD ) ) ;
2010-05-26 23:13:55 +04:00
__fput ( file ) ;
2012-06-24 09:56:45 +04:00
}
2010-05-26 23:13:55 +04:00
}
EXPORT_SYMBOL ( fput ) ;
2005-04-17 02:20:36 +04:00
void put_filp ( struct file * file )
{
2008-07-26 08:39:17 +04:00
if ( atomic_long_dec_and_test ( & file - > f_count ) ) {
2005-04-17 02:20:36 +04:00
security_file_free ( file ) ;
file_free ( file ) ;
}
}
2015-08-07 01:46:20 +03:00
void __init files_init ( void )
2005-04-17 02:20:36 +04:00
{
2008-12-10 20:35:45 +03:00
filp_cachep = kmem_cache_create ( " filp " , sizeof ( struct file ) , 0 ,
SLAB_HWCACHE_ALIGN | SLAB_PANIC , NULL ) ;
2015-08-07 01:46:20 +03:00
percpu_counter_init ( & nr_files , 0 , GFP_KERNEL ) ;
}
2008-12-10 20:35:45 +03:00
2015-08-07 01:46:20 +03:00
/*
* One file with associated inode and dcache is very roughly 1 K . Per default
* do not use more than 10 % of our memory for files .
*/
void __init files_maxfiles_init ( void )
{
unsigned long n ;
unsigned long memreserve = ( totalram_pages - nr_free_pages ( ) ) * 3 / 2 ;
memreserve = min ( memreserve , totalram_pages - 1 ) ;
n = ( ( totalram_pages - memreserve ) * ( PAGE_SIZE / 1024 ) ) / 10 ;
2005-04-17 02:20:36 +04:00
2010-10-27 01:22:44 +04:00
files_stat . max_files = max_t ( unsigned long , n , NR_FILE ) ;
2005-04-17 02:20:36 +04:00
}