shm.c 27.4 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>
Kirill Korotaev's avatar
Kirill Korotaev committed
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>
Kirill Korotaev's avatar
Kirill Korotaev committed
39
#include <linux/nsproxy.h>
40
#include <linux/mount.h>
41

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

#include "util.h"

46 47 48 49 50 51 52 53 54
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))

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

Kirill Korotaev's avatar
Kirill Korotaev committed
58 59 60
static struct ipc_ids init_shm_ids;

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

Kirill Korotaev's avatar
Kirill Korotaev committed
62 63
#define shm_unlock(shp)			\
	ipc_unlock(&(shp)->shm_perm)
Nadia Derbey's avatar
Nadia Derbey committed
64
#define shm_buildid(id, seq)	ipc_buildid(id, seq)
Linus Torvalds's avatar
Linus Torvalds committed
65

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

74
static void __shm_init_ns(struct ipc_namespace *ns, struct ipc_ids *ids)
Kirill Korotaev's avatar
Kirill Korotaev committed
75 76 77 78 79 80
{
	ns->ids[IPC_SHM_IDS] = ids;
	ns->shm_ctlmax = SHMMAX;
	ns->shm_ctlall = SHMALL;
	ns->shm_ctlmni = SHMMNI;
	ns->shm_tot = 0;
Nadia Derbey's avatar
Nadia Derbey committed
81
	ipc_init_ids(ids);
Kirill Korotaev's avatar
Kirill Korotaev committed
82 83
}

Nadia Derbey's avatar
Nadia Derbey committed
84
/*
Nadia Derbey's avatar
Nadia Derbey committed
85 86
 * 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
87
 */
Kirill Korotaev's avatar
Kirill Korotaev committed
88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105
static void do_shm_rmid(struct ipc_namespace *ns, struct shmid_kernel *shp)
{
	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);
}

int shm_init_ns(struct ipc_namespace *ns)
{
	struct ipc_ids *ids;

	ids = kmalloc(sizeof(struct ipc_ids), GFP_KERNEL);
	if (ids == NULL)
		return -ENOMEM;
Linus Torvalds's avatar
Linus Torvalds committed
106

Kirill Korotaev's avatar
Kirill Korotaev committed
107 108 109 110 111 112 113
	__shm_init_ns(ns, ids);
	return 0;
}

void shm_exit_ns(struct ipc_namespace *ns)
{
	struct shmid_kernel *shp;
Nadia Derbey's avatar
Nadia Derbey committed
114 115
	int next_id;
	int total, in_use;
Kirill Korotaev's avatar
Kirill Korotaev committed
116

Nadia Derbey's avatar
Nadia Derbey committed
117
	down_write(&shm_ids(ns).rw_mutex);
Nadia Derbey's avatar
Nadia Derbey committed
118 119 120 121 122

	in_use = shm_ids(ns).in_use;

	for (total = 0, next_id = 0; total < in_use; next_id++) {
		shp = idr_find(&shm_ids(ns).ipcs_idr, next_id);
Kirill Korotaev's avatar
Kirill Korotaev committed
123 124
		if (shp == NULL)
			continue;
Nadia Derbey's avatar
Nadia Derbey committed
125
		ipc_lock_by_ptr(&shp->shm_perm);
Kirill Korotaev's avatar
Kirill Korotaev committed
126
		do_shm_rmid(ns, shp);
Nadia Derbey's avatar
Nadia Derbey committed
127
		total++;
Kirill Korotaev's avatar
Kirill Korotaev committed
128
	}
Nadia Derbey's avatar
Nadia Derbey committed
129
	up_write(&shm_ids(ns).rw_mutex);
Kirill Korotaev's avatar
Kirill Korotaev committed
130 131 132 133

	kfree(ns->ids[IPC_SHM_IDS]);
	ns->ids[IPC_SHM_IDS] = NULL;
}
Linus Torvalds's avatar
Linus Torvalds committed
134 135 136

void __init shm_init (void)
{
Kirill Korotaev's avatar
Kirill Korotaev committed
137
	__shm_init_ns(&init_ipc_ns, &init_shm_ids);
138 139
	ipc_init_proc_interface("sysvipc/shm",
				"       key      shmid perms       size  cpid  lpid nattch   uid   gid  cuid  cgid      atime      dtime      ctime\n",
Kirill Korotaev's avatar
Kirill Korotaev committed
140
				IPC_SHM_IDS, sysvipc_shm_proc_show);
Linus Torvalds's avatar
Linus Torvalds committed
141 142
}

Nadia Derbey's avatar
Nadia Derbey committed
143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167
/*
 * shm_lock_(check_)down routines are called in the paths where the rw_mutex
 * is held to protect access to the idr tree.
 */
static inline struct shmid_kernel *shm_lock_down(struct ipc_namespace *ns,
						int id)
{
	struct kern_ipc_perm *ipcp = ipc_lock_down(&shm_ids(ns), id);

	return container_of(ipcp, struct shmid_kernel, shm_perm);
}

static inline struct shmid_kernel *shm_lock_check_down(
						struct ipc_namespace *ns,
						int id)
{
	struct kern_ipc_perm *ipcp = ipc_lock_check_down(&shm_ids(ns), id);

	return container_of(ipcp, struct shmid_kernel, shm_perm);
}

/*
 * shm_lock_(check_) routines are called in the paths where the rw_mutex
 * is not held.
 */
