配置集群管理器
配置集群管理器
Cluster Manager服务器有许多影响其行为的配置属性。这些可以使用grb_rsm.cnf配置文件。安装包包含一个预定义的配置文件,可以用作起点(< installdir > / bin / grb_rsm.cnf).
修改参数的最简单方法是编辑默认配置文件。不过,还有其他选择。的grb_rsm进程使用以下优先规则:
- 优先级:使用命令行标志设置的属性(使用——配置)
- 第二优先级:当前目录下的配置文件
- 第三个优先级:固定共享目录中的配置文件(C: \ gurobi,/ opt / gurobi,/图书馆/ gurobi适用于Windows、Linux和macOS平台)
- 第四个优先级:配置文件所在目录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端口。
这些属性允许您配置一些系统级选项。您将在群集管理器的设置页面中找到其他配置属性。这些设置存储在数据库中,并在不同的CLuster Manager实例之间共享。