attribute.h 14.7 KB
Newer Older
1
/* Copyright (c) 2016 PaddlePaddle Authors. All Rights Reserved.
Y
Yi Wang 已提交
2 3 4 5 6 7 8 9 10 11 12 13 14

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. */

15 16
#pragma once

17
#include <stdint.h>
18
#include <functional>
19
#include <iosfwd>
20 21
#include <string>
#include <unordered_map>
Y
Yu Yang 已提交
22
#include <unordered_set>
23
#include <vector>
Y
Yi Wang 已提交
24

25
#include "boost/variant/get.hpp"
Y
Yi Wang 已提交
26 27 28
#include "paddle/fluid/framework/framework.pb.h"
#include "paddle/fluid/framework/type_defs.h"
#include "paddle/fluid/platform/enforce.h"
29
#include "paddle/fluid/platform/errors.h"
30 31 32

namespace paddle {
namespace framework {
T
tangwei12 已提交
33 34 35 36 37 38 39 40 41 42 43

template <typename T>
struct ExtractAttribute {
  explicit ExtractAttribute(const std::string& attr_name)
      : attr_name_(attr_name) {}

  T* operator()(Attribute& attr) const {
    T* attr_value = nullptr;
    try {
      attr_value = &boost::get<T>(attr);
    } catch (boost::bad_get& bad_get) {
44 45 46 47
      PADDLE_THROW(platform::errors::InvalidArgument(
          "Cannot get attribute (%s) by type %s, its type is %s.", attr_name_,
          paddle::platform::demangle(typeid(T).name()),
          paddle::platform::demangle(attr.type().name())));
T
tangwei12 已提交
48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67
    }
    return attr_value;
  }

  const std::string& attr_name_;
};

// special handle bool
// FIXME(yuyang18): Currently we cast bool into int in python binding. It is
// hard to change the logic there. In another way, we should correct handle
// if the user set `some_flag=1`.
//
// FIX ME anytime if there is a better solution.
template <>
struct ExtractAttribute<bool> {
  explicit ExtractAttribute(const std::string& attr_name)
      : attr_name_(attr_name) {}

  bool* operator()(Attribute& attr) const {
    if (attr.type() == typeid(int)) {  // NOLINT
68
      int val = BOOST_GET_CONST(int, attr);
T
tangwei12 已提交
69 70
      attr = static_cast<bool>(val);
    } else if (attr.type() == typeid(float)) {  // NOLINT
71
      float val = BOOST_GET_CONST(float, attr);
T
tangwei12 已提交
72 73 74 75 76 77
      attr = static_cast<bool>(val);
    }
    bool* attr_value = nullptr;
    try {
      attr_value = &boost::get<bool>(attr);
    } catch (boost::bad_get& bad_get) {
78 79 80
      PADDLE_THROW(platform::errors::InvalidArgument(
          "Cannot get attribute (%s) by type bool, its type is %s.", attr_name_,
          paddle::platform::demangle(attr.type().name())));
T
tangwei12 已提交
81 82 83 84 85 86 87 88 89 90 91 92 93 94
    }
    return attr_value;
  }

  const std::string& attr_name_;
};

template <>
struct ExtractAttribute<int64_t> {
  explicit ExtractAttribute(const std::string& attr_name)
      : attr_name_(attr_name) {}

  int64_t* operator()(Attribute& attr) const {
    if (attr.type() == typeid(int)) {  // NOLINT
95
      int val = BOOST_GET_CONST(int, attr);
T
tangwei12 已提交
96 97
      attr = static_cast<int64_t>(val);
    } else if (attr.type() == typeid(float)) {  // NOLINT
98
      int val = BOOST_GET_CONST(float, attr);
T
tangwei12 已提交
99 100 101 102 103 104
      attr = static_cast<int64_t>(val);
    }
    int64_t* attr_value = nullptr;
    try {
      attr_value = &boost::get<int64_t>(attr);
    } catch (boost::bad_get& bad_get) {
105 106 107
      PADDLE_THROW(platform::errors::InvalidArgument(
          "Cannot get attribute (%s) by type int64_t, its type is %s.",
          attr_name_, paddle::platform::demangle(attr.type().name())));
T
tangwei12 已提交
108 109 110 111 112 113 114 115 116 117 118 119 120 121
    }
    return attr_value;
  }

  const std::string& attr_name_;
};

template <>
struct ExtractAttribute<std::vector<int64_t>> {
  explicit ExtractAttribute(const std::string& attr_name)
      : attr_name_(attr_name) {}