168
static inline struct shmid_kernel *shm_lock(struct ipc_namespace *ns, int id)
Linus Torvalds's avatar
Linus Torvalds committed
169
{
Nadia Derbey's avatar
Nadia Derbey committed
170 171 172
	struct kern_ipc_perm *ipcp = ipc_lock(&shm_ids(ns), id);

	return container_of(ipcp, struct shmid_kernel, shm_perm);
173 174 175 176 177
}

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

	return container_of(ipcp, struct shmid_kernel, shm_perm);
Linus Torvalds's avatar
Linus Torvalds committed
181 182
}

Nadia Derbey's avatar
Nadia Derbey committed
183
static inline void shm_rmid(struct ipc_namespace *ns, struct shmid_kernel *s)
Linus Torvalds's avatar
Linus Torvalds committed
184
{
Nadia Derbey's avatar
Nadia Derbey committed
185
	ipc_rmid(&shm_ids(ns), &s->shm_perm);
Linus Torvalds's avatar
Linus Torvalds committed
186 187
}

Kirill Korotaev's avatar
Kirill Korotaev committed
188
static inline int shm_addid(struct ipc_namespace *ns, struct shmid_kernel *shp)
Linus Torvalds's avatar
Linus Torvalds committed
189
{
Kirill Korotaev's avatar
Kirill Korotaev committed
190
	return ipc_addid(&shm_ids(ns), &shp->shm_perm, ns->shm_ctlmni);
Linus Torvalds's avatar
Linus Torvalds committed
191 192 193 194
}



195 196
/* This is called by fork, once for every shm attach. */
static void shm_open(struct vm_area_struct *vma)
Kirill Korotaev's avatar
Kirill Korotaev committed
197
{
198 199
	struct file *file = vma->vm_file;
	struct shm_file_data *sfd = shm_file_data(file);
Linus Torvalds's avatar
Linus Torvalds committed
200 201
	struct shmid_kernel *shp;

202
	shp = shm_lock(sfd->ns, sfd->id);
203
	BUG_ON(IS_ERR(shp));
Linus Torvalds's avatar
Linus Torvalds committed
204
	shp->shm_atim = get_seconds();
205
	shp->shm_lprid = task_tgid_vnr(current);
Linus Torvalds's avatar
Linus Torvalds committed
206 207 208 209 210 211 212
	shp->shm_nattch++;
	shm_unlock(shp);
}

/*
 * shm_destroy - free the struct shmid_kernel
 *
Nadia Derbey's avatar
Nadia Derbey committed
213
 * @ns: namespace
Linus Torvalds's avatar
Linus Torvalds committed
214 215
 * @shp: struct to free
 *
Nadia Derbey's avatar
Nadia Derbey committed
216
 * It has to be called with shp and shm_ids.rw_mutex (writer) locked,
Linus Torvalds's avatar
Linus Torvalds committed
217 218
 * but returns with shp unlocked and freed.
 */
Kirill Korotaev's avatar
Kirill Korotaev committed
219
static void shm_destroy(struct ipc_namespace *ns, struct shmid_kernel *shp)
Linus Torvalds's avatar
Linus Torvalds committed
220
{
Kirill Korotaev's avatar
Kirill Korotaev committed
221
	ns->shm_tot -= (shp->shm_segsz + PAGE_SIZE - 1) >> PAGE_SHIFT;
Nadia Derbey's avatar
Nadia Derbey committed
222
	shm_rmid(ns, shp);
Linus Torvalds's avatar
Linus Torvalds committed
223 224 225 226
	shm_unlock(shp);
	if (!is_file_hugepages(shp->shm_file))
		shmem_lock(shp->shm_file, 0, shp->mlock_user);
	else
Josef Sipek's avatar
Josef Sipek committed
227
		user_shm_unlock(shp->shm_file->f_path.dentry->d_inode->i_size,
Linus Torvalds's avatar
Linus Torvalds committed
228 229 230 231 232 233 234
						shp->mlock_user);
	fput (shp->shm_file);
	security_shm_free(shp);
	ipc_rcu_putref(shp);
}

/*
235
 * remove the attach descriptor vma.
Linus Torvalds's avatar
Linus Torvalds committed
236 237 238 239
 * 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.
 */
240
static void shm_close(struct vm_area_struct *vma)
Linus Torvalds's avatar
Linus Torvalds committed
241
{
242 243
	struct file * file = vma->vm_file;
	struct shm_file_data *sfd = shm_file_data(file);
Linus Torvalds's avatar
Linus Torvalds committed
244
	struct shmid_kernel *shp;
245
	struct ipc_namespace *ns = sfd->ns;
Kirill Korotaev's avatar
Kirill Korotaev committed
246

Nadia Derbey's avatar
Nadia Derbey committed
247
	down_write(&shm_ids(ns).rw_mutex);
Linus Torvalds's avatar
Linus Torvalds committed
248
	/* remove from the list of attaches of the shm segment */
Nadia Derbey's avatar
Nadia Derbey committed
249
	shp = shm_lock_down(ns, sfd->id);
250
	BUG_ON(IS_ERR(shp));
251
	shp->shm_lprid = task_tgid_vnr(current);
Linus Torvalds's avatar
Linus Torvalds committed
252 253 254
	shp->shm_dtim = get_seconds();
	shp->shm_nattch--;
	if(shp->shm_nattch == 0 &&
Andrew Morton's avatar
Andrew Morton committed
255
	   shp->shm_perm.mode & SHM_DEST)
Kirill Korotaev's avatar
Kirill Korotaev committed
256
		shm_destroy(ns, shp);
Linus Torvalds's avatar
Linus Torvalds committed
257 258
	else
		shm_unlock(shp);
Nadia Derbey's avatar
Nadia Derbey committed
259
	up_write(&shm_ids(ns).rw_mutex);
Linus Torvalds's avatar
Linus Torvalds committed
260 261
}

