summaryrefslogtreecommitdiffstats
path: root/__root__/doc/rgmanager-pacemaker.02.resources.txt
diff options
context:
space:
mode:
Diffstat (limited to '__root__/doc/rgmanager-pacemaker.02.resources.txt')
-rw-r--r--__root__/doc/rgmanager-pacemaker.02.resources.txt1
1 files changed, 1 insertions, 0 deletions
diff --git a/__root__/doc/rgmanager-pacemaker.02.resources.txt b/__root__/doc/rgmanager-pacemaker.02.resources.txt
index f33f2ac..cc4fecc 100644
--- a/__root__/doc/rgmanager-pacemaker.02.resources.txt
+++ b/__root__/doc/rgmanager-pacemaker.02.resources.txt
@@ -309,6 +309,7 @@ R: driven by `/cluster/rm/<service>/@exclusive`
P: driven by `utilization` constraint
(or possibly by a set of `colocation` constraints:
for all r in RESOURCES\RESOURCE: COOCCURRENCE(RESOURCE, r, -INF) [1]
+ (see [3. negative cooccurrence])
[1. model of non-node-exclusive/co-occurrence-positive resource, based on 2.]
for all B' in RUNNABLE(A): EXCLUSIVE(B', FALSE) [implies EXCLUSIVE(B, FALSE)]