]> git.ipfire.org Git - thirdparty/mdadm.git/blame - policy.c
First steps to supporting auto-spare-add to groups of partitioned devices.
[thirdparty/mdadm.git] / policy.c
CommitLineData
5527fc74
N
1/*
2 * mdadm - manage Linux "md" devices aka RAID arrays.
3 *
4 * Copyright (C) 2001-2009 Neil Brown <neilb@suse.de>
5 *
6 *
7 * This program is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation; either version 2 of the License, or
10 * (at your option) any later version.
11 *
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with this program; if not, write to the Free Software
19 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20 *
21 * Author: Neil Brown
22 * Email: <neilb@suse.de>
23 */
24
25#include "mdadm.h"
26#include <dirent.h>
27#include <fnmatch.h>
28#include <ctype.h>
29#include "dlink.h"
30/*
31 * Policy module for mdadm.
32 * A policy statement about a device lists a set of values for each
33 * of a set of names. Each value can have a metadata type as context.
34 *
35 * names include:
36 * action - the actions that can be taken on hot-plug
37 * domain - the domain(s) that the device is part of
38 *
39 * Policy information is extracted from various sources, but
40 * particularly from a set of policy rules in mdadm.conf
41 */
42
43void pol_new(struct dev_policy **pol, char *name, char *val, char *metadata)
44{
45 struct dev_policy *n = malloc(sizeof(*n));
46 const char *real_metadata = NULL;
47 int i;
48
49 n->name = name;
50 n->value = val;
51
52 /* We need to normalise the metadata name */
53 if (metadata) {
54 for (i = 0; superlist[i] ; i++)
55 if (strcmp(metadata, superlist[i]->name) == 0) {
56 real_metadata = superlist[i]->name;
57 break;
58 }
59 if (!real_metadata) {
60 if (strcmp(metadata, "1") == 0 ||
61 strcmp(metadata, "1.0") == 0 ||
62 strcmp(metadata, "1.1") == 0 ||
63 strcmp(metadata, "1.2") == 0)
64 real_metadata = super1.name;
65 }
66 if (!real_metadata) {
67 static char *prev = NULL;
68 if (prev != metadata) {
69 fprintf(stderr, Name ": metadata=%s unrecognised - ignoring rule\n",
70 metadata);
71 prev = metadata;
72 }
73 real_metadata = "unknown";
74 }
75 }
76
77 n->metadata = real_metadata;
78 n->next = *pol;
79 *pol = n;
80}
81
82static int pol_lesseq(struct dev_policy *a, struct dev_policy *b)
83{
84 int cmp;
85
86 if (a->name < b->name)
87 return 1;
88 if (a->name > b->name)
89 return 0;
90
91 cmp = strcmp(a->value, b->value);
92 if (cmp < 0)
93 return 1;
94 if (cmp > 0)
95 return 0;
96
97 return (a->metadata <= b->metadata);
98}
99
100static void pol_sort(struct dev_policy **pol)
101{
102 /* sort policy list in *pol by name/metadata/value
103 * using merge sort
104 */
105
106 struct dev_policy *pl[2];
107 pl[0] = *pol;
108 pl[1] = NULL;
109
110 do {
111 struct dev_policy **plp[2], *p[2];
112 int curr = 0;
113 struct dev_policy nul = { NULL, NULL, NULL, NULL };
114 struct dev_policy *prev = &nul;
115 int next = 0;
116
117 /* p[] are the two lists that we are merging.
118 * plp[] are the ends of the two lists we create
119 * from the merge.
120 * 'curr' is which of plp[] that we are currently
121 * adding items to.
122 * 'next' is which if p[] we will take the next
123 * item from.
124 * 'prev' is that last value, which was placed in
125 * plp[curr].
126 */
127 plp[0] = &pl[0];
128 plp[1] = &pl[1];
129 p[0] = pl[0];
130 p[1] = pl[1];
131
132 /* take least of p[0] and p[1]
133 * if it is larger than prev, add to
134 * plp[curr], else swap curr then add
135 */
136 while (p[0] || p[1]) {
137 if (p[next] == NULL ||
138 (p[1-next] != NULL &&
139 !(pol_lesseq(prev, p[1-next])
140 ^pol_lesseq(p[1-next], p[next])
141 ^pol_lesseq(p[next], prev)))
142 )
143 next = 1 - next;
144
145 if (!pol_lesseq(prev, p[next]))
146 curr = 1 - curr;
147
148 *plp[curr] = prev = p[next];
149 plp[curr] = &p[next]->next;
150 p[next] = p[next]->next;
151 }
152 *plp[0] = NULL;
153 *plp[1] = NULL;
154 } while (pl[0] && pl[1]);
155 if (pl[0])
156 *pol = pl[0];
157 else
158 *pol = pl[1];
159}
160
161static void pol_dedup(struct dev_policy *pol)
162{
163 /* This is a sorted list - remove duplicates. */
164 while (pol && pol->next) {
165 if (pol_lesseq(pol->next, pol)) {
166 struct dev_policy *tmp = pol->next;
167 pol->next = tmp->next;
168 free(tmp);
169 } else
170 pol = pol->next;
171 }
172}
173
174/*
175 * pol_find finds the first entry in the policy
176 * list to match name.
177 * If it returns non-NULL there is at least one
178 * value, but how many can only be found by
179 * iterating through the list.
180 */
181struct dev_policy *pol_find(struct dev_policy *pol, char *name)
182{
183 while (pol && pol->name < name)
184 pol = pol->next;
185
186 if (!pol || pol->name != name)
187 return NULL;
188 return pol;
189}
190
191static char *disk_path(struct mdinfo *disk)
192{
193 struct stat stb;
194 int prefix_len;
195 DIR *by_path;
196 char symlink[PATH_MAX] = "/dev/disk/by-path/";
197 struct dirent *ent;
198
199 by_path = opendir(symlink);
200 if (!by_path)
201 return NULL;
202 prefix_len = strlen(symlink);
203
204 while ((ent = readdir(by_path)) != NULL) {
205 if (ent->d_type != DT_LNK)
206 continue;
207 strncpy(symlink + prefix_len,
208 ent->d_name,
209 sizeof(symlink) - prefix_len);
210 if (stat(symlink, &stb) < 0)
211 continue;
212 if ((stb.st_mode & S_IFMT) != S_IFBLK)
213 continue;
214 if (stb.st_rdev != makedev(disk->disk.major, disk->disk.minor))
215 continue;
216 closedir(by_path);
217 return strdup(ent->d_name);
218 }
219 closedir(by_path);
220 return NULL;
221}
222
223char type_part[] = "part";
224char type_disk[] = "disk";
225static char *disk_type(struct mdinfo *disk)
226{
227 char buf[30+20+20];
228 struct stat stb;
229 sprintf(buf, "/sys/dev/block/%d:%d/partition",
230 disk->disk.major, disk->disk.minor);
231 if (stat(buf, &stb) == 0)
232 return type_part;
233 else
234 return type_disk;
235}
236
237static int pol_match(struct rule *rule, char *path, char *type)
238{
239 /* check if this rule matches on path and type */
240 int pathok = 0; /* 0 == no path, 1 == match, -1 == no match yet */
241 int typeok = 0;
242
243 while (rule) {
244 if (rule->name == rule_path) {
245 if (pathok == 0)
246 pathok = -1;
247 if (fnmatch(rule->value, path, 0) == 0)
248 pathok = 1;
249 }
250 if (rule->name == rule_type) {
251 if (typeok == 0)
252 typeok = -1;
253 if (strcmp(rule->value, type) == 0)
254 typeok = 1;
255 }
256 rule = rule->next;
257 }
258 return pathok >= 0 && typeok >= 0;
259}
260
261static void pol_merge(struct dev_policy **pol, struct rule *rule)
262{
263 /* copy any name assignments from rule into pol */
264 struct rule *r;
265 char *metadata = NULL;
266 for (r = rule; r ; r = r->next)
267 if (r->name == pol_metadata)
268 metadata = r->value;
269
270 for (r = rule; r ; r = r->next)
271 if (r->name == pol_act ||
272 r->name == pol_domain)
273 pol_new(pol, r->name, r->value, metadata);
274}
275
276static int path_has_part(char *path, char **part)
277{
278 /* check if path ends with "-partNN" and
279 * if it does, place a pointer to "-pathNN"
280 * in 'part'.
281 */
282 int l = strlen(path);
283 while (l > 1 && isdigit(path[l-1]))
284 l--;
285 if (l < 5 || strncmp(path+l-5, "-part", 5) != 0)
286 return 0;
287 *part = path+l-4;
288 return 1;
289}
290
291static void pol_merge_part(struct dev_policy **pol, struct rule *rule, char *part)
292{
293 /* copy any name assignments from rule into pol, appending
294 * -part to any domain. The string with -part appended is
295 * stored with the rule so it has a lifetime to match
296 * the rule.
297 */
298 struct rule *r;
299 char *metadata = NULL;
300 for (r = rule; r ; r = r->next)
301 if (r->name == pol_metadata)
302 metadata = r->value;
303
304 for (r = rule; r ; r = r->next) {
305 if (r->name == pol_act)
306 pol_new(pol, r->name, r->value, metadata);
307 else if (r->name == pol_domain) {
308 char *dom;
309 int len;
310 if (r->dups == NULL)
311 r->dups = dl_head();
312 len = strlen(r->value);
313 for (dom = dl_next(r->dups); dom != r->dups;
314 dom = dl_next(dom))
315 if (strcmp(dom+len+1, part)== 0)
316 break;
317 if (dom == r->dups) {
318 char *newdom = dl_strndup(
319 r->value, len + 1 + strlen(part));
320 strcat(strcat(newdom, "-"), part);
321 dl_add(r->dups, newdom);
322 dom = newdom;
323 }
324 pol_new(pol, r->name, dom, metadata);
325 }
326 }
327}
328
329static struct pol_rule *config_rules = NULL;
330static struct pol_rule **config_rules_end = NULL;
331static int config_rules_has_path = 0;
332
333/*
334 * most policy comes from a set policy rules that are
335 * read from the config file.
336 * disk_policy() gathers policy information for the
337 * disk described in the given mdinfo (disk.{major,minor}).
338 */
339struct dev_policy *disk_policy(struct mdinfo *disk)
340{
341 char *path = NULL;
342 char *type = disk_type(disk);
343 struct pol_rule *rules;
344 struct dev_policy *pol = NULL;
345
346 if (!type)
347 return NULL;
348 if (config_rules_has_path) {
349 path = disk_path(disk);
350 if (!path)
351 return NULL;
352 }
353
354 rules = config_rules;
355
356 while (rules) {
357 char *part;
358 if (rules->type == rule_policy)
359 if (pol_match(rules->rule, path, type))
360 pol_merge(&pol, rules->rule);
361 if (rules->type == rule_part && strcmp(type, type_part) == 0)
362 if (path_has_part(path, &part)) {
363 *part = 0;
364 if (pol_match(rules->rule, path, type_disk))
365 pol_merge_part(&pol, rules->rule, part+1);
366 *part = '-';
367 }
368 rules = rules->next;
369 }
370 pol_sort(&pol);
371 pol_dedup(pol);
372 free(path);
373 return pol;
374}
375
376/*
377 * process policy rules read from config file.
378 */
379
380char rule_path[] = "path";
381char rule_type[] = "type";
382
383char rule_policy[] = "policy";
384char rule_part[] = "part-policy";
385
386char pol_metadata[] = "metadata";
387char pol_act[] = "action";
388char pol_domain[] = "domain";
389
390static int try_rule(char *w, char *name, struct rule **rp)
391{
392 struct rule *r;
393 int len = strlen(name);
394 if (strncmp(w, name, len) != 0 ||
395 w[len] != '=')
396 return 0;
397 r = malloc(sizeof(*r));
398 r->next = *rp;
399 r->name = name;
400 r->value = strdup(w+len+1);
401 r->dups = NULL;
402 *rp = r;
403 return 1;
404}
405
406void policyline(char *line, char *type)
407{
408 struct pol_rule *pr;
409 char *w;
410
411 if (config_rules_end == NULL)
412 config_rules_end = &config_rules;
413
414 pr = malloc(sizeof(*pr));
415 pr->type = type;
416 pr->rule = NULL;
417 for (w = dl_next(line); w != line ; w = dl_next(w)) {
418 if (try_rule(w, rule_path, &pr->rule))
419 config_rules_has_path = 1;
420 else if (! try_rule(w, rule_type, &pr->rule) &&
421 ! try_rule(w, pol_metadata, &pr->rule) &&
422 ! try_rule(w, pol_act, &pr->rule) &&
423 ! try_rule(w, pol_domain, &pr->rule))
424 fprintf(stderr, Name ": policy rule %s unrecognised and ignored\n",
425 w);
426 }
427 pr->next = config_rules;
428 config_rules = pr;
429}
430
431void policy_free(void)
432{
433 while (config_rules) {
434 struct pol_rule *pr = config_rules;
435 struct rule *r;
436
437 config_rules = config_rules->next;
438
439 for (r = pr->rule; r; ) {
440 struct rule *next = r->next;
441 free(r->value);
442 if (r->dups)
443 free_line(r->dups);
444 free(r);
445 r = next;
446 }
447 free(pr);
448 }
449 config_rules_end = NULL;
450 config_rules_has_path = 0;
451}
452
453void dev_policy_free(struct dev_policy *p)
454{
455 struct dev_policy *t;
456 while (p) {
457 t = p;
458 p = p->next;
459 free(t);
460 }
461}
e3bb5f14
N
462
463static enum policy_action map_act(char *act)
464{
465 if (strcmp(act, "include") == 0)
466 return act_include;
467 if (strcmp(act, "re-add") == 0)
468 return act_re_add;
469 if (strcmp(act, "spare") == 0)
470 return act_spare;
471 if (strcmp(act, "force-spare") == 0)
472 return act_force_spare;
473 return act_err;
474}
475
476static enum policy_action policy_action(struct dev_policy *plist, const char *metadata)
477{
478 enum policy_action rv = act_default;
479 struct dev_policy *p;
480
481 plist = pol_find(plist, pol_act);
482 pol_for_each(p, plist, metadata) {
483 enum policy_action a = map_act(p->value);
484 if (a > rv)
485 rv = a;
486 }
487 return rv;
488}
489
490int policy_action_allows(struct dev_policy *plist, const char *metadata, enum policy_action want)
491{
492 enum policy_action act = policy_action(plist, metadata);
493
494 if (act == act_err)
495 return 0;
496 return (act >= want);
497}
498
499int disk_action_allows(struct mdinfo *disk, const char *metadata, enum policy_action want)
500{
501 struct dev_policy *pol = disk_policy(disk);
502 int rv = policy_action_allows(pol, metadata, want);
503
504 dev_policy_free(pol);
505 return rv;
506}
f5f12c84
N
507
508
509/* Domain policy:
510 * Any device can have a list of domains asserted by different policy
511 * statements.
512 * An array also has a list of domains comprising all the domains of
513 * all the devices in an array.
514 * Where an array has a spare-group, that becomes an addition domain for
515 * every device in the array and thus for the array.
516 *
517 * We keep the list of domains in a sorted linked list
518 * As dev policies are already sorted, this is fairly easy to manage.
519 */
520
521static struct domainlist **domain_merge_one(struct domainlist **domp, char *domain)
522{
523 /* merge a domain name into a sorted list and return the
524 * location of the insertion or match
525 */
526 struct domainlist *dom = *domp;
527
528 while (dom && strcmp(dom->dom, domain) < 0) {
529 domp = &dom->next;
530 dom = *domp;
531 }
532 if (dom == NULL || strcmp(dom->dom, domain) != 0) {
533 dom = malloc(sizeof(*dom));
534 dom->next = *domp;
535 dom->dom = domain;
536 *domp = dom;
537 }
538 return domp;
539}
540
541void domain_merge(struct domainlist **domp, struct dev_policy *pollist,
542 const char *metadata)
543{
544 /* Add to 'domp' all the domains in pol that apply to 'metadata'
545 * which are not already in domp
546 */
547 struct dev_policy *pol;
548 pollist = pol_find(pollist, pol_domain);
549 pol_for_each(pol, pollist, metadata)
550 domp = domain_merge_one(domp, pol->value);
551}
552
553int domain_test(struct domainlist *dom, struct dev_policy *pol,
554 const char *metadata)
555{
556 /* Check that all domains in pol (for metadata) are also in
557 * dom. Both lists are sorted.
558 * If pol has no domains, we don't really know about this device
559 * so we reject the match.
560 */
561 int found_any = 0;
562 struct dev_policy *p;
563
564 pol = pol_find(pol, pol_domain);
565 pol_for_each(p, pol, metadata) {
566 found_any = 1;
567 while (dom && strcmp(dom->dom, pol->value) < 0)
568 dom = dom->next;
569 if (!dom || strcmp(dom->dom, pol->value) != 0)
570 return 0;
571 }
572 return found_any;
573}
574
575struct domainlist *domain_from_array(struct mdinfo *mdi, const char *metadata)
576{
577 struct domainlist *domlist = NULL;
578
579 for (mdi = mdi->devs ; mdi ; mdi = mdi->next) {
580 struct dev_policy *pol = disk_policy(mdi);
581
582 domain_merge(&domlist, pol, metadata);
583 dev_policy_free(pol);
584 }
585 return domlist;
586}
587
588void domain_free(struct domainlist *dl)
589{
590 while (dl) {
591 struct domainlist *head = dl;
592 dl = dl->next;
593 free(head);
594 }
595}