Nick Piggin's avatar
Nick Piggin committed
262
static int shm_fault(struct vm_area_struct *vma, struct vm_fault *vmf)
263 264 265 266
{
	struct file *file = vma->vm_file;
	struct shm_file_data *sfd = shm_file_data(file);

Nick Piggin's avatar
Nick Piggin committed
267
	return sfd->vm_ops->fault(vma, vmf);
268 269 270
}

#ifdef CONFIG_NUMA
271
static int shm_set_policy(struct vm_area_struct *vma, struct mempolicy *new)
272 273 274 275 276 277 278 279 280
{
	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;
}

281 282
static struct mempolicy *shm_get_policy(struct vm_area_struct *vma,
					unsigned long addr)
283 284 285 286 287 288 289
{
	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);
290
	else if (vma->vm_policy)
291
		pol = vma->vm_policy;
292 293
	else
		pol = current->mempolicy;
294 295 296 297
	return pol;
}
#endif

Linus Torvalds's avatar
Linus Torvalds committed
298 299
static int shm_mmap(struct file * file, struct vm_area_struct * vma)
{
300
	struct shm_file_data *sfd = shm_file_data(file);
301 302
	int ret;

303 304 305 306
	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
307
#ifdef CONFIG_MMU
308
	BUG_ON(!sfd->vm_ops->fault);
David Howells's avatar
David Howells committed
309
#endif
310 311
	vma->vm_ops = &shm_vm_ops;
	shm_open(vma);
312 313

	return ret;
Linus Torvalds's avatar
Linus Torvalds committed
314 315
}

Kirill Korotaev's avatar
Kirill Korotaev committed
316 317
static int shm_release(struct inode *ino, struct file *file)
{
318
	struct shm_file_data *sfd = shm_file_data(file);
Kirill Korotaev's avatar
Kirill Korotaev committed
319

320 321 322
	put_ipc_ns(sfd->ns);
	shm_file_data(file) = NULL;
	kfree(sfd);
Kirill Korotaev's avatar
Kirill Korotaev committed
323 324 325
	return 0;
}

326 327 328 329 330 331 332 333 334 335 336 337
static int shm_fsync(struct file *file, struct dentry *dentry, int datasync)
{
	int (*fsync) (struct file *, struct dentry *, int datasync);
	struct shm_file_data *sfd = shm_file_data(file);
	int ret = -EINVAL;

	fsync = sfd->file->f_op->fsync;
	if (fsync)
		ret = fsync(sfd->file, sfd->file->f_path.dentry, datasync);
	return ret;
}

338 339 340 341 342
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);
343 344 345 346 347 348 349 350 351 352 353 354 355
	return get_unmapped_area(sfd->file, addr, len, pgoff, flags);
}

int is_file_shm_hugepages(struct file *file)
{
	int ret = 0;

	if (file->f_op == &shm_file_operations) {
		struct shm_file_data *sfd;
		sfd = shm_file_data(file);
		ret = is_file_hugepages(sfd->file);
	}
	return ret;
356 357
}

358
static const struct file_operations shm_file_operations = {
Kirill Korotaev's avatar
Kirill Korotaev committed
359
	.mmap		= shm_mmap,
360
	.fsync		= shm_fsync,
Kirill Korotaev's avatar
Kirill Korotaev committed
361
	.release	= shm_release,
362
	.get_unmapped_area	= shm_get_unmapped_area,
Linus Torvalds's avatar
Linus Torvalds committed
363 364 365 366 367
};

static struct vm_operations_struct shm_vm_ops = {
	.open	= shm_open,	/* callback for a new vm-area open */
	.close	= shm_close,	/* callback for when the vm-area is released */
368
	.fault	= shm_fault,
369 370 371
#if defined(CONFIG_NUMA)
	.set_policy = shm_set_policy,
	.get_policy = shm_get_policy,
Linus Torvalds's avatar
Linus Torvalds committed
372 373 374
#endif
};

Nadia Derbey's avatar
Nadia Derbey committed
375 376 377 378 379
/**
 * 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
380
 * Called with shm_ids.rw_mutex held as a writer.
Nadia Derbey's avatar
Nadia Derbey committed
381 382
 */

