framework.py 36.8 KB
Newer Older
1
#   Copyright (c) 2018 PaddlePaddle Authors. All Rights Reserved.
D
dzhwinter 已提交
2
#
D
dzhwinter 已提交
3 4 5
# 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
D
dzhwinter 已提交
6
#
D
dzhwinter 已提交
7
#     http://www.apache.org/licenses/LICENSE-2.0
D
dzhwinter 已提交
8
#
D
dzhwinter 已提交
9 10 11 12 13 14
# 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.

Y
Yu Yang 已提交
15
import collections
Q
qiaolongfei 已提交
16
import contextlib
F
fengjiayi 已提交
17
import re
18

Y
Yu Yang 已提交
19
import numpy as np
Q
qiaolongfei 已提交
20

21
import proto.framework_pb2 as framework_pb2
Q
qiaolongfei 已提交
22
from . import core
Y
Yu Yang 已提交
23

24
__all__ = [
25 26 27 28 29 30 31 32 33
    'Block',
    'Variable',
    'Program',
    'Operator',
    'default_startup_program',
    'default_main_program',
    'program_guard',
    'switch_startup_program',
    'switch_main_program',
X
xuwei06 已提交
34
    'get_var',
35
]
Y
Yu Yang 已提交
36

Q
qiaolongfei 已提交
37 38 39 40 41 42 43 44 45 46 47 48
EMPTY_VAR_NAME = core.kEmptyVarName()
TEMP_VAR_NAME = core.kTempVarName()
GRAD_VAR_SUFFIX = core.kGradVarSuffix()
ZERO_VAR_SUFFIX = core.kZeroVarSuffix()


def grad_var_name(var_name):
    """
    return gradient name for a certain var name
    """
    return var_name + GRAD_VAR_SUFFIX

Y
Yu Yang 已提交
49

Q
Qiao Longfei 已提交
50
def unique_name(prefix):
51 52 53 54 55 56 57 58 59
    """
    Generate unique names with prefix

    Args:
        prefix(str): The prefix of return string

    Returns(str): A unique string with the prefix

    """
Q
Qiao Longfei 已提交
60 61 62 63
    uid = core.unique_integer(prefix)  # unique during whole process.
    return "_".join([prefix, str(uid)])


64
def convert_np_dtype_to_dtype_(np_dtype):
65 66 67 68 69 70 71 72
    """
    Convert the data type in numpy to the data type in Paddle
    Args:
        np_dtype(np.dtype): the data type in numpy

    Returns(core.DataType): the data type in Paddle

    """
73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92
    dtype = np.dtype(np_dtype)
    if dtype == np.float32:
        return core.DataType.FP32
    elif dtype == np.float64:
        return core.DataType.FP64
    elif dtype == np.float16:
        return core.DataType.FP16
    elif dtype == np.int32:
        return core.DataType.INT32
    elif dtype == np.int16:
        return core.DataType.INT16
    elif dtype == np.int64:
        return core.DataType.INT64
    elif dtype == np.bool:
        return core.DataType.BOOL
    else:
        raise ValueError("Not supported numpy dtype " + str(dtype))


def dtype_is_floating(dtype):
93 94 95 96 97 98 99 100 101
    """
    Check the data type is floating or not.
    Args:
        dtype(np.dtype|core.DataType): data type.
            Could be numpy format or Paddle format

    Returns(bool): True if data type is a float value

    """
102 103 104
    if not isinstance(dtype, core.DataType):
        dtype = convert_np_dtype_to_dtype_(dtype)

105
    return dtype in [core.DataType.FP16, core.DataType.FP32, core.DataType.FP64]
106 107


Y
Yang Yang(Tony) 已提交
108
def _debug_string_(proto, throw_on_error=True):
109 110 111 112 113 114 115 116 117 118 119
    """
    Get the debug string of a protobuf message. The message could be not
    initialized.
    Args:
        proto(google.protobuf.message.Message): The protobuf message
        throw_on_error(bool): True if raise an error when the protobuf message
            is not initialized.

    Returns(str): The debug string of the protobuf message

    """
Y
Yu Yang 已提交
120
    error_fields = list()
Y
Yang Yang(Tony) 已提交
121
    if not proto.IsInitialized(error_fields) and throw_on_error:
C
caoying03 已提交
122 123
        raise ValueError("{0} are not initialized.\nThe message is {1}:\n".
                         format(error_fields, proto))
Y
Yu Yang 已提交
124 125 126
    return proto.__str__()


Y
Yu Yang 已提交
127
class Variable(object):
128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159
    """
    Python variable. Every input and output of an operator is a variable. Every
    variable belongs to a block. The variable has a name and two variables in
    different blocks could have the same name.

    There are many kinds of variables. Please reference the framework.proto for
    details.

    Notes: The constructor of Variable should not be invoked directly. Please
    use `Block.create_var` to create a variable.

    >>> cur_program = Program()
    >>> cur_block = cur_program.current_block()
    >>> new_variable = cur_block.create_var(
    >>>                    name="X", shape=[-1, 23, 48], dtype='float32')

    Args:
        block(Block): The associated block. It will be passed by
            `Block.create_var` automatically.
        type(core.VarDesc.VarType): Variable type. Please reference the
            framework.proto for details.
        shape(tuple|list|None): The shape of variable. -1 means the batch size.
            Some kinds of variable do not contain shape, just set it to None.
        dtype(np.dtype|core.DataType|str): The data type of variable.
        lod_level(int): The level of lod tensor. 0 means there is not a time
            series data.
        persistable(bool): True if the variable should be saved as check point.
            Defaults to False.
        stop_gradient(bool): True if the variable will stop to calculate
            gradients when backward. Defaults to False.
    """

