blob: 145e8c92dd31b50465414636bf342ebdc3d0fc64 [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 Karac22fcde2018-11-12 09:54:49 -0500280static void replace_chunk(struct audit_chunk *new, struct audit_chunk *old)
Jan Karad31b3262018-11-12 09:54:48 -0500281{
282 struct audit_tree *owner;
283 int i, j;
284
285 new->key = old->key;
286 list_splice_init(&old->trees, &new->trees);
287 list_for_each_entry(owner, &new->trees, same_root)
288 owner->root = new;
289 for (i = j = 0; j < old->count; i++, j++) {
Jan Karac22fcde2018-11-12 09:54:49 -0500290 if (!old->owners[j].owner) {
Jan Karad31b3262018-11-12 09:54:48 -0500291 i--;
292 continue;
293 }
294 owner = old->owners[j].owner;
295 new->owners[i].owner = owner;
296 new->owners[i].index = old->owners[j].index - j + i;
297 if (!owner) /* result of earlier fallback */
298 continue;
299 get_tree(owner);
300 list_replace_init(&old->owners[j].list, &new->owners[i].list);
301 }
302 /*
303 * Make sure chunk is fully initialized before making it visible in the
304 * hash. Pairs with a data dependency barrier in READ_ONCE() in
305 * audit_tree_lookup().
306 */
307 smp_wmb();
308 list_replace_rcu(&old->hash, &new->hash);
309}
310
Jan Kara49a4ee72018-11-12 09:54:49 -0500311static void remove_chunk_node(struct audit_chunk *chunk, struct node *p)
312{
313 struct audit_tree *owner = p->owner;
314
315 if (owner->root == chunk) {
316 list_del_init(&owner->same_root);
317 owner->root = NULL;
318 }
319 list_del_init(&p->list);
320 p->owner = NULL;
321 put_tree(owner);
322}
323
Jan Karac22fcde2018-11-12 09:54:49 -0500324static int chunk_count_trees(struct audit_chunk *chunk)
325{
326 int i;
327 int ret = 0;
328
329 for (i = 0; i < chunk->count; i++)
330 if (chunk->owners[i].owner)
331 ret++;
332 return ret;
333}
334
Al Viro8f7b0ba2008-11-15 01:15:43 +0000335static void untag_chunk(struct node *p)
336{
337 struct audit_chunk *chunk = find_chunk(p);
Jan Kara5f516132018-11-12 09:54:49 -0500338 struct fsnotify_mark *entry = chunk->mark;
Al Virof7a998a2010-10-30 02:18:32 -0400339 struct audit_chunk *new = NULL;
Jan Karac22fcde2018-11-12 09:54:49 -0500340 int size;
Al Viro74c3cbe2007-07-22 08:04:18 -0400341
Jan Kara49a4ee72018-11-12 09:54:49 -0500342 remove_chunk_node(chunk, p);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500343 fsnotify_get_mark(entry);
Al Viro8f7b0ba2008-11-15 01:15:43 +0000344 spin_unlock(&hash_lock);
345
Jan Karabe29d202016-12-14 14:40:05 +0100346 mutex_lock(&entry->group->mark_mutex);
Jan Kara6b3f05d2016-12-21 12:15:30 +0100347 /*
348 * mark_mutex protects mark from getting detached and thus also from
Amir Goldstein36f10f52018-06-23 17:54:49 +0300349 * mark->connector->obj getting NULL.
Jan Kara6b3f05d2016-12-21 12:15:30 +0100350 */
Jan Kara43471d12017-04-03 16:47:58 +0200351 if (chunk->dead || !(entry->flags & FSNOTIFY_MARK_FLAG_ATTACHED)) {
Jan Karabe29d202016-12-14 14:40:05 +0100352 mutex_unlock(&entry->group->mark_mutex);
Al Virof7a998a2010-10-30 02:18:32 -0400353 if (new)
Jan Kara5f516132018-11-12 09:54:49 -0500354 fsnotify_put_mark(new->mark);
Al Viro8f7b0ba2008-11-15 01:15:43 +0000355 goto out;
Al Viro74c3cbe2007-07-22 08:04:18 -0400356 }
357
Jan Karac22fcde2018-11-12 09:54:49 -0500358 size = chunk_count_trees(chunk);
Al Viro74c3cbe2007-07-22 08:04:18 -0400359 if (!size) {
360 chunk->dead = 1;
361 spin_lock(&hash_lock);
362 list_del_init(&chunk->trees);
Al Viro74c3cbe2007-07-22 08:04:18 -0400363 list_del_rcu(&chunk->hash);
364 spin_unlock(&hash_lock);
Jan Karab1e46032018-11-12 09:54:48 -0500365 fsnotify_detach_mark(entry);
Jan Karabe29d202016-12-14 14:40:05 +0100366 mutex_unlock(&entry->group->mark_mutex);
Jan Karab1e46032018-11-12 09:54:48 -0500367 fsnotify_free_mark(entry);
Al Viro8f7b0ba2008-11-15 01:15:43 +0000368 goto out;
Al Viro74c3cbe2007-07-22 08:04:18 -0400369 }
370
Jan Karac22fcde2018-11-12 09:54:49 -0500371 new = alloc_chunk(size);
Al Viro74c3cbe2007-07-22 08:04:18 -0400372 if (!new)
Jan Kara49a4ee72018-11-12 09:54:49 -0500373 goto out_mutex;
Al Virof7a998a2010-10-30 02:18:32 -0400374
Jan Kara5f516132018-11-12 09:54:49 -0500375 if (fsnotify_add_mark_locked(new->mark, entry->connector->obj,
Amir Goldstein36f10f52018-06-23 17:54:49 +0300376 FSNOTIFY_OBJ_TYPE_INODE, 1)) {
Jan Kara5f516132018-11-12 09:54:49 -0500377 fsnotify_put_mark(new->mark);
Jan Kara49a4ee72018-11-12 09:54:49 -0500378 goto out_mutex;
Al Viro74c3cbe2007-07-22 08:04:18 -0400379 }
380
381 chunk->dead = 1;
382 spin_lock(&hash_lock);
Jan Kara1635e572018-11-12 09:54:48 -0500383 /*
Jan Karad31b3262018-11-12 09:54:48 -0500384 * This has to go last when updating chunk as once replace_chunk() is
385 * called, new RCU readers can see the new chunk.
Jan Kara1635e572018-11-12 09:54:48 -0500386 */
Jan Karac22fcde2018-11-12 09:54:49 -0500387 replace_chunk(new, chunk);
Al Viro74c3cbe2007-07-22 08:04:18 -0400388 spin_unlock(&hash_lock);
Jan Karab1e46032018-11-12 09:54:48 -0500389 fsnotify_detach_mark(entry);
Jan Karabe29d202016-12-14 14:40:05 +0100390 mutex_unlock(&entry->group->mark_mutex);
Jan Karab1e46032018-11-12 09:54:48 -0500391 fsnotify_free_mark(entry);
Jan Kara5f516132018-11-12 09:54:49 -0500392 fsnotify_put_mark(new->mark); /* drop initial reference */
Al Viro8f7b0ba2008-11-15 01:15:43 +0000393 goto out;
Al Viro74c3cbe2007-07-22 08:04:18 -0400394
Jan Kara49a4ee72018-11-12 09:54:49 -0500395out_mutex:
Jan Karabe29d202016-12-14 14:40:05 +0100396 mutex_unlock(&entry->group->mark_mutex);
Al Viro8f7b0ba2008-11-15 01:15:43 +0000397out:
Eric Paris28a3a7e2009-12-17 20:12:05 -0500398 fsnotify_put_mark(entry);
Al Viro8f7b0ba2008-11-15 01:15:43 +0000399 spin_lock(&hash_lock);
Al Viro74c3cbe2007-07-22 08:04:18 -0400400}
401
Jan Karaa5789b02018-11-12 09:54:48 -0500402/* Call with group->mark_mutex held, releases it */
Al Viro74c3cbe2007-07-22 08:04:18 -0400403static int create_chunk(struct inode *inode, struct audit_tree *tree)
404{
Eric Parise61ce862009-12-17 21:24:24 -0500405 struct fsnotify_mark *entry;
Al Viro74c3cbe2007-07-22 08:04:18 -0400406 struct audit_chunk *chunk = alloc_chunk(1);
Jan Karaa5789b02018-11-12 09:54:48 -0500407
408 if (!chunk) {
409 mutex_unlock(&audit_tree_group->mark_mutex);
Al Viro74c3cbe2007-07-22 08:04:18 -0400410 return -ENOMEM;
Jan Karaa5789b02018-11-12 09:54:48 -0500411 }
Al Viro74c3cbe2007-07-22 08:04:18 -0400412
Jan Kara5f516132018-11-12 09:54:49 -0500413 entry = chunk->mark;
Jan Karaa5789b02018-11-12 09:54:48 -0500414 if (fsnotify_add_inode_mark_locked(entry, inode, 0)) {
415 mutex_unlock(&audit_tree_group->mark_mutex);
Miklos Szeredi0fe33aa2012-08-15 12:55:22 +0200416 fsnotify_put_mark(entry);
Al Viro74c3cbe2007-07-22 08:04:18 -0400417 return -ENOSPC;
418 }
419
Al Viro74c3cbe2007-07-22 08:04:18 -0400420 spin_lock(&hash_lock);
421 if (tree->goner) {
422 spin_unlock(&hash_lock);
423 chunk->dead = 1;
Jan Karab1e46032018-11-12 09:54:48 -0500424 fsnotify_detach_mark(entry);
Jan Karaa5789b02018-11-12 09:54:48 -0500425 mutex_unlock(&audit_tree_group->mark_mutex);
Jan Karab1e46032018-11-12 09:54:48 -0500426 fsnotify_free_mark(entry);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500427 fsnotify_put_mark(entry);
Al Viro74c3cbe2007-07-22 08:04:18 -0400428 return 0;
429 }
430 chunk->owners[0].index = (1U << 31);
431 chunk->owners[0].owner = tree;
432 get_tree(tree);
433 list_add(&chunk->owners[0].list, &tree->chunks);
434 if (!tree->root) {
435 tree->root = chunk;
436 list_add(&tree->same_root, &chunk->trees);
437 }
Jan Kara8d20d6e2018-11-12 09:54:48 -0500438 chunk->key = inode_to_key(inode);
Jan Kara1635e572018-11-12 09:54:48 -0500439 /*
440 * Inserting into the hash table has to go last as once we do that RCU
441 * readers can see the chunk.
442 */
Al Viro74c3cbe2007-07-22 08:04:18 -0400443 insert_hash(chunk);
444 spin_unlock(&hash_lock);
Jan Karaa5789b02018-11-12 09:54:48 -0500445 mutex_unlock(&audit_tree_group->mark_mutex);
Miklos Szeredib3e86922012-08-15 12:55:22 +0200446 fsnotify_put_mark(entry); /* drop initial reference */
Al Viro74c3cbe2007-07-22 08:04:18 -0400447 return 0;
448}
449
450/* the first tagged inode becomes root of tree */
451static int tag_chunk(struct inode *inode, struct audit_tree *tree)
452{
Eric Parise61ce862009-12-17 21:24:24 -0500453 struct fsnotify_mark *old_entry, *chunk_entry;
Al Viro74c3cbe2007-07-22 08:04:18 -0400454 struct audit_chunk *chunk, *old;
455 struct node *p;
456 int n;
457
Jan Karaa5789b02018-11-12 09:54:48 -0500458 mutex_lock(&audit_tree_group->mark_mutex);
Jan Karab1362ed2016-12-21 16:28:45 +0100459 old_entry = fsnotify_find_mark(&inode->i_fsnotify_marks,
460 audit_tree_group);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500461 if (!old_entry)
Al Viro74c3cbe2007-07-22 08:04:18 -0400462 return create_chunk(inode, tree);
463
Jan Kara5f516132018-11-12 09:54:49 -0500464 old = mark_chunk(old_entry);
Al Viro74c3cbe2007-07-22 08:04:18 -0400465
466 /* are we already there? */
467 spin_lock(&hash_lock);
468 for (n = 0; n < old->count; n++) {
469 if (old->owners[n].owner == tree) {
470 spin_unlock(&hash_lock);
Jan Karaa5789b02018-11-12 09:54:48 -0500471 mutex_unlock(&audit_tree_group->mark_mutex);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500472 fsnotify_put_mark(old_entry);
Al Viro74c3cbe2007-07-22 08:04:18 -0400473 return 0;
474 }
475 }
476 spin_unlock(&hash_lock);
477
478 chunk = alloc_chunk(old->count + 1);
Al Virob4c30aa2009-12-19 16:03:30 +0000479 if (!chunk) {
Jan Karaa5789b02018-11-12 09:54:48 -0500480 mutex_unlock(&audit_tree_group->mark_mutex);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500481 fsnotify_put_mark(old_entry);
Al Viro74c3cbe2007-07-22 08:04:18 -0400482 return -ENOMEM;
Al Virob4c30aa2009-12-19 16:03:30 +0000483 }
Al Viro74c3cbe2007-07-22 08:04:18 -0400484
Jan Kara5f516132018-11-12 09:54:49 -0500485 chunk_entry = chunk->mark;
Eric Paris28a3a7e2009-12-17 20:12:05 -0500486
Jan Kara6b3f05d2016-12-21 12:15:30 +0100487 /*
488 * mark_mutex protects mark from getting detached and thus also from
Amir Goldstein36f10f52018-06-23 17:54:49 +0300489 * mark->connector->obj getting NULL.
Jan Kara6b3f05d2016-12-21 12:15:30 +0100490 */
Jan Kara43471d12017-04-03 16:47:58 +0200491 if (!(old_entry->flags & FSNOTIFY_MARK_FLAG_ATTACHED)) {
Eric Paris28a3a7e2009-12-17 20:12:05 -0500492 /* old_entry is being shot, lets just lie */
Jan Karaa5789b02018-11-12 09:54:48 -0500493 mutex_unlock(&audit_tree_group->mark_mutex);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500494 fsnotify_put_mark(old_entry);
Jan Kara5f516132018-11-12 09:54:49 -0500495 fsnotify_put_mark(chunk->mark);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500496 return -ENOENT;
497 }
498
Amir Goldstein36f10f52018-06-23 17:54:49 +0300499 if (fsnotify_add_mark_locked(chunk_entry, old_entry->connector->obj,
500 FSNOTIFY_OBJ_TYPE_INODE, 1)) {
Jan Karaa5789b02018-11-12 09:54:48 -0500501 mutex_unlock(&audit_tree_group->mark_mutex);
Miklos Szeredi0fe33aa2012-08-15 12:55:22 +0200502 fsnotify_put_mark(chunk_entry);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500503 fsnotify_put_mark(old_entry);
Al Viro74c3cbe2007-07-22 08:04:18 -0400504 return -ENOSPC;
505 }
Eric Paris28a3a7e2009-12-17 20:12:05 -0500506
Al Viro74c3cbe2007-07-22 08:04:18 -0400507 spin_lock(&hash_lock);
508 if (tree->goner) {
509 spin_unlock(&hash_lock);
510 chunk->dead = 1;
Jan Karab1e46032018-11-12 09:54:48 -0500511 fsnotify_detach_mark(chunk_entry);
Jan Karaa5789b02018-11-12 09:54:48 -0500512 mutex_unlock(&audit_tree_group->mark_mutex);
Jan Karab1e46032018-11-12 09:54:48 -0500513 fsnotify_free_mark(chunk_entry);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500514 fsnotify_put_mark(chunk_entry);
515 fsnotify_put_mark(old_entry);
Al Viro74c3cbe2007-07-22 08:04:18 -0400516 return 0;
517 }
Jan Karad31b3262018-11-12 09:54:48 -0500518 p = &chunk->owners[chunk->count - 1];
Al Viro74c3cbe2007-07-22 08:04:18 -0400519 p->index = (chunk->count - 1) | (1U<<31);
520 p->owner = tree;
521 get_tree(tree);
522 list_add(&p->list, &tree->chunks);
Al Viro74c3cbe2007-07-22 08:04:18 -0400523 old->dead = 1;
524 if (!tree->root) {
525 tree->root = chunk;
526 list_add(&tree->same_root, &chunk->trees);
527 }
Jan Kara1635e572018-11-12 09:54:48 -0500528 /*
Jan Karad31b3262018-11-12 09:54:48 -0500529 * This has to go last when updating chunk as once replace_chunk() is
530 * called, new RCU readers can see the new chunk.
Jan Kara1635e572018-11-12 09:54:48 -0500531 */
Jan Karac22fcde2018-11-12 09:54:49 -0500532 replace_chunk(chunk, old);
Al Viro74c3cbe2007-07-22 08:04:18 -0400533 spin_unlock(&hash_lock);
Jan Karab1e46032018-11-12 09:54:48 -0500534 fsnotify_detach_mark(old_entry);
Jan Karaa5789b02018-11-12 09:54:48 -0500535 mutex_unlock(&audit_tree_group->mark_mutex);
Jan Karab1e46032018-11-12 09:54:48 -0500536 fsnotify_free_mark(old_entry);
Miklos Szeredib3e86922012-08-15 12:55:22 +0200537 fsnotify_put_mark(chunk_entry); /* drop initial reference */
Eric Paris28a3a7e2009-12-17 20:12:05 -0500538 fsnotify_put_mark(old_entry); /* pair to fsnotify_find mark_entry */
Al Viro74c3cbe2007-07-22 08:04:18 -0400539 return 0;
540}
541
Richard Guy Briggs2991dd22014-10-02 22:05:24 -0400542static void audit_tree_log_remove_rule(struct audit_krule *rule)
Kees Cook0644ec02013-01-11 14:32:07 -0800543{
544 struct audit_buffer *ab;
545
Richard Guy Briggs65a87662018-06-14 16:20:05 -0400546 if (!audit_enabled)
547 return;
Kees Cook0644ec02013-01-11 14:32:07 -0800548 ab = audit_log_start(NULL, GFP_KERNEL, AUDIT_CONFIG_CHANGE);
549 if (unlikely(!ab))
550 return;
Steve Grubbc1e8f062016-11-16 16:14:33 -0500551 audit_log_format(ab, "op=remove_rule");
Kees Cook0644ec02013-01-11 14:32:07 -0800552 audit_log_format(ab, " dir=");
553 audit_log_untrustedstring(ab, rule->tree->pathname);
554 audit_log_key(ab, rule->filterkey);
555 audit_log_format(ab, " list=%d res=1", rule->listnr);
556 audit_log_end(ab);
557}
558
Al Viro74c3cbe2007-07-22 08:04:18 -0400559static void kill_rules(struct audit_tree *tree)
560{
561 struct audit_krule *rule, *next;
562 struct audit_entry *entry;
Al Viro74c3cbe2007-07-22 08:04:18 -0400563
564 list_for_each_entry_safe(rule, next, &tree->rules, rlist) {
565 entry = container_of(rule, struct audit_entry, rule);
566
567 list_del_init(&rule->rlist);
568 if (rule->tree) {
569 /* not a half-baked one */
Richard Guy Briggs2991dd22014-10-02 22:05:24 -0400570 audit_tree_log_remove_rule(rule);
Richard Guy Briggs34d99af52015-08-05 16:29:37 -0400571 if (entry->rule.exe)
572 audit_remove_mark(entry->rule.exe);
Al Viro74c3cbe2007-07-22 08:04:18 -0400573 rule->tree = NULL;
574 list_del_rcu(&entry->list);
Al Viroe45aa212008-12-15 01:17:50 -0500575 list_del(&entry->rule.list);
Al Viro74c3cbe2007-07-22 08:04:18 -0400576 call_rcu(&entry->rcu, audit_free_rule_rcu);
577 }
578 }
579}
580
581/*
582 * finish killing struct audit_tree
583 */
584static void prune_one(struct audit_tree *victim)
585{
586 spin_lock(&hash_lock);
587 while (!list_empty(&victim->chunks)) {
588 struct node *p;
Al Viro74c3cbe2007-07-22 08:04:18 -0400589
590 p = list_entry(victim->chunks.next, struct node, list);
Al Viro74c3cbe2007-07-22 08:04:18 -0400591
Al Viro8f7b0ba2008-11-15 01:15:43 +0000592 untag_chunk(p);
Al Viro74c3cbe2007-07-22 08:04:18 -0400593 }
594 spin_unlock(&hash_lock);
595 put_tree(victim);
596}
597
598/* trim the uncommitted chunks from tree */
599
600static void trim_marked(struct audit_tree *tree)
601{
602 struct list_head *p, *q;
603 spin_lock(&hash_lock);
604 if (tree->goner) {
605 spin_unlock(&hash_lock);
606 return;
607 }
608 /* reorder */
609 for (p = tree->chunks.next; p != &tree->chunks; p = q) {
610 struct node *node = list_entry(p, struct node, list);
611 q = p->next;
612 if (node->index & (1U<<31)) {
613 list_del_init(p);
614 list_add(p, &tree->chunks);
615 }
616 }
617
618 while (!list_empty(&tree->chunks)) {
619 struct node *node;
Al Viro74c3cbe2007-07-22 08:04:18 -0400620
621 node = list_entry(tree->chunks.next, struct node, list);
622
623 /* have we run out of marked? */
624 if (!(node->index & (1U<<31)))
625 break;
626
Al Viro8f7b0ba2008-11-15 01:15:43 +0000627 untag_chunk(node);
Al Viro74c3cbe2007-07-22 08:04:18 -0400628 }
629 if (!tree->root && !tree->goner) {
630 tree->goner = 1;
631 spin_unlock(&hash_lock);
632 mutex_lock(&audit_filter_mutex);
633 kill_rules(tree);
634 list_del_init(&tree->list);
635 mutex_unlock(&audit_filter_mutex);
636 prune_one(tree);
637 } else {
638 spin_unlock(&hash_lock);
639 }
640}
641
Al Viro916d7572009-06-24 00:02:38 -0400642static void audit_schedule_prune(void);
643
Al Viro74c3cbe2007-07-22 08:04:18 -0400644/* called with audit_filter_mutex */
645int audit_remove_tree_rule(struct audit_krule *rule)
646{
647 struct audit_tree *tree;
648 tree = rule->tree;
649 if (tree) {
650 spin_lock(&hash_lock);
651 list_del_init(&rule->rlist);
652 if (list_empty(&tree->rules) && !tree->goner) {
653 tree->root = NULL;
654 list_del_init(&tree->same_root);
655 tree->goner = 1;
656 list_move(&tree->list, &prune_list);
657 rule->tree = NULL;
658 spin_unlock(&hash_lock);
659 audit_schedule_prune();
660 return 1;
661 }
662 rule->tree = NULL;
663 spin_unlock(&hash_lock);
664 return 1;
665 }
666 return 0;
667}
668
Al Viro1f707132010-01-30 22:51:25 -0500669static int compare_root(struct vfsmount *mnt, void *arg)
670{
Jan Karaf410ff62016-12-16 10:13:37 +0100671 return inode_to_key(d_backing_inode(mnt->mnt_root)) ==
672 (unsigned long)arg;
Al Viro1f707132010-01-30 22:51:25 -0500673}
674
Al Viro74c3cbe2007-07-22 08:04:18 -0400675void audit_trim_trees(void)
676{
677 struct list_head cursor;
678
679 mutex_lock(&audit_filter_mutex);
680 list_add(&cursor, &tree_list);
681 while (cursor.next != &tree_list) {
682 struct audit_tree *tree;
Al Viro98bc9932008-08-02 01:06:21 -0400683 struct path path;
Al Viro74c3cbe2007-07-22 08:04:18 -0400684 struct vfsmount *root_mnt;
685 struct node *node;
Al Viro74c3cbe2007-07-22 08:04:18 -0400686 int err;
687
688 tree = container_of(cursor.next, struct audit_tree, list);
689 get_tree(tree);
690 list_del(&cursor);
691 list_add(&cursor, &tree->list);
692 mutex_unlock(&audit_filter_mutex);
693
Al Viro98bc9932008-08-02 01:06:21 -0400694 err = kern_path(tree->pathname, 0, &path);
Al Viro74c3cbe2007-07-22 08:04:18 -0400695 if (err)
696 goto skip_it;
697
Al Viro589ff872009-04-18 03:28:19 -0400698 root_mnt = collect_mounts(&path);
Al Viro98bc9932008-08-02 01:06:21 -0400699 path_put(&path);
David Howellsbe34d1a2012-06-25 12:55:18 +0100700 if (IS_ERR(root_mnt))
Al Viro74c3cbe2007-07-22 08:04:18 -0400701 goto skip_it;
702
Al Viro74c3cbe2007-07-22 08:04:18 -0400703 spin_lock(&hash_lock);
704 list_for_each_entry(node, &tree->chunks, list) {
Eric Paris28a3a7e2009-12-17 20:12:05 -0500705 struct audit_chunk *chunk = find_chunk(node);
Lucas De Marchi25985ed2011-03-30 22:57:33 -0300706 /* this could be NULL if the watch is dying else where... */
Al Viro74c3cbe2007-07-22 08:04:18 -0400707 node->index |= 1U<<31;
Jan Karaf410ff62016-12-16 10:13:37 +0100708 if (iterate_mounts(compare_root,
Jan Kara8d20d6e2018-11-12 09:54:48 -0500709 (void *)(chunk->key),
Jan Karaf410ff62016-12-16 10:13:37 +0100710 root_mnt))
Al Viro1f707132010-01-30 22:51:25 -0500711 node->index &= ~(1U<<31);
Al Viro74c3cbe2007-07-22 08:04:18 -0400712 }
713 spin_unlock(&hash_lock);
714 trim_marked(tree);
Al Viro74c3cbe2007-07-22 08:04:18 -0400715 drop_collected_mounts(root_mnt);
716skip_it:
Chen Gang12b2f112013-04-29 15:05:19 -0700717 put_tree(tree);
Al Viro74c3cbe2007-07-22 08:04:18 -0400718 mutex_lock(&audit_filter_mutex);
719 }
720 list_del(&cursor);
721 mutex_unlock(&audit_filter_mutex);
722}
723
Al Viro74c3cbe2007-07-22 08:04:18 -0400724int audit_make_tree(struct audit_krule *rule, char *pathname, u32 op)
725{
726
727 if (pathname[0] != '/' ||
728 rule->listnr != AUDIT_FILTER_EXIT ||
Al Viro5af75d82008-12-16 05:59:26 -0500729 op != Audit_equal ||
Al Viro74c3cbe2007-07-22 08:04:18 -0400730 rule->inode_f || rule->watch || rule->tree)
731 return -EINVAL;
732 rule->tree = alloc_tree(pathname);
733 if (!rule->tree)
734 return -ENOMEM;
735 return 0;
736}
737
738void audit_put_tree(struct audit_tree *tree)
739{
740 put_tree(tree);
741}
742
Al Viro1f707132010-01-30 22:51:25 -0500743static int tag_mount(struct vfsmount *mnt, void *arg)
744{
David Howells3b362152015-03-17 22:26:21 +0000745 return tag_chunk(d_backing_inode(mnt->mnt_root), arg);
Al Viro1f707132010-01-30 22:51:25 -0500746}
747
Imre Palikf1aaf262015-02-23 15:37:59 -0500748/*
749 * That gets run when evict_chunk() ends up needing to kill audit_tree.
750 * Runs from a separate thread.
751 */
752static int prune_tree_thread(void *unused)
753{
754 for (;;) {
Jiri Slaby0bf676d2016-03-31 10:49:28 +0200755 if (list_empty(&prune_list)) {
756 set_current_state(TASK_INTERRUPTIBLE);
Imre Palikf1aaf262015-02-23 15:37:59 -0500757 schedule();
Jiri Slaby0bf676d2016-03-31 10:49:28 +0200758 }
Imre Palikf1aaf262015-02-23 15:37:59 -0500759
Paul Moorece423632018-02-20 09:52:38 -0500760 audit_ctl_lock();
Imre Palikf1aaf262015-02-23 15:37:59 -0500761 mutex_lock(&audit_filter_mutex);
762
763 while (!list_empty(&prune_list)) {
764 struct audit_tree *victim;
765
766 victim = list_entry(prune_list.next,
767 struct audit_tree, list);
768 list_del_init(&victim->list);
769
770 mutex_unlock(&audit_filter_mutex);
771
772 prune_one(victim);
773
774 mutex_lock(&audit_filter_mutex);
775 }
776
777 mutex_unlock(&audit_filter_mutex);
Paul Moorece423632018-02-20 09:52:38 -0500778 audit_ctl_unlock();
Imre Palikf1aaf262015-02-23 15:37:59 -0500779 }
780 return 0;
781}
782
783static int audit_launch_prune(void)
784{
785 if (prune_thread)
786 return 0;
Jiri Slaby0bf676d2016-03-31 10:49:28 +0200787 prune_thread = kthread_run(prune_tree_thread, NULL,
Imre Palikf1aaf262015-02-23 15:37:59 -0500788 "audit_prune_tree");
789 if (IS_ERR(prune_thread)) {
790 pr_err("cannot start thread audit_prune_tree");
791 prune_thread = NULL;
792 return -ENOMEM;
Imre Palikf1aaf262015-02-23 15:37:59 -0500793 }
Jiri Slaby0bf676d2016-03-31 10:49:28 +0200794 return 0;
Imre Palikf1aaf262015-02-23 15:37:59 -0500795}
796
Al Viro74c3cbe2007-07-22 08:04:18 -0400797/* called with audit_filter_mutex */
798int audit_add_tree_rule(struct audit_krule *rule)
799{
800 struct audit_tree *seed = rule->tree, *tree;
Al Viro98bc9932008-08-02 01:06:21 -0400801 struct path path;
Al Viro1f707132010-01-30 22:51:25 -0500802 struct vfsmount *mnt;
Al Viro74c3cbe2007-07-22 08:04:18 -0400803 int err;
804
Chen Gang736f3202013-06-12 14:05:07 -0700805 rule->tree = NULL;
Al Viro74c3cbe2007-07-22 08:04:18 -0400806 list_for_each_entry(tree, &tree_list, list) {
807 if (!strcmp(seed->pathname, tree->pathname)) {
808 put_tree(seed);
809 rule->tree = tree;
810 list_add(&rule->rlist, &tree->rules);
811 return 0;
812 }
813 }
814 tree = seed;
815 list_add(&tree->list, &tree_list);
816 list_add(&rule->rlist, &tree->rules);
817 /* do not set rule->tree yet */
818 mutex_unlock(&audit_filter_mutex);
819
Imre Palikf1aaf262015-02-23 15:37:59 -0500820 if (unlikely(!prune_thread)) {
821 err = audit_launch_prune();
822 if (err)
823 goto Err;
824 }
825
Al Viro98bc9932008-08-02 01:06:21 -0400826 err = kern_path(tree->pathname, 0, &path);
Al Viro74c3cbe2007-07-22 08:04:18 -0400827 if (err)
828 goto Err;
Al Viro589ff872009-04-18 03:28:19 -0400829 mnt = collect_mounts(&path);
Al Viro98bc9932008-08-02 01:06:21 -0400830 path_put(&path);
David Howellsbe34d1a2012-06-25 12:55:18 +0100831 if (IS_ERR(mnt)) {
832 err = PTR_ERR(mnt);
Al Viro74c3cbe2007-07-22 08:04:18 -0400833 goto Err;
834 }
Al Viro74c3cbe2007-07-22 08:04:18 -0400835
836 get_tree(tree);
Al Viro1f707132010-01-30 22:51:25 -0500837 err = iterate_mounts(tag_mount, tree, mnt);
Al Viro74c3cbe2007-07-22 08:04:18 -0400838 drop_collected_mounts(mnt);
839
840 if (!err) {
841 struct node *node;
842 spin_lock(&hash_lock);
843 list_for_each_entry(node, &tree->chunks, list)
844 node->index &= ~(1U<<31);
845 spin_unlock(&hash_lock);
846 } else {
847 trim_marked(tree);
848 goto Err;
849 }
850
851 mutex_lock(&audit_filter_mutex);
852 if (list_empty(&rule->rlist)) {
853 put_tree(tree);
854 return -ENOENT;
855 }
856 rule->tree = tree;
857 put_tree(tree);
858
859 return 0;
860Err:
861 mutex_lock(&audit_filter_mutex);
862 list_del_init(&tree->list);
863 list_del_init(&tree->rules);
864 put_tree(tree);
865 return err;
866}
867
868int audit_tag_tree(char *old, char *new)
869{
870 struct list_head cursor, barrier;
871 int failed = 0;
Al Viro2096f752010-01-30 13:16:21 -0500872 struct path path1, path2;
Al Viro74c3cbe2007-07-22 08:04:18 -0400873 struct vfsmount *tagged;
Al Viro74c3cbe2007-07-22 08:04:18 -0400874 int err;
875
Al Viro2096f752010-01-30 13:16:21 -0500876 err = kern_path(new, 0, &path2);
Al Viro74c3cbe2007-07-22 08:04:18 -0400877 if (err)
878 return err;
Al Viro2096f752010-01-30 13:16:21 -0500879 tagged = collect_mounts(&path2);
880 path_put(&path2);
David Howellsbe34d1a2012-06-25 12:55:18 +0100881 if (IS_ERR(tagged))
882 return PTR_ERR(tagged);
Al Viro74c3cbe2007-07-22 08:04:18 -0400883
Al Viro2096f752010-01-30 13:16:21 -0500884 err = kern_path(old, 0, &path1);
Al Viro74c3cbe2007-07-22 08:04:18 -0400885 if (err) {
886 drop_collected_mounts(tagged);
887 return err;
888 }
Al Viro74c3cbe2007-07-22 08:04:18 -0400889
Al Viro74c3cbe2007-07-22 08:04:18 -0400890 mutex_lock(&audit_filter_mutex);
891 list_add(&barrier, &tree_list);
892 list_add(&cursor, &barrier);
893
894 while (cursor.next != &tree_list) {
895 struct audit_tree *tree;
Al Viro2096f752010-01-30 13:16:21 -0500896 int good_one = 0;
Al Viro74c3cbe2007-07-22 08:04:18 -0400897
898 tree = container_of(cursor.next, struct audit_tree, list);
899 get_tree(tree);
900 list_del(&cursor);
901 list_add(&cursor, &tree->list);
902 mutex_unlock(&audit_filter_mutex);
903
Al Viro2096f752010-01-30 13:16:21 -0500904 err = kern_path(tree->pathname, 0, &path2);
905 if (!err) {
906 good_one = path_is_under(&path1, &path2);
907 path_put(&path2);
Al Viro74c3cbe2007-07-22 08:04:18 -0400908 }
909
Al Viro2096f752010-01-30 13:16:21 -0500910 if (!good_one) {
Al Viro74c3cbe2007-07-22 08:04:18 -0400911 put_tree(tree);
912 mutex_lock(&audit_filter_mutex);
913 continue;
914 }
Al Viro74c3cbe2007-07-22 08:04:18 -0400915
Al Viro1f707132010-01-30 22:51:25 -0500916 failed = iterate_mounts(tag_mount, tree, tagged);
Al Viro74c3cbe2007-07-22 08:04:18 -0400917 if (failed) {
918 put_tree(tree);
919 mutex_lock(&audit_filter_mutex);
920 break;
921 }
922
923 mutex_lock(&audit_filter_mutex);
924 spin_lock(&hash_lock);
925 if (!tree->goner) {
926 list_del(&tree->list);
927 list_add(&tree->list, &tree_list);
928 }
929 spin_unlock(&hash_lock);
930 put_tree(tree);
931 }
932
933 while (barrier.prev != &tree_list) {
934 struct audit_tree *tree;
935
936 tree = container_of(barrier.prev, struct audit_tree, list);
937 get_tree(tree);
938 list_del(&tree->list);
939 list_add(&tree->list, &barrier);
940 mutex_unlock(&audit_filter_mutex);
941
942 if (!failed) {
943 struct node *node;
944 spin_lock(&hash_lock);
945 list_for_each_entry(node, &tree->chunks, list)
946 node->index &= ~(1U<<31);
947 spin_unlock(&hash_lock);
948 } else {
949 trim_marked(tree);
950 }
951
952 put_tree(tree);
953 mutex_lock(&audit_filter_mutex);
954 }
955 list_del(&barrier);
956 list_del(&cursor);
Al Viro74c3cbe2007-07-22 08:04:18 -0400957 mutex_unlock(&audit_filter_mutex);
Al Viro2096f752010-01-30 13:16:21 -0500958 path_put(&path1);
Al Viro74c3cbe2007-07-22 08:04:18 -0400959 drop_collected_mounts(tagged);
960 return failed;
961}
962
Al Viro916d7572009-06-24 00:02:38 -0400963
964static void audit_schedule_prune(void)
965{
Imre Palikf1aaf262015-02-23 15:37:59 -0500966 wake_up_process(prune_thread);
Al Viro916d7572009-06-24 00:02:38 -0400967}
968
969/*
970 * ... and that one is done if evict_chunk() decides to delay until the end
971 * of syscall. Runs synchronously.
972 */
973void audit_kill_trees(struct list_head *list)
974{
Paul Moorece423632018-02-20 09:52:38 -0500975 audit_ctl_lock();
Al Viro916d7572009-06-24 00:02:38 -0400976 mutex_lock(&audit_filter_mutex);
977
978 while (!list_empty(list)) {
979 struct audit_tree *victim;
980
981 victim = list_entry(list->next, struct audit_tree, list);
982 kill_rules(victim);
983 list_del_init(&victim->list);
984
985 mutex_unlock(&audit_filter_mutex);
986
987 prune_one(victim);
988
989 mutex_lock(&audit_filter_mutex);
990 }
991
992 mutex_unlock(&audit_filter_mutex);
Paul Moorece423632018-02-20 09:52:38 -0500993 audit_ctl_unlock();
Al Viro74c3cbe2007-07-22 08:04:18 -0400994}
995
996/*
997 * Here comes the stuff asynchronous to auditctl operations
998 */
999
Al Viro74c3cbe2007-07-22 08:04:18 -04001000static void evict_chunk(struct audit_chunk *chunk)
1001{
1002 struct audit_tree *owner;
Al Viro916d7572009-06-24 00:02:38 -04001003 struct list_head *postponed = audit_killed_trees();
1004 int need_prune = 0;
Al Viro74c3cbe2007-07-22 08:04:18 -04001005 int n;
1006
1007 if (chunk->dead)
1008 return;
1009
1010 chunk->dead = 1;
1011 mutex_lock(&audit_filter_mutex);
1012 spin_lock(&hash_lock);
1013 while (!list_empty(&chunk->trees)) {
1014 owner = list_entry(chunk->trees.next,
1015 struct audit_tree, same_root);
1016 owner->goner = 1;
1017 owner->root = NULL;
1018 list_del_init(&owner->same_root);
1019 spin_unlock(&hash_lock);
Al Viro916d7572009-06-24 00:02:38 -04001020 if (!postponed) {
1021 kill_rules(owner);
1022 list_move(&owner->list, &prune_list);
1023 need_prune = 1;
1024 } else {
1025 list_move(&owner->list, postponed);
1026 }
Al Viro74c3cbe2007-07-22 08:04:18 -04001027 spin_lock(&hash_lock);
1028 }
1029 list_del_rcu(&chunk->hash);
1030 for (n = 0; n < chunk->count; n++)
1031 list_del_init(&chunk->owners[n].list);
1032 spin_unlock(&hash_lock);
Imre Palikf1aaf262015-02-23 15:37:59 -05001033 mutex_unlock(&audit_filter_mutex);
Al Viro916d7572009-06-24 00:02:38 -04001034 if (need_prune)
1035 audit_schedule_prune();
Al Viro74c3cbe2007-07-22 08:04:18 -04001036}
1037
Eric Paris3a9b16b2010-07-28 10:18:38 -04001038static int audit_tree_handle_event(struct fsnotify_group *group,
Jan Kara7053aee2014-01-21 15:48:14 -08001039 struct inode *to_tell,
Al Viro3cd5eca2016-11-20 20:19:09 -05001040 u32 mask, const void *data, int data_type,
Jan Kara9385a842016-11-10 17:51:50 +01001041 const unsigned char *file_name, u32 cookie,
1042 struct fsnotify_iter_info *iter_info)
Al Viro74c3cbe2007-07-22 08:04:18 -04001043{
Jan Kara83c4c4b2014-01-21 15:48:15 -08001044 return 0;
Al Viro74c3cbe2007-07-22 08:04:18 -04001045}
1046
Eric Parise61ce862009-12-17 21:24:24 -05001047static void audit_tree_freeing_mark(struct fsnotify_mark *entry, struct fsnotify_group *group)
Al Viro74c3cbe2007-07-22 08:04:18 -04001048{
Jan Kara5f516132018-11-12 09:54:49 -05001049 struct audit_chunk *chunk = mark_chunk(entry);
Eric Paris28a3a7e2009-12-17 20:12:05 -05001050
1051 evict_chunk(chunk);
Miklos Szeredib3e86922012-08-15 12:55:22 +02001052
1053 /*
1054 * We are guaranteed to have at least one reference to the mark from
1055 * either the inode or the caller of fsnotify_destroy_mark().
1056 */
Elena Reshetovaab97f8732017-10-20 13:26:02 +03001057 BUG_ON(refcount_read(&entry->refcnt) < 1);
Al Viro74c3cbe2007-07-22 08:04:18 -04001058}
1059
Eric Paris28a3a7e2009-12-17 20:12:05 -05001060static const struct fsnotify_ops audit_tree_ops = {
1061 .handle_event = audit_tree_handle_event,
Eric Paris28a3a7e2009-12-17 20:12:05 -05001062 .freeing_mark = audit_tree_freeing_mark,
Jan Kara054c6362016-12-21 18:06:12 +01001063 .free_mark = audit_tree_destroy_watch,
Al Viro74c3cbe2007-07-22 08:04:18 -04001064};
1065
1066static int __init audit_tree_init(void)
1067{
1068 int i;
1069
Jan Kara5f516132018-11-12 09:54:49 -05001070 audit_tree_mark_cachep = KMEM_CACHE(audit_tree_mark, SLAB_PANIC);
1071
Eric Paris0d2e2a12009-12-17 21:24:22 -05001072 audit_tree_group = fsnotify_alloc_group(&audit_tree_ops);
Eric Paris28a3a7e2009-12-17 20:12:05 -05001073 if (IS_ERR(audit_tree_group))
1074 audit_panic("cannot initialize fsnotify group for rectree watches");
Al Viro74c3cbe2007-07-22 08:04:18 -04001075
1076 for (i = 0; i < HASH_SIZE; i++)
1077 INIT_LIST_HEAD(&chunk_hash_heads[i]);
1078
1079 return 0;
1080}
1081__initcall(audit_tree_init);