file.c 32.0 KB
Newer Older
1
// SPDX-License-Identifier: GPL-2.0
L
Linus Torvalds 已提交
2 3 4 5 6 7 8 9
/*
 *  linux/fs/file.c
 *
 *  Copyright (C) 1998-1999, Stephen Tweedie and Bill Hawes
 *
 *  Manage the dynamic fd arrays in the process files_struct.
 */

10
#include <linux/syscalls.h>
11
#include <linux/export.h>
L
Linus Torvalds 已提交
12
#include <linux/fs.h>
C
Christian Brauner 已提交
13
#include <linux/kernel.h>
L
Linus Torvalds 已提交
14
#include <linux/mm.h>
15
#include <linux/sched/signal.h>
L
Linus Torvalds 已提交
16 17
#include <linux/slab.h>
#include <linux/file.h>
A
Al Viro 已提交
18
#include <linux/fdtable.h>
L
Linus Torvalds 已提交
19
#include <linux/bitops.h>
20 21
#include <linux/spinlock.h>
#include <linux/rcupdate.h>
22
#include <linux/close_range.h>
23
#include <net/sock.h>
24

25 26
#include "internal.h"

27 28
unsigned int sysctl_nr_open __read_mostly = 1024*1024;
unsigned int sysctl_nr_open_min = BITS_PER_LONG;
29 30
/* our min() is unusable in constant expressions ;-/ */
#define __const_min(x, y) ((x) < (y) ? (x) : (y))
31 32
unsigned int sysctl_nr_open_max =
	__const_min(INT_MAX, ~(size_t)0/sizeof(void *)) & -BITS_PER_LONG;
33

34
static void __free_fdtable(struct fdtable *fdt)
L
Linus Torvalds 已提交
35
{
A
Al Viro 已提交
36 37
	kvfree(fdt->fd);
	kvfree(fdt->open_fds);
38
	kfree(fdt);
39
}
L
Linus Torvalds 已提交
40

41
static void free_fdtable_rcu(struct rcu_head *rcu)
42
{
43
	__free_fdtable(container_of(rcu, struct fdtable, rcu));
44 45
}

46 47 48
#define BITBIT_NR(nr)	BITS_TO_LONGS(BITS_TO_LONGS(nr))
#define BITBIT_SIZE(nr)	(BITBIT_NR(nr) * sizeof(long))

49
/*
50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74
 * Copy 'count' fd bits from the old table to the new table and clear the extra
 * space if any.  This does not copy the file pointers.  Called with the files
 * spinlock held for write.
 */
static void copy_fd_bitmaps(struct fdtable *nfdt, struct fdtable *ofdt,
			    unsigned int count)
{
	unsigned int cpy, set;

	cpy = count / BITS_PER_BYTE;
	set = (nfdt->max_fds - count) / BITS_PER_BYTE;
	memcpy(nfdt->open_fds, ofdt->open_fds, cpy);
	memset((char *)nfdt->open_fds + cpy, 0, set);
	memcpy(nfdt->close_on_exec, ofdt->close_on_exec, cpy);
	memset((char *)nfdt->close_on_exec + cpy, 0, set);

	cpy = BITBIT_SIZE(count);
	set = BITBIT_SIZE(nfdt->max_fds) - cpy;
	memcpy(nfdt->full_fds_bits, ofdt->full_fds_bits, cpy);
	memset((char *)nfdt->full_fds_bits + cpy, 0, set);
}

/*
 * Copy all file descriptors from the old table to the new, expanded table and
 * clear the extra space.  Called with the files spinlock held for write.
75
 */
76
static void copy_fdtable(struct fdtable *nfdt, struct fdtable *ofdt)
77
{
78
	size_t cpy, set;
79

80 81 82 83 84
	BUG_ON(nfdt->max_fds < ofdt->max_fds);

	cpy = ofdt->max_fds * sizeof(struct file *);
	set = (nfdt->max_fds - ofdt->max_fds) * sizeof(struct file *);
	memcpy(nfdt->fd, ofdt->fd, cpy);
85
	memset((char *)nfdt->fd + cpy, 0, set);
86

87
	copy_fd_bitmaps(nfdt, ofdt, ofdt->max_fds);
L
Linus Torvalds 已提交
88 89
}

90 91 92 93 94 95 96 97 98 99 100 101 102 103 104
/*
 * Note how the fdtable bitmap allocations very much have to be a multiple of
 * BITS_PER_LONG. This is not only because we walk those things in chunks of
 * 'unsigned long' in some places, but simply because that is how the Linux
 * kernel bitmaps are defined to work: they are not "bits in an array of bytes",
 * they are very much "bits in an array of unsigned long".
 *
 * The ALIGN(nr, BITS_PER_LONG) here is for clarity: since we just multiplied
 * by that "1024/sizeof(ptr)" before, we already know there are sufficient
 * clear low bits. Clang seems to realize that, gcc ends up being confused.
 *
 * On a 128-bit machine, the ALIGN() would actually matter. In the meantime,
 * let's consider it documentation (and maybe a test-case for gcc to improve
 * its code generation ;)
 */