  std::vector<int64_t>* operator()(Attribute& attr) const {
    if (attr.type() == typeid(std::vector<int>)) {  // NOLINT
122
      std::vector<int> val = BOOST_GET_CONST(std::vector<int>, attr);
T
tangwei12 已提交
123 124 125
      std::vector<int64_t> vec(val.begin(), val.end());
      attr = vec;
    } else if (attr.type() == typeid(std::vector<float>)) {  // NOLINT
126
      std::vector<float> val = BOOST_GET_CONST(std::vector<float>, attr);
T
tangwei12 已提交
127 128 129 130 131 132 133
      std::vector<int64_t> vec(val.begin(), val.end());
      attr = vec;
    }
    std::vector<int64_t>* attr_value = nullptr;
    try {
      attr_value = &boost::get<std::vector<int64_t>>(attr);
    } catch (boost::bad_get& bad_get) {
134 135 136 137
      PADDLE_THROW(platform::errors::InvalidArgument(
          "Cannot get attribute (%s) by type std::vector<int64_t>, its type is "
          "%s.",
          attr_name_, paddle::platform::demangle(attr.type().name())));
T
tangwei12 已提交
138 139 140 141 142 143
    }
    return attr_value;
  }

  const std::string& attr_name_;
};
144 145 146 147 148 149 150 151

template <>
struct ExtractAttribute<float> {
  explicit ExtractAttribute(const std::string& attr_name)
      : attr_name_(attr_name) {}

  float* operator()(Attribute& attr) const {
    if (attr.type() == typeid(int)) {  // NOLINT
152
      int val = BOOST_GET_CONST(int, attr);
153 154
      attr = static_cast<float>(val);
    } else if (attr.type() == typeid(int64_t)) {  // NOLINT
155
      int64_t val = BOOST_GET_CONST(int64_t, attr);
156 157 158 159 160 161
      attr = static_cast<float>(val);
    }
    float* attr_value = nullptr;
    try {
      attr_value = &boost::get<float>(attr);
    } catch (boost::bad_get& bad_get) {
162 163 164
      PADDLE_THROW(platform::errors::InvalidArgument(
          "Cannot get attribute (%s) by type float, its type is %s.",
          attr_name_, paddle::platform::demangle(attr.type().name())));
165 166 167 168 169 170
    }
    return attr_value;
  }

  const std::string& attr_name_;
};
T
tangwei12 已提交
171

172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200
template <>
struct ExtractAttribute<std::vector<double>> {
  explicit ExtractAttribute(const std::string& attr_name)
      : attr_name_(attr_name) {}

  std::vector<double>* operator()(Attribute& attr) const {
    if (attr.type() == typeid(std::vector<int>)) {  // NOLINT
      std::vector<int> val = BOOST_GET_CONST(std::vector<int>, attr);
      std::vector<double> vec(val.begin(), val.end());
      attr = vec;
    } else if (attr.type() == typeid(std::vector<float>)) {  // NOLINT
      std::vector<float> val = BOOST_GET_CONST(std::vector<float>, attr);
      std::vector<double> vec(val.begin(), val.end());
      attr = vec;
    }
    std::vector<double>* attr_value = nullptr;
    try {
      attr_value = &boost::get<std::vector<double>>(attr);
    } catch (boost::bad_get& bad_get) {
      PADDLE_THROW(platform::errors::InvalidArgument(
          "Cannot get attribute (%s) by type std::vector<double>, its type is "
          "%s.",
          attr_name_, paddle::platform::demangle(attr.type().name())));
    }
    return attr_value;
  }

  const std::string& attr_name_;
};
Y
Yi Wang 已提交
201
template <typename T>
202
inline proto::AttrType AttrTypeID() {
Y
Yu Yang 已提交
203
  Attribute tmp = T();
204
  return static_cast<proto::AttrType>(tmp.which() - 1);
Y
Yu Yang 已提交
205
}
Y
Yi Wang 已提交
206

207
Attribute GetAttrValue(const proto::OpDesc::Attr& attr_desc);
Y
Yi Wang 已提交
208

Q
Qiao Longfei 已提交
209 210
class AttrReader {
 public:
211 212 213 214 215
  explicit AttrReader(const AttributeMap& attrs)
      : attrs_(attrs), default_attrs_(nullptr) {}

  AttrReader(const AttributeMap& attrs, const AttributeMap& default_attrs)
      : attrs_(attrs), default_attrs_(&default_attrs) {}
Q
Qiao Longfei 已提交
216 217 218

  template <typename T>
  inline const T& Get(const std::string& name) const {
219 220 221 222 223 224 225 226 227
    auto it = attrs_.find(name);
    bool found = it != attrs_.end();
    if (!found) {
      if (default_attrs_ != nullptr) {
        it = default_attrs_->find(name);
        found = it != default_attrs_->end();
      }
    }
    PADDLE_ENFORCE_EQ(found, true,
228 229
                      platform::errors::NotFound(
                          "Attribute (%s) should be in AttributeMap.", name));
T
tangwei12 已提交
230

231
    Attribute& attr = const_cast<Attribute&>(it->second);
T
tangwei12 已提交
232 233 234
    ExtractAttribute<T> extract_attr(name);
    T* attr_value = extract_attr(attr);
    return *attr_value;
Q
Qiao Longfei 已提交
235 236 237 238
  }

