配置集群管理器


配置集群管理器

Cluster Manager服务器有许多影响其行为的配置属性。这些可以用grb_rsm.cnf配置文件。安装包包含一个预定义的配置文件,可以用作起点(< installdir > / bin / grb_rsm.cnf).

修改参数的最简单方法是编辑默认配置文件。不过,还有其他选择。的grb_rsm进程使用以下优先规则:

  • 第一优先级:使用命令行标志设置属性(使用——配置
  • 第二优先级:当前目录中的配置文件
  • 第三个优先级:共享目录中的配置文件(C: \ gurobi/ opt / gurobi/图书馆/ gurobi适用于Windows、Linux和Mac OS平台)
  • 第四个优先级:目录中的配置文件grb_rsm位于
通过此文件配置的大多数属性都与通信选项或数据库连接有关。配置文件被读取一次,当grb_rsm第一个开始。对文件的后续更改不会影响正在运行的服务器上的参数值。

配置文件格式

配置文件包含表单的属性列表属性=值.以#符号开头的行将被视为注释并被忽略。下面是一个例子:

# grb_rsm.cnf配置文件PORT=61080 CLUSTER_TOKEN=GRBTK-BzlUTKg9M/+HUvOpy/EPebc1CsttzOfdrfQshL4QkLm1FA== DB_URI=mongodb://127.0.0.1:27017
虽然您可以从头创建这个文件,但我们建议您从产品中包含的版本开始,然后对其进行修改。

grb_rsm属性命令列出所有可用属性及其默认值,并为每个属性提供文档。manbet体育手机客户端有些可以在grb_rsm命令行;的grb_rsm属性命令显示要使用的命令行标志的名称。以下是一些更重要的因素:

CLUSTER_TOKEN
令牌是允许不同节点加入同一集群的私钥。集群的所有节点和集群管理器必须具有相同的令牌。我们建议您在设置集群时生成一个全新的令牌。的grb_rs令牌命令将生成一个随机令牌,您可以将其复制到配置文件中。
DB_URI
这是到数据库的连接字符串。
港口
此属性指示客户端与集群管理器之间使用何种端口进行HTTP或HTTPS通信。默认情况下,它将使用端口61080。
HISTORY_MAX_AGE
此属性指示作业和批在历史记录中保留多长时间。默认为7天。