Nadia Derbey's avatar
Nadia Derbey committed
383
static int newseg(struct ipc_namespace *ns, struct ipc_params *params)
Linus Torvalds's avatar
Linus Torvalds committed
384
{
Nadia Derbey's avatar
Nadia Derbey committed
385 386 387
	key_t key = params->key;
	int shmflg = params->flg;
	size_t size = params->u.size;
Linus Torvalds's avatar
Linus Torvalds committed
388 389 390 391 392 393 394
	int error;
	struct shmid_kernel *shp;
	int numpages = (size + PAGE_SIZE -1) >> PAGE_SHIFT;
	struct file * file;
	char name[13];
	int id;

Kirill Korotaev's avatar
Kirill Korotaev committed
395
	if (size < SHMMIN || size > ns->shm_ctlmax)
Linus Torvalds's avatar
Linus Torvalds committed
396 397
		return -EINVAL;

398
	if (ns->shm_tot + numpages > ns->shm_ctlall)
Linus Torvalds's avatar
Linus Torvalds committed
399 400 401 402 403 404 405
		return -ENOSPC;

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

	shp->shm_perm.key = key;
Andrew Morton's avatar
Andrew Morton committed
406
	shp->shm_perm.mode = (shmflg & S_IRWXUGO);
Linus Torvalds's avatar
Linus Torvalds committed
407 408 409 410 411 412 413 414 415
	shp->mlock_user = NULL;

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

416
	sprintf (name, "SYSV%08x", key);
Linus Torvalds's avatar
Linus Torvalds committed
417
	if (shmflg & SHM_HUGETLB) {
418 419
		/* hugetlb_file_setup takes care of mlock user accounting */
		file = hugetlb_file_setup(name, size);
Linus Torvalds's avatar
Linus Torvalds committed
420 421
		shp->mlock_user = current->user;
	} else {
422 423 424 425 426 427 428 429 430
		int acctflag = VM_ACCOUNT;
		/*
		 * Do not allow no accounting for OVERCOMMIT_NEVER, even
	 	 * if it's asked for.
		 */
		if  ((shmflg & SHM_NORESERVE) &&
				sysctl_overcommit_memory != OVERCOMMIT_NEVER)
			acctflag = 0;
		file = shmem_file_setup(name, size, acctflag);
Linus Torvalds's avatar
Linus Torvalds committed
431 432 433 434 435
	}
	error = PTR_ERR(file);
	if (IS_ERR(file))
		goto no_file;

Kirill Korotaev's avatar
Kirill Korotaev committed
436
	id = shm_addid(ns, shp);
437 438
	if (id < 0) {
		error = id;
Linus Torvalds's avatar
Linus Torvalds committed
439
		goto no_id;
440
	}
Linus Torvalds's avatar
Linus Torvalds committed
441

442
	shp->shm_cprid = task_tgid_vnr(current);
Linus Torvalds's avatar
Linus Torvalds committed
443 444 445 446 447
	shp->shm_lprid = 0;
	shp->shm_atim = shp->shm_dtim = 0;
	shp->shm_ctim = get_seconds();
	shp->shm_segsz = size;
	shp->shm_nattch = 0;
Nadia Derbey's avatar
Nadia Derbey committed
448
	shp->shm_perm.id = shm_buildid(id, shp->shm_perm.seq);
Linus Torvalds's avatar
Linus Torvalds committed
449
	shp->shm_file = file;
450 451 452 453
	/*
	 * 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
454
	file->f_dentry->d_inode->i_ino = shp->shm_perm.id;
455

Kirill Korotaev's avatar
Kirill Korotaev committed
456
	ns->shm_tot += numpages;
Nadia Derbey's avatar
Nadia Derbey committed
457
	error = shp->shm_perm.id;
Linus Torvalds's avatar
Linus Torvalds committed
458
	shm_unlock(shp);
Nadia Derbey's avatar
Nadia Derbey committed
459
	return error;
Linus Torvalds's avatar
Linus Torvalds committed
460 461 462 463 464 465 466 467 468

no_id:
	fput(file);
no_file:
	security_shm_free(shp);
	ipc_rcu_putref(shp);
	return error;
}

Nadia Derbey's avatar
Nadia Derbey committed
469
/*
Nadia Derbey's avatar
Nadia Derbey committed
470
 * Called with shm_ids.rw_mutex and ipcp locked.
Nadia Derbey's avatar
Nadia Derbey committed
471
 */
Nadia Derbey's avatar
Nadia Derbey committed
472
static inline int shm_security(struct kern_ipc_perm *ipcp, int shmflg)
Nadia Derbey's avatar
Nadia Derbey committed
473
{
Nadia Derbey's avatar
Nadia Derbey committed
474 475 476 477
	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
478 479
}

Nadia Derbey's avatar
Nadia Derbey committed
480
/*
Nadia Derbey's avatar
Nadia Derbey committed
481
 * Called with shm_ids.rw_mutex and ipcp locked.
Nadia Derbey's avatar
Nadia Derbey committed
482
 */
Nadia Derbey's avatar
Nadia Derbey committed
483 484
static inline int shm_more_checks(struct kern_ipc_perm *ipcp,
				struct ipc_params *params)
Nadia Derbey's avatar
Nadia Derbey committed
485
{
Nadia Derbey's avatar
Nadia Derbey committed
486 487 488 489
	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
490 491 492 493 494
		return -EINVAL;

	return 0;
}

Linus Torvalds's avatar
Linus Torvalds committed
495 496
asmlinkage long sys_shmget (key_t key, size_t size, int shmflg)
{
Kirill Korotaev's avatar
Kirill Korotaev committed
497
	struct ipc_namespace *ns;
Nadia Derbey's avatar
Nadia Derbey committed
498 499
	struct ipc_ops shm_ops;
	struct ipc_params shm_params;
Kirill Korotaev's avatar
Kirill Korotaev committed
500 501

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

Nadia Derbey's avatar
Nadia Derbey committed
503 504 505
	shm_ops.getnew = newseg;
	shm_ops.associate = shm_security;
	shm_ops.more_checks = shm_more_checks;
Nadia Derbey's avatar
Nadia Derbey committed
506

Nadia Derbey's avatar
Nadia Derbey committed
507 508 509
	shm_params.key = key;
	shm_params.flg = shmflg;
	shm_params.u.size = size;
Linus Torvalds's avatar
Linus Torvalds committed
510

Nadia Derbey's avatar
Nadia Derbey committed
511
	return ipcget(ns, &shm_ids(ns), &shm_ops, &shm_params);
Linus Torvalds's avatar
Linus Torvalds committed
512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556
}

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;

		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;
	}
}

struct shm_setbuf {
	uid_t	uid;
	gid_t	gid;
	mode_t	mode;
};	

