-
Notifications
You must be signed in to change notification settings - Fork 42
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
dbb7d46
commit d6f70ca
Showing
2 changed files
with
220 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,218 @@ | ||
# %% [markdown] | ||
# # Asynchronous batch Bayesian Optimization | ||
# | ||
# As shown in [Asynchronous Bayesian Optimization](asynchronous_greedy_multiprocessing.ipynb) tutorial, Trieste provides support for running observations asynchronously. In that tutorial we used a greedy batch acquisition function called Local Penalization, and requested one new point whenever an observation was received. We also used the Python multiprocessing module to run distributed observations in parallel. | ||
# | ||
# Here, we demonstrate a slightly different way of doing asynchronous Bayesian optimization. First, we make use of a non-greedy batch acquisition function, known as Batch Monte Carlo Expected Improvement. Second, we wait for several workers to finish, and then launch a new batch of points. However, since our batch size is smaller than the number of workers available, this approach is a hybrid between completely asynchronous and completely synchronous batch optimization. Note that greed acquisition functions also support batch sizes. Third, we use [Ray](https://www.ray.io/) to hide away most of the complexity of managing distributed workloads. There is no hard dependency in Trieste on a particular tool for parallel processing, and other libraries, such as [Dask](https://dask.org/), can be used. | ||
# | ||
# Together these two notebooks give a comprehensive overview of how to use Trieste in asynchronous scenarios. | ||
|
||
# %% | ||
# silence TF warnings and info messages, only print errors | ||
# https://stackoverflow.com/questions/35911252/disable-tensorflow-debugging-information | ||
import os | ||
from pathlib import Path | ||
|
||
from ray.exceptions import LocalRayletDiedError | ||
|
||
os.environ["TF_CPP_MIN_LOG_LEVEL"] = "3" | ||
import tensorflow as tf | ||
|
||
tf.get_logger().setLevel("ERROR") | ||
import ray | ||
import numpy as np | ||
import time | ||
|
||
|
||
# %% [markdown] | ||
# Just as in the other [notebook on asynchronous optimization](asynchronous_greedy_multiprocessing.ipynb), we use Branin function with delays. | ||
|
||
# %% | ||
from trieste.objectives import ScaledBranin | ||
|
||
|
||
def objective(points, sleep=True): | ||
if points.shape[1] != 2: | ||
raise ValueError( | ||
f"Incorrect input shape, expected (*, 2), got {points.shape}" | ||
) | ||
|
||
observations = [] | ||
for point in points: | ||
observation = ScaledBranin.objective(point).numpy() | ||
if sleep: | ||
# insert some artificial delay that | ||
# increases linearly with the absolute value of points | ||
# which means our evaluations will take different time | ||
delay = 3 * np.sum(point) | ||
time.sleep(delay) | ||
observations.append((point, observation)) | ||
|
||
return observations | ||
|
||
|
||
# %% | ||
# Let's confirm our objective function works as expected | ||
objective(np.array([[0.1, 0.5]]), sleep=False) | ||
|
||
|
||
# %% [markdown] | ||
# To turn our objective function into a Ray task, we wrap it in a function with appropriate decorator. We are not using anything beyond Ray tasks API in this tutorial, and refer interested readers to [Ray documentation](https://docs.ray.io/en/latest/walkthrough.html) and [Ray crash course](https://github.com/anyscale/academy/blob/main/ray-crash-course/01-Ray-Tasks.ipynb) for more details. | ||
|
||
|
||
# %% | ||
@ray.remote | ||
def ray_objective(points, sleep=True): | ||
return objective(points, sleep) | ||
|
||
|
||
# %% [markdown] | ||
# We prepare the model and some initial data to kick-start the optimization process. | ||
|
||
# %% | ||
from trieste.space import Box | ||
from trieste.data import Dataset | ||
|
||
search_space = Box([0, 0], [1, 1]) | ||
num_initial_points = 3 | ||
initial_query_points = search_space.sample(num_initial_points) | ||
initial_observations = objective(initial_query_points, sleep=False) | ||
initial_data = Dataset( | ||
query_points=initial_query_points, | ||
observations=tf.constant( | ||
[x[1] for x in initial_observations], dtype=tf.float64 | ||
), | ||
) | ||
|
||
import gpflow | ||
from trieste.models.gpflow import GaussianProcessRegression, build_gpr | ||
|
||
|
||
# We set the likelihood variance to a small number because | ||
# we are dealing with a noise-free problem. | ||
gpflow_model = build_gpr(initial_data, search_space, likelihood_variance=1e-7) | ||
model = GaussianProcessRegression(gpflow_model) | ||
|
||
# %% [markdown] | ||
# Here we set up the configuration of our optimization run. See comments below for details. | ||
|
||
# %% | ||
# Number of worker processes to run simultaneously | ||
# Setting this to 1 will reduce our optimization to non-batch sequential | ||
num_workers = 4 | ||
# Number of observations to collect | ||
num_observations = 30 | ||
# Batch size of the acquisition function. We will wait for that many workers to return before launching a new batch | ||
batch_size = 2 | ||
# Set this flag to False to disable sleep delays in case you want the notebook to execute quickly | ||
enable_sleep_delays = True | ||
|
||
# %% [markdown] | ||
# Now we are ready to define the optimizer. Notice how we set the acquisition function to be `BatchMonteCarloExpectedImprovement`. It is also the default function used by the `AsynchronousOptimization` rule, but here we specify it explicitly for clarity. We also set the batch size. | ||
|
||
# %% | ||
from trieste.acquisition.rule import AsynchronousOptimization | ||
from trieste.acquisition.function import BatchMonteCarloExpectedImprovement | ||
from trieste.ask_tell_optimization import AskTellOptimizer | ||
|
||
monte_carlo_sample_size = 10000 | ||
acquisition_function = BatchMonteCarloExpectedImprovement( | ||
sample_size=monte_carlo_sample_size | ||
) | ||
async_rule = AsynchronousOptimization(acquisition_function, num_query_points=batch_size) # type: ignore | ||
async_bo = AskTellOptimizer(search_space, initial_data, model, async_rule) | ||
|
||
# %% [markdown] | ||
# Initialize Ray. This line will output the dashboard URL, which you can open in a separate tab to watch workers doing observations. | ||
|
||
# %% | ||
ray.init(ignore_reinit_error=True) | ||
|
||
# %% [markdown] | ||
# Here is the main optimization loop. First we ask for several batches of points to make sure all allocated workers are busy. Then we keep waiting for the workers to complete their tasks. Whenever `batch_size` of tasks came back, we tell Trieste new observations and ask for another batch of points. | ||
|
||
# %% | ||
points_observed = 0 | ||
workers = [] | ||
|
||
|
||
# a helper function to launch a worker for a numpy array representing a single point | ||
def launch_worker(x): | ||
worker = ray_objective.remote(np.atleast_2d(x), enable_sleep_delays) | ||
workers.append(worker) | ||
|
||
|
||
# get first couple of batches of points and init all workers | ||
for _ in range(int(num_workers / batch_size)): | ||
points = async_bo.ask().numpy() | ||
np.apply_along_axis(launch_worker, axis=1, arr=points) | ||
|
||
finished_workers = [] | ||
while points_observed < num_observations: | ||
ready_workers, remaining_workers = ray.wait(workers, timeout=0) | ||
finished_workers += ready_workers | ||
workers = remaining_workers | ||
|
||
if len(finished_workers) < batch_size: | ||
continue | ||
|
||
# we saw enough results to ask for a new batch | ||
|
||
try: | ||
new_observations = [ | ||
observation | ||
for worker in finished_workers | ||
for observation in ray.get(worker) | ||
] | ||
except LocalRayletDiedError: | ||
print("") | ||
print("=======raylet.out=======") | ||
print(Path("raylet.out").read_text()) | ||
|
||
# new_observations is a list of tuples (point, observation value) | ||
# here we turn it into a Dataset and tell it to Trieste | ||
points_observed += len(new_observations) | ||
new_data = Dataset( | ||
query_points=tf.constant( | ||
[x[0] for x in new_observations], dtype=tf.float64 | ||
), | ||
observations=tf.constant( | ||
[x[1] for x in new_observations], dtype=tf.float64 | ||
), | ||
) | ||
async_bo.tell(new_data) | ||
|
||
# get a new batch of points | ||
# and launch workers for each point in the batch | ||
points = async_bo.ask().numpy() | ||
np.apply_along_axis(launch_worker, axis=1, arr=points) | ||
finished_workers = [] | ||
|
||
# %% [markdown] | ||
# Let's plot the objective function and the points the optimization procedure explored. | ||
|
||
# %% | ||
from trieste.experimental.plotting import plot_function_2d, plot_bo_points | ||
|
||
dataset = async_bo.to_result().try_get_final_dataset() | ||
arg_min_idx = tf.squeeze(tf.argmin(dataset.observations, axis=0)) | ||
query_points = dataset.query_points.numpy() | ||
observations = dataset.observations.numpy() | ||
_, ax = plot_function_2d( | ||
ScaledBranin.objective, | ||
search_space.lower, | ||
search_space.upper, | ||
contour=True, | ||
) | ||
|
||
plot_bo_points( | ||
query_points, ax[0, 0], num_initial_points, arg_min_idx, c_pass="tab:red" | ||
) | ||
|
||
# %% | ||
ray.shutdown() # "Undo ray.init()". Terminate all the processes started in this notebook. | ||
|
||
# %% [markdown] | ||
# ## LICENSE | ||
# | ||
# [Apache License 2.0](https://github.com/secondmind-labs/trieste/blob/develop/LICENSE) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters