file_table.c 10.1 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4 5 6 7 8 9 10
/*
 *  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>
A
Al Viro 已提交
11
#include <linux/fdtable.h>
L
Linus Torvalds 已提交
12 13 14 15 16
#include <linux/init.h>
#include <linux/module.h>
#include <linux/fs.h>
#include <linux/security.h>
#include <linux/eventpoll.h>
17
#include <linux/rcupdate.h>
L
Linus Torvalds 已提交
18
#include <linux/mount.h>
19
#include <linux/capability.h>
L
Linus Torvalds 已提交
20
#include <linux/cdev.h>
R
Robert Love 已提交
21
#include <linux/fsnotify.h>
D
Dipankar Sarma 已提交
22 23
#include <linux/sysctl.h>
#include <linux/percpu_counter.h>
24
#include <linux/ima.h>
D
Dipankar Sarma 已提交
25 26

#include <asm/atomic.h>
L
Linus Torvalds 已提交
27

28 29
#include "internal.h"

L
Linus Torvalds 已提交
30 31 32 33 34 35
/* sysctl tunables... */
struct files_stat_struct files_stat = {
	.max_files = NR_FILE
};

/* public. Not pretty! */
D
Dipankar Sarma 已提交
36
__cacheline_aligned_in_smp DEFINE_SPINLOCK(files_lock);
L
Linus Torvalds 已提交
37

38 39 40
/* SLAB cache for file structures */
static struct kmem_cache *filp_cachep __read_mostly;

D
Dipankar Sarma 已提交
41
static struct percpu_counter nr_files __cacheline_aligned_in_smp;
L
Linus Torvalds 已提交
42

D
Dipankar Sarma 已提交
43
static inline void file_free_rcu(struct rcu_head *head)
L
Linus Torvalds 已提交
44
{
D
David Howells 已提交
45 46 47
	struct file *f = container_of(head, struct file, f_u.fu_rcuhead);

	put_cred(f->f_cred);
D
Dipankar Sarma 已提交
48
	kmem_cache_free(filp_cachep, f);
L
Linus Torvalds 已提交
49 50
}

D
Dipankar Sarma 已提交
51
static inline void file_free(struct file *f)
L
Linus Torvalds 已提交
52
{
D
Dipankar Sarma 已提交
53
	percpu_counter_dec(&nr_files);
54
	file_check_state(f);
D
Dipankar Sarma 已提交
55
	call_rcu(&f->f_u.fu_rcuhead, file_free_rcu);
L
Linus Torvalds 已提交
56 57
}

D
Dipankar Sarma 已提交
58 59 60 61
/*
 * Return the total number of open files in the system
 */
static int get_nr_files(void)
L
Linus Torvalds 已提交
62
{
D
Dipankar Sarma 已提交
63
	return percpu_counter_read_positive(&nr_files);
L
Linus Torvalds 已提交
64 65
}

D
Dipankar Sarma 已提交
66 67 68 69
/*
 * Return the maximum number of open files in the system
 */
int get_max_files(void)
70
{
D
Dipankar Sarma 已提交
71
	return files_stat.max_files;
72
}
D
Dipankar Sarma 已提交
73 74 75 76 77 78
EXPORT_SYMBOL_GPL(get_max_files);

/*
 * Handle nr_files sysctl
 */
#if defined(CONFIG_SYSCTL) && defined(CONFIG_PROC_FS)
79
int proc_nr_files(ctl_table *table, int write,
D
Dipankar Sarma 已提交
80 81 82
                     void __user *buffer, size_t *lenp, loff_t *ppos)
{
	files_stat.nr_files = get_nr_files();
83
	return proc_dointvec(table, write, buffer, lenp, ppos);
D
Dipankar Sarma 已提交
84 85
}
#else
86
int proc_nr_files(ctl_table *table, int write,
D
Dipankar Sarma 已提交
87 88 89 90 91
                     void __user *buffer, size_t *lenp, loff_t *ppos)
{
	return -ENOSYS;
}
#endif
92

L
Linus Torvalds 已提交
93 94 95
/* Find an unused file structure and return a pointer to it.
 * Returns NULL, if there are no more free file structures or
 * we run out of memory.
D
Dave Hansen 已提交
96 97 98 99 100 101
 *
 * 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.
L
Linus Torvalds 已提交
102 103 104
 */
