shm.c 28.7 KB
Newer Older
Linus Torvalds's avatar
Linus Torvalds committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
/*
 * linux/ipc/shm.c
 * Copyright (C) 1992, 1993 Krishna Balasubramanian
 *	 Many improvements/fixes by Bruno Haible.
 * Replaced `struct shm_desc' by `struct vm_area_struct', July 1994.
 * Fixed the shm swap deallocation (shm_unuse()), August 1998 Andrea Arcangeli.
 *
 * /proc/sysvipc/shm support (c) 1999 Dragos Acostachioaie <dragos@iname.com>
 * BIGMEM support, Andrea Arcangeli <andrea@suse.de>
 * SMP thread shm, Jean-Luc Boyard <jean-luc.boyard@siemens.fr>
 * HIGHMEM support, Ingo Molnar <mingo@redhat.com>
 * Make shmmax, shmall, shmmni sysctl'able, Christoph Rohland <cr@sap.com>
 * Shared /dev/zero support, Kanoj Sarcar <kanoj@sgi.com>
 * Move the mm functionality over to mm/shmem.c, Christoph Rohland <cr@sap.com>
 *
Steve Grubb's avatar
Steve Grubb committed
16 17
 * support for audit of ipc object properties and permission changes
 * Dustin Kirkland <dustin.kirkland@us.ibm.com>
18 19 20 21
 *
 * namespaces support
 * OpenVZ, SWsoft Inc.
 * Pavel Emelianov <xemul@openvz.org>
Linus Torvalds's avatar
Linus Torvalds committed
22 23 24 25 26 27 28 29 30 31 32 33 34
 */

#include <linux/slab.h>
#include <linux/mm.h>
#include <linux/hugetlb.h>
#include <linux/shm.h>
#include <linux/init.h>
#include <linux/file.h>
#include <linux/mman.h>
#include <linux/shmem_fs.h>
#include <linux/security.h>
#include <linux/syscalls.h>
#include <linux/audit.h>
35
#include <linux/capability.h>
36
#include <linux/ptrace.h>
37
#include <linux/seq_file.h>
Nadia Derbey's avatar
Nadia Derbey committed
38
#include <linux/rwsem.h>
39
#include <linux/nsproxy.h>
40
#include <linux/mount.h>
41
#include <linux/ipc_namespace.h>
42

Linus Torvalds's avatar
Linus Torvalds committed
43 44 45 46
#include <asm/uaccess.h>

#include "util.h"

47 48 49 50 51 52 53 54 55
struct shm_file_data {
	int id;
	struct ipc_namespace *ns;
	struct file *file;
	const struct vm_operations_struct *vm_ops;
};

#define shm_file_data(file) (*((struct shm_file_data **)&(file)->private_data))

56
static const struct file_operations shm_file_operations;
57
static const struct vm_operations_struct shm_vm_ops;
Linus Torvalds's avatar
Linus Torvalds committed
58

59
#define shm_ids(ns)	((ns)->ids[IPC_SHM_IDS])
Linus Torvalds's avatar
Linus Torvalds committed
60

61 62
#define shm_unlock(shp)			\
	ipc_unlock(&(shp)->shm_perm)
Linus Torvalds's avatar
Linus Torvalds committed
63

Nadia Derbey's avatar
Nadia Derbey committed
64
static int newseg(struct ipc_namespace *, struct ipc_params *);
65 66
static void shm_open(struct vm_area_struct *vma);
static void shm_close(struct vm_area_struct *vma);
67
static void shm_destroy (struct ipc_namespace *ns, struct shmid_kernel *shp);
Linus Torvalds's avatar
Linus Torvalds committed
68
#ifdef CONFIG_PROC_FS
69
static int sysvipc_shm_proc_show(struct seq_file *s, void *it);
Linus Torvalds's avatar
Linus Torvalds committed
70 71
#endif

72
void shm_init_ns(struct ipc_namespace *ns)
73 74 75 76
{
	ns->shm_ctlmax = SHMMAX;
	ns->shm_ctlall = SHMALL;
	ns->shm_ctlmni = SHMMNI;
77
	ns->shm_rmid_forced = 0;
78
	ns->shm_tot = 0;
WANG Cong's avatar
WANG Cong committed
79
	ipc_init_ids(&shm_ids(ns));
80 81
}

Nadia Derbey's avatar
Nadia Derbey committed
82
/*
Nadia Derbey's avatar
Nadia Derbey committed
83 84
 * Called with shm_ids.rw_mutex (writer) and the shp structure locked.
 * Only shm_ids.rw_mutex remains locked on exit.
Nadia Derbey's avatar
Nadia Derbey committed
85
 */
86
static void do_shm_rmid(struct ipc_namespace *ns, struct kern_ipc_perm *ipcp)
87
{
88 89 90
	struct shmid_kernel *shp;
	shp = container_of(ipcp, struct shmid_kernel, shm_perm);

91 92 93 94 95 96 97 98 99
	if (shp->shm_nattch){
		shp->shm_perm.mode |= SHM_DEST;
		/* Do not find it any more */
		shp->shm_perm.key = IPC_PRIVATE;
		shm_unlock(shp);
	} else
		shm_destroy(ns, shp);
}

100
#ifdef CONFIG_IPC_NS
101 102
void shm_exit_ns(struct ipc_namespace *ns)
{
103
	free_ipcs(ns, &shm_ids(ns), do_shm_rmid);
104
	idr_destroy(&ns->ids[IPC_SHM_IDS].ipcs_idr);
105
}
106
#endif
Linus Torvalds's avatar
Linus Torvalds committed
107 108 109

void __init shm_init (void)
{
110
	shm_init_ns(&init_ipc_ns);
111
	ipc_init_proc_interface("sysvipc/shm",
112 113 114 115 116
#if BITS_PER_LONG <= 32
				"       key      shmid perms       size  cpid  lpid nattch   uid   gid  cuid  cgid      atime      dtime      ctime        rss       swap\n",
#else
				"       key      shmid perms                  size  cpid  lpid nattch   uid   gid  cuid  cgid      atime      dtime      ctime                   rss                  swap\n",
#endif
117
				IPC_SHM_IDS, sysvipc_shm_proc_show);
Linus Torvalds's avatar
Linus Torvalds committed
118 119
}

Nadia Derbey's avatar
Nadia Derbey committed
120 121
/*
 * shm_lock_(check_) routines are called in the paths where the rw_mutex
122
 * is not necessarily held.
Nadia Derbey's avatar
Nadia Derbey committed
123
 */
124
static inline struct shmid_kernel *shm_lock(struct ipc_namespace *ns, int id)
Linus Torvalds's avatar
Linus Torvalds committed
125
{
Nadia Derbey's avatar
Nadia Derbey committed
126 127
	struct kern_ipc_perm *ipcp = ipc_lock(&shm_ids(ns), id);

128 129 130
	if (IS_ERR(ipcp))
		return (struct shmid_kernel *)ipcp;

Nadia Derbey's avatar
Nadia Derbey committed
131
	return container_of(ipcp, struct shmid_kernel, shm_perm);
132 133 134 135 136
}