static inline unsigned long copy_shmid_from_user(struct shm_setbuf *out, void __user *buf, int version)
{
	switch(version) {
	case IPC_64:
	    {
		struct shmid64_ds tbuf;

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

		out->uid	= tbuf.shm_perm.uid;
		out->gid	= tbuf.shm_perm.gid;
Andrew Morton's avatar
Andrew Morton committed
557
		out->mode	= tbuf.shm_perm.mode;
Linus Torvalds's avatar
Linus Torvalds committed
558 559 560 561 562 563 564 565 566 567 568 569

		return 0;
	    }
	case IPC_OLD:
	    {
		struct shmid_ds tbuf_old;

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

		out->uid	= tbuf_old.shm_perm.uid;
		out->gid	= tbuf_old.shm_perm.gid;
Andrew Morton's avatar
Andrew Morton committed
570
		out->mode	= tbuf_old.shm_perm.mode;
Linus Torvalds's avatar
Linus Torvalds committed
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 597 598 599 600 601 602 603 604

		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;
	}
}

Nadia Derbey's avatar
Nadia Derbey committed
605
/*
Nadia Derbey's avatar
Nadia Derbey committed
606
 * Called with shm_ids.rw_mutex held as a reader
Nadia Derbey's avatar
Nadia Derbey committed
607
 */
Kirill Korotaev's avatar
Kirill Korotaev committed
608 609
static void shm_get_stat(struct ipc_namespace *ns, unsigned long *rss,
		unsigned long *swp)
Linus Torvalds's avatar
Linus Torvalds committed
610
{
Nadia Derbey's avatar
Nadia Derbey committed
611 612
	int next_id;
	int total, in_use;
Linus Torvalds's avatar
Linus Torvalds committed
613 614 615 616

	*rss = 0;
	*swp = 0;

Nadia Derbey's avatar
Nadia Derbey committed
617 618 619
	in_use = shm_ids(ns).in_use;

	for (total = 0, next_id = 0; total < in_use; next_id++) {
Linus Torvalds's avatar
Linus Torvalds committed
620 621 622
		struct shmid_kernel *shp;
		struct inode *inode;

623
		shp = idr_find(&shm_ids(ns).ipcs_idr, next_id);
Nadia Derbey's avatar
Nadia Derbey committed
624
		if (shp == NULL)
Linus Torvalds's avatar
Linus Torvalds committed
625 626
			continue;

Josef Sipek's avatar
Josef Sipek committed
627
		inode = shp->shm_file->f_path.dentry->d_inode;
Linus Torvalds's avatar
Linus Torvalds committed
628 629 630 631 632 633 634 635 636 637 638

		if (is_file_hugepages(shp->shm_file)) {
			struct address_space *mapping = inode->i_mapping;
			*rss += (HPAGE_SIZE/PAGE_SIZE)*mapping->nrpages;
		} else {
			struct shmem_inode_info *info = SHMEM_I(inode);
			spin_lock(&info->lock);
			*rss += inode->i_mapping->nrpages;
			*swp += info->swapped;
			spin_unlock(&info->lock);
		}
Nadia Derbey's avatar
Nadia Derbey committed
639 640

		total++;
Linus Torvalds's avatar
Linus Torvalds committed
641 642 643 644 645 646 647 648
	}
}

asmlinkage long sys_shmctl (int shmid, int cmd, struct shmid_ds __user *buf)
{
	struct shm_setbuf setbuf;
	struct shmid_kernel *shp;
	int err, version;
Kirill Korotaev's avatar
Kirill Korotaev committed
649
	struct ipc_namespace *ns;
Linus Torvalds's avatar
Linus Torvalds committed
650 651 652 653 654 655 656

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

	version = ipc_parse_version(&cmd);
Kirill Korotaev's avatar
Kirill Korotaev committed
657
	ns = current->nsproxy->ipc_ns;
Linus Torvalds's avatar
Linus Torvalds committed
658 659 660 661 662 663 664 665 666 667 668

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

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

		memset(&shminfo,0,sizeof(shminfo));
Kirill Korotaev's avatar
Kirill Korotaev committed
669 670 671
		shminfo.shmmni = shminfo.shmseg = ns->shm_ctlmni;
		shminfo.shmmax = ns->shm_ctlmax;
		shminfo.shmall = ns->shm_ctlall;
Linus Torvalds's avatar
Linus Torvalds committed
672 673 674 675

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

Nadia Derbey's avatar
Nadia Derbey committed
677
		down_read(&shm_ids(ns).rw_mutex);
Nadia Derbey's avatar
Nadia Derbey committed
678
		err = ipc_get_maxid(&shm_ids(ns));
Nadia Derbey's avatar
Nadia Derbey committed
679
		up_read(&shm_ids(ns).rw_mutex);
Nadia Derbey's avatar
Nadia Derbey committed
680

Linus Torvalds's avatar
Linus Torvalds committed
681 682 683 684 685 686 687 688 689 690 691 692 693
		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;

		memset(&shm_info,0,sizeof(shm_info));
Nadia Derbey's avatar
Nadia Derbey committed
694
		down_read(&shm_ids(ns).rw_mutex);
Kirill Korotaev's avatar
Kirill Korotaev committed
695 696 697
		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
698 699
		shm_info.swap_attempts = 0;
		shm_info.swap_successes = 0;
Nadia Derbey's avatar
Nadia Derbey committed
700
		err = ipc_get_maxid(&shm_ids(ns));
Nadia Derbey's avatar
Nadia Derbey committed
701
		up_read(&shm_ids(ns).rw_mutex);
Linus Torvalds's avatar
Linus Torvalds committed
702 703 704 705 706 707 708 709 710 711 712 713 714
		if(copy_to_user (buf, &shm_info, sizeof(shm_info))) {
			err = -EFAULT;
			goto out;
		}

		err = err < 0 ? 0 : err;
		goto out;
	}
	case SHM_STAT:
	case IPC_STAT:
	{
		struct shmid64_ds tbuf;
		int result;
715 716 717

		if (!buf) {
			err = -EFAULT;
Linus Torvalds's avatar
Linus Torvalds committed
718
			goto out;
719 720 721 722 723 724 725 726
		}

		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
727
			result = shp->shm_perm.id;
Linus Torvalds's avatar
Linus Torvalds committed
728
		} else {
729 730 731 732 733
			shp = shm_lock_check(ns, shmid);
			if (IS_ERR(shp)) {
				err = PTR_ERR(shp);
				goto out;
			}
Linus Torvalds's avatar
Linus Torvalds committed
734 735 736 737 738 739 740 741
			result = 0;
		}
		err=-EACCES;
		if (ipcperms (&shp->shm_perm, S_IRUGO))
			goto out_unlock;
		err = security_shm_shmctl(shp, cmd);
		if (err)
			goto out_unlock;
742
		memset(&tbuf, 0, sizeof(tbuf));
Linus Torvalds's avatar
Linus Torvalds committed
743 744 745 746 747 748 749
		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;
750
		tbuf.shm_nattch	= shp->shm_nattch;
Linus Torvalds's avatar
Linus Torvalds committed
751 752 753 754 755 756 757 758 759 760
		shm_unlock(shp);
		if(copy_shmid_to_user (buf, &tbuf, version))
			err = -EFAULT;
		else
			err = result;
		goto out;
	}
	case SHM_LOCK:
	case SHM_UNLOCK:
	{
761 762 763
		shp = shm_lock_check(ns, shmid);
		if (IS_ERR(shp)) {
			err = PTR_ERR(shp);
Linus Torvalds's avatar
Linus Torvalds committed
764 765 766
			goto out;
		}

Steve Grubb's avatar
Steve Grubb committed
767 768 769 770
		err = audit_ipc_obj(&(shp->shm_perm));
		if (err)
			goto out_unlock;

Linus Torvalds's avatar
Linus Torvalds committed
771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788
		if (!capable(CAP_IPC_LOCK)) {
			err = -EPERM;
			if (current->euid != shp->shm_perm.uid &&
			    current->euid != shp->shm_perm.cuid)
				goto out_unlock;
			if (cmd == SHM_LOCK &&
			    !current->signal->rlim[RLIMIT_MEMLOCK].rlim_cur)
				goto out_unlock;
		}

		err = security_shm_shmctl(shp, cmd);
		if (err)
			goto out_unlock;
		
		if(cmd==SHM_LOCK) {
			struct user_struct * user = current->user;
			if (!is_file_hugepages(shp->shm_file)) {
				err = shmem_lock(shp->shm_file, 1, user);
789
				if (!err && !(shp->shm_perm.mode & SHM_LOCKED)){
Andrew Morton's avatar
Andrew Morton committed
790
					shp->shm_perm.mode |= SHM_LOCKED;
Linus Torvalds's avatar
Linus Torvalds committed
791 792 793 794 795
					shp->mlock_user = user;
				}
			}
		} else if (!is_file_hugepages(shp->shm_file)) {
			shmem_lock(shp->shm_file, 0, shp->mlock_user);
Andrew Morton's avatar
Andrew Morton committed
796
			shp->shm_perm.mode &= ~SHM_LOCKED;
Linus Torvalds's avatar
Linus Torvalds committed
797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813
			shp->mlock_user = NULL;
		}
		shm_unlock(shp);
		goto out;
	}
	case IPC_RMID:
	{
		/*
		 *	We cannot simply remove the file. The SVID states
		 *	that the block remains until the last person
		 *	detaches from it, then is deleted. A shmat() on
		 *	an RMID segment is legal in older Linux and if 
		 *	we change it apps break...
		 *
		 *	Instead we set a destroyed flag, and then blow
		 *	the name away when the usage hits zero.
		 */
Nadia Derbey's avatar
Nadia Derbey committed
814 815
		down_write(&shm_ids(ns).rw_mutex);
		shp = shm_lock_check_down(ns, shmid);
816 817
		if (IS_ERR(shp)) {
			err = PTR_ERR(shp);
Linus Torvalds's avatar
Linus Torvalds committed
818
			goto out_up;
819
		}
Linus Torvalds's avatar
Linus Torvalds committed
820

Steve Grubb's avatar
Steve Grubb committed
821 822 823 824
		err = audit_ipc_obj(&(shp->shm_perm));
		if (err)
			goto out_unlock_up;

Linus Torvalds's avatar
Linus Torvalds committed
825 826 827 828 829 830 831 832 833 834 835
		if (current->euid != shp->shm_perm.uid &&
		    current->euid != shp->shm_perm.cuid && 
		    !capable(CAP_SYS_ADMIN)) {
			err=-EPERM;
			goto out_unlock_up;
		}

		err = security_shm_shmctl(shp, cmd);
		if (err)
			goto out_unlock_up;

Kirill Korotaev's avatar
Kirill Korotaev committed
836
		do_shm_rmid(ns, shp);
Nadia Derbey's avatar
Nadia Derbey committed
837
		up_write(&shm_ids(ns).rw_mutex);
Linus Torvalds's avatar
Linus Torvalds committed
838 839 840 841 842
		goto out;
	}

	case IPC_SET:
	{
843 844 845 846 847
		if (!buf) {
			err = -EFAULT;
			goto out;
		}

Linus Torvalds's avatar
Linus Torvalds committed
848 849 850 851
		if (copy_shmid_from_user (&setbuf, buf, version)) {
			err = -EFAULT;
			goto out;
		}
Nadia Derbey's avatar
Nadia Derbey committed
852 853
		down_write(&shm_ids(ns).rw_mutex);
		shp = shm_lock_check_down(ns, shmid);
854 855
		if (IS_ERR(shp)) {
			err = PTR_ERR(shp);
Linus Torvalds's avatar
Linus Torvalds committed
856
			goto out_up;
857
		}
Steve Grubb's avatar
Steve Grubb committed
858 859 860
		err = audit_ipc_obj(&(shp->shm_perm));
		if (err)
			goto out_unlock_up;
861
		err = audit_ipc_set_perm(0, setbuf.uid, setbuf.gid, setbuf.mode);
Steve Grubb's avatar
Steve Grubb committed
862 863
		if (err)
			goto out_unlock_up;
Linus Torvalds's avatar
Linus Torvalds committed
864 865 866 867 868 869 870 871 872 873 874 875 876
		err=-EPERM;
		if (current->euid != shp->shm_perm.uid &&
		    current->euid != shp->shm_perm.cuid && 
		    !capable(CAP_SYS_ADMIN)) {
			goto out_unlock_up;
		}

		err = security_shm_shmctl(shp, cmd);
		if (err)
			goto out_unlock_up;
		
		shp->shm_perm.uid = setbuf.uid;
		shp->shm_perm.gid = setbuf.gid;
Andrew Morton's avatar
Andrew Morton committed
877
		shp->shm_perm.mode = (shp->shm_perm.mode & ~S_IRWXUGO)
Linus Torvalds's avatar
Linus Torvalds committed
878 879 880 881 882 883 884 885 886 887 888 889 890 891
			| (setbuf.mode & S_IRWXUGO);
		shp->shm_ctim = get_seconds();
		break;
	}

	default:
		err = -EINVAL;
		goto out;
	}

	err = 0;