struct file *get_empty_filp(void)
{
105
	const struct cred *cred = current_cred();
106
	static int old_max;
L
Linus Torvalds 已提交
107 108 109 110 111
	struct file * f;

	/*
	 * Privileged users can go above max_files
	 */
D
Dipankar Sarma 已提交
112 113 114 115 116
	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.
		 */
P
Peter Zijlstra 已提交
117
		if (percpu_counter_sum_positive(&nr_files) >= files_stat.max_files)
D
Dipankar Sarma 已提交
118 119
			goto over;
	}
120

D
Denis Cheng 已提交
121
	f = kmem_cache_zalloc(filp_cachep, GFP_KERNEL);
122 123 124
	if (f == NULL)
		goto fail;

D
Dipankar Sarma 已提交
125
	percpu_counter_inc(&nr_files);
126 127
	if (security_file_alloc(f))
		goto fail_sec;
L
Linus Torvalds 已提交
128

129
	INIT_LIST_HEAD(&f->f_u.fu_list);
A
Al Viro 已提交
130
	atomic_long_set(&f->f_count, 1);
131
	rwlock_init(&f->f_owner.lock);
D
David Howells 已提交
132
	f->f_cred = get_cred(cred);
J
Jonathan Corbet 已提交
133
	spin_lock_init(&f->f_lock);
134
	eventpoll_init_file(f);
135 136 137 138
	/* f->f_version: 0 */
	return f;

over:
L
Linus Torvalds 已提交
139
	/* Ran out of filps - report that */
D
Dipankar Sarma 已提交
140
	if (get_nr_files() > old_max) {
L
Linus Torvalds 已提交
141
		printk(KERN_INFO "VFS: file-max limit %d reached\n",
D
Dipankar Sarma 已提交
142 143
					get_max_files());
		old_max = get_nr_files();
L
Linus Torvalds 已提交
144
	}
145 146 147 148
	goto fail;

fail_sec:
	file_free(f);
L
Linus Torvalds 已提交
149 150 151 152
fail:
	return NULL;
}

153 154 155 156 157 158 159 160 161 162 163 164 165 166 167
/**
 * alloc_file - allocate and initialize a 'struct file'
 * @mnt: the vfsmount on which the file will reside
 * @dentry: the dentry representing the new file
 * @mode: the mode with which the new file will be opened
 * @fop: the 'struct file_operations' for the new file
 *
 * Use this instead of get_empty_filp() to get a new
 * 'struct file'.  Do so because of the same initialization
 * pitfalls reasons listed for init_file().  This is a
 * preferred interface to using init_file().
 *
 * If all the callers of init_file() are eliminated, its
 * code should be moved into this function.
 */
168 169
struct file *alloc_file(struct path *path, fmode_t mode,
		const struct file_operations *fop)
170 171 172 173 174 175 176
{
	struct file *file;

	file = get_empty_filp();
	if (!file)
		return NULL;

177 178
	file->f_path = *path;
	file->f_mapping = path->dentry->d_inode->i_mapping;
179 180
	file->f_mode = mode;
	file->f_op = fop;
181 182 183 184 185 186 187

	/*
	 * These mounts don't really matter in practice
	 * for r/o bind mounts.  They aren't userspace-
	 * visible.  We do this for consistency, and so
	 * that we can do debugging checks at __fput()
	 */
188
	if ((mode & FMODE_WRITE) && !special_file(path->dentry->d_inode->i_mode)) {
189
		file_take_write(file);
190
		WARN_ON(mnt_clone_write(path->mnt));
191
	}
192
	ima_counts_get(file);
A
Al Viro 已提交
193
	return file;
194
}
R
Roland Dreier 已提交
195
EXPORT_SYMBOL(alloc_file);
196

197
void fput(struct file *file)
L
Linus Torvalds 已提交
198
{
A
Al Viro 已提交
199
	if (atomic_long_dec_and_test(&file->f_count))
L
Linus Torvalds 已提交
200 201 202 203 204
		__fput(file);
}

EXPORT_SYMBOL(fput);