Y
Yu Yang 已提交
160 161
    def __init__(self,
                 block,
Y
Yu Yang 已提交
162
                 type=core.VarDesc.VarType.LOD_TENSOR,
Y
Yu Yang 已提交
163 164 165 166
                 name=None,
                 shape=None,
                 dtype=None,
                 lod_level=None,
Q
QI JUN 已提交
167
                 persistable=None,
F
fengjiayi 已提交
168
                 error_clip=None,
Y
Yu Yang 已提交
169
                 stop_gradient=False,
Y
Yu Yang 已提交
170
                 **kwargs):
Y
Yu Yang 已提交
171
        self.block = block
F
fengjiayi 已提交
172
        self.error_clip = error_clip
Y
Yu Yang 已提交
173 174 175

        if name is None:
            name = Variable._unique_var_name_()
D
Dong Zhihong 已提交
176 177 178 179
        is_new_var = False
        self.desc = self.block.desc.find_var(name)

        if self.desc is None:
D
dongzhihong 已提交
180
            self.desc = self.block.desc.var(name)
Y
Yu Yang 已提交
181
            is_new_var = True
Y
Yu Yang 已提交
182

Y
Yu Yang 已提交
183 184 185 186 187 188 189 190
        if is_new_var:
            self.desc.set_type(type)
        elif self.desc.type() != type:
            raise ValueError("Variable {0} has been created before. The "
                             "previous type is {1}; the new type is {2}. They"
                             " are not matched".format(self.name,
                                                       self.desc.type(), type))

Y
Yu Yang 已提交
191
        if shape is not None:
Y
Yu Yang 已提交
192
            if is_new_var:
193
                self.desc.set_shape(shape)
Y
Yu Yang 已提交
194 195 196 197 198 199 200 201
            else:
                old_shape = self.shape
                shape = tuple(shape)
                if shape != old_shape:
                    raise ValueError(
                        "Variable {0} has been created before. the previous "
                        "shape is {1}; the new shape is {2}. They are not "
                        "matched.".format(self.name, old_shape, shape))
Y
Yu Yang 已提交
202
        if dtype is not None:
Y
Yu Yang 已提交
203
            if not isinstance(dtype, core.DataType):
204
                dtype = convert_np_dtype_to_dtype_(dtype)
Y
Yu Yang 已提交
205
            if is_new_var:
F
fengjiayi 已提交
206
                self.desc.set_dtype(dtype)
Y
Yu Yang 已提交
207
            else:
F
fengjiayi 已提交
208
                old_dtype = self.dtype
Q
QI JUN 已提交
209
                if dtype != old_dtype:
Y
Yu Yang 已提交
210 211 212 213 214
                    raise ValueError("Variable {0} has been created before. "
                                     "The previous data type is {1}; the new "
                                     "data type is {2}. They are not "
                                     "matched.".format(self.name, old_dtype,
                                                       dtype))
Y
Yu Yang 已提交
215 216

        if lod_level is not None:
Y
Yu Yang 已提交
217
            if is_new_var:
218
                self.desc.set_lod_level(lod_level)
Y
Yu Yang 已提交
219 220 221 222 223 224 225
            else:
                if lod_level != self.lod_level:
                    raise ValueError("Variable {0} has been created before. "
                                     "The previous lod_level is {1}; the new "
                                     "lod_level is {2}. They are not "
                                     "matched".format(self.name, self.lod_level,
                                                      lod_level))
226 227 228 229 230 231 232 233 234 235 236
        if persistable is not None:
            if is_new_var:
                self.desc.set_persistable(persistable)
            else:
                if persistable != self.persistable:
                    raise ValueError(
                        "Variable {0} has been created before."
                        "The previous persistable is {1}; the new "
                        "persistable is {2}. They are not matched".format(
                            self.name, self.persistable, persistable))

Y
Yu Yang 已提交
237
        self.block.vars[name] = self
Y
Yu Yang 已提交
238
        self.op = None
Y
Yu Yang 已提交
239
        self.stop_gradient = stop_gradient
Y
Yu Yang 已提交
240

241
    def __str__(self):
Y
Yang Yang(Tony) 已提交
242 243
        return self.to_string(True)

F
update  
fengjiayi 已提交
244
    def to_string(self, throw_on_error, with_details=False):
245 246 247 248 249 250
        """
        Get debug string.

        Args:
            throw_on_error(bool): True if raise an exception when self is not
                intialized.
F
update  
fengjiayi 已提交
251 252
            with_details(bool): more details about variables and parameters
                (e.g. trainable, optimize_attr, ...) will be printed when with_details is True
253 254 255 256

        Returns(str): The debug string.

        """
F
update  
fengjiayi 已提交
257 258
        assert isinstance(throw_on_error, bool) and isinstance(with_details,
                                                               bool)
259 260
        protostr = self.desc.serialize_to_string()
        proto = framework_pb2.VarDesc.FromString(str(protostr))
F
update  
fengjiayi 已提交
261 262 263 264 265 266 267
        res_str = _debug_string_(proto, throw_on_error)
        if with_details:
            additional_attr = ("error_clip", "stop_gradient")
            for attr_name in additional_attr:
                res_str += "%s: %s\n" % (attr_name,
                                         str(getattr(self, attr_name)))
        return res_str
268 269 270

    __repr__ = __str__

271 272 273
    def set_desc(self, input):
        self.desc = input

274 275 276 277
    @property
    def persistable(self):
        return self.desc.persistable()

Y
Yu Yang 已提交
278 279 280 281
    @persistable.setter
    def persistable(self, p):
        self.desc.set_persistable(p)

Y
Yu Yang 已提交
282 283
    @property
    def name(self):
284
        return self.desc.name()
Y
Yu Yang 已提交
285 286 287 288

    @property
    def shape(self):
        # convert to tuple, make it as same as numpy API.
289
        return tuple(self.desc.shape())
Y
Yu Yang 已提交
290 291

    @property
F
fengjiayi 已提交
292 293
    def dtype(self):
        return self.desc.dtype()
Y
Yu Yang 已提交
294 295 296

    @property
    def lod_level(self):
297
        return self.desc.lod_level()
Y
Yu Yang 已提交
298

Y
Yu Yang 已提交
299 300 301 302
    @property
    def type(self):
        return self.desc.type()

Y
Yu Yang 已提交
303 304
    @staticmethod
    def _unique_var_name_():
305 306 307
        prefix = "_generated_var"
        uid = core.unique_integer(prefix)  # unique during whole process.
        return "_".join([prefix, str(uid)])
Y
Yu Yang 已提交
308

309 310 311
    def set_error_clip(self, error_clip):
        self.error_clip = error_clip

Y
Yu Yang 已提交
312

F
fengjiayi 已提交
313 314 315
def get_all_op_protos():
    """
    Get all registered op proto from PaddlePaddle C++ end.
316 317 318

    Returns(list): list of OpProto

F
fengjiayi 已提交
319 320 321 322 323 324 325 326 327 328
    """
    protostrs = core.get_all_op_protos()
    ret_values = []
    for pbstr in protostrs:
        op_proto = framework_pb2.OpProto.FromString(str(pbstr))
        ret_values.append(op_proto)
    return ret_values


class OpProtoHolder(object):
329 330 331 332
    """
    A global variable to hold all OpProtos from C++ as a map
    """

F
fengjiayi 已提交
333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348
    @classmethod
    def instance(cls):
        if not hasattr(cls, '_instance'):
            cls._instance = cls()
        return cls._instance

    def __init__(self):
        assert not hasattr(
            self.__class__,
            '_instance'), 'Please use `instance()` to get OpProtoHolder opject!'
        op_protos = get_all_op_protos()
        self.op_proto_map = {}
        for proto in op_protos:
            self.op_proto_map[proto.type] = proto

    def get_op_proto(self, type):
349 350 351 352 353 354 355 356
        """
        Get OpProto by a type string.
        Args:
            type(str): The type that operator registered in C++ side.

        Returns(framework_pb2.OpProto): The OpProto

        """
Y
Yu Yang 已提交
357 358
        if type not in self.op_proto_map:
            raise ValueError("Operator \"%s\" has not been registered." % type)
F
fengjiayi 已提交
359 360 361
        return self.op_proto_map[type]


Y
Yu Yang 已提交
362
class Operator(object):
363 364 365 366 367 368
    """
    Python Operator class. The operator represents the build in instructs in a
    Block. Users can use the build in instructs to describe their neural
    network.
    """

Y
Yu Yang 已提交
369 370
    def __init__(self,
                 block,
Y
Yu Yang 已提交
371
                 desc,
Y
Yu Yang 已提交
372 373 374 375
                 type=None,
                 inputs=None,
                 outputs=None,
                 attrs=None):
376 377 378 379 380 381 382 383 384 385 386 387 388 389
        """
        Constructor.

        Notes: The constructor of operator should not be invoked directly. Use
        Block.append_op or Block.prepend_op instead.

        >>> cur_program = Program()
        >>> cur_block = cur_program.current_block()
        >>> # var1 += var2 + var3
        >>> cur_block.append_op(type="sum",
        >>>                     inputs={"X": [var1, var2, var3]},
        >>>                     outputs={"Out": [var1]})

        Args:
C
caoying03 已提交
390 391
            block(Block): The block has the current operator.
            desc(core.OpDesc): The protobuf description.
392 393 394
            type(str): The type of operator.
            inputs(dict): The input dictionary. Key is the input parameter name.
                Value is a list of variables.
C
caoying03 已提交
395 396
            outputs(dict): The output dictionary which has the same format with
                           inputs.
397 398 399 400
            attrs(dict): The attributes dictionary. Key is attribute name. Value
                is the attribute value. The attribute type should be as same as
                the type registered in C++
        """
Y
Yu Yang 已提交
401
        self.block = block
Y
Yu Yang 已提交
402
        self.desc = desc
T
typhoonzero 已提交
403
        self.attrs = attrs
F
fengjiayi 已提交
404 405 406 407 408
        if len(self.desc.type()) != 0:
            return
        if type is None:
            raise ValueError(
                "`type` to initilized an Operator can not be None.")
F
Update  
fengjiayi 已提交
409
        self.desc.set_type(type)
F
fengjiayi 已提交
410
        proto = OpProtoHolder.instance().get_op_proto(type)
411

Y
Yang Yang(Tony) 已提交
412 413
        def find_name(var_list, name):
            for var_name in var_list:
Q
Qiao Longfei 已提交
414
                if var_list[var_name] is not None and var_name == name:
Y
Yang Yang(Tony) 已提交
415 416
                    return True
            return False
Q
QI JUN 已提交
417

Y
Yang Yang(Tony) 已提交
418 419 420 421 422 423 424
        if inputs is not None:
            for in_proto in proto.inputs:
                found = find_name(inputs, in_proto.name)
                assert found or in_proto.dispensable, "Input {} not found".format(
                    in_proto.name)

                if found:
425 426 427 428
                    in_args = inputs[in_proto.name]
                    if not isinstance(in_args, list):
                        in_args = [in_args]
                    if not in_proto.duplicable and len(in_args) > 1:
Y
Yang Yang(Tony) 已提交
429 430
                        raise ValueError(
                            "Input %s expects only one input, but %d are given."
431 432 433
                            % (in_proto.name, len(in_args)))
                    in_arg_names = []
                    for arg in in_args:
Y
Yang Yu 已提交
434 435 436 437
                        if isinstance(arg, basestring):
                            in_arg_names.append(arg)
                        else:
                            in_arg_names.append(arg.name)
438
                    self.desc.set_input(in_proto.name, in_arg_names)
Y
Yang Yang(Tony) 已提交
439 440
                else:
                    self.desc.set_input(in_proto.name, [])
F
Update  
fengjiayi 已提交
441

Y
Yu Yang 已提交
442
        if outputs is not None:
443 444 445 446 447 448 449
            given = set()
            need = set()
            for n in outputs:
                given.add(n)
            for m in proto.outputs:
                need.add(m.name)
            if not given == need:
C
caoying03 已提交
450 451
                raise ValueError(("Incorrect setting for output(s) of "
                                  "operator \"%s\". Need: [%s] Given: [%s]") %
452 453
                                 (type, ", ".join(str(e) for e in need),
                                  ", ".join(str(e) for e in given)))
454

F
fengjiayi 已提交
455
            for out_proto in proto.outputs:
456 457 458 459
                out_args = outputs[out_proto.name]
                if not isinstance(out_args, list):
                    out_args = [out_args]
                if not out_proto.duplicable and len(out_args) > 1:
F
Update  
fengjiayi 已提交
460 461
                    raise ValueError(
                        "Output %s expects only one output, but %d are given." %
462 463 464 465 466 467
                        (out_proto.name, len(out_args)))
                out_arg_names = []
                for arg in out_args:
                    out_arg_names.append(arg.name)
                    arg.op = self
                self.desc.set_output(out_proto.name, out_arg_names)
F
Update  
fengjiayi 已提交
468

Y
Yu Yang 已提交
469
        if attrs is not None:
470 471
            if not isinstance(attrs, dict):
                raise TypeError("'attrs' should be a dict.")
F
fengjiayi 已提交
472
            for attr in proto.attrs:
F
Update  
fengjiayi 已提交
473
                attr_name = attr.name
474
                if (not attr_name in attrs) or (attrs[attr_name] is None):
F
Update  
fengjiayi 已提交
475
                    continue
Y
Yang Yang(Tony) 已提交
476
                if isinstance(attrs[attr_name], Block):
F
Update  
fengjiayi 已提交
477
                    self.desc.set_block_attr(attr_name, attrs[attr_name].desc)
T
typhoonzero 已提交
478 479 480 481
                elif isinstance(attrs[attr_name], core.BlockDesc) or \
                   isinstance(attrs[attr_name], core.ProgramDesc):
                    self.desc.set_serialized_attr(
                        attr_name, attrs[attr_name].serialize_to_string())
Y
Yang Yang(Tony) 已提交
482 483
                else:
                    self.desc.set_attr(attr_name, attrs[attr_name])
Y
Yu Yang 已提交
484

485
        self.desc.check_attrs()
Y
Yang Yang(Tony) 已提交
486
        no_kernel_op_set = {
Y
Yu Yang 已提交
487
            'feed', 'fetch', 'save', 'load', 'recurrent',
T
typhoonzero 已提交
488
            'rnn_memory_helper_grad', 'conditional_block', 'while', 'send',
489 490
            'recv', 'listen_and_serv', 'parallel_do', 'save_combine',
            'load_combine'
Y
Yang Yang(Tony) 已提交
491
        }
492
        if type not in no_kernel_op_set:
Q
QI JUN 已提交
493
            self.desc.infer_var_type(self.block.desc)
Y
Yu Yang 已提交
494
            self.desc.infer_shape(self.block.desc)
F
fengjiayi 已提交
495

Y
Yang Yang(Tony) 已提交
496
    def to_string(self, throw_on_error):
497 498 499 500 501 502 503 504 505
        """
        To debug string.
        Args:
            throw_on_error(bool): raise exception when self is not initialized
                when throw_on_error is True

        Returns(str): The debug string.

        """
506 507
        protostr = self.desc.serialize_to_string()
        proto = framework_pb2.OpDesc.FromString(str(protostr))
Y
Yang Yang(Tony) 已提交
508 509 510 511
        return _debug_string_(proto, throw_on_error)

    def __str__(self):
        return self.to_string(True)
512 513 514

    __repr__ = __str__

F
fengjiayi 已提交
515 516 517 518 519
    @property
    def type(self):
        return self.desc.type()

    def input(self, name):
520 521 522 523 524 525 526 527 528
        """
        Get input arguments by the input parameter name
        Args:
            name(str): The input parameter name

        Returns(list): return the list of argument names associated with the
            specific parameter name.

        """
F
fengjiayi 已提交
529 530 531 532
        return self.desc.input(name)

    @property
    def input_names(self):
533 534 535 536 537
        """
        Get all input parameter names
        Returns(list): return a list of input parameter names

        """
F
fengjiayi 已提交
538 539 540
        return self.desc.input_names()

    def output(self, name):
541 542 543 544 545 546 547 548 549
        """
        Get output arguments by the output parameter name
        Args:
            name(str): The output parameter name

        Returns(list): return the list of argument names associated with the
            specific parameter name.

        """
F
fengjiayi 已提交
550 551 552 553
        return self.desc.output(name)

    @property
    def output_names(self):
