framework.py 31.8 KB
Newer Older
Y
Yu Yang 已提交
1
import collections
Q
qiaolongfei 已提交
2
import contextlib
3

Y
Yu Yang 已提交
4
import numpy as np
Q
qiaolongfei 已提交
5

6
import proto.framework_pb2 as framework_pb2
Q
qiaolongfei 已提交
7
from . import core
Y
Yu Yang 已提交
8

9
__all__ = [
10 11 12 13 14 15 16 17 18
    'Block',
    'Variable',
    'Program',
    'Operator',
    'default_startup_program',
    'default_main_program',
    'program_guard',
    'switch_startup_program',
    'switch_main_program',
19
]
Y
Yu Yang 已提交
20

Q
qiaolongfei 已提交
21 22 23 24 25 26 27 28 29 30 31 32
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 已提交
33

Q
Qiao Longfei 已提交
34
def unique_name(prefix):
35 36 37 38 39 40 41 42 43
    """
    Generate unique names with prefix

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

    Returns(str): A unique string with the prefix

    """
Q
Qiao Longfei 已提交
44 45 46 47
    uid = core.unique_integer(prefix)  # unique during whole process.
    return "_".join([prefix, str(uid)])


48
def convert_np_dtype_to_dtype_(np_dtype):
49 50 51 52 53 54 55 56
    """
    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

    """
57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76
    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):
77 78 79 80 81 82 83 84 85
    """
    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

    """
86 87 88
    if not isinstance(dtype, core.DataType):
        dtype = convert_np_dtype_to_dtype_(dtype)

89
    return dtype in [core.DataType.FP16, core.DataType.FP32, core.DataType.FP64]
90 91


Y
Yang Yang(Tony) 已提交
92
def _debug_string_(proto, throw_on_error=True):
93 94 95 96 97 98 99 100 101 102 103
    """
    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 已提交
104
    error_fields = list()
Y
Yang Yang(Tony) 已提交
105
    if not proto.IsInitialized(error_fields) and throw_on_error:
Y
Yu Yang 已提交
106 107 108 109 110
        raise ValueError("{0} are not initialized\nThe message is {1}".format(
            error_fields, proto))
    return proto.__str__()


Y
Yu Yang 已提交
111
class Variable(object):
112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143
    """
    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 已提交
144 145
    def __init__(self,
                 block,
Y
Yu Yang 已提交
146
                 type=core.VarDesc.VarType.LOD_TENSOR,
Y
Yu Yang 已提交
147 148 149 150
                 name=None,
                 shape=None,
                 dtype=None,
                 lod_level=None,
Q
QI JUN 已提交
151
                 persistable=None,
F
fengjiayi 已提交
152
                 error_clip=None,
Y
Yu Yang 已提交
153
                 stop_gradient=False,
Y
Yu Yang 已提交
154
                 **kwargs):
Y
Yu Yang 已提交
155
        self.block = block
F
fengjiayi 已提交
156
        self.error_clip = error_clip
Y
Yu Yang 已提交
157 158 159

        if name is None:
            name = Variable._unique_var_name_()
D
Dong Zhihong 已提交
160 161 162 163
        is_new_var = False
        self.desc = self.block.desc.find_var(name)

        if self.desc is None:
D
dongzhihong 已提交
164
            self.desc = self.block.desc.var(name)
Y
Yu Yang 已提交
165
            is_new_var = True
Y
Yu Yang 已提交
166

Y
Yu Yang 已提交
167 168 169 170 171 172 173 174
        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 已提交
175
        if shape is not None:
Y
Yu Yang 已提交
176
            if is_new_var:
177
                self.desc.set_shape(shape)
Y
Yu Yang 已提交
178 179 180 181 182 183 184 185
            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 已提交
186
        if dtype is not None:
Y
Yu Yang 已提交
187
            if not isinstance(dtype, core.DataType):
188
                dtype = convert_np_dtype_to_dtype_(dtype)
Y
Yu Yang 已提交
189
            if is_new_var:
F
fengjiayi 已提交
190
                self.desc.set_dtype(dtype)