static inline struct shmid_kernel *shm_lock_check(struct ipc_namespace *ns,
						int id)
{
Nadia Derbey's avatar
Nadia Derbey committed
137 138
	struct kern_ipc_perm *ipcp = ipc_lock_check(&shm_ids(ns), id);

139 140 141
	if (IS_ERR(ipcp))
		return (struct shmid_kernel *)ipcp;

Nadia Derbey's avatar
Nadia Derbey committed
142
	return container_of(ipcp, struct shmid_kernel, shm_perm);
Linus Torvalds's avatar
Linus Torvalds committed
143 144
}

Nadia Derbey's avatar
Nadia Derbey committed
145
static inline void shm_rmid(struct ipc_namespace *ns, struct shmid_kernel *s)
Linus Torvalds's avatar
Linus Torvalds committed
146
{
Nadia Derbey's avatar
Nadia Derbey committed
147
	ipc_rmid(&shm_ids(ns), &s->shm_perm);
Linus Torvalds's avatar
Linus Torvalds committed
148 149 150
}


151 152
/* This is called by fork, once for every shm attach. */
static void shm_open(struct vm_area_struct *vma)
153
{
154 155
	struct file *file = vma->vm_file;
	struct shm_file_data *sfd = shm_file_data(file);
Linus Torvalds's avatar
Linus Torvalds committed
156 157
	struct shmid_kernel *shp;

158
	shp = shm_lock(sfd->ns, sfd->id);
159
	BUG_ON(IS_ERR(shp));
Linus Torvalds's avatar
Linus Torvalds committed
160
	shp->shm_atim = get_seconds();
161
	shp->shm_lprid = task_tgid_vnr(current);
Linus Torvalds's avatar
Linus Torvalds committed
162 163 164 165 166 167 168
	shp->shm_nattch++;
	shm_unlock(shp);
}

/*
 * shm_destroy - free the struct shmid_kernel
 *
Nadia Derbey's avatar
Nadia Derbey committed
169
 * @ns: namespace
Linus Torvalds's avatar
Linus Torvalds committed
170 171
 * @shp: struct to free
 *
Nadia Derbey's avatar
Nadia Derbey committed
172
 * It has to be called with shp and shm_ids.rw_mutex (writer) locked,
Linus Torvalds's avatar
Linus Torvalds committed
173 174
 * but returns with shp unlocked and freed.
 */
175
static void shm_destroy(struct ipc_namespace *ns, struct shmid_kernel *shp)
Linus Torvalds's avatar
Linus Torvalds committed
176
{
177
	ns->shm_tot -= (shp->shm_segsz + PAGE_SIZE - 1) >> PAGE_SHIFT;
Nadia Derbey's avatar
Nadia Derbey committed
178
	shm_rmid(ns, shp);
Linus Torvalds's avatar
Linus Torvalds committed
179 180 181
	shm_unlock(shp);
	if (!is_file_hugepages(shp->shm_file))
		shmem_lock(shp->shm_file, 0, shp->mlock_user);
182
	else if (shp->mlock_user)
183
		user_shm_unlock(shp->shm_file->f_path.dentry->d_inode->i_size,
Linus Torvalds's avatar
Linus Torvalds committed
184 185 186 187 188 189
						shp->mlock_user);
	fput (shp->shm_file);
	security_shm_free(shp);
	ipc_rcu_putref(shp);
}

190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206
/*
 * shm_may_destroy - identifies whether shm segment should be destroyed now
 *
 * Returns true if and only if there are no active users of the segment and
 * one of the following is true:
 *
 * 1) shmctl(id, IPC_RMID, NULL) was called for this shp
 *
 * 2) sysctl kernel.shm_rmid_forced is set to 1.
 */
static bool shm_may_destroy(struct ipc_namespace *ns, struct shmid_kernel *shp)
{
	return (shp->shm_nattch == 0) &&
	       (ns->shm_rmid_forced ||
		(shp->shm_perm.mode & SHM_DEST));
}

Linus Torvalds's avatar
Linus Torvalds committed
207
/*
208
 * remove the attach descriptor vma.
Linus Torvalds's avatar
Linus Torvalds committed
209 210 211 212
 * free memory for segment if it is marked destroyed.
 * The descriptor has already been removed from the current->mm->mmap list
 * and will later be kfree()d.
 */
213
static void shm_close(struct vm_area_struct *vma)
Linus Torvalds's avatar
Linus Torvalds committed
214
{
215 216
	struct file * file = vma->vm_file;
	struct shm_file_data *sfd = shm_file_data(file);
Linus Torvalds's avatar
Linus Torvalds committed
217
	struct shmid_kernel *shp;
218
	struct ipc_namespace *ns = sfd->ns;
219

Nadia Derbey's avatar
Nadia Derbey committed
220
	down_write(&shm_ids(ns).rw_mutex);
Linus Torvalds's avatar
Linus Torvalds committed
221
	/* remove from the list of attaches of the shm segment */
222
	shp = shm_lock(ns, sfd->id);
223
	BUG_ON(IS_ERR(shp));
224
	shp->shm_lprid = task_tgid_vnr(current);
Linus Torvalds's avatar
Linus Torvalds committed
225 226
	shp->shm_dtim = get_seconds();
	shp->shm_nattch--;
227 228 229 230 231 232 233 234 235 236 237 238 239 240 241
	if (shm_may_destroy(ns, shp))
		shm_destroy(ns, shp);
	else
		shm_unlock(shp);
	up_write(&shm_ids(ns).rw_mutex);
}

static int shm_try_destroy_current(int id, void *p, void *data)
{
	struct ipc_namespace *ns = data;
	struct shmid_kernel *shp = shm_lock(ns, id);

	if (IS_ERR(shp))
		return 0;

242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258
	if (shp->shm_creator != current) {
		shm_unlock(shp);
		return 0;
	}

	/*
	 * Mark it as orphaned to destroy the segment when
	 * kernel.shm_rmid_forced is changed.
	 * It is noop if the following shm_may_destroy() returns true.
	 */
	shp->shm_creator = NULL;

	/*
	 * Don't even try to destroy it.  If shm_rmid_forced=0 and IPC_RMID
	 * is not set, it shouldn't be deleted here.
	 */
	if (!ns->shm_rmid_forced) {
259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281
		shm_unlock(shp);
		return 0;
	}

	if (shm_may_destroy(ns, shp))
		shm_destroy(ns, shp);
	else
		shm_unlock(shp);
	return 0;
}

static int shm_try_destroy_orphaned(int id, void *p, void *data)
{
	struct ipc_namespace *ns = data;
	struct shmid_kernel *shp = shm_lock(ns, id);

	if (IS_ERR(shp))
		return 0;

	/*
	 * We want to destroy segments without users and with already
	 * exit'ed originating process.
	 */
282
	if (shp->shm_creator != NULL) {
283 284 285 286 287
		shm_unlock(shp);
		return 0;
	}

	if (shm_may_destroy(ns, shp))
288
		shm_destroy(ns, shp);
Linus Torvalds's avatar
Linus Torvalds committed
289 290
	else
		shm_unlock(shp);
291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309
	return 0;
}