105
static struct fdtable * alloc_fdtable(unsigned int nr)
L
Linus Torvalds 已提交
106
{
107
	struct fdtable *fdt;
108
	void *data;
L
Linus Torvalds 已提交
109

110
	/*
111 112 113 114 115
	 * Figure out how many fds we actually want to support in this fdtable.
	 * Allocation steps are keyed to the size of the fdarray, since it
	 * grows far faster than any of the other dynamic data. We try to fit
	 * the fdarray into comfortable page-tuned chunks: starting at 1024B
	 * and growing in powers of two from there on.
116
	 */
117 118 119
	nr /= (1024 / sizeof(struct file *));
	nr = roundup_pow_of_two(nr + 1);
	nr *= (1024 / sizeof(struct file *));
120
	nr = ALIGN(nr, BITS_PER_LONG);
A
Al Viro 已提交
121 122 123 124 125 126 127 128 129 130
	/*
	 * Note that this can drive nr *below* what we had passed if sysctl_nr_open
	 * had been set lower between the check in expand_files() and here.  Deal
	 * with that in caller, it's cheaper that way.
	 *
	 * We make sure that nr remains a multiple of BITS_PER_LONG - otherwise
	 * bitmaps handling below becomes unpleasant, to put it mildly...
	 */
	if (unlikely(nr > sysctl_nr_open))
		nr = ((sysctl_nr_open - 1) | (BITS_PER_LONG - 1)) + 1;
131

132
	fdt = kmalloc(sizeof(struct fdtable), GFP_KERNEL_ACCOUNT);
133
	if (!fdt)
134
		goto out;
135
	fdt->max_fds = nr;
136
	data = kvmalloc_array(nr, sizeof(struct file *), GFP_KERNEL_ACCOUNT);
137 138
	if (!data)
		goto out_fdt;
139 140
	fdt->fd = data;

141 142 143
	data = kvmalloc(max_t(size_t,
				 2 * nr / BITS_PER_BYTE + BITBIT_SIZE(nr), L1_CACHE_BYTES),
				 GFP_KERNEL_ACCOUNT);
144 145
	if (!data)
		goto out_arr;
146
	fdt->open_fds = data;
147
	data += nr / BITS_PER_BYTE;
148
	fdt->close_on_exec = data;
149 150
	data += nr / BITS_PER_BYTE;
	fdt->full_fds_bits = data;
151

152
	return fdt;
153 154

out_arr:
A
Al Viro 已提交
155
	kvfree(fdt->fd);
156
out_fdt:
157
	kfree(fdt);
158
out:
159 160
	return NULL;
}
L
Linus Torvalds 已提交
161

162
/*
163 164 165 166 167
 * Expand the file descriptor table.
 * This function will allocate a new fdtable and both fd array and fdset, of
 * the given size.
 * Return <0 error code on error; 1 on successful completion.
 * The files->file_lock should be held on entry, and will be held on exit.
168
 */
169
static int expand_fdtable(struct files_struct *files, unsigned int nr)
170 171 172
	__releases(files->file_lock)
	__acquires(files->file_lock)
{
173
	struct fdtable *new_fdt, *cur_fdt;
174 175

	spin_unlock(&files->file_lock);
176
	new_fdt = alloc_fdtable(nr);
177

178
	/* make sure all fd_install() have seen resize_in_progress
179 180 181
	 * or have finished their rcu_read_lock_sched() section.
	 */
	if (atomic_read(&files->count) > 1)
182
		synchronize_rcu();
183

184
	spin_lock(&files->file_lock);
185 186
	if (!new_fdt)
		return -ENOMEM;
A
Al Viro 已提交
187 188 189 190 191
	/*
	 * extremely unlikely race - sysctl_nr_open decreased between the check in
	 * caller and alloc_fdtable().  Cheaper to catch it here...
	 */
	if (unlikely(new_fdt->max_fds <= nr)) {
192
		__free_fdtable(new_fdt);
A
Al Viro 已提交
193 194
		return -EMFILE;
	}
195
	cur_fdt = files_fdtable(files);
196 197 198 199 200
	BUG_ON(nr < cur_fdt->max_fds);
	copy_fdtable(new_fdt, cur_fdt);
	rcu_assign_pointer(files->fdt, new_fdt);
	if (cur_fdt != &files->fdtab)
		call_rcu(&cur_fdt->rcu, free_fdtable_rcu);
201
	/* coupled with smp_rmb() in fd_install() */
202
	smp_wmb();
203
	return 1;
L
Linus Torvalds 已提交
204 205 206 207
}

/*
 * Expand files.
208 209 210 211 212
 * This function will expand the file structures, if the requested size exceeds
 * the current capacity and there is room for expansion.
 * Return <0 error code on error; 0 when nothing done; 1 when files were
 * expanded and execution may have blocked.
 * The files->file_lock should be held on entry, and will be held on exit.
L
Linus Torvalds 已提交
213
 */
214
static int expand_files(struct files_struct *files, unsigned int nr)
215 216
	__releases(files->file_lock)
	__acquires(files->file_lock)
L
Linus Torvalds 已提交
217
{
218
	struct fdtable *fdt;
219
	int expanded = 0;
L
Linus Torvalds 已提交
220

221
repeat:
222
	fdt = files_fdtable(files);
A
Al Viro 已提交
223

224
	/* Do we need to expand? */
225
	if (nr < fdt->max_fds)
226
		return expanded;
A
Al Viro 已提交
227

228
	/* Can we expand? */
229
	if (nr >= sysctl_nr_open)
230 231
		return -EMFILE;

232 233 234 235 236 237 238 239
	if (unlikely(files->resize_in_progress)) {
		spin_unlock(&files->file_lock);
		expanded = 1;
		wait_event(files->resize_wait, !files->resize_in_progress);
		spin_lock(&files->file_lock);
		goto repeat;
	}

240
	/* All good, so we try */
241 242 243 244 245 246
	files->resize_in_progress = true;
	expanded = expand_fdtable(files, nr);
	files->resize_in_progress = false;

	wake_up_all(&files->resize_wait);
	return expanded;
L
Linus Torvalds 已提交
247
}
248

249
static inline void __set_close_on_exec(unsigned int fd, struct fdtable *fdt)
250 251 252 253
{
	__set_bit(fd, fdt->close_on_exec);
}

254
static inline void __clear_close_on_exec(unsigned int fd, struct fdtable *fdt)
255
{
256 257
	if (test_bit(fd, fdt->close_on_exec))
		__clear_bit(fd, fdt->close_on_exec);
258 259
}

260
static inline void __set_open_fd(unsigned int fd, struct fdtable *fdt)
261 262
{
	__set_bit(fd, fdt->open_fds);
263 264 265
	fd /= BITS_PER_LONG;
	if (!~fdt->open_fds[fd])
		__set_bit(fd, fdt->full_fds_bits);
266 267
}

268
static inline void __clear_open_fd(unsigned int fd, struct fdtable *fdt)
269 270
{
	__clear_bit(fd, fdt->open_fds);
271
	__clear_bit(fd / BITS_PER_LONG, fdt->full_fds_bits);
272 273
}

274
static unsigned int count_open_files(struct fdtable *fdt)
A
Al Viro 已提交
275
{
276 277
	unsigned int size = fdt->max_fds;
	unsigned int i;
A
Al Viro 已提交
278 279

	/* Find the last open fd */
280 281
	for (i = size / BITS_PER_LONG; i > 0; ) {
		if (fdt->open_fds[--i])
A
Al Viro 已提交
282 283
			break;
	}
284
	i = (i + 1) * BITS_PER_LONG;
A
Al Viro 已提交
285 286 287
	return i;
}

