配置集群管理器
配置集群管理器
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.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天。