void shm_destroy_orphaned(struct ipc_namespace *ns)
{
	down_write(&shm_ids(ns).rw_mutex);
	idr_for_each(&shm_ids(ns).ipcs_idr, &shm_try_destroy_orphaned, ns);
	up_write(&shm_ids(ns).rw_mutex);
}


void exit_shm(struct task_struct *task)
{
	struct nsproxy *nsp = task->nsproxy;
	struct ipc_namespace *ns;

	if (!nsp)
		return;
	ns = nsp->ipc_ns;
310
	if (!ns)
311 312 313 314 315
		return;

	/* Destroy all already created segments, but not mapped yet */
	down_write(&shm_ids(ns).rw_mutex);
	idr_for_each(&shm_ids(ns).ipcs_idr, &shm_try_destroy_current, ns);
Nadia Derbey's avatar
Nadia Derbey committed
316
	up_write(&shm_ids(ns).rw_mutex);
Linus Torvalds's avatar
Linus Torvalds committed
317 318
}

Nick Piggin's avatar
Nick Piggin committed
319
static int shm_fault(struct vm_area_struct *vma, struct vm_fault *vmf)
320 321 322 323
{
	struct file *file = vma->vm_file;
	struct shm_file_data *sfd = shm_file_data(file);

Nick Piggin's avatar
Nick Piggin committed
324
	return sfd->vm_ops->fault(vma, vmf);
325 326 327
}

#ifdef CONFIG_NUMA
328
static int shm_set_policy(struct vm_area_struct *vma, struct mempolicy *new)
329 330 331 332 333 334 335 336 337
{
	struct file *file = vma->vm_file;
	struct shm_file_data *sfd = shm_file_data(file);
	int err = 0;
	if (sfd->vm_ops->set_policy)
		err = sfd->vm_ops->set_policy(vma, new);
	return err;
}

338 339
static struct mempolicy *shm_get_policy(struct vm_area_struct *vma,
					unsigned long addr)
340 341 342 343 344 345 346
{
	struct file *file = vma->vm_file;
	struct shm_file_data *sfd = shm_file_data(file);
	struct mempolicy *pol = NULL;

	if (sfd->vm_ops->get_policy)
		pol = sfd->vm_ops->get_policy(vma, addr);
347
	else if (vma->vm_policy)
348
		pol = vma->vm_policy;
349

350 351 352 353
	return pol;
}
#endif

Linus Torvalds's avatar
Linus Torvalds committed
354 355
static int shm_mmap(struct file * file, struct vm_area_struct * vma)
{
356
	struct shm_file_data *sfd = shm_file_data(file);
357 358
	int ret;

359 360 361 362
	ret = sfd->file->f_op->mmap(sfd->file, vma);
	if (ret != 0)
		return ret;
	sfd->vm_ops = vma->vm_ops;
David Howells's avatar
David Howells committed
363
#ifdef CONFIG_MMU
364
	BUG_ON(!sfd->vm_ops->fault);
David Howells's avatar
David Howells committed
365
#endif
366 367
	vma->vm_ops = &shm_vm_ops;
	shm_open(vma);
368 369

	return ret;
Linus Torvalds's avatar
Linus Torvalds committed
370 371
}

372 373
static int shm_release(struct inode *ino, struct file *file)
{
374
	struct shm_file_data *sfd = shm_file_data(file);
375

376 377 378
	put_ipc_ns(sfd->ns);
	shm_file_data(file) = NULL;
	kfree(sfd);
379 380 381
	return 0;
}

382
static int shm_fsync(struct file *file, loff_t start, loff_t end, int datasync)
383 384 385
{
	struct shm_file_data *sfd = shm_file_data(file);

386 387
	if (!sfd->file->f_op->fsync)
		return -EINVAL;
388
	return sfd->file->f_op->fsync(sfd->file, start, end, datasync);
389 390
}

391 392 393 394 395
static unsigned long shm_get_unmapped_area(struct file *file,
	unsigned long addr, unsigned long len, unsigned long pgoff,
	unsigned long flags)
{
	struct shm_file_data *sfd = shm_file_data(file);
396 397
	return sfd->file->f_op->get_unmapped_area(sfd->file, addr, len,
						pgoff, flags);
398 399
}

400
static const struct file_operations shm_file_operations = {
401
	.mmap		= shm_mmap,
402
	.fsync		= shm_fsync,
403
	.release	= shm_release,
404 405 406
#ifndef CONFIG_MMU
	.get_unmapped_area	= shm_get_unmapped_area,
#endif
407
	.llseek		= noop_llseek,
408 409 410 411 412 413
};

static const struct file_operations shm_file_operations_huge = {
	.mmap		= shm_mmap,
	.fsync		= shm_fsync,
	.release	= shm_release,
414
	.get_unmapped_area	= shm_get_unmapped_area,
415
	.llseek		= noop_llseek,
Linus Torvalds's avatar
Linus Torvalds committed
416 417
};

418 419 420 421 422
int is_file_shm_hugepages(struct file *file)
{
	return file->f_op == &shm_file_operations_huge;
}

423
static const struct vm_operations_struct shm_vm_ops = {
Linus Torvalds's avatar
Linus Torvalds committed
424 425
	.open	= shm_open,	/* callback for a new vm-area open */
	.close	= shm_close,	/* callback for when the vm-area is released */
426
	.fault	= shm_fault,
427 428 429
#if defined(CONFIG_NUMA)
	.set_policy = shm_set_policy,
	.get_policy = shm_get_policy,
Linus Torvalds's avatar
Linus Torvalds committed
430 431 432
#endif
};

Nadia Derbey's avatar
Nadia Derbey committed
433 434 435 436 437
/**
 * newseg - Create a new shared memory segment
 * @ns: namespace
 * @params: ptr to the structure that contains key, size and shmflg
 *
Nadia Derbey's avatar
Nadia Derbey committed
438
 * Called with shm_ids.rw_mutex held as a writer.
Nadia Derbey's avatar
Nadia Derbey committed
439 440
 */