 private:
  const AttributeMap& attrs_;
239
  const AttributeMap* default_attrs_;
Q
Qiao Longfei 已提交
240 241
};

242 243
// check whether a value(attribute) fit a certain limit
template <typename T>
F
fengjiayi 已提交
244
class GreaterThanChecker {
245
 public:
F
fengjiayi 已提交
246
  explicit GreaterThanChecker(T lower_bound) : lower_bound_(lower_bound) {}
T
tangwei12 已提交
247
  void operator()(const T& value) const {
248 249
    PADDLE_ENFORCE_GT(
        value, lower_bound_,
250 251
        platform::errors::OutOfRange("Check for attribute value greater than "
                                     "a certain value failed."));
252 253 254 255 256 257
  }

 private:
  T lower_bound_;
};

F
WIP  
fengjiayi 已提交
258
template <typename T>
F
fengjiayi 已提交
259
class EqualGreaterThanChecker {
F
WIP  
fengjiayi 已提交
260
 public:
F
fengjiayi 已提交
261
  explicit EqualGreaterThanChecker(T lower_bound) : lower_bound_(lower_bound) {}
T
tangwei12 已提交
262
  void operator()(const T& value) const {
263 264 265 266
    PADDLE_ENFORCE_GE(
        value, lower_bound_,
        platform::errors::OutOfRange("Check for attribute valur equal or "
                                     "greater than a certain value failed."));
F
WIP  
fengjiayi 已提交
267 268 269 270 271 272
  }

 private:
  T lower_bound_;
};

273 274 275 276 277 278
// we can provide users more common Checker, like 'LessThanChecker',
// 'BetweenChecker'...

template <typename T>
class DefaultValueSetter {
 public:
Y
Yi Wang 已提交
279 280
  explicit DefaultValueSetter(T default_value)
      : default_value_(default_value) {}
H
hong 已提交
281
  const T& operator()() const { return default_value_; }
282 283 284 285 286

 private:
  T default_value_;
};

Y
Yu Yang 已提交
287 288 289 290
template <typename T>
class EnumInContainer {
 public:
  explicit EnumInContainer(const std::unordered_set<T>& c) : container_(c) {}
T
tangwei12 已提交
291
  void operator()(const T& val) const {
292 293 294 295
    PADDLE_ENFORCE_NE(
        container_.find(val), container_.end(),
        platform::errors::NotFound("Value %s is not in enum container %s.", val,
                                   ContainerDebugString()));
Y
Yu Yang 已提交
296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316
  }

 private:
  std::string ContainerDebugString() const {
    std::ostringstream sout;
    sout << "[";
    size_t cnt = 0;
    for (auto& v : container_) {
      sout << v;
      ++cnt;
      if (cnt != container_.size()) {
        sout << " ,";
      }
    }
    sout << "]";
    return sout.str();
  }

  std::unordered_set<T> container_;
};

317 318 319 320
// check whether a certain attribute fit its limits
// an attribute can have more than one limits
template <typename T>
class TypedAttrChecker {
H
hong 已提交
321
  typedef std::function<const T&()> DefaultValueChecker;
T
tangwei12 已提交
322
  typedef std::function<void(const T&)> ValueChecker;
323 324

 public:
325 326 327 328 329 330 331 332 333 334 335 336 337
  explicit TypedAttrChecker(const std::string& attr_name,
                            proto::OpProto_Attr* attr)
      : attr_name_(attr_name), attr_(attr) {}

  TypedAttrChecker& AsExtra() {
    attr_->set_extra(true);
    return *this;
  }

  TypedAttrChecker& AsQuant() {
    attr_->set_quant(true);
    return *this;
  }
338

Y
Yu Yang 已提交
339 340 341 342 343
  TypedAttrChecker& InEnum(const std::unordered_set<T>& range) {
    value_checkers_.push_back(EnumInContainer<T>(range));
    return *this;
  }

F
fengjiayi 已提交
344 345
  TypedAttrChecker& GreaterThan(const T& lower_bound) {
    value_checkers_.push_back(GreaterThanChecker<T>(lower_bound));
346 347 348
    return *this;
  }

F
fengjiayi 已提交
349 350
  TypedAttrChecker& EqualGreaterThan(const T& lower_bound) {
    value_checkers_.push_back(EqualGreaterThanChecker<T>(lower_bound));
F
WIP  
fengjiayi 已提交
351 352 353
    return *this;
  }

354 355 356
  // we can add more common limits, like LessThan(), Between()...

