Commit c3a27611 authored by Ondrej Mosnacek's avatar Ondrej Mosnacek Committed by Paul Moore

selinux: optimize storage of filename transitions

In these rules, each rule with the same (target type, target class,
filename) values is (in practice) always mapped to the same result type.
Therefore, it is much more efficient to group the rules by (ttype,
tclass, filename).

Thus, this patch drops the stype field from the key and changes the
datum to be a linked list of one or more structures that contain a
result type and an ebitmap of source types that map the given target to
the given result type under the given filename. The size of the hash
table is also incremented to 2048 to be more optimal for Fedora policy
(which currently has ~2500 unique (ttype, tclass, filename) tuples,
regardless of whether the 'unconfined' module is enabled).

Not only does this dramtically reduce memory usage when the policy
contains a lot of unconfined domains (ergo a lot of filename based
transitions), but it also slightly reduces memory usage of strongly
confined policies (modeled on Fedora policy with 'unconfined' module
disabled) and significantly reduces lookup times of these rules on
Fedora (roughly matches the performance of the rhashtable conversion
patch [1] posted recently to selinux@vger.kernel.org).

An obvious next step is to change binary policy format to match this
layout, so that disk space is also saved. However, since that requires
more work (including matching userspace changes) and this patch is
already beneficial on its own, I'm posting it separately.

Performance/memory usage comparison:

Kernel           | Policy load | Policy load   | Mem usage | Mem usage     | openbench
                 |             | (-unconfined) |           | (-unconfined) | (createfiles)
-----------------|-------------|---------------|-----------|---------------|--------------
reference        |       1,30s |         0,91s |      90MB |          77MB | 55 us/file
rhashtable patch |       0.98s |         0,85s |      85MB |          75MB | 38 us/file
this patch       |       0,95s |         0,87s |      75MB |          75MB | 40 us/file

(Memory usage is measured after boot. With SELinux disabled the memory
usage was ~60MB on the same system.)