288 289 290 291 292 293 294 295 296 297 298 299 300
/*
 * Note that a sane fdtable size always has to be a multiple of
 * BITS_PER_LONG, since we have bitmaps that are sized by this.
 *
 * 'max_fds' will normally already be properly aligned, but it
 * turns out that in the close_range() -> __close_range() ->
 * unshare_fd() -> dup_fd() -> sane_fdtable_size() we can end
 * up having a 'max_fds' value that isn't already aligned.
 *
 * Rather than make close_range() have to worry about this,
 * just make that BITS_PER_LONG alignment be part of a sane
 * fdtable size. Becuase that's really what it is.
 */
301 302 303 304 305 306 307
static unsigned int sane_fdtable_size(struct fdtable *fdt, unsigned int max_fds)
{
	unsigned int count;

	count = count_open_files(fdt);
	if (max_fds < NR_OPEN_DEFAULT)
		max_fds = NR_OPEN_DEFAULT;
308
	return ALIGN(min(count, max_fds), BITS_PER_LONG);
309 310
}

A
Al Viro 已提交
311 312 313 314 315
/*
 * Allocate a new files structure and copy contents from the
 * passed in files structure.
 * errorp will be valid only when the returned files_struct is NULL.
 */
316
struct files_struct *dup_fd(struct files_struct *oldf, unsigned int max_fds, int *errorp)
A
Al Viro 已提交
317 318 319
{
	struct files_struct *newf;
	struct file **old_fds, **new_fds;
320
	unsigned int open_files, i;
A
Al Viro 已提交
321 322 323
	struct fdtable *old_fdt, *new_fdt;

	*errorp = -ENOMEM;
A
Al Viro 已提交
324
	newf = kmem_cache_alloc(files_cachep, GFP_KERNEL);
A
Al Viro 已提交
325 326 327
	if (!newf)
		goto out;

A
Al Viro 已提交
328 329 330
	atomic_set(&newf->count, 1);

	spin_lock_init(&newf->file_lock);
331 332
	newf->resize_in_progress = false;
	init_waitqueue_head(&newf->resize_wait);
A
Al Viro 已提交
333 334 335
	newf->next_fd = 0;
	new_fdt = &newf->fdtab;
	new_fdt->max_fds = NR_OPEN_DEFAULT;
336 337
	new_fdt->close_on_exec = newf->close_on_exec_init;
	new_fdt->open_fds = newf->open_fds_init;
338
	new_fdt->full_fds_bits = newf->full_fds_bits_init;
A
Al Viro 已提交
339 340
	new_fdt->fd = &newf->fd_array[0];

A
Al Viro 已提交
341 342
	spin_lock(&oldf->file_lock);
	old_fdt = files_fdtable(oldf);
343
	open_files = sane_fdtable_size(old_fdt, max_fds);
A
Al Viro 已提交
344 345 346 347

	/*
	 * Check whether we need to allocate a larger fd array and fd set.
	 */
A
Al Viro 已提交
348
	while (unlikely(open_files > new_fdt->max_fds)) {
A
Al Viro 已提交
349
		spin_unlock(&oldf->file_lock);
A
Al Viro 已提交
350

351 352
		if (new_fdt != &newf->fdtab)
			__free_fdtable(new_fdt);
A
Al Viro 已提交
353

A
Al Viro 已提交
354 355 356 357 358 359 360 361
		new_fdt = alloc_fdtable(open_files - 1);
		if (!new_fdt) {
			*errorp = -ENOMEM;
			goto out_release;
		}

		/* beyond sysctl_nr_open; nothing to do */
		if (unlikely(new_fdt->max_fds < open_files)) {
362
			__free_fdtable(new_fdt);
A
Al Viro 已提交
363
			*errorp = -EMFILE;
A
Al Viro 已提交
364
			goto out_release;
A
Al Viro 已提交
365 366
		}

A
Al Viro 已提交
367 368 369 370 371 372 373
		/*
		 * Reacquire the oldf lock and a pointer to its fd table
		 * who knows it may have a new bigger fd table. We need
		 * the latest pointer.
		 */
		spin_lock(&oldf->file_lock);
		old_fdt = files_fdtable(oldf);
374
		open_files = sane_fdtable_size(old_fdt, max_fds);
A
Al Viro 已提交
375 376
	}

377 378
	copy_fd_bitmaps(new_fdt, old_fdt, open_files);

A
Al Viro 已提交
379 380 381 382 383 384 385 386 387 388 389 390 391 392
	old_fds = old_fdt->fd;
	new_fds = new_fdt->fd;

	for (i = open_files; i != 0; i--) {
		struct file *f = *old_fds++;
		if (f) {
			get_file(f);
		} else {
			/*
			 * The fd may be claimed in the fd bitmap but not yet
			 * instantiated in the files array if a sibling thread
			 * is partway through open().  So make sure that this
			 * fd is available to the new process.
			 */
393
			__clear_open_fd(open_files - i, new_fdt);
A
Al Viro 已提交
394 395 396 397 398
		}
		rcu_assign_pointer(*new_fds++, f);
	}
	spin_unlock(&oldf->file_lock);

399 400
	/* clear the remainder */
	memset(new_fds, 0, (new_fdt->max_fds - open_files) * sizeof(struct file *));
A
Al Viro 已提交
401

A
Al Viro 已提交
402 403
	rcu_assign_pointer(newf->fdt, new_fdt);

A
Al Viro 已提交
404 405 406 407 408 409 410 411
	return newf;

out_release:
	kmem_cache_free(files_cachep, newf);
out:
	return NULL;
}

412
static struct fdtable *close_files(struct files_struct * files)
413 414 415 416
{
	/*
	 * It is safe to dereference the fd table without RCU or
	 * ->file_lock because this is the last reference to the
417
	 * files structure.
418
	 */
419
	struct fdtable *fdt = rcu_dereference_raw(files->fdt);
420
	unsigned int i, j = 0;
421

422 423 424 425 426 427 428 429 430 431 432
	for (;;) {
		unsigned long set;
		i = j * BITS_PER_LONG;
		if (i >= fdt->max_fds)
			break;
		set = fdt->open_fds[j++];
		while (set) {
			if (set & 1) {
				struct file * file = xchg(&fdt->fd[i], NULL);
				if (file) {
					filp_close(file, files);
433
					cond_resched();
434 435 436 437 438 439
				}
			}
			i++;
			set >>= 1;
		}
	}
440 441

	return fdt;
442 443 444 445 446
}

void put_files_struct(struct files_struct *files)
{
	if (atomic_dec_and_test(&files->count)) {
447 448
		struct fdtable *fdt = close_files(files);

449 450 451 452
		/* free the arrays if they are not embedded */
		if (fdt != &files->fdtab)
			__free_fdtable(fdt);
		kmem_cache_free(files_cachep, files);
453 454 455 456 457 458 459 460 461 462 463 464 465 466 467
	}
}

void exit_files(struct task_struct *tsk)
{
	struct files_struct * files = tsk->files;

	if (files) {
		task_lock(tsk);
		tsk->files = NULL;
		task_unlock(tsk);
		put_files_struct(files);
	}
}

A
Al Viro 已提交
468 469 470 471 472 473
struct files_struct init_files = {
	.count		= ATOMIC_INIT(1),
	.fdt		= &init_files.fdtab,
	.fdtab		= {
		.max_fds	= NR_OPEN_DEFAULT,
		.fd		= &init_files.fd_array[0],
474 475
		.close_on_exec	= init_files.close_on_exec_init,
		.open_fds	= init_files.open_fds_init,
476
		.full_fds_bits	= init_files.full_fds_bits_init,
A
Al Viro 已提交
477
	},
478
	.file_lock	= __SPIN_LOCK_UNLOCKED(init_files.file_lock),
479
	.resize_wait	= __WAIT_QUEUE_HEAD_INITIALIZER(init_files.resize_wait),
A
Al Viro 已提交
480
};
481

482
static unsigned int find_next_fd(struct fdtable *fdt, unsigned int start)
483
{
484 485 486
	unsigned int maxfd = fdt->max_fds;
	unsigned int maxbit = maxfd / BITS_PER_LONG;
	unsigned int bitbit = start / BITS_PER_LONG;
487 488 489 490 491 492 493 494 495

	bitbit = find_next_zero_bit(fdt->full_fds_bits, maxbit, bitbit) * BITS_PER_LONG;
	if (bitbit > maxfd)
		return maxfd;
	if (bitbit > start)
		start = bitbit;
	return find_next_zero_bit(fdt->open_fds, maxfd, start);
}

496 497 498
/*
 * allocate a file descriptor, mark it busy.
 */
499
static int alloc_fd(unsigned start, unsigned end, unsigned flags)
500
{
501
	struct files_struct *files = current->files;
502 503 504 505 506 507 508 509 510 511 512 513
	unsigned int fd;
	int error;
	struct fdtable *fdt;

	spin_lock(&files->file_lock);
repeat:
	fdt = files_fdtable(files);
	fd = start;
	if (fd < files->next_fd)
		fd = files->next_fd;

	if (fd < fdt->max_fds)
514
		fd = find_next_fd(fdt, fd);
515

516 517 518 519 520 521 522 523
	/*
	 * N.B. For clone tasks sharing a files structure, this test
	 * will limit the total number of files that can be opened.
	 */
	error = -EMFILE;
	if (fd >= end)
		goto out;

524 525 526 527 528 529 530 531 532 533 534 535 536 537
	error = expand_files(files, fd);
	if (error < 0)
		goto out;

	/*
	 * If we needed to expand the fs array we
	 * might have blocked - try again.
	 */
	if (error)
		goto repeat;

	if (start <= files->next_fd)
		files->next_fd = fd + 1;

538
	__set_open_fd(fd, fdt);
539
	if (flags & O_CLOEXEC)
540
		__set_close_on_exec(fd, fdt);
541
	else
542
		__clear_close_on_exec(fd, fdt);
543 544 545
	error = fd;
#if 1
	/* Sanity check */
546
	if (rcu_access_pointer(fdt->fd[fd]) != NULL) {
547 548 549 550 551 552 553 554 555 556
		printk(KERN_WARNING "alloc_fd: slot %d not NULL!\n", fd);
		rcu_assign_pointer(fdt->fd[fd], NULL);
	}
#endif

out:
	spin_unlock(&files->file_lock);
	return error;
}

557 558
int __get_unused_fd_flags(unsigned flags, unsigned long nofile)
{
559
	return alloc_fd(0, nofile, flags);
560 561
}

A
Al Viro 已提交
562
int get_unused_fd_flags(unsigned flags)
563
{
564
	return __get_unused_fd_flags(flags, rlimit(RLIMIT_NOFILE));
565
}
A
Al Viro 已提交
566
EXPORT_SYMBOL(get_unused_fd_flags);
567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596

static void __put_unused_fd(struct files_struct *files, unsigned int fd)
{
	struct fdtable *fdt = files_fdtable(files);
	__clear_open_fd(fd, fdt);
	if (fd < files->next_fd)
		files->next_fd = fd;
}

void put_unused_fd(unsigned int fd)
{
	struct files_struct *files = current->files;
	spin_lock(&files->file_lock);
	__put_unused_fd(files, fd);
	spin_unlock(&files->file_lock);
}

EXPORT_SYMBOL(put_unused_fd);

/*
 * Install a file pointer in the fd array.
 *
 * The VFS is full of places where we drop the files lock between
 * setting the open_fds bitmap and installing the file in the file
 * array.  At any such point, we are vulnerable to a dup2() race
 * installing a file in the array before us.  We need to detect this and
 * fput() the struct file we are about to overwrite in this case.
 *
 * It should never happen - if we allow dup2() do it, _really_ bad things
 * will follow.
597
 *
598 599
 * This consumes the "file" refcount, so callers should treat it
 * as if they had called fput(file).
600 601
 */

