summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJan Pokorný <jpokorny@redhat.com>2016-01-29 16:39:54 +0100
committerJan Pokorný <jpokorny@redhat.com>2016-02-01 23:54:26 +0100
commit407547b4605664416e013f7102f7e7a6e594d666 (patch)
tree59381352403125d78e20a21607a0baabc70ca8c0
parent1a1934c600e9ae3b7aa8d746d4d67db751cb8342 (diff)
downloadclufter-407547b4605664416e013f7102f7e7a6e594d666.tar.gz
clufter-407547b4605664416e013f7102f7e7a6e594d666.tar.xz
clufter-407547b4605664416e013f7102f7e7a6e594d666.zip
doc/rgmanager-pacemaker.02.resource: internal COOCCURRENCE ref.
Signed-off-by: Jan Pokorný <jpokorny@redhat.com>
-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)]