Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
275 lines (230 sloc) 11.2 KB
/* Copyright 2017 The TensorFlow Authors. All Rights Reserved.
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
See the License for the specific language governing permissions and
limitations under the License.
#include <memory>
#include <utility>
#include <vector>
#include "absl/types/span.h"
#include "absl/types/variant.h"
#include "tensorflow/compiler/xla/debug_options_flags.h"
#include "tensorflow/compiler/xla/service/computation_layout.h"
#include "tensorflow/compiler/xla/service/hlo.pb.h"
#include "tensorflow/compiler/xla/service/hlo_execution_profile.h"
#include "tensorflow/compiler/xla/service/hlo_graph_dumper.h"
#include "tensorflow/compiler/xla/service/hlo_module.h"
#include "tensorflow/compiler/xla/service/maybe_owning_device_memory.h"
#include "tensorflow/compiler/xla/service/service_executable_run_options.h"
#include "tensorflow/compiler/xla/service/shaped_buffer.h"
#include "tensorflow/compiler/xla/shape_tree.h"
#include "tensorflow/compiler/xla/statusor.h"
#include "tensorflow/compiler/xla/util.h"
#include "tensorflow/compiler/xla/xla_data.pb.h"
#include "tensorflow/core/platform/mutex.h"
#include "tensorflow/core/platform/stream_executor_no_cuda.h"
#include "tensorflow/core/platform/thread_annotations.h"
#include "tensorflow/stream_executor/device_memory_allocator.h"
namespace xla {
// ExecutionOutput encapsulates the output buffers of a execution and the
// leftover buffers to be released by the caller.
class ExecutionOutput {
ExecutionOutput(ScopedShapedBuffer result,
std::vector<se::OwningDeviceMemory> to_be_released,
std::vector<ShapeIndex> aliased_indices,
se::OwningDeviceMemory output_shape_table)
: result_(std::move(result)),
output_shape_table_(std::move(output_shape_table)) {}
ExecutionOutput(ExecutionOutput&&) = default;
ExecutionOutput& operator=(ExecutionOutput&&) = default;
~ExecutionOutput() {
// If the ExecutionOutput has not been committed, and if there are aliased
// indices, clear them off the ScopedShapedBuffer to prevent them to be
// released.
for (auto& index : aliased_indices_) {
result_.set_buffer(se::OwningDeviceMemory(), index);
// Should be called once it is known that the execute operation succeeded,
// before returning the ExecutionOutput to the caller.
ExecutionOutput& Commit() {
return *this;
const ScopedShapedBuffer& Result() const { return result_; }
const se::OwningDeviceMemory& ShapeTable() const {
return output_shape_table_;
ScopedShapedBuffer ConsumeResult() {
return std::move(result_);
se::OwningDeviceMemory ConsumeShapeTable() {
return std::move(output_shape_table_);
const std::vector<se::OwningDeviceMemory>& ToBeReleased() const {
return to_be_released_;
std::vector<se::OwningDeviceMemory> ConsumeToBeReleased() {
return std::move(to_be_released_);
ScopedShapedBuffer result_;
// Leftover buffers for the caller to release. Elements in this list are
// donated input memory buffers that are not reused by XLA as outputs.
std::vector<se::OwningDeviceMemory> to_be_released_;
// These are the indices in result_ which have been aliased from the caller.
// If the execution operation fails, the caller should maintain ownership of
// the buffer, so we track the indices here, and unless the ExecutionOutput is
// committed, we remove them from the result_ before destruction.
std::vector<ShapeIndex> aliased_indices_;
// A shape table is a continuous region in memory that is used to hold the
// runtime dimension sizes of dynamic output shapes.
se::OwningDeviceMemory output_shape_table_;
// A given platform's compiler will produce an Executable -- this is a uniform
// interface that is used for launching compiled programs across platforms.
class Executable {
explicit Executable(
std::shared_ptr<HloModule> hlo_module,
std::unique_ptr<HloProfilePrinterData> hlo_profile_printer_data,
std::unique_ptr<HloProfileIndexMap> hlo_profile_index_map)
: hlo_module_(std::move(hlo_module)),
hlo_profile_index_map_(std::move(hlo_profile_index_map)) {
CHECK_EQ(hlo_profile_printer_data_.get() == nullptr,
hlo_profile_index_map_.get() == nullptr);
virtual ~Executable() {}
// Enqueues the compilation result on the provided stream, passing the given
// arguments. This call is blocking and returns after the execution is done.
// If the hlo_execution_profile is provided as non-nullptr, profiling will be
// enabled.
// Returns a shaped buffer containing the result of the computation.
StatusOr<ScopedShapedBuffer> ExecuteOnStream(
const ServiceExecutableRunOptions* run_options,
absl::Span<const ShapedBuffer* const> arguments,
HloExecutionProfile* hlo_execution_profile);
// Starts the given program executing on the given stream/executor.
// `arguments` are ShapeTree containing the input parameters. For each element
// in the shape tree, if the element holds the ownership of the memory, it is
// considered donated and XLA will potentially reuse it as output buffers. For
// all donated inputs, XLA is also responsible for freeing them.
// If an input is donated to XLA but is not reused as output, it is returned
// as an leftover buffer for the caller to release.
// This call should be non-blocking and may return as soon as all of the
// operations are enqueued for launch on the stream. Note that some
// implementations may in fact block or may block in some circumstances (e.g.,
// when profiling); i.e., asynchronous is a "may" not a "must".
// If the hlo_execution_profile is provided as non-nullptr, profiling will be
// enabled. Note that profiling is tricky to use correctly, as the profiling
// objects (when they exist) must out-live the task.
StatusOr<ScopedShapedBuffer> ExecuteAsyncOnStream(
const ServiceExecutableRunOptions* run_options,
absl::Span<const ShapedBuffer* const> arguments,
HloExecutionProfile* hlo_execution_profile);
// Same as ExecuteAsyncOnStream(), but blocks waiting for the computation to
// complete.
StatusOr<ExecutionOutput> ExecuteOnStream(
const ServiceExecutableRunOptions* run_options,
std::vector<ShapeTree<MaybeOwningDeviceMemory>> arguments,
HloExecutionProfile* hlo_execution_profile);
virtual StatusOr<ExecutionOutput> ExecuteAsyncOnStream(
const ServiceExecutableRunOptions* run_options,
std::vector<ShapeTree<MaybeOwningDeviceMemory>> arguments,
HloExecutionProfile* hlo_execution_profile) = 0;
// Same as ExecuteOnStream(), but runs this executable on multiple
// streams. arguments[i] contains the arguments to the execution on
// run_options[i]->stream() and the returned value is at index i of the
// returned vector.
virtual StatusOr<std::vector<ScopedShapedBuffer>> ExecuteOnStreams(
absl::Span<const ServiceExecutableRunOptions> run_options,
absl::Span<const absl::Span<const ShapedBuffer* const>> arguments);
// Populates `hlo_execution_profile` from `executor`. This is implicit in any
// Execute* API call that takes a hlo_execution_profile argument, but must be
// called explicitly for other (async, for example) variants after the stream
// has completed.
virtual Status PopulateExecutionProfile(
ExecutionProfile* execution_profile,
HloExecutionProfile* hlo_execution_profile, se::Stream* stream) {
return Status::OK();
// Convenience wrapper for calling Executable::ExecuteOnStream. Sets up a
// timer for the execution, sets up HLO profiling if enabled, and fills in the
// given ExecutionProfile if non-null.
StatusOr<ScopedShapedBuffer> ExecuteOnStreamWrapper(
const ServiceExecutableRunOptions* run_options,
absl::Span<const ShapedBuffer* const> arguments);
StatusOr<ScopedShapedBuffer> ExecuteAsyncOnStreamWrapper(
const ServiceExecutableRunOptions* run_options,
absl::Span<const ShapedBuffer* const> arguments);
StatusOr<ExecutionOutput> ExecuteAsyncOnStreamWrapper(
const ServiceExecutableRunOptions* run_options,
std::vector<ShapeTree<MaybeOwningDeviceMemory>> arguments);
const HloProfilePrinterData& hlo_profile_printer_data() const {
return *hlo_profile_printer_data_;
const HloProfileIndexMap& hlo_profile_index_map() const {
return *hlo_profile_index_map_;
// Returns whether this executable was compiled with HLO profilings support
// enabled. If not, the caller should not expect an hlo_execution_profile
// passed to ExecuteOnStream above to be populated during execution.
bool hlo_profiling_enabled() const {
return hlo_profile_printer_data_ != nullptr;
HloModule& module() const { return *hlo_module_; }
std::shared_ptr<HloModule> shared_module() const { return hlo_module_; }
const bool has_module() const { return hlo_module_ != nullptr; }
const HloModuleConfig& module_config() const { return hlo_module_->config(); }
// The shape (including layout) that results from this execution. This is the
// shape of the DeviceMemoryBase result value in ExecuteOnStream above.
const Shape& result_shape() const {
return hlo_module_->config().entry_computation_layout().result_shape();
// Returns the size of the executable in bytes. Returns -1 if this query is
// not supported by the executable.
// Does not include the size of used libraries (e.g. cuDNN, Eigen, etc.).
virtual int64 SizeOfGeneratedCodeInBytes();
// Dumping helpers.
void set_hlo_proto(std::unique_ptr<xla::HloProto> hlo_proto) {
hlo_proto_ = std::move(hlo_proto);
bool dumping_snapshot() const { return hlo_proto_ != nullptr; }
HloProto const* hlo_proto() const { return hlo_proto_.get(); }
// HloModule this was compiled from. BufferAssignment keeps pointers to
// HloInstructions owned by the HloModule so we need to keep the HloModule
// around.
const std::shared_ptr<HloModule> hlo_module_;
// The serialized HLO proto. Non-null only if dumping snapshots is enabled.
std::unique_ptr<HloProto const> hlo_proto_;
// Execution count, used to generate a unique filename for each dumped
// execution.
int64 execution_count_ = 0;
std::unique_ptr<HloProfilePrinterData> hlo_profile_printer_data_;
std::unique_ptr<HloProfileIndexMap> hlo_profile_index_map_;
} // namespace xla
You can’t perform that action at this time.