Nadia Derbey's avatar
Nadia Derbey committed
441
static int newseg(struct ipc_namespace *ns, struct ipc_params *params)
Linus Torvalds's avatar
Linus Torvalds committed
442
{
Nadia Derbey's avatar
Nadia Derbey committed
443 444 445
	key_t key = params->key;
	int shmflg = params->flg;
	size_t size = params->u.size;
Linus Torvalds's avatar
Linus Torvalds committed
446 447 448 449 450 451
	int error;
	struct shmid_kernel *shp;
	int numpages = (size + PAGE_SIZE -1) >> PAGE_SHIFT;
	struct file * file;
	char name[13];
	int id;
452
	vm_flags_t acctflag = 0;
Linus Torvalds's avatar
Linus Torvalds committed
453

454
	if (size < SHMMIN || size > ns->shm_ctlmax)
Linus Torvalds's avatar
Linus Torvalds committed
455 456
		return -EINVAL;

457
	if (ns->shm_tot + numpages > ns->shm_ctlall)
Linus Torvalds's avatar
Linus Torvalds committed
458 459 460 461 462 463 464
		return -ENOSPC;

	shp = ipc_rcu_alloc(sizeof(*shp));
	if (!shp)
		return -ENOMEM;

	shp->shm_perm.key = key;
465
	shp->shm_perm.mode = (shmflg & S_IRWXUGO);
Linus Torvalds's avatar
Linus Torvalds committed
466 467 468 469 470 471 472 473 474
	shp->mlock_user = NULL;

	shp->shm_perm.security = NULL;
	error = security_shm_alloc(shp);
	if (error) {
		ipc_rcu_putref(shp);
		return error;
	}

475
	sprintf (name, "SYSV%08x", key);
Linus Torvalds's avatar
Linus Torvalds committed
476
	if (shmflg & SHM_HUGETLB) {
477 478 479
		/* hugetlb_file_setup applies strict accounting */
		if (shmflg & SHM_NORESERVE)
			acctflag = VM_NORESERVE;
480
		file = hugetlb_file_setup(name, size, acctflag,
481
					&shp->mlock_user, HUGETLB_SHMFS_INODE);
Linus Torvalds's avatar
Linus Torvalds committed
482
	} else {
483 484 485 486 487 488
		/*
		 * Do not allow no accounting for OVERCOMMIT_NEVER, even
	 	 * if it's asked for.
		 */
		if  ((shmflg & SHM_NORESERVE) &&
				sysctl_overcommit_memory != OVERCOMMIT_NEVER)
489
			acctflag = VM_NORESERVE;
490
		file = shmem_file_setup(name, size, acctflag);
Linus Torvalds's avatar
Linus Torvalds committed
491 492 493 494 495
	}
	error = PTR_ERR(file);
	if (IS_ERR(file))
		goto no_file;

496
	id = ipc_addid(&shm_ids(ns), &shp->shm_perm, ns->shm_ctlmni);
497 498
	if (id < 0) {
		error = id;
Linus Torvalds's avatar
Linus Torvalds committed
499
		goto no_id;
500
	}
Linus Torvalds's avatar
Linus Torvalds committed
501

502
	shp->shm_cprid = task_tgid_vnr(current);
Linus Torvalds's avatar
Linus Torvalds committed
503 504 505 506 507 508
	shp->shm_lprid = 0;
	shp->shm_atim = shp->shm_dtim = 0;
	shp->shm_ctim = get_seconds();
	shp->shm_segsz = size;
	shp->shm_nattch = 0;
	shp->shm_file = file;
509
	shp->shm_creator = current;
510 511 512 513
	/*
	 * shmid gets reported as "inode#" in /proc/pid/maps.
	 * proc-ps tools use this. Changing this will break them.
	 */
Nadia Derbey's avatar
Nadia Derbey committed
514
	file->f_dentry->d_inode->i_ino = shp->shm_perm.id;
515

516
	ns->shm_tot += numpages;
Nadia Derbey's avatar
Nadia Derbey committed
517
	error = shp->shm_perm.id;
Linus Torvalds's avatar
Linus Torvalds committed
518
	shm_unlock(shp);
Nadia Derbey's avatar
Nadia Derbey committed
519
	return error;
Linus Torvalds's avatar
Linus Torvalds committed
520 521

no_id:
522
	if (is_file_hugepages(file) && shp->mlock_user)
523
		user_shm_unlock(size, shp->mlock_user);
Linus Torvalds's avatar
Linus Torvalds committed
524 525 526 527 528 529 530
	fput(file);
no_file:
	security_shm_free(shp);
	ipc_rcu_putref(shp);
	return error;
}

Nadia Derbey's avatar
Nadia Derbey committed
531
/*
Nadia Derbey's avatar
Nadia Derbey committed
532
 * Called with shm_ids.rw_mutex and ipcp locked.
Nadia Derbey's avatar
Nadia Derbey committed
533
 */
Nadia Derbey's avatar
Nadia Derbey committed
534
static inline int shm_security(struct kern_ipc_perm *ipcp, int shmflg)
Nadia Derbey's avatar
Nadia Derbey committed
535
{
Nadia Derbey's avatar
Nadia Derbey committed
536 537 538 539
	struct shmid_kernel *shp;

	shp = container_of(ipcp, struct shmid_kernel, shm_perm);
	return security_shm_associate(shp, shmflg);
Nadia Derbey's avatar
Nadia Derbey committed
540 541
}

Nadia Derbey's avatar
Nadia Derbey committed
542
/*
Nadia Derbey's avatar
Nadia Derbey committed
543
 * Called with shm_ids.rw_mutex and ipcp locked.
Nadia Derbey's avatar
Nadia Derbey committed
544
 */
Nadia Derbey's avatar
Nadia Derbey committed
545 546
static inline int shm_more_checks(struct kern_ipc_perm *ipcp,
				struct ipc_params *params)
Nadia Derbey's avatar
Nadia Derbey committed
547
{
Nadia Derbey's avatar
Nadia Derbey committed
548 549 550 551
	struct shmid_kernel *shp;

	shp = container_of(ipcp, struct shmid_kernel, shm_perm);
	if (shp->shm_segsz < params->u.size)
Nadia Derbey's avatar
Nadia Derbey committed
552 553 554 555 556
		return -EINVAL;

	return 0;
}

557
SYSCALL_DEFINE3(shmget, key_t, key, size_t, size, int, shmflg)
Linus Torvalds's avatar
Linus Torvalds committed
558
{
559
	struct ipc_namespace *ns;
Nadia Derbey's avatar
Nadia Derbey committed
560 561
	struct ipc_ops shm_ops;
	struct ipc_params shm_params;
562 563

	ns = current->nsproxy->ipc_ns;
Linus Torvalds's avatar
Linus Torvalds committed
564

Nadia Derbey's avatar
Nadia Derbey committed
565 566 567
	shm_ops.getnew = newseg;
	shm_ops.associate = shm_security;
	shm_ops.more_checks = shm_more_checks;
Nadia Derbey's avatar
Nadia Derbey committed
568

Nadia Derbey's avatar
Nadia Derbey committed
569 570 571
	shm_params.key = key;
	shm_params.flg = shmflg;
	shm_params.u.size = size;
Linus Torvalds's avatar
Linus Torvalds committed
572

Nadia Derbey's avatar
Nadia Derbey committed
573
	return ipcget(ns, &shm_ids(ns), &shm_ops, &shm_params);
Linus Torvalds's avatar
Linus Torvalds committed
574 575 576 577 578 579 580 581 582 583 584
}

