Skip to content
项目
群组
代码片段
帮助
当前项目
正在载入...
登录 / 注册
切换导航面板
P
pytensor
项目
项目
详情
活动
周期分析
仓库
仓库
文件
提交
分支
标签
贡献者
图表
比较
统计图
议题
0
议题
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
CI / CD
CI / CD
流水线
作业
日程
统计图
Wiki
Wiki
代码片段
代码片段
成员
成员
折叠边栏
关闭边栏
活动
图像
聊天
创建新问题
作业
提交
问题看板
Open sidebar
testgroup
pytensor
Commits
cb943544
提交
cb943544
authored
11月 02, 2011
作者:
Olivier Delalleau
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
Typo: their -> there (and more fixes around those)
Including some line-too-long fixes.
上级
f62c8be4
显示空白字符变更
内嵌
并排
正在显示
1 个修改的文件
包含
62 行增加
和
58 行删除
+62
-58
opt.py
theano/tensor/opt.py
+62
-58
没有找到文件。
theano/tensor/opt.py
浏览文件 @
cb943544
...
@@ -141,24 +141,26 @@ def inplace_elemwise_optimizer_op(OP):
...
@@ -141,24 +141,26 @@ def inplace_elemwise_optimizer_op(OP):
x + y + z -> x += y += z
x + y + z -> x += y += z
(x + y) * (x * y) -> (x += y) *= (x * y) or (x + y) *= (x *= y)
(x + y) * (x * y) -> (x += y) *= (x * y) or (x + y) *= (x *= y)
"""
"""
#we should not validate too often as this take much time to execute!
# We should not validate too often as this takes too much time to
#It is the _dfs_toposort() fct in theano/gof/destroyhandler.py
# execute!
#that take so much time.
# It is the _dfs_toposort() fct in theano/gof/destroyhandler.py
#Should we try to use another lib that do toposort?
# that takes so much time.
# Should we try to use another lib that does toposort?
# igraph: http://igraph.sourceforge.net/
# igraph: http://igraph.sourceforge.net/
# networkx: https://networkx.lanl.gov/
# networkx: https://networkx.lanl.gov/
#Should we try to use cython?
# Should we try to use cython?
# compiling only that fct is not enought, should we try to
# Compiling only that fct is not enough, should we try to add the
# add the deque class too? and init the deque and other
# deque class too?
# list to an upper bound number of element?
# And init the deque and other list to an upper bound number of
#Should Theano do online toposort as in
# elements?
# http://code.google.com/p/acyclic/?
# Maybe Theano should do online toposort as in
# http://code.google.com/p/acyclic
#
#
#
The next longuest optimizer is the canonizer phase
#
The next longest optimizer is the canonizer phase.
#
Then I think it is the [io_?]toposort(need to validate) so
#
Then I think it is the [io_?]toposort (need to validate) so check if
#
check if the solution is also applicable their
.
#
the solution is also applicable there
.
#
we execute validate
after this number of change.
#
We execute `validate`
after this number of change.
check_each_change
=
config
.
tensor
.
insert_inplace_optimizer_validate_nb
check_each_change
=
config
.
tensor
.
insert_inplace_optimizer_validate_nb
if
check_each_change
==
-
1
:
if
check_each_change
==
-
1
:
if
len
(
env
.
nodes
)
>
500
:
if
len
(
env
.
nodes
)
>
500
:
...
@@ -229,10 +231,9 @@ def inplace_elemwise_optimizer_op(OP):
...
@@ -229,10 +231,9 @@ def inplace_elemwise_optimizer_op(OP):
nb_change_no_validate
=
0
nb_change_no_validate
=
0
except
(
ValueError
,
TypeError
,
InconsistencyError
),
e
:
except
(
ValueError
,
TypeError
,
InconsistencyError
),
e
:
if
check_each_change
!=
1
and
not
raised_warning
:
if
check_each_change
!=
1
and
not
raised_warning
:
print
>>
sys
.
stderr
,
(
"Their was some inplace"
print
>>
sys
.
stderr
,
(
" optimization that was not"
"Some inplace optimization was not "
" done due to unexpected"
"performed due to unexpected error:"
)
" error:"
)
print
>>
sys
.
stderr
,
e
print
>>
sys
.
stderr
,
e
raised_warning
=
True
raised_warning
=
True
env
.
revert
(
chk
)
env
.
revert
(
chk
)
...
@@ -245,11 +246,10 @@ def inplace_elemwise_optimizer_op(OP):
...
@@ -245,11 +246,10 @@ def inplace_elemwise_optimizer_op(OP):
if
nb_change_no_validate
>
0
:
if
nb_change_no_validate
>
0
:
try
:
try
:
env
.
validate
()
env
.
validate
()
except
Exception
,
e
:
except
Exception
:
if
not
raised_warning
:
if
not
raised_warning
:
print
>>
sys
.
stderr
,
(
"Their was some inplace optimization"
print
>>
sys
.
stderr
,
(
"Some inplace optimization was not "
" that was not done due to"
"performed due to unexpected error"
)
" unexpected error"
)
env
.
revert
(
chk
)
env
.
revert
(
chk
)
return
inplace_elemwise_optimizer
return
inplace_elemwise_optimizer
...
@@ -1031,8 +1031,8 @@ def local_fill_to_alloc(node):
...
@@ -1031,8 +1031,8 @@ def local_fill_to_alloc(node):
@gof.local_optimizer
([
T
.
alloc
])
@gof.local_optimizer
([
T
.
alloc
])
def
local_useless_alloc
(
node
):
def
local_useless_alloc
(
node
):
"""
"""
if the input type is the same as the output type
(dtype and broadcast)
If the input type is the same as the output type
(dtype and broadcast)
the
ir
is no change in the shape of the input. So this is just a simple copy
the
re
is no change in the shape of the input. So this is just a simple copy
of the input. This is not needed.
of the input. This is not needed.
"""
"""
if
node
.
op
==
T
.
alloc
:
if
node
.
op
==
T
.
alloc
:
...
@@ -2958,8 +2958,8 @@ def local_sum_sum(node):
...
@@ -2958,8 +2958,8 @@ def local_sum_sum(node):
assert
len
(
newaxis
)
==
len
(
list
(
summed
.
owner
.
op
.
axis
)
+
assert
len
(
newaxis
)
==
len
(
list
(
summed
.
owner
.
op
.
axis
)
+
list
(
node
.
op
.
axis
))
list
(
node
.
op
.
axis
))
#
The old bugged logic. We keep it their to generate a
#
The old bugged logic. We keep it there to generate a warning
#
warning
when we generated bad code.
# when we generated bad code.
alldims
=
range
(
summed
.
owner
.
inputs
[
0
]
.
type
.
ndim
)
alldims
=
range
(
summed
.
owner
.
inputs
[
0
]
.
type
.
ndim
)
alldims
=
[
d
for
i
,
d
in
enumerate
(
alldims
)
if
i
alldims
=
[
d
for
i
,
d
in
enumerate
(
alldims
)
if
i
in
summed
.
owner
.
op
.
axis
]
in
summed
.
owner
.
op
.
axis
]
...
@@ -2969,19 +2969,22 @@ def local_sum_sum(node):
...
@@ -2969,19 +2969,22 @@ def local_sum_sum(node):
xrange
(
summed
.
owner
.
inputs
[
0
]
.
type
.
ndim
)
xrange
(
summed
.
owner
.
inputs
[
0
]
.
type
.
ndim
)
if
i
not
in
alldims
]
if
i
not
in
alldims
]
if
(
theano
.
config
.
warn
.
sum_sum_bug
and
newaxis
!=
newaxis_old
if
(
theano
.
config
.
warn
.
sum_sum_bug
and
and
len
(
newaxis
)
==
len
(
newaxis_old
)):
newaxis
!=
newaxis_old
and
_logger
.
warn
(
"WARNING: YOUR CURRENT CODE IS FINE. Theano"
len
(
newaxis
)
==
len
(
newaxis_old
):
" version between version 9923a40c7b7a and"
" the 2 august 2010(fixation date), generated"
_logger
.
warn
(
" an error in that case. This happen when"
"WARNING (YOUR CURRENT CODE IS FINE): Theano "
" their is 2 consecutive sum in the graph"
"versions between version 9923a40c7b7a and August "
" and the intermediate sum is not used"
"2nd, 2010 generated bugged code in this case. "
" elsewhere in the code. Some safe guard"
"This happens when there are two consecutive sums "
" removed some bad code, but not in all case."
"in the graph and the intermediate sum is not "
" You are in one such case. To disable this"
"used elsewhere in the code. Some safeguard "
" warning, set the theano flags"
"removed some bad code, but not in all cases. You "
" warn.sum_sum_bug to False."
)
"are in one such case. To disable this warning "
"(that you can safely ignore since this bug has "
"been fixed) set the theano flag "
"`warn.sum_sum_bug` to False."
)
combined_sum
=
T
.
Sum
(
newaxis
)
combined_sum
=
T
.
Sum
(
newaxis
)
return
[
combined_sum
(
summed
.
owner
.
inputs
[
0
])]
return
[
combined_sum
(
summed
.
owner
.
inputs
[
0
])]
...
@@ -3857,12 +3860,11 @@ def local_log_erfc(node):
...
@@ -3857,12 +3860,11 @@ def local_log_erfc(node):
# sqrt(pi)*-x/(1-1/(2*x**2)+3/(4*x**4)-15/(8*x**6)))
# sqrt(pi)*-x/(1-1/(2*x**2)+3/(4*x**4)-15/(8*x**6)))
#for float64: threshold=26.63 see at the end of the fct for the explaination
#for float64: threshold=26.63 see at the end of the fct for the explaination
#for float32: threshold=9.3 see at the end of the fct for the explaination
#for float32: threshold=9.3 see at the end of the fct for the explaination
#TODO: remove the contraint that their is only 2 inputs to mul and the
#TODO: remove the contraint that there are only 2 inputs to mul and exp(x**2)
# exp(x**2) is the second.
# is the second.
#TODO: at the test point 10 in float32, their is instability in the
#TODO: at the test point 10 in float32, there is instability in the original
# original value. the original give -30.0, the stab -20.1 and in
# value. The original gives -30.0, the stab -20.1 and in float64 -18.1.
# float64 -18.1. Make the test don't generate error in that
# Make it so that the test does not generate an error in that case!
# case!
@register_stabilize
@register_stabilize
@register_specialize
@register_specialize
@gof.local_optimizer
([
T
.
true_div
])
@gof.local_optimizer
([
T
.
true_div
])
...
@@ -3904,15 +3906,15 @@ def local_grad_log_erfc_neg(node):
...
@@ -3904,15 +3906,15 @@ def local_grad_log_erfc_neg(node):
sqr
=
neg
.
owner
.
inputs
[
0
]
sqr
=
neg
.
owner
.
inputs
[
0
]
x
=
sqr
.
owner
.
inputs
[
0
]
x
=
sqr
.
owner
.
inputs
[
0
]
elif
exp
.
owner
.
inputs
[
0
]
.
owner
.
op
==
T
.
mul
:
elif
exp
.
owner
.
inputs
[
0
]
.
owner
.
op
==
T
.
mul
:
#
We should compare that -(erfc_x**2) is equivalent to mul_neg
#
We should compare that -(erfc_x**2) is equivalent to mul_neg.
#
Their is currently not easy way to do this in the general case
#
There is currently no easy way to do this in the general case,
#
S
o we implement some common case for now.
#
s
o we implement some common case for now.
#
in many case
the neg are replaced by mul in the graph.
#
In many cases
the neg are replaced by mul in the graph.
#
This also allow to stabilize log(erfc(cst*x))
#
This also allows to stabilize log(erfc(cst*x)).
mul_neg
=
exp
.
owner
.
inputs
[
0
]
mul_neg
=
exp
.
owner
.
inputs
[
0
]
#
i
n case that multiple mul are not fused together, we do it here.
#
I
n case that multiple mul are not fused together, we do it here.
def
check_input
(
inputs
):
def
check_input
(
inputs
):
new_inputs
=
[]
new_inputs
=
[]
for
i
in
inputs
:
for
i
in
inputs
:
...
@@ -3923,7 +3925,7 @@ def local_grad_log_erfc_neg(node):
...
@@ -3923,7 +3925,7 @@ def local_grad_log_erfc_neg(node):
return
new_inputs
return
new_inputs
mul_inputs
=
check_input
(
mul_neg
.
owner
.
inputs
)
mul_inputs
=
check_input
(
mul_neg
.
owner
.
inputs
)
#
put the constant first
#
Put the constant first.
for
i
in
xrange
(
len
(
mul_inputs
)):
for
i
in
xrange
(
len
(
mul_inputs
)):
if
isinstance
(
i
,
Constant
):
if
isinstance
(
i
,
Constant
):
if
i
==
0
:
if
i
==
0
:
...
@@ -4004,7 +4006,7 @@ The libm used for the test is amdlibm
...
@@ -4004,7 +4006,7 @@ The libm used for the test is amdlibm
#exp(x**2)/erfc(-x) => when x>threashold,
#exp(x**2)/erfc(-x) => when x>threashold,
#-x*(1-1/(2*x**2)+3/(4*x**4)-15/(8*x**6))*sqrt(pi) for float64:
#-x*(1-1/(2*x**2)+3/(4*x**4)-15/(8*x**6))*sqrt(pi) for float64:
#threshold=26.63 see below for float32: threshold=9.3 see below TODO
#threshold=26.63 see below for float32: threshold=9.3 see below TODO
#remove the contraint that the
ir is
only 2 inputs to mul TODO: should
#remove the contraint that the
re are
only 2 inputs to mul TODO: should
#we cast numpy.pi to x.dtype?
#we cast numpy.pi to x.dtype?
#float32 threshold 9.3 as the approximation is more precise at that
#float32 threshold 9.3 as the approximation is more precise at that
...
@@ -4234,12 +4236,14 @@ def local_elemwise_fusion_op(OP, max_input_fct=lambda node: 1024):
...
@@ -4234,12 +4236,14 @@ def local_elemwise_fusion_op(OP, max_input_fct=lambda node: 1024):
# There is a hard limit of 256 bytes for the formal argument list to a
# There is a hard limit of 256 bytes for the formal argument list to a
# GPU kernel function.
# GPU kernel function.
max_nb_input
=
max_input_fct
(
node
)
max_nb_input
=
max_input_fct
(
node
)
# The number of input to the new fused op if we don't fuse more inputs.
# The number of inputs to the new fused op if we do not fuse more
# inputs.
new_nb_input
=
len
(
node
.
inputs
)
new_nb_input
=
len
(
node
.
inputs
)
# Did we fused something. Needed as we can fuse unary op that
# Did we fuse something?
# don't change the number of input. And their is case where the
# Needed as we can fuse unary op that don't change the number of
# input inputs are the same as the current node. That won't
# inputs.
# change the number of inputs of the new op.
# And there is a case where the inputs are the same as the current
# node. That won't change the number of inputs of the new op.
fused
=
False
fused
=
False
for
i
in
node
.
inputs
:
for
i
in
node
.
inputs
:
...
...
编写
预览
Markdown
格式
0%
重试
或
添加新文件
添加附件
取消
您添加了
0
人
到此讨论。请谨慎行事。
请先完成此评论的编辑!
取消
请
注册
或者
登录
后发表评论