Gurobi即时云

池

池定义一台或多台计算机的配置。当Gurobi客户端库连接到Instant Cloud以获得云计算机环境时，池用于引用要使用的计算机组。如果机器已经启动，就会立即使用。如果一些机器没有运行，Instant Cloud将自动启动它们，以便客户端能够在它们可用时立即启动优化。这些池将启动机器并等待它们准备就绪的过程完全自动化。

一个池可以被多个应用程序和用户共享。第一个访问池的应用程序将触发所需机器的启动，任何其他应用程序的后续解决方案将能够在无需等待机器的情况下执行。

可以创建一个池来区分不同上下文中使用的配置:大的或小的优化问题，开发vs生产部署，不同的区域(数据中心)以最小化延迟……

池有一个名称(只有字母数字字符)，它的大小表明池中有多少计算服务器。如果许可类型是'full compute server'，则池配置还可以指定与每个计算服务器关联的分布式worker的数量。计算服务器和分布式工作者(如果有的话)具有相同的配置:机器类型、区域、空闲关机、空闲作业超时、作业限制和Gurobi版本。

每个license都会自动创建一个默认池。默认池不能删除，但可以修改配置。当license文件中没有指定存储池时，使用默认存储池。默认池的名称为默认的．

池的状态以彩色图标显示:

	池还没有准备好，一些机器还没有启动。
	池还没有准备好，一些机器已经启动，但还不能使用。
	池已准备好，池中指定的所有机器都可用。
	池有错误，你可以把鼠标移过去，工具提示会显示准确的原因。

除了状态之外，您还可以执行以下操作。有些操作特定于一个池，有些操作可以应用于多个池，在这种情况下，您可以使用复选框切换选择。

	添加一个池。在添加池时，您可以指定它的名称、许可和所有配置参数。
	按比例增加或减少水池。
	编辑一个池。池配置可以更改，以便可以根据需要进行调整，而无需更改客户机或部署的应用程序。注意，池的名称和它的许可证不能更改。还要注意，更改池配置只有在新机器启动时才会生效。为避免同一池中的计算机之间可能存在不一致的配置，请先终止这些计算机。
	您还可以从池列表中下载池许可文件。license文件中包含所选池的默认访问ID和密钥。你只需要把这个文件放在优先的主目录中，或者放在以下共享目录中: C: \ gurobi \ Windows上 在Linux上的/ opt / gurobi / /Library/gurobi/ Mac OS X 如果您以前安装了许可文件，请确保替换它，或设置环境变量GRB_LICENSE_FILE要指向云许可文件，它将覆盖默认位置。
	删除选中的池。当删除池时，所有正在运行的机器也将被终止。
	终止池。为池启动的机器通常会根据idle shutdown参数自动终止。但是，在某些情况下，手动终止机器可能是有用的。
	发射池。当优化问题准备好处理时，池通常会由客户端自动启动。但是，手动启动池可能会很有用。当启动池时，池中丢失的机器部分将被启动。

创建或编辑池

当创建或编辑一个池时，你可以访问以下属性:

的名字	池的名称对于给定的许可证来说是唯一的。名称必须仅由字母和数字字符组成，名称'default'被保留。池的名称不能修改。
描述	池的可选描述。
大小	必须为此池启动的计算服务器的数量。
许可证	用于此池的许可证。池的license不可更改。
工人	为每个计算服务器启动的分布式工作程序的数量。此选项只能为“完整计算服务器”许可类型设置。
Gurobi版本	Gurobi Optimizer运行时的版本。
空闲关闭	空闲关机指定一个持续时间限制(以分钟为单位)，在此之后机器将自动终止。
闲置超时工作	此超时指定一个持续时间限制(以分钟为单位)，在没有发送到服务器的命令时，作业将自动终止。当一些客户端在不活动时(例如在交互式python shell狗万app足彩中)保持连接打开时，这有助于避免使用资源。也可以使用属性在客户端指定此超时CSIdleTimeout．客户端默认值为30分钟。实际值将是客户端指定的值与池指定的值之间的最大值。
工作限制	每个计算服务器的最大并发作业数。此选项只能为“完整计算服务器”许可类型设置。
提供者	云服务提供商，亚马逊网络服务(AWS)或微软Azure。
地区	区域引用提供机器的数据中心的位置。请选择距离操作较近的区域，以减少延迟。
机器类型	可以根据需要提供不同的机器类型(主要是内存和CPU)。根据机器类型和许可证的不同，机器和分布式工人的成本可能有所不同。即时云可以给你更多的细节和成本的估计。

池扩展

可以使用即时云管理器或REST API扩大或缩小您的池。池定义了许多计算服务器，这些服务器实际上是服务器的最小数量。因此，当客户端启动一个池时，当这些服务器准备好时，池就准备好了。然后，您可以通过请求将其他服务器添加到池中来进行扩展。当添加服务器时，它们会自动加入池的计算服务器集群，并开始处理新的作业或已经在现有服务器中排队的作业。

池将通过使用现有的空闲关闭参数自动缩小。这意味着任何在此时间限制内处于空闲状态的服务器将被终止，直到完全终止池。池还可以通过减少服务器数量显式地缩小。在这种情况下，如果一台机器必须停止，但它已经在运行一个作业，那么它将被移到排水模式，在这种模式下，新的作业将不被处理，而正在运行的作业将被正常处理。当这些工作完成时，机器将自动终止。

为了更好地监视，池视图显示正在启动、停止和准备就绪的计算机的数量。

静态寻址(已弃用，v7。x只)

高级用户还可以从池的静态寻址特性中获益。使用这个特性，将为池中的机器保留一组静态IP地址。然后，当机器启动时，将为每台机器分配一个静态IP地址。如果机器被终止并重新启动，它们将始终获得池的静态IP地址之一。当安装了客户端防火墙，并且可以声明静态IP地址以使通信量能够到达Gurobi Cloud机器时，这是非常有用的。由于IP地址是静态的，不需要更新防火墙。但是，如果池的大小、分布式工作人员的数量或区域发生了变化，则IP地址集将被调整，防火墙将不得不更新。

要使用这个特性，首先需要在首选项中全局激活它。然后，在创建或编辑池时，需要在地址选项卡。当您创建或更改配置时，您将注意到池的状态指示为正在进行中，因为IP地址正在供应中。当地址完全准备好后，池状态恢复到稳定状态，您可以再次访问地址选项卡来下载IP地址列表。