554 555 556 557 558
        """
        Get all output parameter names
        Returns(list): return a list of output parameter names

        """
F
fengjiayi 已提交
559 560
        return self.desc.output_names()

561 562
    @property
    def idx(self):
563 564 565 566 567 568
        """
        Return the array index of current operator.
        Returns(int): The array index in block.ops array
        Raises:
            ValueError: when the operator is not found.
        """
569 570 571 572 573 574
        for i, op in enumerate(self.block.ops):
            if op == self:
                return i
        raise ValueError(
            "Can't find op itself in it's block. It could be a bug of Paddle.")

F
fengjiayi 已提交
575
    def has_attr(self, name):
576 577 578 579 580 581 582 583
        """
        operator has the attribute with name or not.
        Args:
            name(str): the attribute name

        Returns(bool): True if has this attribute.

        """
F
fengjiayi 已提交
584 585 586
        return self.desc.has_attr(name)

    def attr_type(self, name):
587 588 589 590 591 592 593 594
        """
        Get the type of attribute by attribute name
        Args:
            name(str): the attribute name

        Returns(core.AttrType): the attribute type

        """
F
fengjiayi 已提交
595 596 597 598
        return self.desc.attr_type(name)

    @property
    def attr_names(self):
599 600 601 602 603
        """
        Get all attribute names
        Returns(list): The list of attribute name

        """
F
fengjiayi 已提交
604 605 606
        return self.desc.attr_names()

    def attr(self, name):
607 608 609 610 611 612 613 614 615
        """
        Get attribute by name
        Args:
            name(str): the attribute name

        Returns(bool|int|str|float|list): The attribute value. The return value
            can be any valid attribute type.

        """
F
fengjiayi 已提交
616
        return self.desc.attr(name)
Y
Yu Yang 已提交
617

F
fengjiayi 已提交
618
    def block_attr(self, name):
619 620 621 622 623 624 625 626
        """
        Get the block attribute by name
        Args:
            name(str): the attribute name

        Returns(int): the block index

        """
F
fengjiayi 已提交
627
        return self.desc.block_attr(name)
Y
Yu Yang 已提交
628 629


Y
Yu Yang 已提交
630 631
class Block(object):
    def __init__(self, program, idx):
Y
Yu Yang 已提交
632
        self.desc = program.desc.block(idx)
Y
Yu Yang 已提交
633
        self.vars = dict()  # var_name --> var
Y
Yu Yang 已提交
634
        self.ops = collections.deque()  # operator list
Y
Yu Yang 已提交
635
        self.program = program
T
typhoonzero 已提交
636
        self.removed_vars = dict()
Y
Yu Yang 已提交
637

638
    def __str__(self):
Y
Yang Yang(Tony) 已提交
639 640
        return self.to_string(True)

F
fengjiayi 已提交
641 642 643 644 645 646
    def to_string(self, throw_on_error, with_details=False):
        """
        To debug string.
        Args:
            throw_on_error(bool): raise exception when self is not initialized
                when throw_on_error is True
F
update  
fengjiayi 已提交
647 648
            with_details(bool): more details about variables and parameters
                (e.g. trainable, optimize_attr, ...) will be printed when with_details is True
F
fengjiayi 已提交
649 650 651 652 653 654 655

        Returns(str): The debug string.

        """
        assert isinstance(throw_on_error, bool) and isinstance(with_details,
                                                               bool)
        if with_details:
F
fengjiayi 已提交
656
            re_add_indent = re.compile(r"\n(.)")
F
fengjiayi 已提交
657 658 659
            res_str = "blocks {\n  idx: %d\n  parent_idx: %d" % (
                self.idx, self.parent_idx)
            for var in self.vars.itervalues():
F
fengjiayi 已提交
660
                res_str += "\n  vars {\n    %s  }" % re_add_indent.sub(
F
update  
fengjiayi 已提交
661
                    r"\n    \1", var.to_string(throw_on_error, with_details))
F
fengjiayi 已提交
662
            for op in self.ops:
F
fengjiayi 已提交
663 664
                res_str += "\n  ops {\n    %s  }" % re_add_indent.sub(
                    r"\n    \1", op.to_string(throw_on_error))
F
fengjiayi 已提交
665 666 667 668 669 670
            res_str += "\n}"
        else:
            protostr = self.desc.serialize_to_string()
            proto = framework_pb2.BlockDesc.FromString(str(protostr))
            res_str = _debug_string_(proto, throw_on_error)
        return res_str
671 672 673

    __repr__ = __str__

Y
Yu Yang 已提交
674 675
    @property
    def parent_idx(self):
Y
Yu Yang 已提交
676
        return self.desc.parent
Y
Yu Yang 已提交
677 678 679

    @property
    def idx(self):
Y
Yu Yang 已提交
680
        return self.desc.id
Y
Yu Yang 已提交
681

Q
Qiao Longfei 已提交
682
    def var(self, name):
Y
Yu Yang 已提交
683 684 685 686
        if not isinstance(name, basestring):
            raise TypeError()
        v = self.vars.get(name, None)
        if v is None:
Q
Qiao Longfei 已提交
687
            raise ValueError("var %s not in this block" % name)
Y
Yu Yang 已提交
688
        return v
Q
Qiao Longfei 已提交
689

F
fengjiayi 已提交
690 691 692 693 694 695 696 697 698 699 700
    def var_recursive(self, name):
        if self.has_var(name):
            return self.var(name)
        else:
            if self.idx == 0:
                raise ValueError("var %s is not in block(%d) nor its parents." %
                                 name, self.idx)
            else:
                parent_block = self.program.block(self.parent_idx)
                return parent_block.var_recursive(name)

Q
Qiao Longfei 已提交
701
    def all_parameters(self):
702 703 704 705 706
        return list(self.iter_parameters())

    def iter_parameters(self):
        return (item[1] for item in self.vars.iteritems()
                if isinstance(item[1], Parameter))
Q
Qiao Longfei 已提交
707

Y
Yu Yang 已提交
708
    def create_var(self, *args, **kwargs):
Q
Qiao Longfei 已提交
709
        var = Variable(self, *args, **kwargs)
710 711
        if 'initializer' in kwargs:
            kwargs['initializer'](var, self)
Q
Qiao Longfei 已提交
712
        return var
Y
Yu Yang 已提交
713

Q
Qiao Longfei 已提交
714 715 716
    def has_var(self, name):
        return name in self.vars

Y
Yu Yang 已提交
717 718
    def create_parameter(self, *args, **kwargs):
        global_block = self.program.global_block()
Q
Qiao Longfei 已提交
719
        param = Parameter(global_block, *args, **kwargs)
720 721
        if 'initializer' in kwargs:
            kwargs['initializer'](param, self)
Q
Qiao Longfei 已提交
722
        return param
Y
Yu Yang 已提交
723

Y
Yu Yang 已提交
724
    def append_op(self, *args, **kwargs):
Y
Yu Yang 已提交
725 726
        op_desc = self.desc.append_op()
        op = Operator(self, op_desc, *args, **kwargs)
Y
Yu Yang 已提交
727 728 729
        self.ops.append(op)
        return op

T
typhoonzero 已提交
730 731 732 733 734 735 736 737
    def delete_ops(self, ops):
        # remove from cpp
        # FIXME(typhoonzero): remove only the first occuracy.
        try:
            start = list(self.ops).index(ops[0])
            end = list(self.ops).index(ops[-1])
        except Exception, e:
            raise e
T
typhoonzero 已提交
738
        self.desc.remove_op(start, end + 1)
T
wip  
typhoonzero 已提交
739

Y
Yancey1989 已提交
740 741 742
    def slice_ops(self, start, end):
        return list(self.ops)[start:end]

Y
Yu Yang 已提交
743
    def prepend_op(self, *args, **kwargs):
Y
Yu Yang 已提交
744 745
        op_desc = self.desc.prepend_op()
        op = Operator(self, op_desc, *args, **kwargs)
Y
Yu Yang 已提交
746 747 748
        self.ops.appendleft(op)
        return op

Q
Qiao Longfei 已提交
749 750 751 752 753 754 755
    def sync_with_cpp(self):
        # sync variables from cpp
        for var in self.desc.all_vars():
            if not self.has_var(var.name()):
                self.create_var(name=var.name(), desc=var, type=var.type())

        # sync operators from cpp
756 757 758 759
        ops_in_cpp = []
        for op_idx in range(0, self.desc.op_size()):
            ops_in_cpp.append(self.desc.op(op_idx))

Y
Yu Yang 已提交
760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775
        if len(self.ops) != 0:
            first_op_in_python = self.ops[0].desc
            last_op_in_python = self.ops[len(self.ops) - 1].desc
            start_index = None
            end_index = None
            for index in range(len(ops_in_cpp)):
                if first_op_in_python == ops_in_cpp[index]:
                    start_index = index
                if last_op_in_python == ops_in_cpp[index]:
                    end_index = index
            assert start_index is not None
            assert end_index is not None
            assert start_index <= end_index
        else:
            start_index = 0
            end_index = -1
Q
Qiao Longfei 已提交
776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792

        # sync ops append to the head of cpp_ops
        for index in range((start_index - 1 - 1), -1, -1):
            op_desc = ops_in_cpp[index]
            op = Operator(self, op_desc)
            self.ops.appendleft(op)

        # sync ops append to the end of cpp_ops
        for index in range((end_index + 1), len(ops_in_cpp)):
            op_desc = ops_in_cpp[index]
            op = Operator(self, op_desc)
            self.ops.append(op)

        assert len(self.ops) == len(ops_in_cpp)
        for index in range(len(self.ops)):
            assert self.ops[index].desc == ops_in_cpp[index]

793 794 795 796
    def copy_param_info_from(self, other):
        """
        Copy the information of parameters from other block
        Args:
797
            other(Block): other block
798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820

        Returns:
            None
        """
        if not isinstance(other, Block):
            raise TypeError("copy_param_info_from should be invoked with Block")
        for p in other.iter_parameters():
            assert isinstance(p, Parameter)
            v = self.vars.get(p.name, None)
            if v is None:
                raise ValueError("copy_param_info_from should be invoked with "
                                 "same topology")
            assert isinstance(v, Variable)
            new_p = Parameter(
                block=self,
                shape=v.shape,
                dtype=v.dtype,
                type=v.type,
                lod_level=v.lod_level,
                stop_gradient=p.stop_gradient,
                trainable=p.trainable,
                optimize_attr=p.optimize_attr,
                regularizer=p.regularizer,
F
fengjiayi 已提交
821
                gradient_clip_attr=p.gradient_clip_attr,
F
fengjiayi 已提交
822
                error_clip=p.error_clip,
823 824 825
                name=v.name)
            self.vars[new_p.name] = new_p

Y
Yu Yang 已提交
826 827

class Program(object):
828 829
    def __init__(self):
        self.desc = core.ProgramDesc()
Y
Yu Yang 已提交
830 831
        self.blocks = [Block(self, 0)]
        self.current_block_idx = 0
D
dzhwinter 已提交
832
        self._seed = 0
Y
Yu Yang 已提交
833

834
    def __str__(self):
Y
Yang Yang(Tony) 已提交
835 836
        return self.to_string(True)

F
fengjiayi 已提交
837 838 839 840 841 842
    def to_string(self, throw_on_error, with_details=False):
        """
        To debug string.
        Args:
            throw_on_error(bool): raise exception when self is not initialized
                when throw_on_error is True
F
update  
fengjiayi 已提交
843 844
            with_details(bool): more details about variables and parameters
                (e.g. trainable, optimize_attr, ...) will be printed when with_details is True
F
fengjiayi 已提交
845 846 847 848 849 850 851 852 853 854 855 856 857 858 859

        Returns(str): The debug string.

        """
        assert isinstance(throw_on_error, bool) and isinstance(with_details,
                                                               bool)
        if with_details:
            res_str = ""
            for block in self.blocks:
                res_str += block.to_string(throw_on_error, with_details)
        else:
            protostr = self.desc.serialize_to_string()
            proto = framework_pb2.ProgramDesc.FromString(str(protostr))
            res_str = _debug_string_(proto, throw_on_error)
        return res_str
860

861 862 863
    def get_desc(self):
        return self.desc

Y
Yu Yang 已提交
864 865 866 867 868
    def clone(self):
        p = Program()
        p.desc = core.ProgramDesc(self.desc)
        p.blocks = [Block(p, i) for i in xrange(self.desc.num_blocks())]
        p.sync_with_cpp()
869
        p.copy_param_info_from(self)
Y
Yu Yang 已提交
870
        return p
871

872 873 874 875 876 877 878 879 880
    def prune(self, targets):
        if not isinstance(targets, list):
            targets = [targets]
        targets_idx = []
        for t in targets:
            if not isinstance(t, Operator):
                if isinstance(t, Variable):
                    t = t.op
                else:
C
caoying03 已提交
881 882
                    raise ValueError(("All targets of prune() can only be "
                                      "Variable or Operator."))
883 884 885 886 887 888 889 890

            targets_idx.append([t.block.idx, t.idx])
        res = Program()
        res.desc = core.prune(self.desc, targets_idx)
        res.blocks = [Block(res, i) for i in xrange(res.desc.num_blocks())]
        res.sync_with_cpp()
        return res

891 892 893 894 895 896 897
    def inference_optimize(self):
        res = Program()
        res.desc = core.inference_optimize(self.desc)
        res.blocks = [Block(res, i) for i in xrange(res.desc.num_blocks())]
        res.sync_with_cpp()
        return res

898 899 900 901
    @staticmethod
    def parse_from_string(binary_str):
        p = Program()
        p.desc = core.ProgramDesc(binary_str)
902
        p.blocks = [Block(p, i) for i in xrange(p.desc.num_blocks())]
903 904
        p.sync_with_cpp()
        return p
Y
Yu Yang 已提交
905

D
dzhwinter 已提交
906 907 908 909 910 911 912 913 914 915
    @property
    def random_seed(self):
        return self._seed

    @random_seed.setter
    def random_seed(self, seed):
        if not isinstance(seed, int):
            raise ValueError("Seed must be a integer.")
        self._seed = seed

Y
Yu Yang 已提交
916 917
    def __repr__(self):
        return str(self)
918

Y
Yu Yang 已提交
919 920 921
    def global_block(self):
        return self.blocks[0]

Q
Qiao Longfei 已提交
922 923 924
    def block(self, index):
        return self.blocks[index]

Y
Yu Yang 已提交
925 926 927
    def current_block(self):
        return self.blocks[self.current_block_idx]

F
fengjiayi 已提交
928
    def append_backward(self, target, no_grad_set=None):
Q
Qiao Longfei 已提交
929 930 931
        """
        return map(param_name -> (grad_name, block_index, op_index))
        """
Q
Qiao Longfei 已提交
932
        assert isinstance(target, Variable)
F
fengjiayi 已提交
933 934
        if no_grad_set is None:
            no_grad_set = set()
Y
Yang Yang(Tony) 已提交
935 936 937 938 939 940 941 942
        try:
            param_to_grad_info = self.desc.append_backward(target.desc,
                                                           no_grad_set)
        except Exception as e:
            raise core.EnforceNotMet(
                str(e) + "\nCurrent protobuf is\n{0}".format(
                    self.to_string(False)))

Q
Qiao Longfei 已提交
943 944 945
        self.sync_with_cpp()
        return param_to_grad_info

F
update  
fengjiayi 已提交
946
    def create_block(self, parent_idx=None):
Y
Yu Yang 已提交
947
        new_block_idx = len(self.blocks)
F
update  
fengjiayi 已提交
948 949 950
        parent = self.current_block() if parent_idx is None else self.block(
            parent_idx)
        self.desc.append_block(parent.desc)
Y
Yu Yang 已提交
951 952 953 954 955 956 957
        self.current_block_idx = new_block_idx
        self.blocks.append(Block(self, self.current_block_idx))
        return self.current_block()

    def rollback(self):
        self.current_block_idx = self.current_block().parent_idx

Q
Qiao Longfei 已提交
958 959 960 961 962 963
    def sync_with_cpp(self):
        for block_idx in range(len(self.blocks), self.desc.num_blocks()):
            self.blocks.append(Block(self, block_idx))
        for block in self.blocks:
            block.sync_with_cpp()

964 965
    def copy_param_info_from(self, other):
        """
966
        Copy the information of parameters from other program.
967 968 969 970 971 972 973 974 975 976 977 978 979 980 981
        Args:
            other(Program): Other program

        Returns:
            None
        """
        if not isinstance(other, Program):
            raise TypeError("copy_param_info_from should be invoked with "
                            "Program")

        if len(self.blocks) != len(other.blocks):
            raise ValueError("copy_param_info_from should be invoked with two "
                             "program, with represent the same topology")
        self.global_block().copy_param_info_from(other.global_block())

