2 #include <linux/fsnotify_backend.h>
3 #include <linux/namei.h>
4 #include <linux/mount.h>
5 #include <linux/kthread.h>
6 #include <linux/slab.h>
14 struct audit_chunk *root;
15 struct list_head chunks;
16 struct list_head rules;
17 struct list_head list;
18 struct list_head same_root;
24 struct list_head hash;
25 struct fsnotify_mark mark;
26 struct list_head trees; /* with root here */
32 struct list_head list;
33 struct audit_tree *owner;
34 unsigned index; /* index; upper bit indicates 'will prune' */
38 static LIST_HEAD(tree_list);
39 static LIST_HEAD(prune_list);
40 static struct task_struct *prune_thread;
43 * One struct chunk is attached to each inode of interest.
44 * We replace struct chunk on tagging/untagging.
45 * Rules have pointer to struct audit_tree.
46 * Rules have struct list_head rlist forming a list of rules over
48 * References to struct chunk are collected at audit_inode{,_child}()
49 * time and used in AUDIT_TREE rule matching.
50 * These references are dropped at the same time we are calling
51 * audit_free_names(), etc.
53 * Cyclic lists galore:
54 * tree.chunks anchors chunk.owners[].list hash_lock
55 * tree.rules anchors rule.rlist audit_filter_mutex
56 * chunk.trees anchors tree.same_root hash_lock
57 * chunk.hash is a hash with middle bits of watch.inode as
58 * a hash function. RCU, hash_lock
60 * tree is refcounted; one reference for "some rules on rules_list refer to
61 * it", one for each chunk with pointer to it.
63 * chunk is refcounted by embedded fsnotify_mark + .refs (non-zero refcount
64 * of watch contributes 1 to .refs).
66 * node.index allows to get from node.list to containing chunk.
67 * MSB of that sucker is stolen to mark taggings that we might have to
68 * revert - several operations have very unpleasant cleanup logics and
69 * that makes a difference. Some.
72 static struct fsnotify_group *audit_tree_group;
74 static struct audit_tree *alloc_tree(const char *s)
76 struct audit_tree *tree;
78 tree = kmalloc(sizeof(struct audit_tree) + strlen(s) + 1, GFP_KERNEL);
80 atomic_set(&tree->count, 1);
82 INIT_LIST_HEAD(&tree->chunks);
83 INIT_LIST_HEAD(&tree->rules);
84 INIT_LIST_HEAD(&tree->list);
85 INIT_LIST_HEAD(&tree->same_root);
87 strcpy(tree->pathname, s);
92 static inline void get_tree(struct audit_tree *tree)
94 atomic_inc(&tree->count);
97 static inline void put_tree(struct audit_tree *tree)
99 if (atomic_dec_and_test(&tree->count))
100 kfree_rcu(tree, head);
103 /* to avoid bringing the entire thing in audit.h */
104 const char *audit_tree_path(struct audit_tree *tree)
106 return tree->pathname;
109 static void free_chunk(struct audit_chunk *chunk)
113 for (i = 0; i < chunk->count; i++) {
114 if (chunk->owners[i].owner)
115 put_tree(chunk->owners[i].owner);
120 void audit_put_chunk(struct audit_chunk *chunk)
122 if (atomic_long_dec_and_test(&chunk->refs))
126 static void __put_chunk(struct rcu_head *rcu)
128 struct audit_chunk *chunk = container_of(rcu, struct audit_chunk, head);
129 audit_put_chunk(chunk);
132 static void audit_tree_destroy_watch(struct fsnotify_mark *entry)
134 struct audit_chunk *chunk = container_of(entry, struct audit_chunk, mark);
135 call_rcu(&chunk->head, __put_chunk);
138 static struct audit_chunk *alloc_chunk(int count)
140 struct audit_chunk *chunk;
144 size = offsetof(struct audit_chunk, owners) + count * sizeof(struct node);
145 chunk = kzalloc(size, GFP_KERNEL);
149 INIT_LIST_HEAD(&chunk->hash);
150 INIT_LIST_HEAD(&chunk->trees);
151 chunk->count = count;
152 atomic_long_set(&chunk->refs, 1);
153 for (i = 0; i < count; i++) {
154 INIT_LIST_HEAD(&chunk->owners[i].list);
155 chunk->owners[i].index = i;
157 fsnotify_init_mark(&chunk->mark, audit_tree_destroy_watch);
158 chunk->mark.mask = FS_IN_IGNORED;
162 enum {HASH_SIZE = 128};
163 static struct list_head chunk_hash_heads[HASH_SIZE];
164 static __cacheline_aligned_in_smp DEFINE_SPINLOCK(hash_lock);
166 static inline struct list_head *chunk_hash(const struct inode *inode)
168 unsigned long n = (unsigned long)inode / L1_CACHE_BYTES;
169 return chunk_hash_heads + n % HASH_SIZE;
172 /* hash_lock & entry->lock is held by caller */
173 static void insert_hash(struct audit_chunk *chunk)
175 struct fsnotify_mark *entry = &chunk->mark;
176 struct list_head *list;
180 list = chunk_hash(entry->inode);
181 list_add_rcu(&chunk->hash, list);
184 /* called under rcu_read_lock */
185 struct audit_chunk *audit_tree_lookup(const struct inode *inode)
187 struct list_head *list = chunk_hash(inode);
188 struct audit_chunk *p;
190 list_for_each_entry_rcu(p, list, hash) {
191 /* mark.inode may have gone NULL, but who cares? */
192 if (p->mark.inode == inode) {
193 atomic_long_inc(&p->refs);
200 int audit_tree_match(struct audit_chunk *chunk, struct audit_tree *tree)
203 for (n = 0; n < chunk->count; n++)
204 if (chunk->owners[n].owner == tree)
209 /* tagging and untagging inodes with trees */
211 static struct audit_chunk *find_chunk(struct node *p)
213 int index = p->index & ~(1U<<31);
215 return container_of(p, struct audit_chunk, owners[0]);
218 static void untag_chunk(struct node *p)
220 struct audit_chunk *chunk = find_chunk(p);
221 struct fsnotify_mark *entry = &chunk->mark;
222 struct audit_chunk *new = NULL;
223 struct audit_tree *owner;
224 int size = chunk->count - 1;
227 fsnotify_get_mark(entry);
229 spin_unlock(&hash_lock);
232 new = alloc_chunk(size);
234 spin_lock(&entry->lock);
235 if (chunk->dead || !entry->inode) {
236 spin_unlock(&entry->lock);
246 spin_lock(&hash_lock);
247 list_del_init(&chunk->trees);
248 if (owner->root == chunk)
250 list_del_init(&p->list);
251 list_del_rcu(&chunk->hash);
252 spin_unlock(&hash_lock);
253 spin_unlock(&entry->lock);
254 fsnotify_destroy_mark(entry, audit_tree_group);
261 fsnotify_duplicate_mark(&new->mark, entry);
262 if (fsnotify_add_mark(&new->mark, new->mark.group, new->mark.inode, NULL, 1)) {
263 fsnotify_put_mark(&new->mark);
268 spin_lock(&hash_lock);
269 list_replace_init(&chunk->trees, &new->trees);
270 if (owner->root == chunk) {
271 list_del_init(&owner->same_root);
275 for (i = j = 0; j <= size; i++, j++) {
276 struct audit_tree *s;
277 if (&chunk->owners[j] == p) {
278 list_del_init(&p->list);
282 s = chunk->owners[j].owner;
283 new->owners[i].owner = s;
284 new->owners[i].index = chunk->owners[j].index - j + i;
285 if (!s) /* result of earlier fallback */
288 list_replace_init(&chunk->owners[j].list, &new->owners[i].list);
291 list_replace_rcu(&chunk->hash, &new->hash);
292 list_for_each_entry(owner, &new->trees, same_root)
294 spin_unlock(&hash_lock);
295 spin_unlock(&entry->lock);
296 fsnotify_destroy_mark(entry, audit_tree_group);
297 fsnotify_put_mark(&new->mark); /* drop initial reference */
301 // do the best we can
302 spin_lock(&hash_lock);
303 if (owner->root == chunk) {
304 list_del_init(&owner->same_root);
307 list_del_init(&p->list);
310 spin_unlock(&hash_lock);
311 spin_unlock(&entry->lock);
313 fsnotify_put_mark(entry);
314 spin_lock(&hash_lock);
317 static int create_chunk(struct inode *inode, struct audit_tree *tree)
319 struct fsnotify_mark *entry;
320 struct audit_chunk *chunk = alloc_chunk(1);
324 entry = &chunk->mark;
325 if (fsnotify_add_mark(entry, audit_tree_group, inode, NULL, 0)) {
326 fsnotify_put_mark(entry);
330 spin_lock(&entry->lock);
331 spin_lock(&hash_lock);
333 spin_unlock(&hash_lock);
335 spin_unlock(&entry->lock);
336 fsnotify_destroy_mark(entry, audit_tree_group);
337 fsnotify_put_mark(entry);
340 chunk->owners[0].index = (1U << 31);
341 chunk->owners[0].owner = tree;
343 list_add(&chunk->owners[0].list, &tree->chunks);
346 list_add(&tree->same_root, &chunk->trees);
349 spin_unlock(&hash_lock);
350 spin_unlock(&entry->lock);
351 fsnotify_put_mark(entry); /* drop initial reference */
355 /* the first tagged inode becomes root of tree */
356 static int tag_chunk(struct inode *inode, struct audit_tree *tree)
358 struct fsnotify_mark *old_entry, *chunk_entry;
359 struct audit_tree *owner;
360 struct audit_chunk *chunk, *old;
364 old_entry = fsnotify_find_inode_mark(audit_tree_group, inode);
366 return create_chunk(inode, tree);
368 old = container_of(old_entry, struct audit_chunk, mark);
370 /* are we already there? */
371 spin_lock(&hash_lock);
372 for (n = 0; n < old->count; n++) {
373 if (old->owners[n].owner == tree) {
374 spin_unlock(&hash_lock);
375 fsnotify_put_mark(old_entry);
379 spin_unlock(&hash_lock);
381 chunk = alloc_chunk(old->count + 1);
383 fsnotify_put_mark(old_entry);
387 chunk_entry = &chunk->mark;
389 spin_lock(&old_entry->lock);
390 if (!old_entry->inode) {
391 /* old_entry is being shot, lets just lie */
392 spin_unlock(&old_entry->lock);
393 fsnotify_put_mark(old_entry);
398 fsnotify_duplicate_mark(chunk_entry, old_entry);
399 if (fsnotify_add_mark(chunk_entry, chunk_entry->group, chunk_entry->inode, NULL, 1)) {
400 spin_unlock(&old_entry->lock);
401 fsnotify_put_mark(chunk_entry);
402 fsnotify_put_mark(old_entry);
406 /* even though we hold old_entry->lock, this is safe since chunk_entry->lock could NEVER have been grabbed before */
407 spin_lock(&chunk_entry->lock);
408 spin_lock(&hash_lock);
410 /* we now hold old_entry->lock, chunk_entry->lock, and hash_lock */
412 spin_unlock(&hash_lock);
414 spin_unlock(&chunk_entry->lock);
415 spin_unlock(&old_entry->lock);
417 fsnotify_destroy_mark(chunk_entry, audit_tree_group);
419 fsnotify_put_mark(chunk_entry);
420 fsnotify_put_mark(old_entry);
423 list_replace_init(&old->trees, &chunk->trees);
424 for (n = 0, p = chunk->owners; n < old->count; n++, p++) {
425 struct audit_tree *s = old->owners[n].owner;
427 p->index = old->owners[n].index;
428 if (!s) /* result of fallback in untag */
431 list_replace_init(&old->owners[n].list, &p->list);
433 p->index = (chunk->count - 1) | (1U<<31);
436 list_add(&p->list, &tree->chunks);
437 list_replace_rcu(&old->hash, &chunk->hash);
438 list_for_each_entry(owner, &chunk->trees, same_root)
443 list_add(&tree->same_root, &chunk->trees);
445 spin_unlock(&hash_lock);
446 spin_unlock(&chunk_entry->lock);
447 spin_unlock(&old_entry->lock);
448 fsnotify_destroy_mark(old_entry, audit_tree_group);
449 fsnotify_put_mark(chunk_entry); /* drop initial reference */
450 fsnotify_put_mark(old_entry); /* pair to fsnotify_find mark_entry */
454 static void audit_tree_log_remove_rule(struct audit_krule *rule)
456 struct audit_buffer *ab;
458 ab = audit_log_start(NULL, GFP_KERNEL, AUDIT_CONFIG_CHANGE);
461 audit_log_format(ab, "op=");
462 audit_log_string(ab, "remove_rule");
463 audit_log_format(ab, " dir=");
464 audit_log_untrustedstring(ab, rule->tree->pathname);
465 audit_log_key(ab, rule->filterkey);
466 audit_log_format(ab, " list=%d res=1", rule->listnr);
470 static void kill_rules(struct audit_tree *tree)
472 struct audit_krule *rule, *next;
473 struct audit_entry *entry;
475 list_for_each_entry_safe(rule, next, &tree->rules, rlist) {
476 entry = container_of(rule, struct audit_entry, rule);
478 list_del_init(&rule->rlist);
480 /* not a half-baked one */
481 audit_tree_log_remove_rule(rule);
483 list_del_rcu(&entry->list);
484 list_del(&entry->rule.list);
485 call_rcu(&entry->rcu, audit_free_rule_rcu);
491 * finish killing struct audit_tree
493 static void prune_one(struct audit_tree *victim)
495 spin_lock(&hash_lock);
496 while (!list_empty(&victim->chunks)) {
499 p = list_entry(victim->chunks.next, struct node, list);
503 spin_unlock(&hash_lock);
507 /* trim the uncommitted chunks from tree */
509 static void trim_marked(struct audit_tree *tree)
511 struct list_head *p, *q;
512 spin_lock(&hash_lock);
514 spin_unlock(&hash_lock);
518 for (p = tree->chunks.next; p != &tree->chunks; p = q) {
519 struct node *node = list_entry(p, struct node, list);
521 if (node->index & (1U<<31)) {
523 list_add(p, &tree->chunks);
527 while (!list_empty(&tree->chunks)) {
530 node = list_entry(tree->chunks.next, struct node, list);
532 /* have we run out of marked? */
533 if (!(node->index & (1U<<31)))
538 if (!tree->root && !tree->goner) {
540 spin_unlock(&hash_lock);
541 mutex_lock(&audit_filter_mutex);
543 list_del_init(&tree->list);
544 mutex_unlock(&audit_filter_mutex);
547 spin_unlock(&hash_lock);
551 static void audit_schedule_prune(void);
553 /* called with audit_filter_mutex */
554 int audit_remove_tree_rule(struct audit_krule *rule)
556 struct audit_tree *tree;
559 spin_lock(&hash_lock);
560 list_del_init(&rule->rlist);
561 if (list_empty(&tree->rules) && !tree->goner) {
563 list_del_init(&tree->same_root);
565 list_move(&tree->list, &prune_list);
567 spin_unlock(&hash_lock);
568 audit_schedule_prune();
572 spin_unlock(&hash_lock);
578 static int compare_root(struct vfsmount *mnt, void *arg)
580 return d_backing_inode(mnt->mnt_root) == arg;
583 void audit_trim_trees(void)
585 struct list_head cursor;
587 mutex_lock(&audit_filter_mutex);
588 list_add(&cursor, &tree_list);
589 while (cursor.next != &tree_list) {
590 struct audit_tree *tree;
592 struct vfsmount *root_mnt;
596 tree = container_of(cursor.next, struct audit_tree, list);
599 list_add(&cursor, &tree->list);
600 mutex_unlock(&audit_filter_mutex);
602 err = kern_path(tree->pathname, 0, &path);
606 root_mnt = collect_mounts(&path);
608 if (IS_ERR(root_mnt))
611 spin_lock(&hash_lock);
612 list_for_each_entry(node, &tree->chunks, list) {
613 struct audit_chunk *chunk = find_chunk(node);
614 /* this could be NULL if the watch is dying else where... */
615 struct inode *inode = chunk->mark.inode;
616 node->index |= 1U<<31;
617 if (iterate_mounts(compare_root, inode, root_mnt))
618 node->index &= ~(1U<<31);
620 spin_unlock(&hash_lock);
622 drop_collected_mounts(root_mnt);
625 mutex_lock(&audit_filter_mutex);
628 mutex_unlock(&audit_filter_mutex);
631 int audit_make_tree(struct audit_krule *rule, char *pathname, u32 op)
634 if (pathname[0] != '/' ||
635 rule->listnr != AUDIT_FILTER_EXIT ||
637 rule->inode_f || rule->watch || rule->tree)
639 rule->tree = alloc_tree(pathname);
645 void audit_put_tree(struct audit_tree *tree)
650 static int tag_mount(struct vfsmount *mnt, void *arg)
652 return tag_chunk(d_backing_inode(mnt->mnt_root), arg);
656 * That gets run when evict_chunk() ends up needing to kill audit_tree.
657 * Runs from a separate thread.
659 static int prune_tree_thread(void *unused)
662 set_current_state(TASK_INTERRUPTIBLE);
663 if (list_empty(&prune_list))
665 __set_current_state(TASK_RUNNING);
667 mutex_lock(&audit_cmd_mutex);
668 mutex_lock(&audit_filter_mutex);
670 while (!list_empty(&prune_list)) {
671 struct audit_tree *victim;
673 victim = list_entry(prune_list.next,
674 struct audit_tree, list);
675 list_del_init(&victim->list);
677 mutex_unlock(&audit_filter_mutex);
681 mutex_lock(&audit_filter_mutex);
684 mutex_unlock(&audit_filter_mutex);
685 mutex_unlock(&audit_cmd_mutex);
690 static int audit_launch_prune(void)
694 prune_thread = kthread_create(prune_tree_thread, NULL,
696 if (IS_ERR(prune_thread)) {
697 pr_err("cannot start thread audit_prune_tree");
701 wake_up_process(prune_thread);
706 /* called with audit_filter_mutex */
707 int audit_add_tree_rule(struct audit_krule *rule)
709 struct audit_tree *seed = rule->tree, *tree;
711 struct vfsmount *mnt;
715 list_for_each_entry(tree, &tree_list, list) {
716 if (!strcmp(seed->pathname, tree->pathname)) {
719 list_add(&rule->rlist, &tree->rules);
724 list_add(&tree->list, &tree_list);
725 list_add(&rule->rlist, &tree->rules);
726 /* do not set rule->tree yet */
727 mutex_unlock(&audit_filter_mutex);
729 if (unlikely(!prune_thread)) {
730 err = audit_launch_prune();
735 err = kern_path(tree->pathname, 0, &path);
738 mnt = collect_mounts(&path);
746 err = iterate_mounts(tag_mount, tree, mnt);
747 drop_collected_mounts(mnt);
751 spin_lock(&hash_lock);
752 list_for_each_entry(node, &tree->chunks, list)
753 node->index &= ~(1U<<31);
754 spin_unlock(&hash_lock);
760 mutex_lock(&audit_filter_mutex);
761 if (list_empty(&rule->rlist)) {
770 mutex_lock(&audit_filter_mutex);
771 list_del_init(&tree->list);
772 list_del_init(&tree->rules);
777 int audit_tag_tree(char *old, char *new)
779 struct list_head cursor, barrier;
781 struct path path1, path2;
782 struct vfsmount *tagged;
785 err = kern_path(new, 0, &path2);
788 tagged = collect_mounts(&path2);
791 return PTR_ERR(tagged);
793 err = kern_path(old, 0, &path1);
795 drop_collected_mounts(tagged);
799 mutex_lock(&audit_filter_mutex);
800 list_add(&barrier, &tree_list);
801 list_add(&cursor, &barrier);
803 while (cursor.next != &tree_list) {
804 struct audit_tree *tree;
807 tree = container_of(cursor.next, struct audit_tree, list);
810 list_add(&cursor, &tree->list);
811 mutex_unlock(&audit_filter_mutex);
813 err = kern_path(tree->pathname, 0, &path2);
815 good_one = path_is_under(&path1, &path2);
821 mutex_lock(&audit_filter_mutex);
825 failed = iterate_mounts(tag_mount, tree, tagged);
828 mutex_lock(&audit_filter_mutex);
832 mutex_lock(&audit_filter_mutex);
833 spin_lock(&hash_lock);
835 list_del(&tree->list);
836 list_add(&tree->list, &tree_list);
838 spin_unlock(&hash_lock);
842 while (barrier.prev != &tree_list) {
843 struct audit_tree *tree;
845 tree = container_of(barrier.prev, struct audit_tree, list);
847 list_del(&tree->list);
848 list_add(&tree->list, &barrier);
849 mutex_unlock(&audit_filter_mutex);
853 spin_lock(&hash_lock);
854 list_for_each_entry(node, &tree->chunks, list)
855 node->index &= ~(1U<<31);
856 spin_unlock(&hash_lock);
862 mutex_lock(&audit_filter_mutex);
866 mutex_unlock(&audit_filter_mutex);
868 drop_collected_mounts(tagged);
873 static void audit_schedule_prune(void)
875 wake_up_process(prune_thread);
879 * ... and that one is done if evict_chunk() decides to delay until the end
880 * of syscall. Runs synchronously.
882 void audit_kill_trees(struct list_head *list)
884 mutex_lock(&audit_cmd_mutex);
885 mutex_lock(&audit_filter_mutex);
887 while (!list_empty(list)) {
888 struct audit_tree *victim;
890 victim = list_entry(list->next, struct audit_tree, list);
892 list_del_init(&victim->list);
894 mutex_unlock(&audit_filter_mutex);
898 mutex_lock(&audit_filter_mutex);
901 mutex_unlock(&audit_filter_mutex);
902 mutex_unlock(&audit_cmd_mutex);
906 * Here comes the stuff asynchronous to auditctl operations
909 static void evict_chunk(struct audit_chunk *chunk)
911 struct audit_tree *owner;
912 struct list_head *postponed = audit_killed_trees();
920 mutex_lock(&audit_filter_mutex);
921 spin_lock(&hash_lock);
922 while (!list_empty(&chunk->trees)) {
923 owner = list_entry(chunk->trees.next,
924 struct audit_tree, same_root);
927 list_del_init(&owner->same_root);
928 spin_unlock(&hash_lock);
931 list_move(&owner->list, &prune_list);
934 list_move(&owner->list, postponed);
936 spin_lock(&hash_lock);
938 list_del_rcu(&chunk->hash);
939 for (n = 0; n < chunk->count; n++)
940 list_del_init(&chunk->owners[n].list);
941 spin_unlock(&hash_lock);
942 mutex_unlock(&audit_filter_mutex);
944 audit_schedule_prune();
947 static int audit_tree_handle_event(struct fsnotify_group *group,
948 struct inode *to_tell,
949 struct fsnotify_mark *inode_mark,
950 struct fsnotify_mark *vfsmount_mark,
951 u32 mask, void *data, int data_type,
952 const unsigned char *file_name, u32 cookie)
957 static void audit_tree_freeing_mark(struct fsnotify_mark *entry, struct fsnotify_group *group)
959 struct audit_chunk *chunk = container_of(entry, struct audit_chunk, mark);
964 * We are guaranteed to have at least one reference to the mark from
965 * either the inode or the caller of fsnotify_destroy_mark().
967 BUG_ON(atomic_read(&entry->refcnt) < 1);
970 static const struct fsnotify_ops audit_tree_ops = {
971 .handle_event = audit_tree_handle_event,
972 .freeing_mark = audit_tree_freeing_mark,
975 static int __init audit_tree_init(void)
979 audit_tree_group = fsnotify_alloc_group(&audit_tree_ops);
980 if (IS_ERR(audit_tree_group))
981 audit_panic("cannot initialize fsnotify group for rectree watches");
983 for (i = 0; i < HASH_SIZE; i++)
984 INIT_LIST_HEAD(&chunk_hash_heads[i]);
988 __initcall(audit_tree_init);