static inline unsigned long copy_shmid_to_user(void __user *buf, struct shmid64_ds *in, int version)
{
	switch(version) {
	case IPC_64:
		return copy_to_user(buf, in, sizeof(*in));
	case IPC_OLD:
	    {
		struct shmid_ds out;

585
		memset(&out, 0, sizeof(out));
Linus Torvalds's avatar
Linus Torvalds committed
586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601
		ipc64_perm_to_ipc_perm(&in->shm_perm, &out.shm_perm);
		out.shm_segsz	= in->shm_segsz;
		out.shm_atime	= in->shm_atime;
		out.shm_dtime	= in->shm_dtime;
		out.shm_ctime	= in->shm_ctime;
		out.shm_cpid	= in->shm_cpid;
		out.shm_lpid	= in->shm_lpid;
		out.shm_nattch	= in->shm_nattch;

		return copy_to_user(buf, &out, sizeof(out));
	    }
	default:
		return -EINVAL;
	}
}

602 603
static inline unsigned long
copy_shmid_from_user(struct shmid64_ds *out, void __user *buf, int version)
Linus Torvalds's avatar
Linus Torvalds committed
604 605 606
{
	switch(version) {
	case IPC_64:
607
		if (copy_from_user(out, buf, sizeof(*out)))
Linus Torvalds's avatar
Linus Torvalds committed
608 609 610 611 612 613 614 615 616
			return -EFAULT;
		return 0;
	case IPC_OLD:
	    {
		struct shmid_ds tbuf_old;

		if (copy_from_user(&tbuf_old, buf, sizeof(tbuf_old)))
			return -EFAULT;

617 618 619
		out->shm_perm.uid	= tbuf_old.shm_perm.uid;
		out->shm_perm.gid	= tbuf_old.shm_perm.gid;
		out->shm_perm.mode	= tbuf_old.shm_perm.mode;
Linus Torvalds's avatar
Linus Torvalds committed
620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653

		return 0;
	    }
	default:
		return -EINVAL;
	}
}

static inline unsigned long copy_shminfo_to_user(void __user *buf, struct shminfo64 *in, int version)
{
	switch(version) {
	case IPC_64:
		return copy_to_user(buf, in, sizeof(*in));
	case IPC_OLD:
	    {
		struct shminfo out;

		if(in->shmmax > INT_MAX)
			out.shmmax = INT_MAX;
		else
			out.shmmax = (int)in->shmmax;

		out.shmmin	= in->shmmin;
		out.shmmni	= in->shmmni;
		out.shmseg	= in->shmseg;
		out.shmall	= in->shmall; 

		return copy_to_user(buf, &out, sizeof(out));
	    }
	default:
		return -EINVAL;
	}
}

654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681
/*
 * Calculate and add used RSS and swap pages of a shm.
 * Called with shm_ids.rw_mutex held as a reader
 */
static void shm_add_rss_swap(struct shmid_kernel *shp,
	unsigned long *rss_add, unsigned long *swp_add)
{
	struct inode *inode;

	inode = shp->shm_file->f_path.dentry->d_inode;

	if (is_file_hugepages(shp->shm_file)) {
		struct address_space *mapping = inode->i_mapping;
		struct hstate *h = hstate_file(shp->shm_file);
		*rss_add += pages_per_huge_page(h) * mapping->nrpages;
	} else {
#ifdef CONFIG_SHMEM
		struct shmem_inode_info *info = SHMEM_I(inode);
		spin_lock(&info->lock);
		*rss_add += inode->i_mapping->nrpages;
		*swp_add += info->swapped;
		spin_unlock(&info->lock);
#else
		*rss_add += inode->i_mapping->nrpages;
#endif
	}
}

Nadia Derbey's avatar
Nadia Derbey committed
682
/*
Nadia Derbey's avatar
Nadia Derbey committed
683
 * Called with shm_ids.rw_mutex held as a reader
Nadia Derbey's avatar
Nadia Derbey committed
684
 */
685 686
static void shm_get_stat(struct ipc_namespace *ns, unsigned long *rss,
		unsigned long *swp)
Linus Torvalds's avatar
Linus Torvalds committed
687
{
Nadia Derbey's avatar
Nadia Derbey committed
688 689
	int next_id;
	int total, in_use;
Linus Torvalds's avatar
Linus Torvalds committed
690 691 692 693

	*rss = 0;
	*swp = 0;

Nadia Derbey's avatar
Nadia Derbey committed
694 695 696
	in_use = shm_ids(ns).in_use;

	for (total = 0, next_id = 0; total < in_use; next_id++) {
697
		struct kern_ipc_perm *ipc;
Linus Torvalds's avatar
Linus Torvalds committed
698 699
		struct shmid_kernel *shp;

700 701
		ipc = idr_find(&shm_ids(ns).ipcs_idr, next_id);
		if (ipc == NULL)
Linus Torvalds's avatar
Linus Torvalds committed
702
			continue;
703
		shp = container_of(ipc, struct shmid_kernel, shm_perm);
Linus Torvalds's avatar
Linus Torvalds committed
704

705
		shm_add_rss_swap(shp, rss, swp);
Nadia Derbey's avatar
Nadia Derbey committed
706 707

		total++;
Linus Torvalds's avatar
Linus Torvalds committed
708 709 710
	}
}

711 712 713 714 715 716 717
/*
 * This function handles some shmctl commands which require the rw_mutex
 * to be held in write mode.
 * NOTE: no locks must be held, the rw_mutex is taken inside this function.
 */
static int shmctl_down(struct ipc_namespace *ns, int shmid, int cmd,
		       struct shmid_ds __user *buf, int version)
Linus Torvalds's avatar
Linus Torvalds committed
718
{
719
	struct kern_ipc_perm *ipcp;
720
	struct shmid64_ds shmid64;
721 722 723 724
	struct shmid_kernel *shp;
	int err;

	if (cmd == IPC_SET) {
725
		if (copy_shmid_from_user(&shmid64, buf, version))
726 727 728
			return -EFAULT;
	}

729 730
	ipcp = ipcctl_pre_down(ns, &shm_ids(ns), shmid, cmd,
			       &shmid64.shm_perm, 0);
731 732
	if (IS_ERR(ipcp))
		return PTR_ERR(ipcp);
733

734
	shp = container_of(ipcp, struct shmid_kernel, shm_perm);
735 736 737 738 739 740 741 742 743

	err = security_shm_shmctl(shp, cmd);
	if (err)
		goto out_unlock;
	switch (cmd) {
	case IPC_RMID:
		do_shm_rmid(ns, ipcp);
		goto out_up;
	case IPC_SET:
744
		ipc_update_perm(&shmid64.shm_perm, ipcp);
745 746 747 748 749 750 751 752 753 754 755 756
		shp->shm_ctim = get_seconds();
		break;
	default:
		err = -EINVAL;
	}
out_unlock:
	shm_unlock(shp);
out_up:
	up_write(&shm_ids(ns).rw_mutex);
	return err;
}