982 983 984 985 986
    def list_vars(self):
        for each_block in self.blocks:
            for each_var in each_block.vars.itervalues():
                yield each_var

Y
Yu Yang 已提交
987

Y
Yu Yang 已提交
988 989 990 991 992 993 994 995 996 997 998
class Parameter(Variable):
    def __init__(self, block, shape, dtype, **kwargs):
        if shape is None or dtype is None:
            raise ValueError("Parameter must set shape and dtype")
        if len(shape) == 0:
            raise ValueError("Parameter shape cannot be empty")

        for each in shape:
            if each < 0:
                raise ValueError("Parameter shape should not be related with "
                                 "batch-size")
999 1000 1001

        Variable.__init__(
            self, block, persistable=True, shape=shape, dtype=dtype, **kwargs)
Y
Yu Yang 已提交
1002 1003 1004 1005
        self.trainable = kwargs.get('trainable', True)

        self.optimize_attr = kwargs.get('optimize_attr', {'learning_rate': 1.0})

1006 1007
        self.regularizer = kwargs.get('regularizer', None)

F
fengjiayi 已提交
1008
        self.gradient_clip_attr = kwargs.get('gradient_clip_attr', None)
Y
Yu Yang 已提交
1009

F
fengjiayi 已提交
1010 1011 1012
    def __str__(self):
        return self.to_string(True)

F
update  
fengjiayi 已提交
1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035
    def to_string(self, throw_on_error, with_details=False):
        """
        To debug string.
        Args:
            throw_on_error(bool): raise exception when self is not initialized
                when throw_on_error is True
            with_details(bool): more details about variables and parameters
                (e.g. trainable, optimize_attr, ...) will be printed when with_details is True

        Returns(str): The debug string.

        """
        assert isinstance(throw_on_error, bool) and isinstance(with_details,
                                                               bool)
        if with_details:
            res_str = Variable.to_string(self, throw_on_error, True)
            additional_attr = ("trainable", "optimize_attr", "regularizer",
                               "gradient_clip_attr")
            for attr_name in additional_attr:
                res_str += "%s: %s\n" % (attr_name,
                                         str(getattr(self, attr_name)))
        else:
            res_str = Variable.to_string(self, throw_on_error, False)
F
fengjiayi 已提交
1036 1037 1038 1039
        return res_str

    __repr__ = __str__

Y
Yu Yang 已提交
1040

Y
Yu Yang 已提交
1041
# program is a global instance.
Y
Yu Yang 已提交
1042 1043
_main_program_ = Program()
_startup_program_ = Program()
1044

1045

1046
def default_startup_program():
Y
Yu Yang 已提交
1047 1048 1049
    """
    Get default startup program. In startup program, Paddle will initialize
    parameters, initialize nccl handle, etc.
1050

Y
Yu Yang 已提交
1051 1052 1053
    Returns:
        Program: startup program
    """
Y
Yu Yang 已提交
1054
    return _startup_program_
1055

1056

1057
def default_main_program():
Y
Yu Yang 已提交
1058 1059
    """
    Get default main program. The main program is used for training or testing.
1060

Y
Yu Yang 已提交
1061 1062 1063
    Returns:
        Program: main program
    """
Y
Yu Yang 已提交
1064
    return _main_program_
Y
Yu Yang 已提交
1065 1066 1067 1068 1069


def switch_main_program(program):
    """
    Switch the main program to a new program.
1070

Y
Yu Yang 已提交
1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084
    Args:
        program(Program): The new main program

    Returns:
        Program: The previous main program
    """
    global _main_program_
    prev_program = _main_program_
    _main_program_ = program
    return prev_program


def switch_startup_program(program):
    """
1085
    Switch the startup program to a new program
Y
Yu Yang 已提交
1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101
    Args:
        program(Program): The new startup program

    Returns:
        Program: The previous startup program
    """
    global _startup_program_
    prev_program = _startup_program_
    _startup_program_ = program
    return prev_program


@contextlib.contextmanager
def program_guard(main_program, startup_program=None):
    """
    Switch program with `with` statement
1102

Y
Yu Yang 已提交
1103 1104 1105 1106
    Examples:
        >>> with program_guard(Program()):
        >>>   data = fluid.layers.data(...)
        >>>   hidden = fluid.layers.fc(...)
1107

Y
Yu Yang 已提交
1108 1109
    Args:
        main_program(Program): New main program inside `with` statement
1110
        startup_program(Program): New startup program inside `with` statement.
Y
Yu Yang 已提交
1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126
            None means do not change startup program.

    Returns:
        None
    """
    if not isinstance(main_program, Program):
        raise TypeError("main_program should be Program")
    main_program = switch_main_program(main_program)
    if startup_program is not None:
        if not isinstance(startup_program, Program):
            raise TypeError("startup_program should be Program")
        startup_program = switch_startup_program(startup_program)
    yield
    switch_main_program(main_program)
    if startup_program is not None:
        switch_startup_program(startup_program)
X
xuwei06 已提交
1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145


def get_var(name, program=None):
    """
    Get a variable by name from the global block of a program
    Args:
        name(str): name of the variable
        program(Program|None): program object.
             If None, default_global_program() will be used.

    Returns:
        Variable
    """
    if program is None:
        program = default_main_program()
    assert isinstance(name, str)
    assert isinstance(name, Program)

    return program.global_block().var(name)