205 206 207 208 209 210 211 212 213 214
/**
 * drop_file_write_access - give up ability to write to a file
 * @file: the file to which we will stop writing
 *
 * This is a central place which will give up the ability
 * to write to @file, along with access to write through
 * its vfsmount.
 */
void drop_file_write_access(struct file *file)
{
215
	struct vfsmount *mnt = file->f_path.mnt;
216 217 218 219
	struct dentry *dentry = file->f_path.dentry;
	struct inode *inode = dentry->d_inode;

	put_write_access(inode);
220 221 222 223 224 225 226

	if (special_file(inode->i_mode))
		return;
	if (file_check_writeable(file) != 0)
		return;
	mnt_drop_write(mnt);
	file_release_write(file);
227 228 229
}
EXPORT_SYMBOL_GPL(drop_file_write_access);

L
Linus Torvalds 已提交
230 231 232
/* __fput is called from task context when aio completion releases the last
 * last use of a struct file *.  Do not use otherwise.
 */
233
void __fput(struct file *file)
L
Linus Torvalds 已提交
234
{
235 236
	struct dentry *dentry = file->f_path.dentry;
	struct vfsmount *mnt = file->f_path.mnt;
L
Linus Torvalds 已提交
237 238 239
	struct inode *inode = dentry->d_inode;

	might_sleep();
R
Robert Love 已提交
240 241

	fsnotify_close(file);
L
Linus Torvalds 已提交
242 243 244 245 246 247 248
	/*
	 * The function eventpoll_release() should be the first called
	 * in the file cleanup chain.
	 */
	eventpoll_release(file);
	locks_remove_flock(file);

A
Al Viro 已提交
249 250 251 252
	if (unlikely(file->f_flags & FASYNC)) {
		if (file->f_op && file->f_op->fasync)
			file->f_op->fasync(-1, file, 0);
	}
L
Linus Torvalds 已提交
253 254 255
	if (file->f_op && file->f_op->release)
		file->f_op->release(inode, file);
	security_file_free(file);
256
	if (unlikely(S_ISCHR(inode->i_mode) && inode->i_cdev != NULL))
L
Linus Torvalds 已提交
257 258
		cdev_put(inode->i_cdev);
	fops_put(file->f_op);
259
	put_pid(file->f_owner.pid);
L
Linus Torvalds 已提交
260
	file_kill(file);
261 262
	if (file->f_mode & FMODE_WRITE)
		drop_file_write_access(file);
263 264
	file->f_path.dentry = NULL;
	file->f_path.mnt = NULL;
L
Linus Torvalds 已提交
265 266 267 268 269
	file_free(file);
	dput(dentry);
	mntput(mnt);
}

270
struct file *fget(unsigned int fd)
L
Linus Torvalds 已提交
271 272 273 274
{
	struct file *file;
	struct files_struct *files = current->files;

275
	rcu_read_lock();
L
Linus Torvalds 已提交
276
	file = fcheck_files(files, fd);
277
	if (file) {
A
Al Viro 已提交
278
		if (!atomic_long_inc_not_zero(&file->f_count)) {
279 280 281 282 283 284 285
			/* File object ref couldn't be taken */
			rcu_read_unlock();
			return NULL;
		}
	}
	rcu_read_unlock();

L
Linus Torvalds 已提交
286 287 288 289 290 291 292 293 294 295 296 297
	return file;
}

EXPORT_SYMBOL(fget);

/*
 * Lightweight file lookup - no refcnt increment if fd table isn't shared. 
 * You can use this only if it is guranteed that the current task already 
 * holds a refcnt to that file. That check has to be done at fget() only
 * and a flag is returned to be passed to the corresponding fput_light().
 * There must not be a cloning between an fget_light/fput_light pair.
 */
298
struct file *fget_light(unsigned int fd, int *fput_needed)
L
Linus Torvalds 已提交
299 300 301 302 303 304 305 306
{
	struct file *file;
	struct files_struct *files = current->files;

	*fput_needed = 0;
	if (likely((atomic_read(&files->count) == 1))) {
		file = fcheck_files(files, fd);
	} else {
307
		rcu_read_lock();
L
Linus Torvalds 已提交
308 309
		file = fcheck_files(files, fd);
		if (file) {
A
Al Viro 已提交
310
			if (atomic_long_inc_not_zero(&file->f_count))
311 312 313 314
				*fput_needed = 1;
			else
				/* Didn't get the reference, someone's freed */
				file = NULL;
L
Linus Torvalds 已提交
315
		}
316
		rcu_read_unlock();
L
Linus Torvalds 已提交
317
	}
318

L
Linus Torvalds 已提交
319 320 321 322 323 324
	return file;
}