757
SYSCALL_DEFINE3(shmctl, int, shmid, int, cmd, struct shmid_ds __user *, buf)
758
{
Linus Torvalds's avatar
Linus Torvalds committed
759 760
	struct shmid_kernel *shp;
	int err, version;
761
	struct ipc_namespace *ns;
Linus Torvalds's avatar
Linus Torvalds committed
762 763 764 765 766 767 768

	if (cmd < 0 || shmid < 0) {
		err = -EINVAL;
		goto out;
	}

	version = ipc_parse_version(&cmd);
769
	ns = current->nsproxy->ipc_ns;
Linus Torvalds's avatar
Linus Torvalds committed
770 771 772 773 774 775 776 777 778 779

	switch (cmd) { /* replace with proc interface ? */
	case IPC_INFO:
	{
		struct shminfo64 shminfo;

		err = security_shm_shmctl(NULL, cmd);
		if (err)
			return err;

WANG Cong's avatar
WANG Cong committed
780
		memset(&shminfo, 0, sizeof(shminfo));
781 782 783
		shminfo.shmmni = shminfo.shmseg = ns->shm_ctlmni;
		shminfo.shmmax = ns->shm_ctlmax;
		shminfo.shmall = ns->shm_ctlall;
Linus Torvalds's avatar
Linus Torvalds committed
784 785 786 787

		shminfo.shmmin = SHMMIN;
		if(copy_shminfo_to_user (buf, &shminfo, version))
			return -EFAULT;
Nadia Derbey's avatar
Nadia Derbey committed
788

Nadia Derbey's avatar
Nadia Derbey committed
789
		down_read(&shm_ids(ns).rw_mutex);
Nadia Derbey's avatar
Nadia Derbey committed
790
		err = ipc_get_maxid(&shm_ids(ns));
Nadia Derbey's avatar
Nadia Derbey committed
791
		up_read(&shm_ids(ns).rw_mutex);
Nadia Derbey's avatar
Nadia Derbey committed
792

Linus Torvalds's avatar
Linus Torvalds committed
793 794 795 796 797 798 799 800 801 802 803 804
		if(err<0)
			err = 0;
		goto out;
	}
	case SHM_INFO:
	{
		struct shm_info shm_info;

		err = security_shm_shmctl(NULL, cmd);
		if (err)
			return err;

WANG Cong's avatar
WANG Cong committed
805
		memset(&shm_info, 0, sizeof(shm_info));
Nadia Derbey's avatar
Nadia Derbey committed
806
		down_read(&shm_ids(ns).rw_mutex);
807 808 809
		shm_info.used_ids = shm_ids(ns).in_use;
		shm_get_stat (ns, &shm_info.shm_rss, &shm_info.shm_swp);
		shm_info.shm_tot = ns->shm_tot;
Linus Torvalds's avatar
Linus Torvalds committed
810 811
		shm_info.swap_attempts = 0;
		shm_info.swap_successes = 0;
Nadia Derbey's avatar
Nadia Derbey committed
812
		err = ipc_get_maxid(&shm_ids(ns));
Nadia Derbey's avatar
Nadia Derbey committed
813
		up_read(&shm_ids(ns).rw_mutex);
WANG Cong's avatar
WANG Cong committed
814
		if (copy_to_user(buf, &shm_info, sizeof(shm_info))) {
Linus Torvalds's avatar
Linus Torvalds committed
815 816 817 818 819 820 821 822 823 824 825 826
			err = -EFAULT;
			goto out;
		}

		err = err < 0 ? 0 : err;
		goto out;
	}
	case SHM_STAT:
	case IPC_STAT:
	{
		struct shmid64_ds tbuf;
		int result;
827 828 829 830 831 832 833

		if (cmd == SHM_STAT) {
			shp = shm_lock(ns, shmid);
			if (IS_ERR(shp)) {
				err = PTR_ERR(shp);
				goto out;
			}
Nadia Derbey's avatar
Nadia Derbey committed
834
			result = shp->shm_perm.id;
Linus Torvalds's avatar
Linus Torvalds committed
835
		} else {
836 837 838 839 840
			shp = shm_lock_check(ns, shmid);
			if (IS_ERR(shp)) {
				err = PTR_ERR(shp);
				goto out;
			}
Linus Torvalds's avatar
Linus Torvalds committed
841 842
			result = 0;
		}
WANG Cong's avatar
WANG Cong committed
843
		err = -EACCES;
844
		if (ipcperms(ns, &shp->shm_perm, S_IRUGO))
Linus Torvalds's avatar
Linus Torvalds committed
845 846 847 848
			goto out_unlock;
		err = security_shm_shmctl(shp, cmd);
		if (err)
			goto out_unlock;
849
		memset(&tbuf, 0, sizeof(tbuf));
Linus Torvalds's avatar
Linus Torvalds committed
850 851 852 853 854 855 856
		kernel_to_ipc64_perm(&shp->shm_perm, &tbuf.shm_perm);
		tbuf.shm_segsz	= shp->shm_segsz;
		tbuf.shm_atime	= shp->shm_atim;
		tbuf.shm_dtime	= shp->shm_dtim;
		tbuf.shm_ctime	= shp->shm_ctim;
		tbuf.shm_cpid	= shp->shm_cprid;
		tbuf.shm_lpid	= shp->shm_lprid;
857
		tbuf.shm_nattch	= shp->shm_nattch;
Linus Torvalds's avatar
Linus Torvalds committed
858 859 860 861 862 863 864 865 866 867
		shm_unlock(shp);
		if(copy_shmid_to_user (buf, &tbuf, version))
			err = -EFAULT;
		else
			err = result;
		goto out;
	}
	case SHM_LOCK:
	case SHM_UNLOCK:
	{
868 869 870 871
		struct file *uninitialized_var(shm_file);

		lru_add_drain_all();  /* drain pagevecs to lru lists */

872 873 874
		shp = shm_lock_check(ns, shmid);
		if (IS_ERR(shp)) {
			err = PTR_ERR(shp);
Linus Torvalds's avatar
Linus Torvalds committed
875 876 877
			goto out;
		}

Al Viro's avatar
Al Viro committed
878
		audit_ipc_obj(&(shp->shm_perm));
Steve Grubb's avatar
Steve Grubb committed
879

880
		if (!ns_capable(ns->user_ns, CAP_IPC_LOCK)) {
881
			uid_t euid = current_euid();
Linus Torvalds's avatar
Linus Torvalds committed
882
			err = -EPERM;
883 884
			if (euid != shp->shm_perm.uid &&
			    euid != shp->shm_perm.cuid)
Linus Torvalds's avatar
Linus Torvalds committed
885
				goto out_unlock;
Jiri Slaby's avatar
Jiri Slaby committed
886
			if (cmd == SHM_LOCK && !rlimit(RLIMIT_MEMLOCK))
Linus Torvalds's avatar
Linus Torvalds committed
887 888 889 890 891 892 893 894
				goto out_unlock;
		}

		err = security_shm_shmctl(shp, cmd);
		if (err)
			goto out_unlock;
		
		if(cmd==SHM_LOCK) {
895
			struct user_struct *user = current_user();
Linus Torvalds's avatar
Linus Torvalds committed
896 897
			if (!is_file_hugepages(shp->shm_file)) {
				err = shmem_lock(shp->shm_file, 1, user);
898
				if (!err && !(shp->shm_perm.mode & SHM_LOCKED)){
899
					shp->shm_perm.mode |= SHM_LOCKED;
Linus Torvalds's avatar
Linus Torvalds committed
900 901 902 903 904
					shp->mlock_user = user;
				}
			}
		} else if (!is_file_hugepages(shp->shm_file)) {
			shmem_lock(shp->shm_file, 0, shp->mlock_user);
905
			shp->shm_perm.mode &= ~SHM_LOCKED;
Linus Torvalds's avatar
Linus Torvalds committed
906 907 908 909 910 911 912
			shp->mlock_user = NULL;
		}
		shm_unlock(shp);
		goto out;
	}
	case IPC_RMID:
	case IPC_SET:
913 914
		err = shmctl_down(ns, shmid, cmd, buf, version);
		return err;
Linus Torvalds's avatar
Linus Torvalds committed
915
	default:
916
		return -EINVAL;
Linus Torvalds's avatar
Linus Torvalds committed
917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941
	}

out_unlock:
	shm_unlock(shp);
out:
	return err;
}