602
void fd_install(unsigned int fd, struct file *file)
603
{
604
	struct files_struct *files = current->files;
605
	struct fdtable *fdt;
606 607 608

	rcu_read_lock_sched();

609
	if (unlikely(files->resize_in_progress)) {
610
		rcu_read_unlock_sched();
611 612 613 614 615 616
		spin_lock(&files->file_lock);
		fdt = files_fdtable(files);
		BUG_ON(fdt->fd[fd] != NULL);
		rcu_assign_pointer(fdt->fd[fd], file);
		spin_unlock(&files->file_lock);
		return;
617 618 619 620
	}
	/* coupled with smp_wmb() in expand_fdtable() */
	smp_rmb();
	fdt = rcu_dereference_sched(files->fdt);
621 622
	BUG_ON(fdt->fd[fd] != NULL);
	rcu_assign_pointer(fdt->fd[fd], file);
623
	rcu_read_unlock_sched();
624 625 626
}

EXPORT_SYMBOL(fd_install);
A
Al Viro 已提交
627

628 629 630 631 632
/**
 * pick_file - return file associatd with fd
 * @files: file struct to retrieve file from
 * @fd: file descriptor to retrieve file for
 *
633
 * Context: files_lock must be held.
634
 *
635
 * Returns: The file associated with @fd (NULL if @fd is not open)
636
 */
C
Christian Brauner 已提交
637
static struct file *pick_file(struct files_struct *files, unsigned fd)
638
{
639
	struct fdtable *fdt = files_fdtable(files);
640
	struct file *file;
641

642 643 644
	if (fd >= fdt->max_fds)
		return NULL;

645
	file = fdt->fd[fd];
646 647 648
	if (file) {
		rcu_assign_pointer(fdt->fd[fd], NULL);
		__put_unused_fd(files, fd);
649
	}
C
Christian Brauner 已提交
650 651 652
	return file;
}

653
int close_fd(unsigned fd)
C
Christian Brauner 已提交
654
{
655
	struct files_struct *files = current->files;
C
Christian Brauner 已提交
656 657
	struct file *file;

658
	spin_lock(&files->file_lock);
C
Christian Brauner 已提交
659
	file = pick_file(files, fd);
660 661
	spin_unlock(&files->file_lock);
	if (!file)
C
Christian Brauner 已提交
662 663 664
		return -EBADF;

	return filp_close(file, files);
665
}
666
EXPORT_SYMBOL(close_fd); /* for ksys_close() */
667

668 669 670 671 672 673 674 675 676 677 678 679 680
/**
 * last_fd - return last valid index into fd table
 * @cur_fds: files struct
 *
 * Context: Either rcu read lock or files_lock must be held.
 *
 * Returns: Last valid index into fdtable.
 */
static inline unsigned last_fd(struct fdtable *fdt)
{
	return fdt->max_fds - 1;
}

681 682 683 684 685
static inline void __range_cloexec(struct files_struct *cur_fds,
				   unsigned int fd, unsigned int max_fd)
{
	struct fdtable *fdt;

686
	/* make sure we're using the correct maximum value */
687 688
	spin_lock(&cur_fds->file_lock);
	fdt = files_fdtable(cur_fds);
689 690 691
	max_fd = min(last_fd(fdt), max_fd);
	if (fd <= max_fd)
		bitmap_set(fdt->close_on_exec, fd, max_fd - fd + 1);
692 693 694 695 696 697
	spin_unlock(&cur_fds->file_lock);
}

static inline void __range_close(struct files_struct *cur_fds, unsigned int fd,
				 unsigned int max_fd)
{
698 699 700 701 702 703 704
	unsigned n;

	rcu_read_lock();
	n = last_fd(files_fdtable(cur_fds));
	rcu_read_unlock();
	max_fd = min(max_fd, n);

705 706 707
	while (fd <= max_fd) {
		struct file *file;

708
		spin_lock(&cur_fds->file_lock);
709
		file = pick_file(cur_fds, fd++);
710 711 712
		spin_unlock(&cur_fds->file_lock);

		if (file) {
713 714 715 716
			/* found a valid file to close */
			filp_close(file, cur_fds);
			cond_resched();
		}
717 718 719
	}
}

C
Christian Brauner 已提交
720 721 722 723 724 725 726 727 728
/**
 * __close_range() - Close all file descriptors in a given range.
 *
 * @fd:     starting file descriptor to close
 * @max_fd: last file descriptor to close
 *
 * This closes a range of file descriptors. All file descriptors
 * from @fd up to and including @max_fd are closed.
 */
729
int __close_range(unsigned fd, unsigned max_fd, unsigned int flags)
C
Christian Brauner 已提交
730
{
731 732 733
	struct task_struct *me = current;
	struct files_struct *cur_fds = me->files, *fds = NULL;

734
	if (flags & ~(CLOSE_RANGE_UNSHARE | CLOSE_RANGE_CLOEXEC))
735
		return -EINVAL;
C
Christian Brauner 已提交
736 737 738 739

	if (fd > max_fd)
		return -EINVAL;

740 741 742 743 744
	if (flags & CLOSE_RANGE_UNSHARE) {
		int ret;
		unsigned int max_unshare_fds = NR_OPEN_MAX;

		/*
745 746 747
		 * If the caller requested all fds to be made cloexec we always
		 * copy all of the file descriptors since they still want to
		 * use them.
748
		 */
749 750 751 752 753 754 755 756 757 758 759
		if (!(flags & CLOSE_RANGE_CLOEXEC)) {
			/*
			 * If the requested range is greater than the current
			 * maximum, we're closing everything so only copy all
			 * file descriptors beneath the lowest file descriptor.
			 */
			rcu_read_lock();
			if (max_fd >= last_fd(files_fdtable(cur_fds)))
				max_unshare_fds = fd;
			rcu_read_unlock();
		}
760 761 762 763 764 765 766 767 768 769 770 771 772

		ret = unshare_fd(CLONE_FILES, max_unshare_fds, &fds);
		if (ret)
			return ret;

		/*
		 * We used to share our file descriptor table, and have now
		 * created a private one, make sure we're using it below.
		 */
		if (fds)
			swap(cur_fds, fds);
	}

773 774 775 776
	if (flags & CLOSE_RANGE_CLOEXEC)
		__range_cloexec(cur_fds, fd, max_fd);
	else
		__range_close(cur_fds, fd, max_fd);
C
Christian Brauner 已提交
777

778 779 780 781 782 783 784 785 786 787 788
	if (fds) {
		/*
		 * We're done closing the files we were supposed to. Time to install
		 * the new file descriptor table and drop the old one.
		 */
		task_lock(me);
		me->files = cur_fds;
		task_unlock(me);
		put_files_struct(fds);
	}

C
Christian Brauner 已提交
789 790 791
	return 0;
}