out_unlock_up:
	shm_unlock(shp);
out_up:
Nadia Derbey's avatar
Nadia Derbey committed
892
	up_write(&shm_ids(ns).rw_mutex);
Linus Torvalds's avatar
Linus Torvalds committed
893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916
	goto out;
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;
917
	unsigned long user_addr;
Kirill Korotaev's avatar
Kirill Korotaev committed
918
	struct ipc_namespace *ns;
919 920 921
	struct shm_file_data *sfd;
	struct path path;
	mode_t f_mode;
Linus Torvalds's avatar
Linus Torvalds committed
922

923 924
	err = -EINVAL;
	if (shmid < 0)
Linus Torvalds's avatar
Linus Torvalds committed
925
		goto out;
926
	else if ((addr = (ulong)shmaddr)) {
Linus Torvalds's avatar
Linus Torvalds committed
927 928 929 930 931 932 933
		if (addr & (SHMLBA-1)) {
			if (shmflg & SHM_RND)
				addr &= ~(SHMLBA-1);	   /* round down */
			else
#ifndef __ARCH_FORCE_SHMLBA
				if (addr & ~PAGE_MASK)
#endif
934
					goto out;
Linus Torvalds's avatar
Linus Torvalds committed
935 936 937 938
		}
		flags = MAP_SHARED | MAP_FIXED;
	} else {
		if ((shmflg & SHM_REMAP))
939
			goto out;
Linus Torvalds's avatar
Linus Torvalds committed
940 941 942 943 944 945 946

		flags = MAP_SHARED;
	}

	if (shmflg & SHM_RDONLY) {
		prot = PROT_READ;
		acc_mode = S_IRUGO;
947
		f_mode = FMODE_READ;
Linus Torvalds's avatar
Linus Torvalds committed
948 949 950
	} else {
		prot = PROT_READ | PROT_WRITE;
		acc_mode = S_IRUGO | S_IWUGO;
951
		f_mode = FMODE_READ | FMODE_WRITE;
Linus Torvalds's avatar
Linus Torvalds committed
952 953 954 955 956 957 958 959 960 961
	}
	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...
	 */