void put_filp(struct file *file)
{
A
Al Viro 已提交
325
	if (atomic_long_dec_and_test(&file->f_count)) {
L
Linus Torvalds 已提交
326 327 328 329 330 331 332 333 334 335 336
		security_file_free(file);
		file_kill(file);
		file_free(file);
	}
}

void file_move(struct file *file, struct list_head *list)
{
	if (!list)
		return;
	file_list_lock();
E
Eric Dumazet 已提交
337
	list_move(&file->f_u.fu_list, list);
L
Linus Torvalds 已提交
338 339 340 341 342
	file_list_unlock();
}

void file_kill(struct file *file)
{
E
Eric Dumazet 已提交
343
	if (!list_empty(&file->f_u.fu_list)) {
L
Linus Torvalds 已提交
344
		file_list_lock();
E
Eric Dumazet 已提交
345
		list_del_init(&file->f_u.fu_list);
L
Linus Torvalds 已提交
346 347 348 349 350 351
		file_list_unlock();
	}
}

int fs_may_remount_ro(struct super_block *sb)
{
352
	struct file *file;
L
Linus Torvalds 已提交
353 354 355

	/* Check that no files are currently opened for writing. */
	file_list_lock();
356
	list_for_each_entry(file, &sb->s_files, f_u.fu_list) {
357
		struct inode *inode = file->f_path.dentry->d_inode;
L
Linus Torvalds 已提交
358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373

		/* File with pending delete? */
		if (inode->i_nlink == 0)
			goto too_bad;

		/* Writeable file? */
		if (S_ISREG(inode->i_mode) && (file->f_mode & FMODE_WRITE))
			goto too_bad;
	}
	file_list_unlock();
	return 1; /* Tis' cool bro. */
too_bad:
	file_list_unlock();
	return 0;
}

374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411
/**
 *	mark_files_ro - mark all files read-only
 *	@sb: superblock in question
 *
 *	All files are marked read-only.  We don't care about pending
 *	delete files so this should be used in 'force' mode only.
 */
void mark_files_ro(struct super_block *sb)
{
	struct file *f;

retry:
	file_list_lock();
	list_for_each_entry(f, &sb->s_files, f_u.fu_list) {
		struct vfsmount *mnt;
		if (!S_ISREG(f->f_path.dentry->d_inode->i_mode))
		       continue;
		if (!file_count(f))
			continue;
		if (!(f->f_mode & FMODE_WRITE))
			continue;
		f->f_mode &= ~FMODE_WRITE;
		if (file_check_writeable(f) != 0)
			continue;
		file_release_write(f);
		mnt = mntget(f->f_path.mnt);
		file_list_unlock();
		/*
		 * This can sleep, so we can't hold
		 * the file_list_lock() spinlock.
		 */
		mnt_drop_write(mnt);
		mntput(mnt);
		goto retry;
	}
	file_list_unlock();
}

L
Linus Torvalds 已提交
412 413 414
void __init files_init(unsigned long mempages)
{ 
	int n; 
415 416 417 418 419 420

	filp_cachep = kmem_cache_create("filp", sizeof(struct file), 0,
			SLAB_HWCACHE_ALIGN | SLAB_PANIC, NULL);

	/*
	 * One file with associated inode and dcache is very roughly 1K.
L
Linus Torvalds 已提交
421 422 423 424 425 426 427
	 * Per default don't use more than 10% of our memory for files. 
	 */ 

	n = (mempages * (PAGE_SIZE / 1024)) / 10;
	files_stat.max_files = n; 
	if (files_stat.max_files < NR_FILE)
		files_stat.max_files = NR_FILE;
428
	files_defer_init();
429
	percpu_counter_init(&nr_files, 0);
L
Linus Torvalds 已提交
430
}