/*
 * Fix shmaddr, allocate descriptor, map shm, add attach descriptor to lists.
 *
 * NOTE! Despite the name, this is NOT a direct system call entrypoint. The
 * "raddr" thing points to kernel space, and there has to be a wrapper around
 * this.
 */
long do_shmat(int shmid, char __user *shmaddr, int shmflg, ulong *raddr)
{
	struct shmid_kernel *shp;
	unsigned long addr;
	unsigned long size;
	struct file * file;
	int    err;
	unsigned long flags;
	unsigned long prot;
	int acc_mode;
942
	unsigned long user_addr;
943
	struct ipc_namespace *ns;
944 945
	struct shm_file_data *sfd;
	struct path path;
946
	fmode_t f_mode;
Linus Torvalds's avatar
Linus Torvalds committed
947

948 949
	err = -EINVAL;
	if (shmid < 0)
Linus Torvalds's avatar
Linus Torvalds committed
950
		goto out;
951
	else if ((addr = (ulong)shmaddr)) {
Linus Torvalds's avatar
Linus Torvalds committed
952 953 954 955 956 957 958
		if (addr & (SHMLBA-1)) {
			if (shmflg & SHM_RND)
				addr &= ~(SHMLBA-1);	   /* round down */
			else
#ifndef __ARCH_FORCE_SHMLBA
				if (addr & ~PAGE_MASK)
#endif
959
					goto out;
Linus Torvalds's avatar
Linus Torvalds committed
960 961 962 963
		}
		flags = MAP_SHARED | MAP_FIXED;
	} else {
		if ((shmflg & SHM_REMAP))
964
			goto out;
Linus Torvalds's avatar
Linus Torvalds committed
965 966 967 968 969 970 971

		flags = MAP_SHARED;
	}

	if (shmflg & SHM_RDONLY) {
		prot = PROT_READ;
		acc_mode = S_IRUGO;
972
		f_mode = FMODE_READ;
Linus Torvalds's avatar
Linus Torvalds committed
973 974 975
	} else {
		prot = PROT_READ | PROT_WRITE;
		acc_mode = S_IRUGO | S_IWUGO;
976
		f_mode = FMODE_READ | FMODE_WRITE;
Linus Torvalds's avatar
Linus Torvalds committed
977 978 979 980 981 982 983 984 985 986
	}
	if (shmflg & SHM_EXEC) {
		prot |= PROT_EXEC;
		acc_mode |= S_IXUGO;
	}

	/*
	 * We cannot rely on the fs check since SYSV IPC does have an
	 * additional creator id...
	 */
987
	ns = current->nsproxy->ipc_ns;
988 989 990
	shp = shm_lock_check(ns, shmid);
	if (IS_ERR(shp)) {
		err = PTR_ERR(shp);
Linus Torvalds's avatar
Linus Torvalds committed
991
		goto out;
992
	}
993 994

	err = -EACCES;
995
	if (ipcperms(ns, &shp->shm_perm, acc_mode))
996
		goto out_unlock;
Linus Torvalds's avatar
Linus Torvalds committed
997 998

	err = security_shm_shmat(shp, shmaddr, shmflg);
999 1000 1001
	if (err)
		goto out_unlock;

1002 1003
	path = shp->shm_file->f_path;
	path_get(&path);
Linus Torvalds's avatar
Linus Torvalds committed
1004
	shp->shm_nattch++;
1005
	size = i_size_read(path.dentry->d_inode);
Linus Torvalds's avatar
Linus Torvalds committed
1006 1007
	shm_unlock(shp);

1008 1009 1010
	err = -ENOMEM;
	sfd = kzalloc(sizeof(*sfd), GFP_KERNEL);
	if (!sfd)
1011
		goto out_put_dentry;
1012

1013 1014
	file = alloc_file(&path, f_mode,
			  is_file_hugepages(shp->shm_file) ?
1015 1016
				&shm_file_operations_huge :
				&shm_file_operations);
1017 1018 1019 1020 1021
	if (!file)
		goto out_free;

	file->private_data = sfd;
	file->f_mapping = shp->shm_file->f_mapping;
Nadia Derbey's avatar
Nadia Derbey committed
1022
	sfd->id = shp->shm_perm.id;
1023 1024 1025 1026
	sfd->ns = get_ipc_ns(ns);
	sfd->file = shp->shm_file;
	sfd->vm_ops = NULL;

Linus Torvalds's avatar
Linus Torvalds committed
1027 1028
	down_write(&current->mm->mmap_sem);
	if (addr && !(shmflg & SHM_REMAP)) {
1029
		err = -EINVAL;
Linus Torvalds's avatar
Linus Torvalds committed
1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040
		if (find_vma_intersection(current->mm, addr, addr + size))
			goto invalid;
		/*
		 * If shm segment goes below stack, make sure there is some
		 * space left for the stack to grow (at least 4 pages).
		 */
		if (addr < current->mm->start_stack &&
		    addr > current->mm->start_stack - size - PAGE_SIZE * 5)
			goto invalid;
	}
		
1041 1042 1043 1044 1045
	user_addr = do_mmap (file, addr, size, prot, flags, 0);
	*raddr = user_addr;
	err = 0;
	if (IS_ERR_VALUE(user_addr))
		err = (long)user_addr;
Linus Torvalds's avatar
Linus Torvalds committed
1046 1047 1048
invalid:
	up_write(&current->mm->mmap_sem);

1049 1050 1051
	fput(file);

out_nattch:
Nadia Derbey's avatar
Nadia Derbey committed
1052
	down_write(&shm_ids(ns).rw_mutex);
1053
	shp = shm_lock(ns, shmid);
1054
	BUG_ON(IS_ERR(shp));
Linus Torvalds's avatar
Linus Torvalds committed
1055
	shp->shm_nattch--;
1056
	if (shm_may_destroy(ns, shp))
1057
		shm_destroy(ns, shp);
Linus Torvalds's avatar
Linus Torvalds committed
1058 1059
	else
		shm_unlock(shp);
Nadia Derbey's avatar
Nadia Derbey committed
1060
	up_write(&shm_ids(ns).rw_mutex);
Linus Torvalds's avatar
Linus Torvalds committed
1061 1062 1063

out:
	return err;
1064 1065 1066 1067 1068 1069 1070

out_unlock:
	shm_unlock(shp);
	goto out;

out_free:
	kfree(sfd);
1071
out_put_dentry:
1072
	path_put(&path);
1073
	goto out_nattch;
Linus Torvalds's avatar
Linus Torvalds committed
1074 1075
}

1076
SYSCALL_DEFINE3(shmat, int, shmid, char __user *, shmaddr, int, shmflg)
1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087
{
	unsigned long ret;
	long err;

	err = do_shmat(shmid, shmaddr, shmflg, &ret);
	if (err)
		return err;
	force_successful_syscall_return();
	return (long)ret;
}

Linus Torvalds's avatar
Linus Torvalds committed
1088 1089 1090 1091
/*
 * detach and kill segment if marked destroyed.
 * The work is done in shm_close.
 */
1092
SYSCALL_DEFINE1(shmdt, char __user *, shmaddr)
Linus Torvalds's avatar
Linus Torvalds committed
1093 1094
{
	struct mm_struct *mm = current->mm;
1095
	struct vm_area_struct *vma;
Linus Torvalds's avatar
Linus Torvalds committed
1096 1097
	unsigned long addr = (unsigned long)shmaddr;
	int retval = -EINVAL;
1098 1099 1100 1101
#ifdef CONFIG_MMU
	loff_t size = 0;
	struct vm_area_struct *next;
#endif
Linus Torvalds's avatar
Linus Torvalds committed
1102

1103 1104 1105
	if (addr & ~PAGE_MASK)
		return retval;

Linus Torvalds's avatar
Linus Torvalds committed
1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129
	down_write(&mm->mmap_sem);

	/*
	 * This function tries to be smart and unmap shm segments that
	 * were modified by partial mlock or munmap calls:
	 * - It first determines the size of the shm segment that should be
	 *   unmapped: It searches for a vma that is backed by shm and that
	 *   started at address shmaddr. It records it's size and then unmaps
	 *   it.
	 * - Then it unmaps all shm vmas that started at shmaddr and that
	 *   are within the initially determined size.
	 * Errors from do_munmap are ignored: the function only fails if
	 * it's called with invalid parameters or if it's called to unmap
	 * a part of a vma. Both calls in this function are for full vmas,
	 * the parameters are directly copied from the vma itself and always
	 * valid - therefore do_munmap cannot fail. (famous last words?)
	 */
	/*
	 * If it had been mremap()'d, the starting address would not
	 * match the usual checks anyway. So assume all vma's are
	 * above the starting address given.
	 */
	vma = find_vma(mm, addr);

1130
#ifdef CONFIG_MMU
Linus Torvalds's avatar
Linus Torvalds committed
1131 1132 1133 1134 1135 1136 1137 1138
	while (vma) {
		next = vma->vm_next;

		/*
		 * Check if the starting address would match, i.e. it's
		 * a fragment created by mprotect() and/or munmap(), or it
		 * otherwise it starts at this address with no hassles.
		 */
1139
		if ((vma->vm_ops == &shm_vm_ops) &&
Linus Torvalds's avatar
Linus Torvalds committed
1140 1141 1142
			(vma->vm_start - addr)/PAGE_SIZE == vma->vm_pgoff) {


1143
			size = vma->vm_file->f_path.dentry->d_inode->i_size;
Linus Torvalds's avatar
Linus Torvalds committed
1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160
			do_munmap(mm, vma->vm_start, vma->vm_end - vma->vm_start);
			/*
			 * We discovered the size of the shm segment, so
			 * break out of here and fall through to the next
			 * loop that uses the size information to stop
			 * searching for matching vma's.
			 */
			retval = 0;
			vma = next;
			break;
		}
		vma = next;
	}

	/*
	 * We need look no further than the maximum address a fragment
	 * could possibly have landed at. Also cast things to loff_t to
Lucas De Marchi's avatar
Lucas De Marchi committed
1161
	 * prevent overflows and make comparisons vs. equal-width types.
Linus Torvalds's avatar
Linus Torvalds committed
1162
	 */
1163
	size = PAGE_ALIGN(size);
Linus Torvalds's avatar
Linus Torvalds committed
1164 1165 1166 1167
	while (vma && (loff_t)(vma->vm_end - addr) <= size) {
		next = vma->vm_next;

		/* finding a matching vma now does not alter retval */
1168
		if ((vma->vm_ops == &shm_vm_ops) &&
Linus Torvalds's avatar
Linus Torvalds committed
1169 1170 1171 1172 1173 1174
			(vma->vm_start - addr)/PAGE_SIZE == vma->vm_pgoff)

			do_munmap(mm, vma->vm_start, vma->vm_end - vma->vm_start);
		vma = next;
	}

1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185
#else /* CONFIG_MMU */
	/* under NOMMU conditions, the exact address to be destroyed must be
	 * given */
	retval = -EINVAL;
	if (vma->vm_start == addr && vma->vm_ops == &shm_vm_ops) {
		do_munmap(mm, vma->vm_start, vma->vm_end - vma->vm_start);
		retval = 0;
	}

#endif

Linus Torvalds's avatar
Linus Torvalds committed
1186 1187 1188 1189 1190
	up_write(&mm->mmap_sem);
	return retval;
}

#ifdef CONFIG_PROC_FS
1191
static int sysvipc_shm_proc_show(struct seq_file *s, void *it)
Linus Torvalds's avatar
Linus Torvalds committed
1192
{
1193
	struct shmid_kernel *shp = it;
1194 1195 1196
	unsigned long rss = 0, swp = 0;

	shm_add_rss_swap(shp, &rss, &swp);
Linus Torvalds's avatar
Linus Torvalds committed
1197

1198 1199 1200 1201 1202
#if BITS_PER_LONG <= 32
#define SIZE_SPEC "%10lu"
#else
#define SIZE_SPEC "%21lu"
#endif
Linus Torvalds's avatar
Linus Torvalds committed
1203

1204 1205
	return seq_printf(s,
			  "%10d %10d  %4o " SIZE_SPEC " %5u %5u  "
1206 1207
			  "%5lu %5u %5u %5u %5u %10lu %10lu %10lu "
			  SIZE_SPEC " " SIZE_SPEC "\n",
1208
			  shp->shm_perm.key,
Nadia Derbey's avatar
Nadia Derbey committed
1209
			  shp->shm_perm.id,
1210
			  shp->shm_perm.mode,
1211 1212 1213
			  shp->shm_segsz,
			  shp->shm_cprid,
			  shp->shm_lprid,
1214
			  shp->shm_nattch,
1215 1216 1217 1218 1219 1220
			  shp->shm_perm.uid,
			  shp->shm_perm.gid,
			  shp->shm_perm.cuid,
			  shp->shm_perm.cgid,
			  shp->shm_atim,
			  shp->shm_dtim,
1221 1222 1223
			  shp->shm_ctim,
			  rss * PAGE_SIZE,
			  swp * PAGE_SIZE);
Linus Torvalds's avatar
Linus Torvalds committed
1224 1225
}
#endif