diff options
Diffstat (limited to '__root__/doc/rgmanager-pacemaker.02.resources.txt')
-rw-r--r-- | __root__/doc/rgmanager-pacemaker.02.resources.txt | 1 |
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)] |