/* Copyright (c) 2016 PaddlePaddle Authors. All Rights Reserve. 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 http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. */ #pragma once #include "paddle/framework/operator.h" namespace paddle { namespace operators { using namespace paddle::framework; namespace rnn { /** * Memory of a RNN (same as the role of `Momory` in PaddlePaddle). * * Memory attributes cached by this op, dims will be infered from * boot memories in father scope. Other attributes are copied from Op's proto * attributes. */ struct MemoryAttr { // name of current state variable std::string var; // name of previous step's state variable std::string pre_var; // name of the variables to init this memory (same role of `boot_layer` in // PaddlePaddle), which is store in father's scope. std::string boot_var; }; struct Link { // input or output links name. std::string internal; // alias to avoid duplicate keys in scopes. std::string external; }; struct Argument { std::string step_net; std::string step_scopes; std::vector inlinks; std::vector outlinks; std::vector memories; }; struct ArgumentName { std::string step_net; std::string step_scopes; std::string inlinks; std::string outlinks; std::string inlink_alias; // the alias of inlinks in step net. std::string outlink_alias; // the alias of outlinks in step net. std::string memories; // the memory name std::string pre_memories; // the previous memory name std::string boot_memories; // the boot memory name }; /** * Prepare inputs for each step net. */ void SegmentInputs(std::vector>& step_scopes, const std::vector& inlinks, const size_t seq_len); /** * Process outputs of step nets and merge to variables. */ void ConcatOutputs(std::vector>& step_scopes, const std::vector& outlinks, const size_t seq_len); void LinkMemories(std::vector>& step_scopes, const std::vector& memories, size_t step_id, int offset); void InitArgument(const ArgumentName& name, Argument* arg); }; // namespace rnn // The sequence format in RecurrentOp is Tensor now. // TODO: // 1. No-padding computing for sequences with indifinite length in one batch. // 2. Hierarchical RNN for sequence with sub-sequence. // 3. Internal Memory. // 4. More Complex RNN architecture, such as Gated Feedback RNN. // Refer to: https://arxiv.org/pdf/1502.02367.pdf class RecurrentAlgorithm { public: void Run(const std::shared_ptr& scope, const platform::DeviceContext& dev_ctx) const; void Init(std::unique_ptr arg) { arg_ = std::move(arg); } /** * InferShape must be called before Run. */ void InferShape(const std::shared_ptr& scope) const; protected: /* * The step scopes will be stored in the father scope as a variable. * * NOTE the scopes are reused in both the forward and backward, so just * create once and expand its size if more steps need. */ void CreateScopes(std::shared_ptr scope) const; inline const std::vector>& GetStepScopes( std::shared_ptr scope) const { return *(scope->GetVariable(arg_->step_scopes)) ->GetMutable>>(); } void InitMemories(std::shared_ptr step_scopes) const; private: std::unique_ptr arg_; mutable size_t seq_len_; }; class RecurrentGradientAlgorithm { /** * RNN's backward alogorithm. * * To accelerate the development of RecurrentGradientOp, we decouple RNN's * algorithm and `OperatorBase`'s implementation, the former contains the core * implementation of a RNN, and will keep stable even if the framework changes * a * lot, and the latter is a wrapper acts like an dapter for it to make RNN an * operator. */ public: void Init(std::unique_ptr arg) { arg_ = std::move(arg); } void Run(const std::shared_ptr& scope, const platform::DeviceContext& dev_ctx) const; void LinkBootMemoryGradients(std::shared_ptr step_scopes) const; /** * InferShape must be called before Run. */ void InferShape(const std::shared_ptr& scope) const; protected: inline const std::vector>& GetStepScopes( std::shared_ptr scope) const { return *(scope->GetVariable(arg_->step_scopes)) ->GetMutable>>(); } private: std::unique_ptr arg_; mutable size_t seq_len_; }; class RecurrentOp final : public OperatorBase { public: void Init() override; /** * InferShape must be called before Run. */ virtual void InferShape(const std::shared_ptr& scope) const override { alg_.InferShape(scope); } virtual void Run(const std::shared_ptr& scope, const platform::DeviceContext& dev_ctx) const override { alg_.Run(scope, dev_ctx); } static const rnn::ArgumentName kArgName; private: RecurrentAlgorithm alg_; }; class RecurrentGradientOp final : public OperatorBase { public: void Init() override; /** * InferShape must be called before Run. */ virtual void InferShape(const std::shared_ptr& scope) const override { alg_.InferShape(scope); } virtual void Run(const std::shared_ptr& scope, const platform::DeviceContext& dev_ctx) const override { alg_.Run(scope, dev_ctx); } static const rnn::ArgumentName kArgName; private: RecurrentGradientAlgorithm alg_; }; } // namespace operators } // namespace paddle