Package jline.solvers.wrappers.jmt.handlers

Class SaveHandlers.ServerPools

java.lang.Object

jline.solvers.wrappers.jmt.handlers.SaveHandlers.ServerPools

Enclosing class:

SaveHandlers

public static class SaveHandlers.ServerPools
extends Object

Server pools and job parallelism of a node, as the JMT Server section needs them.

JMT's Server section takes classParallelism, serverNames, serversPerServerType, serverCompatibilities and schedulingPolicy as one positional block of its constructor (jmt.engine.NodeSections.Server), so the five are emitted together or not at all, and always after the service strategies. A station declaring parallelism alone is therefore given one synthetic pool holding all of its servers, since the pool counts, not numberOfServers, size the server pool once any pool is declared.

Field Summary

Fields

Modifier and Type	Field	Description
final Matrix	compat	Pool-class compatibility, (nTypes x K), 1.0 where the pool serves the class.
final Matrix	counts	Servers held by each pool.
final List<String>	names	Pool names, one per server type.
final Matrix	parallelism	Servers seized at once by a job, (1 x K).
final HeteroSchedPolicy	policy	Assignment policy across pools.

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

names

public final List<String> names

Pool names, one per server type.

counts

public final Matrix counts

Servers held by each pool.

compat

public final Matrix compat

Pool-class compatibility, (nTypes x K), 1.0 where the pool serves the class.

policy

public final HeteroSchedPolicy policy

Assignment policy across pools.

parallelism

public final Matrix parallelism

Servers seized at once by a job, (1 x K).