Kirill Korotaev's avatar
Kirill Korotaev committed
962
	ns = current->nsproxy->ipc_ns;
963 964 965
	shp = shm_lock_check(ns, shmid);
	if (IS_ERR(shp)) {
		err = PTR_ERR(shp);
Linus Torvalds's avatar
Linus Torvalds committed
966
		goto out;
967
	}
968 969 970 971

	err = -EACCES;
	if (ipcperms(&shp->shm_perm, acc_mode))
		goto out_unlock;
Linus Torvalds's avatar
Linus Torvalds committed
972 973

	err = security_shm_shmat(shp, shmaddr, shmflg);
974 975 976 977
	if (err)
		goto out_unlock;

	path.dentry = dget(shp->shm_file->f_path.dentry);
978
	path.mnt    = shp->shm_file->f_path.mnt;
Linus Torvalds's avatar
Linus Torvalds committed
979
	shp->shm_nattch++;
980
	size = i_size_read(path.dentry->d_inode);
Linus Torvalds's avatar
Linus Torvalds committed
981 982
	shm_unlock(shp);

983 984 985
	err = -ENOMEM;
	sfd = kzalloc(sizeof(*sfd), GFP_KERNEL);
	if (!sfd)
986
		goto out_put_dentry;
987 988

	err = -ENOMEM;
989 990

	file = alloc_file(path.mnt, path.dentry, f_mode, &shm_file_operations);
991 992 993 994 995
	if (!file)
		goto out_free;

	file->private_data = sfd;
	file->f_mapping = shp->shm_file->f_mapping;