[1] https://lore.kernel.org/selinux/20200116213937.77795-1-dev@lynxeye.de/T/Signed-off-by: default avatarOndrej Mosnacek <omosnace@redhat.com>
Acked-by: default avatarStephen Smalley <sds@tycho.nsa.gov>
Signed-off-by: default avatarPaul Moore <paul@paul-moore.com>
parent 253050f5
...@@ -336,11 +336,17 @@ static int (*destroy_f[SYM_NUM]) (void *key, void *datum, void *datap) = ...@@ -336,11 +336,17 @@ static int (*destroy_f[SYM_NUM]) (void *key, void *datum, void *datap) =
static int filenametr_destroy(void *key, void *datum, void *p) static int filenametr_destroy(void *key, void *datum, void *p)
{ {
struct filename_trans *ft = key; struct filename_trans_key *ft = key;
struct filename_trans_datum *next, *d = datum;
kfree(ft->name); kfree(ft->name);
kfree(key); kfree(key);
kfree(datum); do {
ebitmap_destroy(&d->stypes);
next = d->next;
kfree(d);
d = next;
} while (unlikely(d));
cond_resched(); cond_resched();
return 0; return 0;
} }
...@@ -406,12 +412,12 @@ static int roles_init(struct policydb *p) ...@@ -406,12 +412,12 @@ static int roles_init(struct policydb *p)
static u32 filenametr_hash(struct hashtab *h, const void *k) static u32 filenametr_hash(struct hashtab *h, const void *k)
{ {
const struct filename_trans *ft = k; const struct filename_trans_key *ft = k;
unsigned long hash; unsigned long hash;
unsigned int byte_num; unsigned int byte_num;
unsigned char focus; unsigned char focus;
hash = ft->stype ^ ft->ttype ^ ft->tclass; hash = ft->ttype ^ ft->tclass;
byte_num = 0; byte_num = 0;
while ((focus = ft->name[byte_num++])) while ((focus = ft->name[byte_num++]))
...@@ -421,14 +427,10 @@ static u32 filenametr_hash(struct hashtab *h, const void *k) ...@@ -421,14 +427,10 @@ static u32 filenametr_hash(struct hashtab *h, const void *k)
static int filenametr_cmp(struct hashtab *h, const void *k1, const void *k2) static int filenametr_cmp(struct hashtab *h, const void *k1, const void *k2)
{ {
const struct filename_trans *ft1 = k1; const struct filename_trans_key *ft1 = k1;
const struct filename_trans *ft2 = k2; const struct filename_trans_key *ft2 = k2;
int v; int v;
v = ft1->stype - ft2->stype;
if (v)
return v;
v = ft1->ttype - ft2->ttype; v = ft1->ttype - ft2->ttype;
if (v) if (v)
return v; return v;
...@@ -495,7 +497,7 @@ static int policydb_init(struct policydb *p) ...@@ -495,7 +497,7 @@ static int policydb_init(struct policydb *p)
goto out; goto out;
p->filename_trans = hashtab_create(filenametr_hash, filenametr_cmp, p->filename_trans = hashtab_create(filenametr_hash, filenametr_cmp,
(1 << 10)); (1 << 11));
if (!p->filename_trans) { if (!p->filename_trans) {
rc = -ENOMEM; rc = -ENOMEM;
goto out; goto out;
...@@ -1882,64 +1884,84 @@ static int range_read(struct policydb *p, void *fp) ...@@ -1882,64 +1884,84 @@ static int range_read(struct policydb *p, void *fp)
static int filename_trans_read_one(struct policydb *p, void *fp) static int filename_trans_read_one(struct policydb *p, void *fp)
{ {
struct filename_trans *ft; struct filename_trans_key key, *ft = NULL;
struct filename_trans_datum *otype = NULL; struct filename_trans_datum *last, *datum = NULL;
char *name = NULL; char *name = NULL;
u32 len; u32 len, stype, otype;
__le32 buf[4]; __le32 buf[4];
int rc; int rc;
ft = kzalloc(sizeof(*ft), GFP_KERNEL);
if (!ft)
return -ENOMEM;
rc = -ENOMEM;
otype = kmalloc(sizeof(*otype), GFP_KERNEL);
if (!otype)
goto out;
/* length of the path component string */ /* length of the path component string */
rc = next_entry(buf, fp, sizeof(u32)); rc = next_entry(buf, fp, sizeof(u32));
if (rc) if (rc)
goto out; return rc;
len = le32_to_cpu(buf[0]); len = le32_to_cpu(buf[0]);
/* path component string */ /* path component string */
rc = str_read(&name, GFP_KERNEL, fp, len); rc = str_read(&name, GFP_KERNEL, fp, len);
if (rc) if (rc)
goto out; return rc;
ft->name = name;
rc = next_entry(buf, fp, sizeof(u32) * 4); rc = next_entry(buf, fp, sizeof(u32) * 4);
if (rc) if (rc)
goto out; goto out;
ft->stype = le32_to_cpu(buf[0]); stype = le32_to_cpu(buf[0]);
ft->ttype = le32_to_cpu(buf[1]); key.ttype = le32_to_cpu(buf[1]);
ft->tclass = le32_to_cpu(buf[2]); key.tclass = le32_to_cpu(buf[2]);
key.name = name;
otype->otype = le32_to_cpu(buf[3]); otype = le32_to_cpu(buf[3]);
rc = ebitmap_set_bit(&p->filename_trans_ttypes, ft->ttype, 1); last = NULL;
if (rc) datum = hashtab_search(p->filename_trans, &key);
goto out; while (datum) {
if (unlikely(ebitmap_get_bit(&datum->stypes, stype - 1))) {
/* conflicting/duplicate rules are ignored */
datum = NULL;
goto out;
}
if (likely(datum->otype == otype))
break;
last = datum;
datum = datum->next;
}
if (!datum) {
rc = -ENOMEM;
datum = kmalloc(sizeof(*datum), GFP_KERNEL);
if (!datum)
goto out;
rc = hashtab_insert(p->filename_trans, ft, otype); ebitmap_init(&datum->stypes);
if (rc) { datum->otype = otype;
/* datum->next = NULL;
* Do not return -EEXIST to the caller, or the system
* will not boot. if (unlikely(last)) {
*/ last->next = datum;
if (rc == -EEXIST) } else {
rc = 0; rc = -ENOMEM;
goto out; ft = kmemdup(&key, sizeof(key), GFP_KERNEL);
if (!ft)
goto out;
rc = hashtab_insert(p->filename_trans, ft, datum);
if (rc)
goto out;
name = NULL;
rc = ebitmap_set_bit(&p->filename_trans_ttypes,
key.ttype, 1);
if (rc)
return rc;
}
} }
return 0; kfree(name);
return ebitmap_set_bit(&datum->stypes, stype - 1, 1);
out: out:
kfree(ft); kfree(ft);
kfree(name); kfree(name);
kfree(otype); kfree(datum);
return rc; return rc;
} }
...@@ -1957,6 +1979,8 @@ static int filename_trans_read(struct policydb *p, void *fp) ...@@ -1957,6 +1979,8 @@ static int filename_trans_read(struct policydb *p, void *fp)
return rc; return rc;
nel = le32_to_cpu(buf[0]); nel = le32_to_cpu(buf[0]);
p->filename_trans_count = nel;
for (i = 0; i < nel; i++) { for (i = 0; i < nel; i++) {
rc = filename_trans_read_one(p, fp); rc = filename_trans_read_one(p, fp);
if (rc) if (rc)
...@@ -3334,50 +3358,50 @@ static int range_write(struct policydb *p, void *fp) ...@@ -3334,50 +3358,50 @@ static int range_write(struct policydb *p, void *fp)
static int filename_write_helper(void *key, void *data, void *ptr) static int filename_write_helper(void *key, void *data, void *ptr)
{ {
__le32 buf[4]; struct filename_trans_key *ft = key;
struct filename_trans *ft = key; struct filename_trans_datum *datum = data;
struct filename_trans_datum *otype = data; struct ebitmap_node *node;
void *fp = ptr; void *fp = ptr;
__le32 buf[4];
int rc; int rc;
u32 len; u32 bit, len = strlen(ft->name);
len = strlen(ft->name); do {
buf[0] = cpu_to_le32(len); ebitmap_for_each_positive_bit(&datum->stypes, node, bit) {
rc = put_entry(buf, sizeof(u32), 1, fp); buf[0] = cpu_to_le32(len);
if (rc) rc = put_entry(buf, sizeof(u32), 1, fp);
return rc; if (rc)
return rc;
rc = put_entry(ft->name, sizeof(char), len, fp); rc = put_entry(ft->name, sizeof(char), len, fp);
if (rc) if (rc)
return rc; return rc;
buf[0] = cpu_to_le32(ft->stype); buf[0] = cpu_to_le32(bit + 1);
buf[1] = cpu_to_le32(ft->ttype); buf[1] = cpu_to_le32(ft->ttype);
buf[2] = cpu_to_le32(ft->tclass); buf[2] = cpu_to_le32(ft->tclass);
buf[3] = cpu_to_le32(otype->otype); buf[3] = cpu_to_le32(datum->otype);
rc = put_entry(buf, sizeof(u32), 4, fp); rc = put_entry(buf, sizeof(u32), 4, fp);
if (rc) if (rc)
return rc; return rc;
}
datum = datum->next;
} while (unlikely(datum));
return 0; return 0;
} }
static int filename_trans_write(struct policydb *p, void *fp) static int filename_trans_write(struct policydb *p, void *fp)
{ {
u32 nel;
__le32 buf[1]; __le32 buf[1];
int rc; int rc;
if (p->policyvers < POLICYDB_VERSION_FILENAME_TRANS) if (p->policyvers < POLICYDB_VERSION_FILENAME_TRANS)
return 0; return 0;
nel = 0; buf[0] = cpu_to_le32(p->filename_trans_count);
rc = hashtab_map(p->filename_trans, hashtab_cnt, &nel);
if (rc)
return rc;
buf[0] = cpu_to_le32(nel);
rc = put_entry(buf, sizeof(u32), 1, fp); rc = put_entry(buf, sizeof(u32), 1, fp);
if (rc) if (rc)
return rc; return rc;
......
...@@ -89,15 +89,16 @@ struct role_trans { ...@@ -89,15 +89,16 @@ struct role_trans {
struct role_trans *next; struct role_trans *next;
}; };
struct filename_trans { struct filename_trans_key {
u32 stype; /* current process */
u32 ttype; /* parent dir context */ u32 ttype; /* parent dir context */
u16 tclass; /* class of new object */ u16 tclass; /* class of new object */
const char *name; /* last path component */ const char *name; /* last path component */
}; };
struct filename_trans_datum { struct filename_trans_datum {
u32 otype; /* expected of new object */ struct ebitmap stypes; /* bitmap of source types for this otype */
u32 otype; /* resulting type of new object */
struct filename_trans_datum *next; /* record for next otype*/
}; };
struct role_allow { struct role_allow {
...@@ -267,6 +268,7 @@ struct policydb { ...@@ -267,6 +268,7 @@ struct policydb {
struct ebitmap filename_trans_ttypes; struct ebitmap filename_trans_ttypes;
/* actual set of filename_trans rules */ /* actual set of filename_trans rules */
struct hashtab *filename_trans; struct hashtab *filename_trans;
u32 filename_trans_count;
/* bools indexed by (value - 1) */ /* bools indexed by (value - 1) */
struct cond_bool_datum **bool_val_to_struct; struct cond_bool_datum **bool_val_to_struct;
......
...@@ -1692,8 +1692,8 @@ static void filename_compute_type(struct policydb *policydb, ...@@ -1692,8 +1692,8 @@ static void filename_compute_type(struct policydb *policydb,
u32 stype, u32 ttype, u16 tclass, u32 stype, u32 ttype, u16 tclass,
const char *objname) const char *objname)
{ {
struct filename_trans ft; struct filename_trans_key ft;
struct filename_trans_datum *otype; struct filename_trans_datum *datum;
/* /*
* Most filename trans rules are going to live in specific directories * Most filename trans rules are going to live in specific directories
...@@ -1703,14 +1703,18 @@ static void filename_compute_type(struct policydb *policydb, ...@@ -1703,14 +1703,18 @@ static void filename_compute_type(struct policydb *policydb,
if (!ebitmap_get_bit(&policydb->filename_trans_ttypes, ttype)) if (!ebitmap_get_bit(&policydb->filename_trans_ttypes, ttype))
return; return;
ft.stype = stype;
ft.ttype = ttype; ft.ttype = ttype;
ft.tclass = tclass; ft.tclass = tclass;
ft.name = objname; ft.name = objname;
otype = hashtab_search(policydb->filename_trans, &ft); datum = hashtab_search(policydb->filename_trans, &ft);
if (otype) while (datum) {
newcontext->type = otype->otype; if (ebitmap_get_bit(&datum->stypes, stype - 1)) {
newcontext->type = datum->otype;
return;
}
datum = datum->next;
}
} }
static int security_compute_sid(struct selinux_state *state, static int security_compute_sid(struct selinux_state *state,
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment