blob: c98ab2d68a1c0d8687a066224919fbe29c0ebdb6 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Al Viro74c3cbe2007-07-22 08:04:18 -04002#include "audit.h"
Eric Paris28a3a7e2009-12-17 20:12:05 -05003#include <linux/fsnotify_backend.h>
Al Viro74c3cbe2007-07-22 08:04:18 -04004#include <linux/namei.h>
5#include <linux/mount.h>
Al Viro916d7572009-06-24 00:02:38 -04006#include <linux/kthread.h>
Elena Reshetova9d2378f2017-05-02 10:16:04 -04007#include <linux/refcount.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +09008#include <linux/slab.h>
Al Viro74c3cbe2007-07-22 08:04:18 -04009
10struct audit_tree;
11struct audit_chunk;
12
13struct audit_tree {
Elena Reshetova9d2378f2017-05-02 10:16:04 -040014 refcount_t count;
Al Viro74c3cbe2007-07-22 08:04:18 -040015 int goner;
16 struct audit_chunk *root;
17 struct list_head chunks;
18 struct list_head rules;
19 struct list_head list;
20 struct list_head same_root;
21 struct rcu_head head;
22 char pathname[];
23};
24
25struct audit_chunk {
26 struct list_head hash;
Jan Kara8d20d6e2018-11-12 09:54:48 -050027 unsigned long key;
Jan Kara5f516132018-11-12 09:54:49 -050028 struct fsnotify_mark *mark;
Al Viro74c3cbe2007-07-22 08:04:18 -040029 struct list_head trees; /* with root here */
30 int dead;
31 int count;
Al Viro8f7b0ba2008-11-15 01:15:43 +000032 atomic_long_t refs;
Al Viro74c3cbe2007-07-22 08:04:18 -040033 struct rcu_head head;
34 struct node {
35 struct list_head list;
36 struct audit_tree *owner;
37 unsigned index; /* index; upper bit indicates 'will prune' */
38 } owners[];
39};
40
Jan Kara5f516132018-11-12 09:54:49 -050041struct audit_tree_mark {
42 struct fsnotify_mark mark;
43 struct audit_chunk *chunk;
44};
45
Al Viro74c3cbe2007-07-22 08:04:18 -040046static LIST_HEAD(tree_list);
47static LIST_HEAD(prune_list);
Imre Palikf1aaf262015-02-23 15:37:59 -050048static struct task_struct *prune_thread;
Al Viro74c3cbe2007-07-22 08:04:18 -040049
50/*
51 * One struct chunk is attached to each inode of interest.
52 * We replace struct chunk on tagging/untagging.
53 * Rules have pointer to struct audit_tree.
54 * Rules have struct list_head rlist forming a list of rules over
55 * the same tree.
56 * References to struct chunk are collected at audit_inode{,_child}()
57 * time and used in AUDIT_TREE rule matching.
58 * These references are dropped at the same time we are calling
59 * audit_free_names(), etc.
60 *
61 * Cyclic lists galore:
62 * tree.chunks anchors chunk.owners[].list hash_lock
63 * tree.rules anchors rule.rlist audit_filter_mutex
64 * chunk.trees anchors tree.same_root hash_lock
65 * chunk.hash is a hash with middle bits of watch.inode as
66 * a hash function. RCU, hash_lock
67 *
68 * tree is refcounted; one reference for "some rules on rules_list refer to
69 * it", one for each chunk with pointer to it.
70 *
Eric Paris28a3a7e2009-12-17 20:12:05 -050071 * chunk is refcounted by embedded fsnotify_mark + .refs (non-zero refcount
Al Viro8f7b0ba2008-11-15 01:15:43 +000072 * of watch contributes 1 to .refs).
Al Viro74c3cbe2007-07-22 08:04:18 -040073 *
74 * node.index allows to get from node.list to containing chunk.
75 * MSB of that sucker is stolen to mark taggings that we might have to
76 * revert - several operations have very unpleasant cleanup logics and
77 * that makes a difference. Some.
78 */
79
Eric Paris28a3a7e2009-12-17 20:12:05 -050080static struct fsnotify_group *audit_tree_group;
Jan Kara5f516132018-11-12 09:54:49 -050081static struct kmem_cache *audit_tree_mark_cachep __read_mostly;
Al Viro74c3cbe2007-07-22 08:04:18 -040082
83static struct audit_tree *alloc_tree(const char *s)
84{
85 struct audit_tree *tree;
86
87 tree = kmalloc(sizeof(struct audit_tree) + strlen(s) + 1, GFP_KERNEL);
88 if (tree) {
Elena Reshetova9d2378f2017-05-02 10:16:04 -040089 refcount_set(&tree->count, 1);
Al Viro74c3cbe2007-07-22 08:04:18 -040090 tree->goner = 0;
91 INIT_LIST_HEAD(&tree->chunks);
92 INIT_LIST_HEAD(&tree->rules);
93 INIT_LIST_HEAD(&tree->list);
94 INIT_LIST_HEAD(&tree->same_root);
95 tree->root = NULL;
96 strcpy(tree->pathname, s);
97 }
98 return tree;
99}
100
101static inline void get_tree(struct audit_tree *tree)
102{
Elena Reshetova9d2378f2017-05-02 10:16:04 -0400103 refcount_inc(&tree->count);
Al Viro74c3cbe2007-07-22 08:04:18 -0400104}
105
Al Viro74c3cbe2007-07-22 08:04:18 -0400106static inline void put_tree(struct audit_tree *tree)
107{
Elena Reshetova9d2378f2017-05-02 10:16:04 -0400108 if (refcount_dec_and_test(&tree->count))
Lai Jiangshan3b097c42011-03-15 18:03:53 +0800109 kfree_rcu(tree, head);
Al Viro74c3cbe2007-07-22 08:04:18 -0400110}
111
112/* to avoid bringing the entire thing in audit.h */
113const char *audit_tree_path(struct audit_tree *tree)
114{
115 return tree->pathname;
116}
117
Al Viro8f7b0ba2008-11-15 01:15:43 +0000118static void free_chunk(struct audit_chunk *chunk)
Al Viro74c3cbe2007-07-22 08:04:18 -0400119{
Al Viro74c3cbe2007-07-22 08:04:18 -0400120 int i;
121
122 for (i = 0; i < chunk->count; i++) {
123 if (chunk->owners[i].owner)
124 put_tree(chunk->owners[i].owner);
125 }
126 kfree(chunk);
127}
128
Al Viro74c3cbe2007-07-22 08:04:18 -0400129void audit_put_chunk(struct audit_chunk *chunk)
130{
Al Viro8f7b0ba2008-11-15 01:15:43 +0000131 if (atomic_long_dec_and_test(&chunk->refs))
132 free_chunk(chunk);
133}
134
135static void __put_chunk(struct rcu_head *rcu)
136{
137 struct audit_chunk *chunk = container_of(rcu, struct audit_chunk, head);
138 audit_put_chunk(chunk);
Al Viro74c3cbe2007-07-22 08:04:18 -0400139}
140
Jan Karaa8375712018-11-12 09:54:49 -0500141/*
142 * Drop reference to the chunk that was held by the mark. This is the reference
143 * that gets dropped after we've removed the chunk from the hash table and we
144 * use it to make sure chunk cannot be freed before RCU grace period expires.
145 */
146static void audit_mark_put_chunk(struct audit_chunk *chunk)
147{
148 call_rcu(&chunk->head, __put_chunk);
149}
150
Jan Kara5f516132018-11-12 09:54:49 -0500151static inline struct audit_tree_mark *audit_mark(struct fsnotify_mark *entry)
152{
153 return container_of(entry, struct audit_tree_mark, mark);
154}
155
156static struct audit_chunk *mark_chunk(struct fsnotify_mark *mark)
157{
158 return audit_mark(mark)->chunk;
159}
160
Eric Parise61ce862009-12-17 21:24:24 -0500161static void audit_tree_destroy_watch(struct fsnotify_mark *entry)
Eric Paris28a3a7e2009-12-17 20:12:05 -0500162{
Jan Kara5f516132018-11-12 09:54:49 -0500163 struct audit_chunk *chunk = mark_chunk(entry);
Jan Karaa8375712018-11-12 09:54:49 -0500164 audit_mark_put_chunk(chunk);
Jan Kara5f516132018-11-12 09:54:49 -0500165 kmem_cache_free(audit_tree_mark_cachep, audit_mark(entry));
166}
167
168static struct fsnotify_mark *alloc_mark(void)
169{
170 struct audit_tree_mark *amark;
171
172 amark = kmem_cache_zalloc(audit_tree_mark_cachep, GFP_KERNEL);
173 if (!amark)
174 return NULL;
175 fsnotify_init_mark(&amark->mark, audit_tree_group);
176 amark->mark.mask = FS_IN_IGNORED;
177 return &amark->mark;
Eric Paris28a3a7e2009-12-17 20:12:05 -0500178}
179
180static struct audit_chunk *alloc_chunk(int count)
181{
182 struct audit_chunk *chunk;
183 size_t size;
184 int i;
185
186 size = offsetof(struct audit_chunk, owners) + count * sizeof(struct node);
187 chunk = kzalloc(size, GFP_KERNEL);
188 if (!chunk)
189 return NULL;
190
Jan Kara5f516132018-11-12 09:54:49 -0500191 chunk->mark = alloc_mark();
192 if (!chunk->mark) {
193 kfree(chunk);
194 return NULL;
195 }
196 audit_mark(chunk->mark)->chunk = chunk;
197
Eric Paris28a3a7e2009-12-17 20:12:05 -0500198 INIT_LIST_HEAD(&chunk->hash);
199 INIT_LIST_HEAD(&chunk->trees);
200 chunk->count = count;
201 atomic_long_set(&chunk->refs, 1);
202 for (i = 0; i < count; i++) {
203 INIT_LIST_HEAD(&chunk->owners[i].list);
204 chunk->owners[i].index = i;
205 }
Eric Paris28a3a7e2009-12-17 20:12:05 -0500206 return chunk;
207}
208
Al Viro74c3cbe2007-07-22 08:04:18 -0400209enum {HASH_SIZE = 128};
210static struct list_head chunk_hash_heads[HASH_SIZE];
211static __cacheline_aligned_in_smp DEFINE_SPINLOCK(hash_lock);
212
Jan Karaf410ff62016-12-16 10:13:37 +0100213/* Function to return search key in our hash from inode. */
214static unsigned long inode_to_key(const struct inode *inode)
Al Viro74c3cbe2007-07-22 08:04:18 -0400215{
Amir Goldstein36f10f52018-06-23 17:54:49 +0300216 /* Use address pointed to by connector->obj as the key */
217 return (unsigned long)&inode->i_fsnotify_marks;
Jan Karaf410ff62016-12-16 10:13:37 +0100218}
219
Jan Karaf410ff62016-12-16 10:13:37 +0100220static inline struct list_head *chunk_hash(unsigned long key)
221{
222 unsigned long n = key / L1_CACHE_BYTES;
Al Viro74c3cbe2007-07-22 08:04:18 -0400223 return chunk_hash_heads + n % HASH_SIZE;
224}
225
Jan Kara9f16d2e2018-10-17 12:14:52 +0200226/* hash_lock & entry->group->mark_mutex is held by caller */
Al Viro74c3cbe2007-07-22 08:04:18 -0400227static void insert_hash(struct audit_chunk *chunk)
228{
Eric Paris28a3a7e2009-12-17 20:12:05 -0500229 struct list_head *list;
230
Jan Kara1635e572018-11-12 09:54:48 -0500231 /*
232 * Make sure chunk is fully initialized before making it visible in the
233 * hash. Pairs with a data dependency barrier in READ_ONCE() in
234 * audit_tree_lookup().
235 */
236 smp_wmb();
Jan Kara8d20d6e2018-11-12 09:54:48 -0500237 WARN_ON_ONCE(!chunk->key);
238 list = chunk_hash(chunk->key);
Al Viro74c3cbe2007-07-22 08:04:18 -0400239 list_add_rcu(&chunk->hash, list);
240}
241
242/* called under rcu_read_lock */
243struct audit_chunk *audit_tree_lookup(const struct inode *inode)
244{
Jan Karaf410ff62016-12-16 10:13:37 +0100245 unsigned long key = inode_to_key(inode);
246 struct list_head *list = chunk_hash(key);
Paul E. McKenney6793a052008-05-14 17:10:12 -0700247 struct audit_chunk *p;
Al Viro74c3cbe2007-07-22 08:04:18 -0400248
Paul E. McKenney6793a052008-05-14 17:10:12 -0700249 list_for_each_entry_rcu(p, list, hash) {
Jan Kara1635e572018-11-12 09:54:48 -0500250 /*
251 * We use a data dependency barrier in READ_ONCE() to make sure
252 * the chunk we see is fully initialized.
253 */
254 if (READ_ONCE(p->key) == key) {
Al Viro8f7b0ba2008-11-15 01:15:43 +0000255 atomic_long_inc(&p->refs);
Al Viro74c3cbe2007-07-22 08:04:18 -0400256 return p;
257 }
258 }
259 return NULL;
260}
261
Yaowei Bai6f1b5d72015-11-04 08:23:51 -0500262bool audit_tree_match(struct audit_chunk *chunk, struct audit_tree *tree)
Al Viro74c3cbe2007-07-22 08:04:18 -0400263{
264 int n;
265 for (n = 0; n < chunk->count; n++)
266 if (chunk->owners[n].owner == tree)
Yaowei Bai6f1b5d72015-11-04 08:23:51 -0500267 return true;
268 return false;
Al Viro74c3cbe2007-07-22 08:04:18 -0400269}
270
271/* tagging and untagging inodes with trees */
272
Al Viro8f7b0ba2008-11-15 01:15:43 +0000273static struct audit_chunk *find_chunk(struct node *p)
Al Viro74c3cbe2007-07-22 08:04:18 -0400274{
Al Viro8f7b0ba2008-11-15 01:15:43 +0000275 int index = p->index & ~(1U<<31);
276 p -= index;
277 return container_of(p, struct audit_chunk, owners[0]);
278}
279
Jan Karad31b3262018-11-12 09:54:48 -0500280static void replace_chunk(struct audit_chunk *new, struct audit_chunk *old,
281 struct node *skip)
282{
283 struct audit_tree *owner;
284 int i, j;
285
286 new->key = old->key;
287 list_splice_init(&old->trees, &new->trees);
288 list_for_each_entry(owner, &new->trees, same_root)
289 owner->root = new;
290 for (i = j = 0; j < old->count; i++, j++) {
291 if (&old->owners[j] == skip) {
292 i--;
293 continue;
294 }
295 owner = old->owners[j].owner;
296 new->owners[i].owner = owner;
297 new->owners[i].index = old->owners[j].index - j + i;
298 if (!owner) /* result of earlier fallback */
299 continue;
300 get_tree(owner);
301 list_replace_init(&old->owners[j].list, &new->owners[i].list);
302 }
303 /*
304 * Make sure chunk is fully initialized before making it visible in the
305 * hash. Pairs with a data dependency barrier in READ_ONCE() in
306 * audit_tree_lookup().
307 */
308 smp_wmb();
309 list_replace_rcu(&old->hash, &new->hash);
310}
311
Al Viro8f7b0ba2008-11-15 01:15:43 +0000312static void untag_chunk(struct node *p)
313{
314 struct audit_chunk *chunk = find_chunk(p);
Jan Kara5f516132018-11-12 09:54:49 -0500315 struct fsnotify_mark *entry = chunk->mark;
Al Virof7a998a2010-10-30 02:18:32 -0400316 struct audit_chunk *new = NULL;
Al Viro74c3cbe2007-07-22 08:04:18 -0400317 struct audit_tree *owner;
318 int size = chunk->count - 1;
Al Viro74c3cbe2007-07-22 08:04:18 -0400319
Eric Paris28a3a7e2009-12-17 20:12:05 -0500320 fsnotify_get_mark(entry);
Al Viro8f7b0ba2008-11-15 01:15:43 +0000321
322 spin_unlock(&hash_lock);
323
Al Virof7a998a2010-10-30 02:18:32 -0400324 if (size)
325 new = alloc_chunk(size);
326
Jan Karabe29d202016-12-14 14:40:05 +0100327 mutex_lock(&entry->group->mark_mutex);
Jan Kara6b3f05d2016-12-21 12:15:30 +0100328 /*
329 * mark_mutex protects mark from getting detached and thus also from
Amir Goldstein36f10f52018-06-23 17:54:49 +0300330 * mark->connector->obj getting NULL.
Jan Kara6b3f05d2016-12-21 12:15:30 +0100331 */
Jan Kara43471d12017-04-03 16:47:58 +0200332 if (chunk->dead || !(entry->flags & FSNOTIFY_MARK_FLAG_ATTACHED)) {
Jan Karabe29d202016-12-14 14:40:05 +0100333 mutex_unlock(&entry->group->mark_mutex);
Al Virof7a998a2010-10-30 02:18:32 -0400334 if (new)
Jan Kara5f516132018-11-12 09:54:49 -0500335 fsnotify_put_mark(new->mark);
Al Viro8f7b0ba2008-11-15 01:15:43 +0000336 goto out;
Al Viro74c3cbe2007-07-22 08:04:18 -0400337 }
338
339 owner = p->owner;
340
341 if (!size) {
342 chunk->dead = 1;
343 spin_lock(&hash_lock);
344 list_del_init(&chunk->trees);
345 if (owner->root == chunk)
346 owner->root = NULL;
347 list_del_init(&p->list);
348 list_del_rcu(&chunk->hash);
349 spin_unlock(&hash_lock);
Jan Karab1e46032018-11-12 09:54:48 -0500350 fsnotify_detach_mark(entry);
Jan Karabe29d202016-12-14 14:40:05 +0100351 mutex_unlock(&entry->group->mark_mutex);
Jan Karab1e46032018-11-12 09:54:48 -0500352 fsnotify_free_mark(entry);
Al Viro8f7b0ba2008-11-15 01:15:43 +0000353 goto out;
Al Viro74c3cbe2007-07-22 08:04:18 -0400354 }
355
Al Viro74c3cbe2007-07-22 08:04:18 -0400356 if (!new)
357 goto Fallback;
Al Virof7a998a2010-10-30 02:18:32 -0400358
Jan Kara5f516132018-11-12 09:54:49 -0500359 if (fsnotify_add_mark_locked(new->mark, entry->connector->obj,
Amir Goldstein36f10f52018-06-23 17:54:49 +0300360 FSNOTIFY_OBJ_TYPE_INODE, 1)) {
Jan Kara5f516132018-11-12 09:54:49 -0500361 fsnotify_put_mark(new->mark);
Al Viro74c3cbe2007-07-22 08:04:18 -0400362 goto Fallback;
363 }
364
365 chunk->dead = 1;
366 spin_lock(&hash_lock);
Al Viro74c3cbe2007-07-22 08:04:18 -0400367 if (owner->root == chunk) {
368 list_del_init(&owner->same_root);
369 owner->root = NULL;
370 }
Jan Karad31b3262018-11-12 09:54:48 -0500371 list_del_init(&p->list);
Jan Kara1635e572018-11-12 09:54:48 -0500372 /*
Jan Karad31b3262018-11-12 09:54:48 -0500373 * This has to go last when updating chunk as once replace_chunk() is
374 * called, new RCU readers can see the new chunk.
Jan Kara1635e572018-11-12 09:54:48 -0500375 */
Jan Karad31b3262018-11-12 09:54:48 -0500376 replace_chunk(new, chunk, p);
Al Viro74c3cbe2007-07-22 08:04:18 -0400377 spin_unlock(&hash_lock);
Jan Karab1e46032018-11-12 09:54:48 -0500378 fsnotify_detach_mark(entry);
Jan Karabe29d202016-12-14 14:40:05 +0100379 mutex_unlock(&entry->group->mark_mutex);
Jan Karab1e46032018-11-12 09:54:48 -0500380 fsnotify_free_mark(entry);
Jan Kara5f516132018-11-12 09:54:49 -0500381 fsnotify_put_mark(new->mark); /* drop initial reference */
Al Viro8f7b0ba2008-11-15 01:15:43 +0000382 goto out;
Al Viro74c3cbe2007-07-22 08:04:18 -0400383
384Fallback:
385 // do the best we can
386 spin_lock(&hash_lock);
387 if (owner->root == chunk) {
388 list_del_init(&owner->same_root);
389 owner->root = NULL;
390 }
391 list_del_init(&p->list);
392 p->owner = NULL;
393 put_tree(owner);
394 spin_unlock(&hash_lock);
Jan Karabe29d202016-12-14 14:40:05 +0100395 mutex_unlock(&entry->group->mark_mutex);
Al Viro8f7b0ba2008-11-15 01:15:43 +0000396out:
Eric Paris28a3a7e2009-12-17 20:12:05 -0500397 fsnotify_put_mark(entry);
Al Viro8f7b0ba2008-11-15 01:15:43 +0000398 spin_lock(&hash_lock);
Al Viro74c3cbe2007-07-22 08:04:18 -0400399}
400
Jan Karaa5789b02018-11-12 09:54:48 -0500401/* Call with group->mark_mutex held, releases it */
Al Viro74c3cbe2007-07-22 08:04:18 -0400402static int create_chunk(struct inode *inode, struct audit_tree *tree)
403{
Eric Parise61ce862009-12-17 21:24:24 -0500404 struct fsnotify_mark *entry;
Al Viro74c3cbe2007-07-22 08:04:18 -0400405 struct audit_chunk *chunk = alloc_chunk(1);
Jan Karaa5789b02018-11-12 09:54:48 -0500406
407 if (!chunk) {
408 mutex_unlock(&audit_tree_group->mark_mutex);
Al Viro74c3cbe2007-07-22 08:04:18 -0400409 return -ENOMEM;
Jan Karaa5789b02018-11-12 09:54:48 -0500410 }
Al Viro74c3cbe2007-07-22 08:04:18 -0400411
Jan Kara5f516132018-11-12 09:54:49 -0500412 entry = chunk->mark;
Jan Karaa5789b02018-11-12 09:54:48 -0500413 if (fsnotify_add_inode_mark_locked(entry, inode, 0)) {
414 mutex_unlock(&audit_tree_group->mark_mutex);
Miklos Szeredi0fe33aa2012-08-15 12:55:22 +0200415 fsnotify_put_mark(entry);
Al Viro74c3cbe2007-07-22 08:04:18 -0400416 return -ENOSPC;
417 }
418
Al Viro74c3cbe2007-07-22 08:04:18 -0400419 spin_lock(&hash_lock);
420 if (tree->goner) {
421 spin_unlock(&hash_lock);
422 chunk->dead = 1;
Jan Karab1e46032018-11-12 09:54:48 -0500423 fsnotify_detach_mark(entry);
Jan Karaa5789b02018-11-12 09:54:48 -0500424 mutex_unlock(&audit_tree_group->mark_mutex);
Jan Karab1e46032018-11-12 09:54:48 -0500425 fsnotify_free_mark(entry);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500426 fsnotify_put_mark(entry);
Al Viro74c3cbe2007-07-22 08:04:18 -0400427 return 0;
428 }
429 chunk->owners[0].index = (1U << 31);
430 chunk->owners[0].owner = tree;
431 get_tree(tree);
432 list_add(&chunk->owners[0].list, &tree->chunks);
433 if (!tree->root) {
434 tree->root = chunk;
435 list_add(&tree->same_root, &chunk->trees);
436 }
Jan Kara8d20d6e2018-11-12 09:54:48 -0500437 chunk->key = inode_to_key(inode);
Jan Kara1635e572018-11-12 09:54:48 -0500438 /*
439 * Inserting into the hash table has to go last as once we do that RCU
440 * readers can see the chunk.
441 */
Al Viro74c3cbe2007-07-22 08:04:18 -0400442 insert_hash(chunk);
443 spin_unlock(&hash_lock);
Jan Karaa5789b02018-11-12 09:54:48 -0500444 mutex_unlock(&audit_tree_group->mark_mutex);
Miklos Szeredib3e86922012-08-15 12:55:22 +0200445 fsnotify_put_mark(entry); /* drop initial reference */
Al Viro74c3cbe2007-07-22 08:04:18 -0400446 return 0;
447}
448
449/* the first tagged inode becomes root of tree */
450static int tag_chunk(struct inode *inode, struct audit_tree *tree)
451{
Eric Parise61ce862009-12-17 21:24:24 -0500452 struct fsnotify_mark *old_entry, *chunk_entry;
Al Viro74c3cbe2007-07-22 08:04:18 -0400453 struct audit_chunk *chunk, *old;
454 struct node *p;
455 int n;
456
Jan Karaa5789b02018-11-12 09:54:48 -0500457 mutex_lock(&audit_tree_group->mark_mutex);
Jan Karab1362ed2016-12-21 16:28:45 +0100458 old_entry = fsnotify_find_mark(&inode->i_fsnotify_marks,
459 audit_tree_group);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500460 if (!old_entry)
Al Viro74c3cbe2007-07-22 08:04:18 -0400461 return create_chunk(inode, tree);
462
Jan Kara5f516132018-11-12 09:54:49 -0500463 old = mark_chunk(old_entry);
Al Viro74c3cbe2007-07-22 08:04:18 -0400464
465 /* are we already there? */
466 spin_lock(&hash_lock);
467 for (n = 0; n < old->count; n++) {
468 if (old->owners[n].owner == tree) {
469 spin_unlock(&hash_lock);
Jan Karaa5789b02018-11-12 09:54:48 -0500470 mutex_unlock(&audit_tree_group->mark_mutex);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500471 fsnotify_put_mark(old_entry);
Al Viro74c3cbe2007-07-22 08:04:18 -0400472 return 0;
473 }
474 }
475 spin_unlock(&hash_lock);
476
477 chunk = alloc_chunk(old->count + 1);
Al Virob4c30aa2009-12-19 16:03:30 +0000478 if (!chunk) {
Jan Karaa5789b02018-11-12 09:54:48 -0500479 mutex_unlock(&audit_tree_group->mark_mutex);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500480 fsnotify_put_mark(old_entry);
Al Viro74c3cbe2007-07-22 08:04:18 -0400481 return -ENOMEM;
Al Virob4c30aa2009-12-19 16:03:30 +0000482 }
Al Viro74c3cbe2007-07-22 08:04:18 -0400483
Jan Kara5f516132018-11-12 09:54:49 -0500484 chunk_entry = chunk->mark;
Eric Paris28a3a7e2009-12-17 20:12:05 -0500485
Jan Kara6b3f05d2016-12-21 12:15:30 +0100486 /*
487 * mark_mutex protects mark from getting detached and thus also from
Amir Goldstein36f10f52018-06-23 17:54:49 +0300488 * mark->connector->obj getting NULL.
Jan Kara6b3f05d2016-12-21 12:15:30 +0100489 */
Jan Kara43471d12017-04-03 16:47:58 +0200490 if (!(old_entry->flags & FSNOTIFY_MARK_FLAG_ATTACHED)) {
Eric Paris28a3a7e2009-12-17 20:12:05 -0500491 /* old_entry is being shot, lets just lie */
Jan Karaa5789b02018-11-12 09:54:48 -0500492 mutex_unlock(&audit_tree_group->mark_mutex);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500493 fsnotify_put_mark(old_entry);
Jan Kara5f516132018-11-12 09:54:49 -0500494 fsnotify_put_mark(chunk->mark);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500495 return -ENOENT;
496 }
497
Amir Goldstein36f10f52018-06-23 17:54:49 +0300498 if (fsnotify_add_mark_locked(chunk_entry, old_entry->connector->obj,
499 FSNOTIFY_OBJ_TYPE_INODE, 1)) {
Jan Karaa5789b02018-11-12 09:54:48 -0500500 mutex_unlock(&audit_tree_group->mark_mutex);
Miklos Szeredi0fe33aa2012-08-15 12:55:22 +0200501 fsnotify_put_mark(chunk_entry);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500502 fsnotify_put_mark(old_entry);
Al Viro74c3cbe2007-07-22 08:04:18 -0400503 return -ENOSPC;
504 }
Eric Paris28a3a7e2009-12-17 20:12:05 -0500505
Al Viro74c3cbe2007-07-22 08:04:18 -0400506 spin_lock(&hash_lock);
507 if (tree->goner) {
508 spin_unlock(&hash_lock);
509 chunk->dead = 1;
Jan Karab1e46032018-11-12 09:54:48 -0500510 fsnotify_detach_mark(chunk_entry);
Jan Karaa5789b02018-11-12 09:54:48 -0500511 mutex_unlock(&audit_tree_group->mark_mutex);
Jan Karab1e46032018-11-12 09:54:48 -0500512 fsnotify_free_mark(chunk_entry);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500513 fsnotify_put_mark(chunk_entry);
514 fsnotify_put_mark(old_entry);
Al Viro74c3cbe2007-07-22 08:04:18 -0400515 return 0;
516 }
Jan Karad31b3262018-11-12 09:54:48 -0500517 p = &chunk->owners[chunk->count - 1];
Al Viro74c3cbe2007-07-22 08:04:18 -0400518 p->index = (chunk->count - 1) | (1U<<31);
519 p->owner = tree;
520 get_tree(tree);
521 list_add(&p->list, &tree->chunks);
Al Viro74c3cbe2007-07-22 08:04:18 -0400522 old->dead = 1;
523 if (!tree->root) {
524 tree->root = chunk;
525 list_add(&tree->same_root, &chunk->trees);
526 }
Jan Kara1635e572018-11-12 09:54:48 -0500527 /*
Jan Karad31b3262018-11-12 09:54:48 -0500528 * This has to go last when updating chunk as once replace_chunk() is
529 * called, new RCU readers can see the new chunk.
Jan Kara1635e572018-11-12 09:54:48 -0500530 */
Jan Karad31b3262018-11-12 09:54:48 -0500531 replace_chunk(chunk, old, NULL);
Al Viro74c3cbe2007-07-22 08:04:18 -0400532 spin_unlock(&hash_lock);
Jan Karab1e46032018-11-12 09:54:48 -0500533 fsnotify_detach_mark(old_entry);
Jan Karaa5789b02018-11-12 09:54:48 -0500534 mutex_unlock(&audit_tree_group->mark_mutex);
Jan Karab1e46032018-11-12 09:54:48 -0500535 fsnotify_free_mark(old_entry);
Miklos Szeredib3e86922012-08-15 12:55:22 +0200536 fsnotify_put_mark(chunk_entry); /* drop initial reference */
Eric Paris28a3a7e2009-12-17 20:12:05 -0500537 fsnotify_put_mark(old_entry); /* pair to fsnotify_find mark_entry */
Al Viro74c3cbe2007-07-22 08:04:18 -0400538 return 0;
539}
540
Richard Guy Briggs2991dd22014-10-02 22:05:24 -0400541static void audit_tree_log_remove_rule(struct audit_krule *rule)
Kees Cook0644ec02013-01-11 14:32:07 -0800542{
543 struct audit_buffer *ab;
544
Richard Guy Briggs65a87662018-06-14 16:20:05 -0400545 if (!audit_enabled)
546 return;
Kees Cook0644ec02013-01-11 14:32:07 -0800547 ab = audit_log_start(NULL, GFP_KERNEL, AUDIT_CONFIG_CHANGE);
548 if (unlikely(!ab))
549 return;
Steve Grubbc1e8f062016-11-16 16:14:33 -0500550 audit_log_format(ab, "op=remove_rule");
Kees Cook0644ec02013-01-11 14:32:07 -0800551 audit_log_format(ab, " dir=");
552 audit_log_untrustedstring(ab, rule->tree->pathname);
553 audit_log_key(ab, rule->filterkey);
554 audit_log_format(ab, " list=%d res=1", rule->listnr);
555 audit_log_end(ab);
556}
557
Al Viro74c3cbe2007-07-22 08:04:18 -0400558static void kill_rules(struct audit_tree *tree)
559{
560 struct audit_krule *rule, *next;
561 struct audit_entry *entry;
Al Viro74c3cbe2007-07-22 08:04:18 -0400562
563 list_for_each_entry_safe(rule, next, &tree->rules, rlist) {
564 entry = container_of(rule, struct audit_entry, rule);
565
566 list_del_init(&rule->rlist);
567 if (rule->tree) {
568 /* not a half-baked one */
Richard Guy Briggs2991dd22014-10-02 22:05:24 -0400569 audit_tree_log_remove_rule(rule);
Richard Guy Briggs34d99af52015-08-05 16:29:37 -0400570 if (entry->rule.exe)
571 audit_remove_mark(entry->rule.exe);
Al Viro74c3cbe2007-07-22 08:04:18 -0400572 rule->tree = NULL;
573 list_del_rcu(&entry->list);
Al Viroe45aa212008-12-15 01:17:50 -0500574 list_del(&entry->rule.list);
Al Viro74c3cbe2007-07-22 08:04:18 -0400575 call_rcu(&entry->rcu, audit_free_rule_rcu);
576 }
577 }
578}
579
580/*
581 * finish killing struct audit_tree
582 */
583static void prune_one(struct audit_tree *victim)
584{
585 spin_lock(&hash_lock);
586 while (!list_empty(&victim->chunks)) {
587 struct node *p;
Al Viro74c3cbe2007-07-22 08:04:18 -0400588
589 p = list_entry(victim->chunks.next, struct node, list);
Al Viro74c3cbe2007-07-22 08:04:18 -0400590
Al Viro8f7b0ba2008-11-15 01:15:43 +0000591 untag_chunk(p);
Al Viro74c3cbe2007-07-22 08:04:18 -0400592 }
593 spin_unlock(&hash_lock);
594 put_tree(victim);
595}
596
597/* trim the uncommitted chunks from tree */
598
599static void trim_marked(struct audit_tree *tree)
600{
601 struct list_head *p, *q;
602 spin_lock(&hash_lock);
603 if (tree->goner) {
604 spin_unlock(&hash_lock);
605 return;
606 }
607 /* reorder */
608 for (p = tree->chunks.next; p != &tree->chunks; p = q) {
609 struct node *node = list_entry(p, struct node, list);
610 q = p->next;
611 if (node->index & (1U<<31)) {
612 list_del_init(p);
613 list_add(p, &tree->chunks);
614 }
615 }
616
617 while (!list_empty(&tree->chunks)) {
618 struct node *node;
Al Viro74c3cbe2007-07-22 08:04:18 -0400619
620 node = list_entry(tree->chunks.next, struct node, list);
621
622 /* have we run out of marked? */
623 if (!(node->index & (1U<<31)))
624 break;
625
Al Viro8f7b0ba2008-11-15 01:15:43 +0000626 untag_chunk(node);
Al Viro74c3cbe2007-07-22 08:04:18 -0400627 }
628 if (!tree->root && !tree->goner) {
629 tree->goner = 1;
630 spin_unlock(&hash_lock);
631 mutex_lock(&audit_filter_mutex);
632 kill_rules(tree);
633 list_del_init(&tree->list);
634 mutex_unlock(&audit_filter_mutex);
635 prune_one(tree);
636 } else {
637 spin_unlock(&hash_lock);
638 }
639}
640
Al Viro916d7572009-06-24 00:02:38 -0400641static void audit_schedule_prune(void);
642
Al Viro74c3cbe2007-07-22 08:04:18 -0400643/* called with audit_filter_mutex */
644int audit_remove_tree_rule(struct audit_krule *rule)
645{
646 struct audit_tree *tree;
647 tree = rule->tree;
648 if (tree) {
649 spin_lock(&hash_lock);
650 list_del_init(&rule->rlist);
651 if (list_empty(&tree->rules) && !tree->goner) {
652 tree->root = NULL;
653 list_del_init(&tree->same_root);
654 tree->goner = 1;
655 list_move(&tree->list, &prune_list);
656 rule->tree = NULL;
657 spin_unlock(&hash_lock);
658 audit_schedule_prune();
659 return 1;
660 }
661 rule->tree = NULL;
662 spin_unlock(&hash_lock);
663 return 1;
664 }
665 return 0;
666}
667
Al Viro1f707132010-01-30 22:51:25 -0500668static int compare_root(struct vfsmount *mnt, void *arg)
669{
Jan Karaf410ff62016-12-16 10:13:37 +0100670 return inode_to_key(d_backing_inode(mnt->mnt_root)) ==
671 (unsigned long)arg;
Al Viro1f707132010-01-30 22:51:25 -0500672}
673
Al Viro74c3cbe2007-07-22 08:04:18 -0400674void audit_trim_trees(void)
675{
676 struct list_head cursor;
677
678 mutex_lock(&audit_filter_mutex);
679 list_add(&cursor, &tree_list);
680 while (cursor.next != &tree_list) {
681 struct audit_tree *tree;
Al Viro98bc9932008-08-02 01:06:21 -0400682 struct path path;
Al Viro74c3cbe2007-07-22 08:04:18 -0400683 struct vfsmount *root_mnt;
684 struct node *node;
Al Viro74c3cbe2007-07-22 08:04:18 -0400685 int err;
686
687 tree = container_of(cursor.next, struct audit_tree, list);
688 get_tree(tree);
689 list_del(&cursor);
690 list_add(&cursor, &tree->list);
691 mutex_unlock(&audit_filter_mutex);
692
Al Viro98bc9932008-08-02 01:06:21 -0400693 err = kern_path(tree->pathname, 0, &path);
Al Viro74c3cbe2007-07-22 08:04:18 -0400694 if (err)
695 goto skip_it;
696
Al Viro589ff872009-04-18 03:28:19 -0400697 root_mnt = collect_mounts(&path);
Al Viro98bc9932008-08-02 01:06:21 -0400698 path_put(&path);
David Howellsbe34d1a2012-06-25 12:55:18 +0100699 if (IS_ERR(root_mnt))
Al Viro74c3cbe2007-07-22 08:04:18 -0400700 goto skip_it;
701
Al Viro74c3cbe2007-07-22 08:04:18 -0400702 spin_lock(&hash_lock);
703 list_for_each_entry(node, &tree->chunks, list) {
Eric Paris28a3a7e2009-12-17 20:12:05 -0500704 struct audit_chunk *chunk = find_chunk(node);
Lucas De Marchi25985ed2011-03-30 22:57:33 -0300705 /* this could be NULL if the watch is dying else where... */
Al Viro74c3cbe2007-07-22 08:04:18 -0400706 node->index |= 1U<<31;
Jan Karaf410ff62016-12-16 10:13:37 +0100707 if (iterate_mounts(compare_root,
Jan Kara8d20d6e2018-11-12 09:54:48 -0500708 (void *)(chunk->key),
Jan Karaf410ff62016-12-16 10:13:37 +0100709 root_mnt))
Al Viro1f707132010-01-30 22:51:25 -0500710 node->index &= ~(1U<<31);
Al Viro74c3cbe2007-07-22 08:04:18 -0400711 }
712 spin_unlock(&hash_lock);
713 trim_marked(tree);
Al Viro74c3cbe2007-07-22 08:04:18 -0400714 drop_collected_mounts(root_mnt);
715skip_it:
Chen Gang12b2f112013-04-29 15:05:19 -0700716 put_tree(tree);
Al Viro74c3cbe2007-07-22 08:04:18 -0400717 mutex_lock(&audit_filter_mutex);
718 }
719 list_del(&cursor);
720 mutex_unlock(&audit_filter_mutex);
721}
722
Al Viro74c3cbe2007-07-22 08:04:18 -0400723int audit_make_tree(struct audit_krule *rule, char *pathname, u32 op)
724{
725
726 if (pathname[0] != '/' ||
727 rule->listnr != AUDIT_FILTER_EXIT ||
Al Viro5af75d82008-12-16 05:59:26 -0500728 op != Audit_equal ||
Al Viro74c3cbe2007-07-22 08:04:18 -0400729 rule->inode_f || rule->watch || rule->tree)
730 return -EINVAL;
731 rule->tree = alloc_tree(pathname);
732 if (!rule->tree)
733 return -ENOMEM;
734 return 0;
735}
736
737void audit_put_tree(struct audit_tree *tree)
738{
739 put_tree(tree);
740}
741
Al Viro1f707132010-01-30 22:51:25 -0500742static int tag_mount(struct vfsmount *mnt, void *arg)
743{
David Howells3b362152015-03-17 22:26:21 +0000744 return tag_chunk(d_backing_inode(mnt->mnt_root), arg);
Al Viro1f707132010-01-30 22:51:25 -0500745}
746
Imre Palikf1aaf262015-02-23 15:37:59 -0500747/*
748 * That gets run when evict_chunk() ends up needing to kill audit_tree.
749 * Runs from a separate thread.
750 */
751static int prune_tree_thread(void *unused)
752{
753 for (;;) {
Jiri Slaby0bf676d2016-03-31 10:49:28 +0200754 if (list_empty(&prune_list)) {
755 set_current_state(TASK_INTERRUPTIBLE);
Imre Palikf1aaf262015-02-23 15:37:59 -0500756 schedule();
Jiri Slaby0bf676d2016-03-31 10:49:28 +0200757 }
Imre Palikf1aaf262015-02-23 15:37:59 -0500758
Paul Moorece423632018-02-20 09:52:38 -0500759 audit_ctl_lock();
Imre Palikf1aaf262015-02-23 15:37:59 -0500760 mutex_lock(&audit_filter_mutex);
761
762 while (!list_empty(&prune_list)) {
763 struct audit_tree *victim;
764
765 victim = list_entry(prune_list.next,
766 struct audit_tree, list);
767 list_del_init(&victim->list);
768
769 mutex_unlock(&audit_filter_mutex);
770
771 prune_one(victim);
772
773 mutex_lock(&audit_filter_mutex);
774 }
775
776 mutex_unlock(&audit_filter_mutex);
Paul Moorece423632018-02-20 09:52:38 -0500777 audit_ctl_unlock();
Imre Palikf1aaf262015-02-23 15:37:59 -0500778 }
779 return 0;
780}
781
782static int audit_launch_prune(void)
783{
784 if (prune_thread)
785 return 0;
Jiri Slaby0bf676d2016-03-31 10:49:28 +0200786 prune_thread = kthread_run(prune_tree_thread, NULL,
Imre Palikf1aaf262015-02-23 15:37:59 -0500787 "audit_prune_tree");
788 if (IS_ERR(prune_thread)) {
789 pr_err("cannot start thread audit_prune_tree");
790 prune_thread = NULL;
791 return -ENOMEM;
Imre Palikf1aaf262015-02-23 15:37:59 -0500792 }
Jiri Slaby0bf676d2016-03-31 10:49:28 +0200793 return 0;
Imre Palikf1aaf262015-02-23 15:37:59 -0500794}
795
Al Viro74c3cbe2007-07-22 08:04:18 -0400796/* called with audit_filter_mutex */
797int audit_add_tree_rule(struct audit_krule *rule)
798{
799 struct audit_tree *seed = rule->tree, *tree;
Al Viro98bc9932008-08-02 01:06:21 -0400800 struct path path;
Al Viro1f707132010-01-30 22:51:25 -0500801 struct vfsmount *mnt;
Al Viro74c3cbe2007-07-22 08:04:18 -0400802 int err;
803
Chen Gang736f3202013-06-12 14:05:07 -0700804 rule->tree = NULL;
Al Viro74c3cbe2007-07-22 08:04:18 -0400805 list_for_each_entry(tree, &tree_list, list) {
806 if (!strcmp(seed->pathname, tree->pathname)) {
807 put_tree(seed);
808 rule->tree = tree;
809 list_add(&rule->rlist, &tree->rules);
810 return 0;
811 }
812 }
813 tree = seed;
814 list_add(&tree->list, &tree_list);
815 list_add(&rule->rlist, &tree->rules);
816 /* do not set rule->tree yet */
817 mutex_unlock(&audit_filter_mutex);
818
Imre Palikf1aaf262015-02-23 15:37:59 -0500819 if (unlikely(!prune_thread)) {
820 err = audit_launch_prune();
821 if (err)
822 goto Err;
823 }
824
Al Viro98bc9932008-08-02 01:06:21 -0400825 err = kern_path(tree->pathname, 0, &path);
Al Viro74c3cbe2007-07-22 08:04:18 -0400826 if (err)
827 goto Err;
Al Viro589ff872009-04-18 03:28:19 -0400828 mnt = collect_mounts(&path);
Al Viro98bc9932008-08-02 01:06:21 -0400829 path_put(&path);
David Howellsbe34d1a2012-06-25 12:55:18 +0100830 if (IS_ERR(mnt)) {
831 err = PTR_ERR(mnt);
Al Viro74c3cbe2007-07-22 08:04:18 -0400832 goto Err;
833 }
Al Viro74c3cbe2007-07-22 08:04:18 -0400834
835 get_tree(tree);
Al Viro1f707132010-01-30 22:51:25 -0500836 err = iterate_mounts(tag_mount, tree, mnt);
Al Viro74c3cbe2007-07-22 08:04:18 -0400837 drop_collected_mounts(mnt);
838
839 if (!err) {
840 struct node *node;
841 spin_lock(&hash_lock);
842 list_for_each_entry(node, &tree->chunks, list)
843 node->index &= ~(1U<<31);
844 spin_unlock(&hash_lock);
845 } else {
846 trim_marked(tree);
847 goto Err;
848 }
849
850 mutex_lock(&audit_filter_mutex);
851 if (list_empty(&rule->rlist)) {
852 put_tree(tree);
853 return -ENOENT;
854 }
855 rule->tree = tree;
856 put_tree(tree);
857
858 return 0;
859Err:
860 mutex_lock(&audit_filter_mutex);
861 list_del_init(&tree->list);
862 list_del_init(&tree->rules);
863 put_tree(tree);
864 return err;
865}
866
867int audit_tag_tree(char *old, char *new)
868{
869 struct list_head cursor, barrier;
870 int failed = 0;
Al Viro2096f752010-01-30 13:16:21 -0500871 struct path path1, path2;
Al Viro74c3cbe2007-07-22 08:04:18 -0400872 struct vfsmount *tagged;
Al Viro74c3cbe2007-07-22 08:04:18 -0400873 int err;
874
Al Viro2096f752010-01-30 13:16:21 -0500875 err = kern_path(new, 0, &path2);
Al Viro74c3cbe2007-07-22 08:04:18 -0400876 if (err)
877 return err;
Al Viro2096f752010-01-30 13:16:21 -0500878 tagged = collect_mounts(&path2);
879 path_put(&path2);
David Howellsbe34d1a2012-06-25 12:55:18 +0100880 if (IS_ERR(tagged))
881 return PTR_ERR(tagged);
Al Viro74c3cbe2007-07-22 08:04:18 -0400882
Al Viro2096f752010-01-30 13:16:21 -0500883 err = kern_path(old, 0, &path1);
Al Viro74c3cbe2007-07-22 08:04:18 -0400884 if (err) {
885 drop_collected_mounts(tagged);
886 return err;
887 }
Al Viro74c3cbe2007-07-22 08:04:18 -0400888
Al Viro74c3cbe2007-07-22 08:04:18 -0400889 mutex_lock(&audit_filter_mutex);
890 list_add(&barrier, &tree_list);
891 list_add(&cursor, &barrier);
892
893 while (cursor.next != &tree_list) {
894 struct audit_tree *tree;
Al Viro2096f752010-01-30 13:16:21 -0500895 int good_one = 0;
Al Viro74c3cbe2007-07-22 08:04:18 -0400896
897 tree = container_of(cursor.next, struct audit_tree, list);
898 get_tree(tree);
899 list_del(&cursor);
900 list_add(&cursor, &tree->list);
901 mutex_unlock(&audit_filter_mutex);
902
Al Viro2096f752010-01-30 13:16:21 -0500903 err = kern_path(tree->pathname, 0, &path2);
904 if (!err) {
905 good_one = path_is_under(&path1, &path2);
906 path_put(&path2);
Al Viro74c3cbe2007-07-22 08:04:18 -0400907 }
908
Al Viro2096f752010-01-30 13:16:21 -0500909 if (!good_one) {
Al Viro74c3cbe2007-07-22 08:04:18 -0400910 put_tree(tree);
911 mutex_lock(&audit_filter_mutex);
912 continue;
913 }
Al Viro74c3cbe2007-07-22 08:04:18 -0400914
Al Viro1f707132010-01-30 22:51:25 -0500915 failed = iterate_mounts(tag_mount, tree, tagged);
Al Viro74c3cbe2007-07-22 08:04:18 -0400916 if (failed) {
917 put_tree(tree);
918 mutex_lock(&audit_filter_mutex);
919 break;
920 }
921
922 mutex_lock(&audit_filter_mutex);
923 spin_lock(&hash_lock);
924 if (!tree->goner) {
925 list_del(&tree->list);
926 list_add(&tree->list, &tree_list);
927 }
928 spin_unlock(&hash_lock);
929 put_tree(tree);
930 }
931
932 while (barrier.prev != &tree_list) {
933 struct audit_tree *tree;
934
935 tree = container_of(barrier.prev, struct audit_tree, list);
936 get_tree(tree);
937 list_del(&tree->list);
938 list_add(&tree->list, &barrier);
939 mutex_unlock(&audit_filter_mutex);
940
941 if (!failed) {
942 struct node *node;
943 spin_lock(&hash_lock);
944 list_for_each_entry(node, &tree->chunks, list)
945 node->index &= ~(1U<<31);
946 spin_unlock(&hash_lock);
947 } else {
948 trim_marked(tree);
949 }
950
951 put_tree(tree);
952 mutex_lock(&audit_filter_mutex);
953 }
954 list_del(&barrier);
955 list_del(&cursor);
Al Viro74c3cbe2007-07-22 08:04:18 -0400956 mutex_unlock(&audit_filter_mutex);
Al Viro2096f752010-01-30 13:16:21 -0500957 path_put(&path1);
Al Viro74c3cbe2007-07-22 08:04:18 -0400958 drop_collected_mounts(tagged);
959 return failed;
960}
961
Al Viro916d7572009-06-24 00:02:38 -0400962
963static void audit_schedule_prune(void)
964{
Imre Palikf1aaf262015-02-23 15:37:59 -0500965 wake_up_process(prune_thread);
Al Viro916d7572009-06-24 00:02:38 -0400966}
967
968/*
969 * ... and that one is done if evict_chunk() decides to delay until the end
970 * of syscall. Runs synchronously.
971 */
972void audit_kill_trees(struct list_head *list)
973{
Paul Moorece423632018-02-20 09:52:38 -0500974 audit_ctl_lock();
Al Viro916d7572009-06-24 00:02:38 -0400975 mutex_lock(&audit_filter_mutex);
976
977 while (!list_empty(list)) {
978 struct audit_tree *victim;
979
980 victim = list_entry(list->next, struct audit_tree, list);
981 kill_rules(victim);
982 list_del_init(&victim->list);
983
984 mutex_unlock(&audit_filter_mutex);
985
986 prune_one(victim);
987
988 mutex_lock(&audit_filter_mutex);
989 }
990
991 mutex_unlock(&audit_filter_mutex);
Paul Moorece423632018-02-20 09:52:38 -0500992 audit_ctl_unlock();
Al Viro74c3cbe2007-07-22 08:04:18 -0400993}
994
995/*
996 * Here comes the stuff asynchronous to auditctl operations
997 */
998
Al Viro74c3cbe2007-07-22 08:04:18 -0400999static void evict_chunk(struct audit_chunk *chunk)
1000{
1001 struct audit_tree *owner;
Al Viro916d7572009-06-24 00:02:38 -04001002 struct list_head *postponed = audit_killed_trees();
1003 int need_prune = 0;
Al Viro74c3cbe2007-07-22 08:04:18 -04001004 int n;
1005
1006 if (chunk->dead)
1007 return;
1008
1009 chunk->dead = 1;
1010 mutex_lock(&audit_filter_mutex);
1011 spin_lock(&hash_lock);
1012 while (!list_empty(&chunk->trees)) {
1013 owner = list_entry(chunk->trees.next,
1014 struct audit_tree, same_root);
1015 owner->goner = 1;
1016 owner->root = NULL;
1017 list_del_init(&owner->same_root);
1018 spin_unlock(&hash_lock);
Al Viro916d7572009-06-24 00:02:38 -04001019 if (!postponed) {
1020 kill_rules(owner);
1021 list_move(&owner->list, &prune_list);
1022 need_prune = 1;
1023 } else {
1024 list_move(&owner->list, postponed);
1025 }
Al Viro74c3cbe2007-07-22 08:04:18 -04001026 spin_lock(&hash_lock);
1027 }
1028 list_del_rcu(&chunk->hash);
1029 for (n = 0; n < chunk->count; n++)
1030 list_del_init(&chunk->owners[n].list);
1031 spin_unlock(&hash_lock);
Imre Palikf1aaf262015-02-23 15:37:59 -05001032 mutex_unlock(&audit_filter_mutex);
Al Viro916d7572009-06-24 00:02:38 -04001033 if (need_prune)
1034 audit_schedule_prune();
Al Viro74c3cbe2007-07-22 08:04:18 -04001035}
1036
Eric Paris3a9b16b2010-07-28 10:18:38 -04001037static int audit_tree_handle_event(struct fsnotify_group *group,
Jan Kara7053aee2014-01-21 15:48:14 -08001038 struct inode *to_tell,
Al Viro3cd5eca2016-11-20 20:19:09 -05001039 u32 mask, const void *data, int data_type,
Jan Kara9385a842016-11-10 17:51:50 +01001040 const unsigned char *file_name, u32 cookie,
1041 struct fsnotify_iter_info *iter_info)
Al Viro74c3cbe2007-07-22 08:04:18 -04001042{
Jan Kara83c4c4b2014-01-21 15:48:15 -08001043 return 0;
Al Viro74c3cbe2007-07-22 08:04:18 -04001044}
1045
Eric Parise61ce862009-12-17 21:24:24 -05001046static void audit_tree_freeing_mark(struct fsnotify_mark *entry, struct fsnotify_group *group)
Al Viro74c3cbe2007-07-22 08:04:18 -04001047{
Jan Kara5f516132018-11-12 09:54:49 -05001048 struct audit_chunk *chunk = mark_chunk(entry);
Eric Paris28a3a7e2009-12-17 20:12:05 -05001049
1050 evict_chunk(chunk);
Miklos Szeredib3e86922012-08-15 12:55:22 +02001051
1052 /*
1053 * We are guaranteed to have at least one reference to the mark from
1054 * either the inode or the caller of fsnotify_destroy_mark().
1055 */
Elena Reshetovaab97f8732017-10-20 13:26:02 +03001056 BUG_ON(refcount_read(&entry->refcnt) < 1);
Al Viro74c3cbe2007-07-22 08:04:18 -04001057}
1058
Eric Paris28a3a7e2009-12-17 20:12:05 -05001059static const struct fsnotify_ops audit_tree_ops = {
1060 .handle_event = audit_tree_handle_event,
Eric Paris28a3a7e2009-12-17 20:12:05 -05001061 .freeing_mark = audit_tree_freeing_mark,
Jan Kara054c6362016-12-21 18:06:12 +01001062 .free_mark = audit_tree_destroy_watch,
Al Viro74c3cbe2007-07-22 08:04:18 -04001063};
1064
1065static int __init audit_tree_init(void)
1066{
1067 int i;
1068
Jan Kara5f516132018-11-12 09:54:49 -05001069 audit_tree_mark_cachep = KMEM_CACHE(audit_tree_mark, SLAB_PANIC);
1070
Eric Paris0d2e2a12009-12-17 21:24:22 -05001071 audit_tree_group = fsnotify_alloc_group(&audit_tree_ops);
Eric Paris28a3a7e2009-12-17 20:12:05 -05001072 if (IS_ERR(audit_tree_group))
1073 audit_panic("cannot initialize fsnotify group for rectree watches");
Al Viro74c3cbe2007-07-22 08:04:18 -04001074
1075 for (i = 0; i < HASH_SIZE; i++)
1076 INIT_LIST_HEAD(&chunk_hash_heads[i]);
1077
1078 return 0;
1079}
1080__initcall(audit_tree_init);