  TypedAttrChecker& SetDefault(const T& default_value) {
357 358
    PADDLE_ENFORCE_EQ(
        default_value_setter_.empty(), true,
359 360 361
        platform::errors::AlreadyExists("Attribute (%s) has a default value "
                                        "and cannot be set repeatedly.",
                                        attr_name_));
362 363 364 365 366 367 368 369 370 371
    default_value_setter_.push_back(DefaultValueSetter<T>(default_value));
    return *this;
  }

  // allow users provide their own checker
  TypedAttrChecker& AddCustomChecker(const ValueChecker& checker) {
    value_checkers_.push_back(checker);
    return *this;
  }

372 373
  void operator()(AttributeMap* attr_map, bool get_default_value_only = false,
                  bool only_check_exist_value = false) const {
374 375 376 377 378 379 380
    if (get_default_value_only) {
      if (!default_value_setter_.empty()) {
        attr_map->emplace(attr_name_, default_value_setter_[0]());
      }
      return;
    }

381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406
    if (only_check_exist_value) {
      auto it = attr_map->find(attr_name_);
      if (it != attr_map->end()) {
        ExtractAttribute<T> extract_attr(attr_name_);
        T* attr_value = extract_attr(it->second);
        for (const auto& checker : value_checkers_) {
          checker(*attr_value);
        }
      }
    } else {
      auto it = attr_map->find(attr_name_);
      if (it == attr_map->end()) {
        // user do not set this attr
        PADDLE_ENFORCE_EQ(
            default_value_setter_.empty(), false,
            platform::errors::InvalidArgument(
                "Attribute (%s) is not set correctly.", attr_name_));
        // default_value_setter_ has no more than one element
        auto tmp = attr_map->emplace(attr_name_, default_value_setter_[0]());
        it = tmp.first;
      }
      ExtractAttribute<T> extract_attr(attr_name_);
      T* attr_value = extract_attr(it->second);
      for (const auto& checker : value_checkers_) {
        checker(*attr_value);
      }
407 408 409 410 411
    }
  }

 private:
  std::string attr_name_;
412
  proto::OpProto_Attr* attr_;
413
  std::vector<ValueChecker> value_checkers_;
T
tangwei12 已提交
414
  std::vector<DefaultValueChecker> default_value_setter_;
415 416 417 418
};

// check whether op's all attributes fit their own limits
class OpAttrChecker {
419
  typedef std::function<void(AttributeMap*, bool, bool)> AttrChecker;
420 421 422

 public:
  template <typename T>
423 424 425
  TypedAttrChecker<T>& AddAttrChecker(const std::string& attr_name,
                                      proto::OpProto_Attr* attr) {
    attr_checkers_.push_back(TypedAttrChecker<T>(attr_name, attr));
426 427 428 429
    AttrChecker& checker = attr_checkers_.back();
    return *(checker.target<TypedAttrChecker<T>>());
  }

430 431
  void Check(AttributeMap* attr_map, bool explicit_only = false,
             bool only_check_exist_value = false) const {
432 433 434
    auto checker_num = attr_checkers_.size();
    if (explicit_only) checker_num = explicit_checker_num_;
    for (size_t i = 0; i < checker_num; ++i) {
435
      attr_checkers_[i](attr_map, false, only_check_exist_value);
436 437 438
    }
  }

439
  AttributeMap GetDefaultAttrsMap() const {
440 441
    AttributeMap default_values_map;
    for (const auto& checker : attr_checkers_) {
442
      checker(&default_values_map, true, false);
443
    }
444
    return default_values_map;
445 446
  }

447 448 449 450
  void RecordExplicitCheckerNum() {
    explicit_checker_num_ = attr_checkers_.size();
  }

451 452 453 454 455 456 457 458
  void InitDefaultAttributeMap() {
    for (const auto& checker : attr_checkers_) {
      checker(&default_attrs_, true, false);
    }
  }

  const AttributeMap& GetDefaultAttrMap() const { return default_attrs_; }

459 460
 private:
  std::vector<AttrChecker> attr_checkers_;
461

462 463
  AttributeMap default_attrs_;

464 465 466 467 468
  // in order to improve the efficiency of dynamic graph mode,
  // we divede the attribute into explicit type and implicit type.
  // for explicit attribute, we mean the attribute added in the customized
  // op makers, usually it's defined in the overloaded Make method.
  // for implicit attribute, we mean the attribute added outside of the Make
469 470
  // method like "op_role", "op_role_var", and they are useless in dynamic
  // graph
471 472
  // mode
  size_t explicit_checker_num_;
473 474 475 476
};

}  // namespace framework
}  // namespace paddle