792
/*
793 794
 * See close_fd_get_file() below, this variant assumes current->files->file_lock
 * is held.
795
 */
796
struct file *__close_fd_get_file(unsigned int fd)
797
{
798
	return pick_file(current->files, fd);
799 800
}

801 802
/*
 * variant of close_fd that gets a ref on the file for later fput.
803
 * The caller must ensure that filp_close() called on the file.
804
 */
805
struct file *close_fd_get_file(unsigned int fd)
806 807
{
	struct files_struct *files = current->files;
808
	struct file *file;
809 810

	spin_lock(&files->file_lock);
811
	file = pick_file(files, fd);
812 813
	spin_unlock(&files->file_lock);

814
	return file;
815 816
}

817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852
void do_close_on_exec(struct files_struct *files)
{
	unsigned i;
	struct fdtable *fdt;

	/* exec unshares first */
	spin_lock(&files->file_lock);
	for (i = 0; ; i++) {
		unsigned long set;
		unsigned fd = i * BITS_PER_LONG;
		fdt = files_fdtable(files);
		if (fd >= fdt->max_fds)
			break;
		set = fdt->close_on_exec[i];
		if (!set)
			continue;
		fdt->close_on_exec[i] = 0;
		for ( ; set ; fd++, set >>= 1) {
			struct file *file;
			if (!(set & 1))
				continue;
			file = fdt->fd[fd];
			if (!file)
				continue;
			rcu_assign_pointer(fdt->fd[fd], NULL);
			__put_unused_fd(files, fd);
			spin_unlock(&files->file_lock);
			filp_close(file, files);
			cond_resched();
			spin_lock(&files->file_lock);
		}

	}
	spin_unlock(&files->file_lock);
}

853
static inline struct file *__fget_files_rcu(struct files_struct *files,
854
	unsigned int fd, fmode_t mask)
A
Al Viro 已提交
855
{
856 857 858 859
	for (;;) {
		struct file *file;
		struct fdtable *fdt = rcu_dereference_raw(files->fdt);
		struct file __rcu **fdentry;
A
Al Viro 已提交
860

861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879
		if (unlikely(fd >= fdt->max_fds))
			return NULL;

		fdentry = fdt->fd + array_index_nospec(fd, fdt->max_fds);
		file = rcu_dereference_raw(*fdentry);
		if (unlikely(!file))
			return NULL;

		if (unlikely(file->f_mode & mask))
			return NULL;

		/*
		 * Ok, we have a file pointer. However, because we do
		 * this all locklessly under RCU, we may be racing with
		 * that file being closed.
		 *
		 * Such a race can take two forms:
		 *
		 *  (a) the file ref already went down to zero,
880
		 *      and get_file_rcu() fails. Just try again:
881
		 */
882
		if (unlikely(!get_file_rcu(file)))
883 884 885 886 887 888 889 890
			continue;

		/*
		 *  (b) the file table entry has changed under us.
		 *       Note that we don't need to re-check the 'fdt->fd'
		 *       pointer having changed, because it always goes
		 *       hand-in-hand with 'fdt'.
		 *
891
		 * If so, we need to put our ref and try again.
892
		 */
893 894
		if (unlikely(rcu_dereference_raw(files->fdt) != fdt) ||
		    unlikely(rcu_dereference_raw(*fdentry) != file)) {
895
			fput(file);
896
			continue;
897
		}
898 899 900 901 902 903

		/*
		 * Ok, we have a ref to the file, and checked that it
		 * still exists.
		 */
		return file;
A
Al Viro 已提交
904
	}
905 906 907
}

static struct file *__fget_files(struct files_struct *files, unsigned int fd,
908
				 fmode_t mask)
909 910 911 912
{
	struct file *file;

	rcu_read_lock();
913
	file = __fget_files_rcu(files, fd, mask);
A
Al Viro 已提交
914 915 916 917 918
	rcu_read_unlock();

	return file;
}

919
static inline struct file *__fget(unsigned int fd, fmode_t mask)
920
{
921
	return __fget_files(current->files, fd, mask);
J
Jens Axboe 已提交
922 923
}

924 925
struct file *fget(unsigned int fd)
{
926
	return __fget(fd, FMODE_PATH);
927
}
A
Al Viro 已提交
928 929 930 931
EXPORT_SYMBOL(fget);

struct file *fget_raw(unsigned int fd)
{
932
	return __fget(fd, 0);
A
Al Viro 已提交
933 934 935
}
EXPORT_SYMBOL(fget_raw);

936 937 938 939 940 941
struct file *fget_task(struct task_struct *task, unsigned int fd)
{
	struct file *file = NULL;

	task_lock(task);
	if (task->files)
942
		file = __fget_files(task->files, fd, 0);
943 944 945 946 947
	task_unlock(task);

	return file;
}

948 949 950 951 952 953 954 955 956 957 958 959 960 961 962
struct file *task_lookup_fd_rcu(struct task_struct *task, unsigned int fd)
{
	/* Must be called with rcu_read_lock held */
	struct files_struct *files;
	struct file *file = NULL;

	task_lock(task);
	files = task->files;
	if (files)
		file = files_lookup_fd_rcu(files, fd);
	task_unlock(task);

	return file;
}

963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982
struct file *task_lookup_next_fd_rcu(struct task_struct *task, unsigned int *ret_fd)
{
	/* Must be called with rcu_read_lock held */
	struct files_struct *files;
	unsigned int fd = *ret_fd;
	struct file *file = NULL;

	task_lock(task);
	files = task->files;
	if (files) {
		for (; fd < files_fdtable(files)->max_fds; fd++) {
			file = files_lookup_fd_rcu(files, fd);
			if (file)
				break;
		}
	}
	task_unlock(task);
	*ret_fd = fd;
	return file;
}
983
EXPORT_SYMBOL(task_lookup_next_fd_rcu);
984