Nadia Derbey's avatar
Nadia Derbey committed
996
	sfd->id = shp->shm_perm.id;
997 998 999 1000
	sfd->ns = get_ipc_ns(ns);
	sfd->file = shp->shm_file;
	sfd->vm_ops = NULL;

Linus Torvalds's avatar
Linus Torvalds committed
1001 1002
	down_write(&current->mm->mmap_sem);
	if (addr && !(shmflg & SHM_REMAP)) {
1003
		err = -EINVAL;
Linus Torvalds's avatar
Linus Torvalds committed
1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014
		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;
	}
		
1015 1016 1017 1018 1019
	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
1020 1021 1022
invalid:
	up_write(&current->mm->mmap_sem);

1023 1024 1025
	fput(file);

out_nattch:
Nadia Derbey's avatar
Nadia Derbey committed
1026 1027
	down_write(&shm_ids(ns).rw_mutex);
	shp = shm_lock_down(ns, shmid);
1028
	BUG_ON(IS_ERR(shp));
Linus Torvalds's avatar
Linus Torvalds committed
1029 1030
	shp->shm_nattch--;
	if(shp->shm_nattch == 0 &&
Andrew Morton's avatar
Andrew Morton committed
1031
	   shp->shm_perm.mode & SHM_DEST)
Kirill Korotaev's avatar
Kirill Korotaev committed
1032
		shm_destroy(ns, shp);
Linus Torvalds's avatar
Linus Torvalds committed
1033 1034
	else
		shm_unlock(shp);
Nadia Derbey's avatar
Nadia Derbey committed
1035
	up_write(&shm_ids(ns).rw_mutex);
Linus Torvalds's avatar
Linus Torvalds committed
1036 1037 1038

out:
	return err;
1039 1040 1041 1042 1043 1044 1045

out_unlock:
	shm_unlock(shp);
	goto out;

out_free:
	kfree(sfd);
1046
out_put_dentry:
1047 1048
	dput(path.dentry);
	goto out_nattch;
Linus Torvalds's avatar
Linus Torvalds committed
1049 1050
}

1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062
asmlinkage long sys_shmat(int shmid, char __user *shmaddr, int shmflg)
{
	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
1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074
/*
 * detach and kill segment if marked destroyed.
 * The work is done in shm_close.
 */
asmlinkage long sys_shmdt(char __user *shmaddr)
{
	struct mm_struct *mm = current->mm;
	struct vm_area_struct *vma, *next;
	unsigned long addr = (unsigned long)shmaddr;
	loff_t size = 0;
	int retval = -EINVAL;

1075 1076 1077
	if (addr & ~PAGE_MASK)
		return retval;

Linus Torvalds's avatar
Linus Torvalds committed
1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109
	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);

	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.
		 */
1110
		if ((vma->vm_ops == &shm_vm_ops) &&
Linus Torvalds's avatar
Linus Torvalds committed
1111 1112 1113
			(vma->vm_start - addr)/PAGE_SIZE == vma->vm_pgoff) {


Josef Sipek's avatar
Josef Sipek committed
1114
			size = vma->vm_file->f_path.dentry->d_inode->i_size;
Linus Torvalds's avatar
Linus Torvalds committed
1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133
			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
	 * prevent overflows and make comparisions vs. equal-width types.
	 */
1134
	size = PAGE_ALIGN(size);
Linus Torvalds's avatar
Linus Torvalds committed
1135 1136 1137 1138
	while (vma && (loff_t)(vma->vm_end - addr) <= size) {
		next = vma->vm_next;

		/* finding a matching vma now does not alter retval */
1139
		if ((vma->vm_ops == &shm_vm_ops) &&
Linus Torvalds's avatar
Linus Torvalds committed
1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150
			(vma->vm_start - addr)/PAGE_SIZE == vma->vm_pgoff)

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

	up_write(&mm->mmap_sem);
	return retval;
}

#ifdef CONFIG_PROC_FS
1151
static int sysvipc_shm_proc_show(struct seq_file *s, void *it)
Linus Torvalds's avatar
Linus Torvalds committed
1152
{
1153 1154
	struct shmid_kernel *shp = it;
	char *format;
Linus Torvalds's avatar
Linus Torvalds committed
1155 1156 1157 1158

#define SMALL_STRING "%10d %10d  %4o %10u %5u %5u  %5d %5u %5u %5u %5u %10lu %10lu %10lu\n"
#define BIG_STRING   "%10d %10d  %4o %21u %5u %5u  %5d %5u %5u %5u %5u %10lu %10lu %10lu\n"

1159 1160 1161 1162 1163 1164
	if (sizeof(size_t) <= sizeof(int))
		format = SMALL_STRING;
	else
		format = BIG_STRING;
	return seq_printf(s, format,
			  shp->shm_perm.key,
Nadia Derbey's avatar
Nadia Derbey committed
1165
			  shp->shm_perm.id,
Andrew Morton's avatar
Andrew Morton committed
1166
			  shp->shm_perm.mode,
1167 1168 1169
			  shp->shm_segsz,
			  shp->shm_cprid,
			  shp->shm_lprid,
1170
			  shp->shm_nattch,
1171 1172 1173 1174 1175 1176 1177
			  shp->shm_perm.uid,
			  shp->shm_perm.gid,
			  shp->shm_perm.cuid,
			  shp->shm_perm.cgid,
			  shp->shm_atim,
			  shp->shm_dtim,
			  shp->shm_ctim);
Linus Torvalds's avatar
Linus Torvalds committed
1178 1179
}
#endif