Y
Yu Yang 已提交
191
            else:
F
fengjiayi 已提交
192
                old_dtype = self.dtype
Q
QI JUN 已提交
193
                if dtype != old_dtype:
Y
Yu Yang 已提交
194 195 196 197 198
                    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 已提交
199 200

        if lod_level is not None:
Y
Yu Yang 已提交
201
            if is_new_var:
202
                self.desc.set_lod_level(lod_level)
Y
Yu Yang 已提交
203 204 205 206 207 208 209
            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))
210 211 212 213 214 215 216 217 218 219 220
        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 已提交
221
        self.block.vars[name] = self
Y
Yu Yang 已提交
222
        self.op = None
Y
Yu Yang 已提交
223
        self.stop_gradient = stop_gradient
Y
Yu Yang 已提交
224

225
    def __str__(self):
Y
Yang Yang(Tony) 已提交
226 227 228
        return self.to_string(True)

    def to_string(self, throw_on_error):
229 230 231 232 233 234 235 236 237 238
        """
        Get debug string.

        Args:
            throw_on_error(bool): True if raise an exception when self is not
                intialized.

        Returns(str): The debug string.

        """
239 240
        protostr = self.desc.serialize_to_string()
        proto = framework_pb2.VarDesc.FromString(str(protostr))
Y
Yang Yang(Tony) 已提交
241
        return _debug_string_(proto, throw_on_error)
242 243 244

    __repr__ = __str__

245 246 247
    def set_desc(self, input):
        self.desc = input

248 249 250 251
    @property
    def persistable(self):
        return self.desc.persistable()

Y
Yu Yang 已提交
252 253 254 255
    @persistable.setter
    def persistable(self, p):
        self.desc.set_persistable(p)

Y
Yu Yang 已提交
256 257
    @property
    def name(self):
258
        return self.desc.name()
Y
Yu Yang 已提交
259 260 261 262

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

    @property
F
fengjiayi 已提交
266 267
    def dtype(self):
        return self.desc.dtype()
Y
Yu Yang 已提交
268 269 270

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

Y
Yu Yang 已提交
273 274 275 276
    @property
    def type(self):
        return self.desc.type()

Y
Yu Yang 已提交
277 278
    @staticmethod
    def _unique_var_name_():
279 280 281
        prefix = "_generated_var"
        uid = core.unique_integer(prefix)  # unique during whole process.
        return "_".join([prefix, str(uid)])
Y
Yu Yang 已提交
282

283 284 285
    def set_error_clip(self, error_clip):
        self.error_clip = error_clip

Y
Yu Yang 已提交
286

F
fengjiayi 已提交
287 288 289
def get_all_op_protos():
    """
    Get all registered op proto from PaddlePaddle C++ end.
290 291 292

    Returns(list): list of OpProto

F
fengjiayi 已提交
293 294 295 296 297 298 299 300 301 302
    """
    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):
303 304 305 306
    """
    A global variable to hold all OpProtos from C++ as a map
    """

F
fengjiayi 已提交
307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322
    @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):
323 324 325 326 327 328 329 330
        """
        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 已提交
331 332
        if type not in self.op_proto_map:
            raise ValueError("Operator \"%s\" has not been registered." % type)
F
fengjiayi 已提交
333 334 335
        return self.op_proto_map[type]


Y
Yu Yang 已提交
336
class Operator(object):
337 338 339 340 341 342
    """
    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 已提交
343 344
    def __init__(self,
                 block,
Y
Yu Yang 已提交
345
                 desc,
Y
Yu Yang 已提交
346 347 348 349
                 type=None,
                 inputs=None,
                 outputs=None,
                 attrs=None):
350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373
        """
        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:
            block(Block): The block has the current operator
            desc(core.OpDesc): The protobuf description
            type(str): The type of operator.
            inputs(dict): The input dictionary. Key is the input parameter name.
                Value is a list of variables.
            outputs(dict): The output dictionary. Has same format with inputs
            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 已提交
374
        self.block = block
Y
Yu Yang 已提交
375
        self.desc = desc
T
typhoonzero 已提交
376 377 378 379
        # for clone a new operator
        self.inputs = inputs
        self.outputs = outputs
        self.attrs = attrs
F
fengjiayi 已提交
380 381 382 383 384
        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 已提交
385
        self.desc.set_type(type)
F
fengjiayi 已提交
386
        proto = OpProtoHolder.instance().get_op_proto(type)
387

Y
Yang Yang(Tony) 已提交
388 389
        def find_name(var_list, name):
            for var_name in var_list:
Q
Qiao Longfei 已提交
390
                if var_list[var_name] is not None and var_name == name:
Y
Yang Yang(Tony) 已提交
391 392
                    return True
            return False
Q
QI JUN 已提交
393

Y
Yang Yang(Tony) 已提交
394 395 396 397 398 399 400
        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:
401 402 403 404
                    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) 已提交
405 406
                        raise ValueError(
                            "Input %s expects only one input, but %d are given."
407 408 409
                            % (in_proto.name, len(in_args)))
                    in_arg_names = []
                    for arg in in_args:
Y
Yang Yu 已提交
410 411 412 413
                        if isinstance(arg, basestring):
                            in_arg_names.append(arg)
                        else:
                            in_arg_names.append(arg.name)
414
                    self.desc.set_input(in_proto.name, in_arg_names)
Y
Yang Yang(Tony) 已提交
415 416
                else:
                    self.desc.set_input(in_proto.name, [])
F
Update  
fengjiayi 已提交
417

Y
Yu Yang 已提交
418
        if outputs is not None:
419 420 421 422 423 424 425 426 427 428 429 430
            given = set()
            need = set()
            for n in outputs:
                given.add(n)
            for m in proto.outputs:
                need.add(m.name)
            if not given == need:
                raise ValueError(
                    "Incorrect setting for output(s) of operator \"%s\". Need: [%s] Given: [%s]"
                    % (type, ", ".join(str(e) for e in need), ", ".join(
                        str(e) for e in given)))

F
fengjiayi 已提交
431
            for out_proto in proto.outputs:
432 433 434 435
                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 已提交
436 437
                    raise ValueError(
                        "Output %s expects only one output, but %d are given." %
438 439 440 441 442 443
                        (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 已提交
444

Y
Yu Yang 已提交
445
        if attrs is not None:
446 447
            if not isinstance(attrs, dict):
                raise TypeError("'attrs' should be a dict.")
F
fengjiayi 已提交
448
            for attr in proto.attrs:
F
Update  
fengjiayi 已提交
449
                attr_name = attr.name
450
                if (not attr_name in attrs) or (attrs[attr_name] is None):
F
Update  
fengjiayi 已提交
451
                    continue
Y
Yang Yang(Tony) 已提交
452
                if isinstance(attrs[attr_name], Block):
F
Update  
fengjiayi 已提交
453
                    self.desc.set_block_attr(attr_name, attrs[attr_name].desc)
T
typhoonzero 已提交
454 455 456 457
                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) 已提交
458 459
                else:
                    self.desc.set_attr(attr_name, attrs[attr_name])
Y
Yu Yang 已提交
460

461
        self.desc.check_attrs()
Y
Yang Yang(Tony) 已提交
462
        no_kernel_op_set = {
Y
Yu Yang 已提交
463
            'feed', 'fetch', 'save', 'load', 'recurrent',
T
typhoonzero 已提交
464
            'rnn_memory_helper_grad', 'conditional_block', 'while', 'send',
Y
Yang Yang 已提交
465
            'recv', 'parallel_do'
Y
Yang Yang(Tony) 已提交
466
        }
467
        if type not in no_kernel_op_set:
Q
QI JUN 已提交
468
            self.desc.infer_var_type(self.block.desc)
Y
Yu Yang 已提交
469
            self.desc.infer_shape(self.block.desc)
F
fengjiayi 已提交
470

Y
Yang Yang(Tony) 已提交
471
    def to_string(self, throw_on_error):
472 473 474 475 476 477 478 479 480
        """
        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.

        """
481 482
        protostr = self.desc.serialize_to_string()
        proto = framework_pb2.OpDesc.FromString(str(protostr))
Y
Yang Yang(Tony) 已提交
483 484 485 486
        return _debug_string_(proto, throw_on_error)

    def __str__(self):
        return self.to_string(True)
487 488 489

    __repr__ = __str__

F
fengjiayi 已提交
490 491 492 493 494
    @property
    def type(self):
        return self.desc.type()

    def input(self, name):
495 496 497 498 499 500 501 502 503
        """
        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 已提交
504 505 506 507
        return self.desc.input(name)

    @property
    def input_names(self):
508 509 510 511 512
        """
        Get all input parameter names
        Returns(list): return a list of input parameter names

        """
F
fengjiayi 已提交
513 514 515
        return self.desc.input_names()

    def output(self, name):
516 517 518 519 520 521 522 523 524
        """
        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 已提交
525 526 527 528
        return self.desc.output(name)

    @property
    def output_names(self):
529 530 531 532 533
        """
        Get all output parameter names
        Returns(list): return a list of output parameter names

        """
F
fengjiayi 已提交
534 535
        return self.desc.output_names()

536 537
    @property
    def idx(self):
538 539 540 541 542 543
        """
        Return the array index of current operator.
        Returns(int): The array index in block.ops array
        Raises:
            ValueError: when the operator is not found.
        """
544 545 546 547 548 549
        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 已提交
550
    def has_attr(self, name):
551 552 553 554 555 556 557 558
        """
        operator has the attribute with name or not.
        Args:
            name(str): the attribute name

        Returns(bool): True if has this attribute.

        """
F
fengjiayi 已提交
559 560 561
        return self.desc.has_attr(name)

    def attr_type(self, name):
562 563 564 565 566 567 568 569
        """
        Get the type of attribute by attribute name
        Args:
            name(str): the attribute name

        Returns(core.AttrType): the attribute type

        """
F
fengjiayi 已提交
570 571 572 573
        return self.desc.attr_type(name)

    @property
    def attr_names(self):
574 575 576 577 578
        """
        Get all attribute names
        Returns(list): The list of attribute name

        """
F
fengjiayi 已提交
579 580 581
        return self.desc.attr_names()

    def attr(self, name):
582 583 584 585 586 587 588 589 590
        """
        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 已提交
591
        return self.desc.attr(name)
Y
Yu Yang 已提交
592

F
fengjiayi 已提交
593
    def block_attr(self, name):
594 595 596 597 598 599 600 601
        """
        Get the block attribute by name
        Args:
            name(str): the attribute name

        Returns(int): the block index

        """
F
fengjiayi 已提交
602
        return self.desc.block_attr(name)
Y
Yu Yang 已提交
603 604


Y
Yu Yang 已提交
605 606
class Block(object):
    def __init__(self, program, idx):
Y
Yu Yang 已提交
607
        self.desc = program.desc.block(idx)
Y
Yu Yang 已提交
608
        self.vars = dict()  # var_name --> var
Y
Yu Yang 已提交
609
        self.ops = collections.deque()  # operator list
Y
Yu Yang 已提交
610
        self.program = program
T
typhoonzero 已提交
611
        self.removed_vars = dict()
Y
Yu Yang 已提交
612

613
    def __str__(self):
Y
Yang Yang(Tony) 已提交
614 615 616
        return self.to_string(True)

    def to_string(self, throw_on_error):
617 618
        protostr = self.desc.serialize_to_string()
        proto = framework_pb2.BlockDesc.FromString(str(protostr))
Y
Yang Yang(Tony) 已提交
619
        return _debug_string_(proto, throw_on_error)
620 621 622

    __repr__ = __str__

Y
Yu Yang 已提交
623 624
    @property
    def parent_idx(self):
Y
Yu Yang 已提交
625
        return self.desc.parent
Y
Yu Yang 已提交
626 627 628

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

Q
Qiao Longfei 已提交
631
    def var(self, name):
Y
Yu Yang 已提交
632 633 634 635
        if not isinstance(name, basestring):
            raise TypeError()
        v = self.vars.get(name, None)
        if v is None:
Q
Qiao Longfei 已提交
636
            raise ValueError("var %s not in this block" % name)
Y
Yu Yang 已提交
637
        return v
Q
Qiao Longfei 已提交
638

F
fengjiayi 已提交
639 640 641 642 643 644 645 646 647 648 649
    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 已提交
650
    def all_parameters(self):
651 652 653 654 655
        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 已提交
656

Y
Yu Yang 已提交
657
    def create_var(self, *args, **kwargs):
Q
Qiao Longfei 已提交
658
        var = Variable(self, *args, **kwargs)
659 660
        if 'initializer' in kwargs:
            kwargs['initializer'](var, self)
Q
Qiao Longfei 已提交
661
        return var
Y
Yu Yang 已提交
662

Q
Qiao Longfei 已提交
663 664 665
    def has_var(self, name):
        return name in self.vars

Y
Yu Yang 已提交
666 667
    def create_parameter(self, *args, **kwargs):
        global_block = self.program.global_block()
Q
Qiao Longfei 已提交
668
        param = Parameter(global_block, *args, **kwargs)
669 670
        if 'initializer' in kwargs:
            kwargs['initializer'](param, self)
Q
Qiao Longfei 已提交
671
        return param
Y
Yu Yang 已提交
672

Y
Yu Yang 已提交
673
    def append_op(self, *args, **kwargs):
Y
Yu Yang 已提交
674 675
        op_desc = self.desc.append_op()
        op = Operator(self, op_desc, *args, **kwargs)
Y
Yu Yang 已提交
676 677 678
        self.ops.append(op)
        return op

T
typhoonzero 已提交
679 680 681 682 683 684 685 686
    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 已提交
687
        self.desc.remove_op(start, end + 1)
T
wip  
typhoonzero 已提交
688

Y
Yu Yang 已提交
689
    def prepend_op(self, *args, **kwargs):
Y
Yu Yang 已提交
690 691
        op_desc = self.desc.prepend_op()
        op = Operator(self, op_desc, *args, **kwargs)
Y
Yu Yang 已提交
692 693 694
        self.ops.appendleft(op)
        return op

Q
Qiao Longfei 已提交
695 696 697 698 699 700 701
    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
702 703 704 705
        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 已提交
706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721
        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 已提交
722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738

        # 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]

739 740 741 742
    def copy_param_info_from(self, other):
        """
        Copy the information of parameters from other block
        Args:
743
            other(Block): other block
744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766

        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,
Y
Yu Yang 已提交
767
                clip_attr=p.clip_attr,
F
fengjiayi 已提交
768
                error_clip=p.error_clip,
769 770 771
                name=v.name)
            self.vars[new_p.name] = new_p

Y
Yu Yang 已提交
772 773

class Program(object):
774 775
    def __init__(self):
        self.desc = core.ProgramDesc()
Y
Yu Yang 已提交
776 777
        self.blocks = [Block(self, 0)]
        self.current_block_idx = 0
D
dzhwinter 已提交
778
        self._seed = 0
Y
Yu Yang 已提交
779

780
    def __str__(self):
Y
Yang Yang(Tony) 已提交
781 782 783
        return self.to_string(True)

    def to_string(self, throw_on_error):
784 785
        protostr = self.desc.serialize_to_string()
        proto = framework_pb2.ProgramDesc.FromString(str(protostr))
Y
Yang Yang(Tony) 已提交
786
        return _debug_string_(proto, throw_on_error)
787

788 789 790
    def get_desc(self):
        return self.desc

Y
Yu Yang 已提交
791 792 793 794 795
    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()
796
        p.copy_param_info_from(self)
Y
Yu Yang 已提交
797
        return p
798

799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818
    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:
                    raise ValueError(
                        "All targets of prune() can only be Variable or Operator."
                    )

            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

819 820 821 822 823 824 825
    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

826 827 828 829
    @staticmethod
    def parse_from_string(binary_str):
        p = Program()
        p.desc = core.ProgramDesc(binary_str)
830
        p.blocks = [Block(p, i) for i in xrange(p.desc.num_blocks())]
831 832
        p.sync_with_cpp()
        return p
Y
Yu Yang 已提交
833

D
dzhwinter 已提交
834 835 836 837 838 839 840 841 842 843
    @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 已提交
844 845
    def __repr__(self):
        return str(self)
846

Y
Yu Yang 已提交
847 848 849
    def global_block(self):
        return self.blocks[0]

Q
Qiao Longfei 已提交
850 851 852
    def block(self, index):
        return self.blocks[index]

Y
Yu Yang 已提交
853 854 855
    def current_block(self):
        return self.blocks[self.current_block_idx]

F
fengjiayi 已提交
856
    def append_backward(self, target, no_grad_set=None):
Q
Qiao Longfei 已提交
857 858 859
        """
        return map(param_name -> (grad_name, block_index, op_index))
        """
Q
Qiao Longfei 已提交
860
        assert isinstance(target, Variable)
F
fengjiayi 已提交
861 862
        if no_grad_set is None:
            no_grad_set = set()
Y
Yang Yang(Tony) 已提交
863 864 865 866 867 868 869 870
        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 已提交
871 872 873
        self.sync_with_cpp()
        return param_to_grad_info

F
update  
fengjiayi 已提交
874
    def create_block(self, parent_idx=None):
Y
Yu Yang 已提交
875
        new_block_idx = len(self.blocks)
F
update  
fengjiayi 已提交
876 877 878
        parent = self.current_block() if parent_idx is None else self.block(
            parent_idx)
        self.desc.append_block(parent.desc)
Y
Yu Yang 已提交
879 880 881 882 883 884 885
        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 已提交
886 887 888 889 890 891
    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()

892 893
    def copy_param_info_from(self, other):
        """
894
        Copy the information of parameters from other program.
895 896 897 898 899 900 901 902 903 904 905 906 907 908 909
        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())

910 911 912 913 914
    def list_vars(self):
        for each_block in self.blocks:
            for each_var in each_block.vars.itervalues():
                yield each_var

Y
Yu Yang 已提交
915

Y
Yu Yang 已提交
916 917 918 919 920 921 922 923 924 925 926
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")
927 928 929

        Variable.__init__(
            self, block, persistable=True, shape=shape, dtype=dtype, **kwargs)
Y
Yu Yang 已提交
930 931 932 933
        self.trainable = kwargs.get('trainable', True)

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

934 935
        self.regularizer = kwargs.get('regularizer', None)

Y
Yu Yang 已提交
936 937
        self.clip_attr = kwargs.get('clip_attr', None)

Y
Yu Yang 已提交
938

Y
Yu Yang 已提交
939
# program is a global instance.
Y
Yu Yang 已提交
940 941
_main_program_ = Program()
_startup_program_ = Program()
942

943

944
def default_startup_program():
Y
Yu Yang 已提交
945 946 947
    """
    Get default startup program. In startup program, Paddle will initialize
    parameters, initialize nccl handle, etc.
948

Y
Yu Yang 已提交
949 950 951
    Returns:
        Program: startup program
    """
Y
Yu Yang 已提交
952
    return _startup_program_
953

954

955
def default_main_program():
Y
Yu Yang 已提交
956 957
    """
    Get default main program. The main program is used for training or testing.
958

Y
Yu Yang 已提交
959 960 961
    Returns:
        Program: main program
    """
Y
Yu Yang 已提交
962
    return _main_program_
Y
Yu Yang 已提交
963 964 965 966 967


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

Y
Yu Yang 已提交
969 970 971 972 973 974 975 976 977 978 979 980 981 982
    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):
    """
983
    Switch the startup program to a new program
Y
Yu Yang 已提交
984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999
    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
1000

Y
Yu Yang 已提交
1001 1002 1003 1004
    Examples:
        >>> with program_guard(Program()):
        >>>   data = fluid.layers.data(...)
        >>>   hidden = fluid.layers.fc(...)
1005

Y
Yu Yang 已提交
1006 1007
    Args:
        main_program(Program): New main program inside `with` statement
1008
        startup_program(Program): New startup program inside `with` statement.
Y
Yu Yang 已提交
1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024
            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)