A
Al Viro 已提交
985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000
/*
 * Lightweight file lookup - no refcnt increment if fd table isn't shared.
 *
 * You can use this instead of fget if you satisfy all of the following
 * conditions:
 * 1) You must call fput_light before exiting the syscall and returning control
 *    to userspace (i.e. you cannot remember the returned struct file * after
 *    returning to userspace).
 * 2) You must not call filp_close on the returned struct file * in between
 *    calls to fget_light and fput_light.
 * 3) You must not clone the current task in between the calls to fget_light
 *    and fput_light.
 *
 * The fput_needed flag returned by fget_light should be passed to the
 * corresponding fput_light.
 */
A
Al Viro 已提交
1001
static unsigned long __fget_light(unsigned int fd, fmode_t mask)
A
Al Viro 已提交
1002 1003
{
	struct files_struct *files = current->files;
1004
	struct file *file;
A
Al Viro 已提交
1005

1006 1007 1008 1009 1010 1011 1012 1013 1014 1015
	/*
	 * If another thread is concurrently calling close_fd() followed
	 * by put_files_struct(), we must not observe the old table
	 * entry combined with the new refcount - otherwise we could
	 * return a file that is concurrently being freed.
	 *
	 * atomic_read_acquire() pairs with atomic_dec_and_test() in
	 * put_files_struct().
	 */
	if (atomic_read_acquire(&files->count) == 1) {
1016
		file = files_lookup_fd_raw(files, fd);
A
Al Viro 已提交
1017 1018 1019
		if (!file || unlikely(file->f_mode & mask))
			return 0;
		return (unsigned long)file;
A
Al Viro 已提交
1020
	} else {
1021
		file = __fget(fd, mask);
A
Al Viro 已提交
1022 1023 1024
		if (!file)
			return 0;
		return FDPUT_FPUT | (unsigned long)file;
A
Al Viro 已提交
1025 1026
	}
}
A
Al Viro 已提交
1027
unsigned long __fdget(unsigned int fd)
1028
{
A
Al Viro 已提交
1029
	return __fget_light(fd, FMODE_PATH);
1030
}
A
Al Viro 已提交
1031
EXPORT_SYMBOL(__fdget);
A
Al Viro 已提交
1032

A
Al Viro 已提交
1033
unsigned long __fdget_raw(unsigned int fd)
A
Al Viro 已提交
1034
{
A
Al Viro 已提交
1035
	return __fget_light(fd, 0);
A
Al Viro 已提交
1036
}
1037

A
Al Viro 已提交
1038 1039
unsigned long __fdget_pos(unsigned int fd)
{
1040 1041
	unsigned long v = __fdget(fd);
	struct file *file = (struct file *)(v & ~3);
A
Al Viro 已提交
1042

1043
	if (file && (file->f_mode & FMODE_ATOMIC_POS)) {
A
Al Viro 已提交
1044 1045 1046 1047 1048
		if (file_count(file) > 1) {
			v |= FDPUT_POS_UNLOCK;
			mutex_lock(&file->f_pos_lock);
		}
	}
1049
	return v;
A
Al Viro 已提交
1050 1051
}

1052 1053 1054 1055 1056
void __f_unlock_pos(struct file *f)
{
	mutex_unlock(&f->f_pos_lock);
}

A
Al Viro 已提交
1057 1058 1059 1060 1061 1062
/*
 * We only lock f_pos if we have threads or if the file might be
 * shared with another process. In both cases we'll have an elevated
 * file count (done either by fdget() or by fork()).
 */

1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087
void set_close_on_exec(unsigned int fd, int flag)
{
	struct files_struct *files = current->files;
	struct fdtable *fdt;
	spin_lock(&files->file_lock);
	fdt = files_fdtable(files);
	if (flag)
		__set_close_on_exec(fd, fdt);
	else
		__clear_close_on_exec(fd, fdt);
	spin_unlock(&files->file_lock);
}

bool get_close_on_exec(unsigned int fd)
{
	struct files_struct *files = current->files;
	struct fdtable *fdt;
	bool res;
	rcu_read_lock();
	fdt = files_fdtable(files);
	res = close_on_exec(fd, fdt);
	rcu_read_unlock();
	return res;
}

A
Al Viro 已提交
1088 1089
static int do_dup2(struct files_struct *files,
	struct file *file, unsigned fd, unsigned flags)
A
Al Viro 已提交
1090
__releases(&files->file_lock)
1091
{
A
Al Viro 已提交
1092
	struct file *tofree;
1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109
	struct fdtable *fdt;

	/*
	 * We need to detect attempts to do dup2() over allocated but still
	 * not finished descriptor.  NB: OpenBSD avoids that at the price of
	 * extra work in their equivalent of fget() - they insert struct
	 * file immediately after grabbing descriptor, mark it larval if
	 * more work (e.g. actual opening) is needed and make sure that
	 * fget() treats larval files as absent.  Potentially interesting,
	 * but while extra work in fget() is trivial, locking implications
	 * and amount of surgery on open()-related paths in VFS are not.
	 * FreeBSD fails with -EBADF in the same situation, NetBSD "solution"
	 * deadlocks in rather amusing ways, AFAICS.  All of that is out of
	 * scope of POSIX or SUS, since neither considers shared descriptor
	 * tables and this condition does not arise without those.
	 */
	fdt = files_fdtable(files);
A
Al Viro 已提交
1110 1111 1112
	tofree = fdt->fd[fd];
	if (!tofree && fd_is_open(fd, fdt))
		goto Ebusy;
1113
	get_file(file);
A
Al Viro 已提交
1114 1115
	rcu_assign_pointer(fdt->fd[fd], file);
	__set_open_fd(fd, fdt);
1116
	if (flags & O_CLOEXEC)
A
Al Viro 已提交
1117
		__set_close_on_exec(fd, fdt);
1118
	else
A
Al Viro 已提交
1119
		__clear_close_on_exec(fd, fdt);
1120 1121 1122 1123 1124
	spin_unlock(&files->file_lock);

	if (tofree)
		filp_close(tofree, files);

A
Al Viro 已提交
1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137
	return fd;

Ebusy:
	spin_unlock(&files->file_lock);
	return -EBUSY;
}

int replace_fd(unsigned fd, struct file *file, unsigned flags)
{
	int err;
	struct files_struct *files = current->files;

	if (!file)
1138
		return close_fd(fd);
A
Al Viro 已提交
1139 1140

	if (fd >= rlimit(RLIMIT_NOFILE))
1141
		return -EBADF;
A
Al Viro 已提交
1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153

	spin_lock(&files->file_lock);
	err = expand_files(files, fd);
	if (unlikely(err < 0))
		goto out_unlock;
	return do_dup2(files, file, fd, flags);

out_unlock:
	spin_unlock(&files->file_lock);
	return err;
}

1154 1155 1156 1157 1158 1159 1160
/**
 * __receive_fd() - Install received file into file descriptor table
 * @file: struct file that was received from another process
 * @ufd: __user pointer to write new fd number to
 * @o_flags: the O_* flags to apply to the new fd entry
 *
 * Installs a received file into the file descriptor table, with appropriate
1161 1162
 * checks and count updates. Optionally writes the fd number to userspace, if
 * @ufd is non-NULL.
1163 1164 1165 1166
 *
 * This helper handles its own reference counting of the incoming
 * struct file.
 *
1167
 * Returns newly install fd or -ve on error.
1168
 */
1169
int __receive_fd(struct file *file, int __user *ufd, unsigned int o_flags)
1170 1171 1172 1173 1174 1175 1176 1177
{
	int new_fd;
	int error;

	error = security_file_receive(file);
	if (error)
		return error;

1178 1179 1180
	new_fd = get_unused_fd_flags(o_flags);
	if (new_fd < 0)
		return new_fd;
1181

1182 1183 1184
	if (ufd) {
		error = put_user(new_fd, ufd);
		if (error) {
1185
			put_unused_fd(new_fd);
1186 1187
			return error;
		}
1188 1189
	}

1190 1191 1192 1193
	fd_install(new_fd, get_file(file));
	__receive_sock(file);
	return new_fd;
}
1194

1195 1196 1197 1198 1199 1200 1201 1202 1203 1204
int receive_fd_replace(int new_fd, struct file *file, unsigned int o_flags)
{
	int error;

	error = security_file_receive(file);
	if (error)
		return error;
	error = replace_fd(new_fd, file, o_flags);
	if (error)
		return error;
1205
	__receive_sock(file);
1206
	return new_fd;
1207 1208
}

1209 1210 1211 1212 1213 1214
int receive_fd(struct file *file, unsigned int o_flags)
{
	return __receive_fd(file, NULL, o_flags);
}
EXPORT_SYMBOL_GPL(receive_fd);

1215
static int ksys_dup3(unsigned int oldfd, unsigned int newfd, int flags)
A
Al Viro 已提交
1216 1217 1218 1219 1220 1221 1222 1223
{
	int err = -EBADF;
	struct file *file;
	struct files_struct *files = current->files;

	if ((flags & ~O_CLOEXEC) != 0)
		return -EINVAL;

1224 1225 1226
	if (unlikely(oldfd == newfd))
		return -EINVAL;

A
Al Viro 已提交
1227
	if (newfd >= rlimit(RLIMIT_NOFILE))
1228
		return -EBADF;
A
Al Viro 已提交
1229 1230 1231

	spin_lock(&files->file_lock);
	err = expand_files(files, newfd);
1232
	file = files_lookup_fd_locked(files, oldfd);
A
Al Viro 已提交
1233 1234 1235 1236 1237 1238 1239 1240
	if (unlikely(!file))
		goto Ebadf;
	if (unlikely(err < 0)) {
		if (err == -EMFILE)
			goto Ebadf;
		goto out_unlock;
	}
	return do_dup2(files, file, newfd, flags);
1241 1242 1243 1244 1245 1246 1247 1248

Ebadf:
	err = -EBADF;
out_unlock:
	spin_unlock(&files->file_lock);
	return err;
}

1249 1250 1251 1252 1253
SYSCALL_DEFINE3(dup3, unsigned int, oldfd, unsigned int, newfd, int, flags)
{
	return ksys_dup3(oldfd, newfd, flags);
}

1254 1255 1256 1257 1258 1259 1260
SYSCALL_DEFINE2(dup2, unsigned int, oldfd, unsigned int, newfd)
{
	if (unlikely(newfd == oldfd)) { /* corner case */
		struct files_struct *files = current->files;
		int retval = oldfd;

		rcu_read_lock();
1261
		if (!files_lookup_fd_rcu(files, oldfd))
1262 1263 1264 1265
			retval = -EBADF;
		rcu_read_unlock();
		return retval;
	}
1266
	return ksys_dup3(oldfd, newfd, 0);
1267 1268
}

C
Christoph Hellwig 已提交
1269
SYSCALL_DEFINE1(dup, unsigned int, fildes)
1270 1271 1272 1273 1274
{
	int ret = -EBADF;
	struct file *file = fget_raw(fildes);

	if (file) {
1275
		ret = get_unused_fd_flags(0);
1276 1277 1278 1279 1280 1281 1282 1283 1284 1285
		if (ret >= 0)
			fd_install(ret, file);
		else
			fput(file);
	}
	return ret;
}

int f_dupfd(unsigned int from, struct file *file, unsigned flags)
{
1286
	unsigned long nofile = rlimit(RLIMIT_NOFILE);
1287
	int err;
1288
	if (from >= nofile)
1289
		return -EINVAL;
1290
	err = alloc_fd(from, nofile, flags);
1291 1292 1293 1294 1295 1296
	if (err >= 0) {
		get_file(file);
		fd_install(err, file);
	}
	return err;
}
A
Al Viro 已提交
1297 1298 1299 1300 1301 1302 1303 1304 1305 1306

int iterate_fd(struct files_struct *files, unsigned n,
		int (*f)(const void *, struct file *, unsigned),
		const void *p)
{
	struct fdtable *fdt;
	int res = 0;
	if (!files)
		return 0;
	spin_lock(&files->file_lock);
1307 1308 1309 1310 1311 1312 1313 1314
	for (fdt = files_fdtable(files); n < fdt->max_fds; n++) {
		struct file *file;
		file = rcu_dereference_check_fdtable(files, fdt->fd[n]);
		if (!file)
			continue;
		res = f(p, file, n);
		if (res)
			break;
A
Al Viro 已提交
1315 1316 1317 1318 1319
	}
	spin_unlock(&files->file_lock);
	return res;
}
EXPORT_SYMBOL(iterate_fd);