27

backpropagationスパースオートエンコーダーのアルゴリズムを計算しています。numpyと を使用して python で実装しましたmatlab。コードはほぼ同じですが、パフォーマンスは大きく異なります。matlab がタスクを完了するのにかかる時間は 0.252454 秒ですが、numpy は 0.973672151566 で、ほぼ 4 倍です。このコードは、後で最小化の問題で数回呼び出すため、この違いにより、実装間に数分の遅延が発生します。これは正常な動作ですか?どうすればnumpyのパフォーマンスを改善できますか?

でこぼこの実装:

Sparse.rho は調整パラメータ、sparse.nodes は隠れ層のノード数 (25)、sparse.input (64) は入力層のノード数、theta1 と theta2 は最初と 2 つの重み行列です。 2 番目のレイヤーのサイズはそれぞれ 25x64 と 64x25、m は 10000、rhoest のサイズは (25,)、x のサイズは 10000x64、a3 は 10000x64、a2 は 10000x25 です。

UPDATE: 回答のいくつかのアイデアに従って、コードに変更を加えました。パフォーマンスは numpy になりました: 0.65 vs matlab: 0.25。

partial_j1 = np.zeros(sparse.theta1.shape)
partial_j2 = np.zeros(sparse.theta2.shape)
partial_b1 = np.zeros(sparse.b1.shape)
partial_b2 = np.zeros(sparse.b2.shape)
t = time.time()

delta3t = (-(x-a3)*a3*(1-a3)).T

for i in range(m):

    delta3 = delta3t[:,i:(i+1)]
    sum1 =  np.dot(sparse.theta2.T,delta3)
    delta2 = ( sum1 + sum2 ) * a2[i:(i+1),:].T* (1 - a2[i:(i+1),:].T)
    partial_j1 += np.dot(delta2, a1[i:(i+1),:])
    partial_j2 += np.dot(delta3, a2[i:(i+1),:])
    partial_b1 += delta2
    partial_b2 += delta3

print "Backprop time:", time.time() -t

Matlab の実装:

tic
for i = 1:m

    delta3 = -(data(i,:)-a3(i,:)).*a3(i,:).*(1 - a3(i,:));
    delta3 = delta3.';
    sum1 =  W2.'*delta3;
    sum2 = beta*(-sparsityParam./rhoest + (1 - sparsityParam) ./ (1.0 - rhoest) );
    delta2 = ( sum1 + sum2 ) .* a2(i,:).' .* (1 - a2(i,:).');
    W1grad = W1grad + delta2* a1(i,:);
    W2grad = W2grad + delta3* a2(i,:);
    b1grad = b1grad + delta2;
    b2grad = b2grad + delta3;
end
toc
4

3 に答える 3

52

「Matlab は常に NumPy より速い」と言うのは間違っています。多くの場合、それらのパフォーマンスは同等です。NumPy を使用する場合、優れたパフォーマンスを得るには、NumPy の速度は C/C++/Fortran で記述された基本的な関数を呼び出すことから得られることに注意する必要があります。これらの関数を配列全体に適用すると、うまく機能します。一般に、Python ループ内の小さな配列またはスカラーでこれらの NumPy 関数を呼び出すと、パフォーマンスが低下します。

あなたが尋ねる Python ループの何が問題なのですか? nextPython ループのすべての反復は、メソッドの呼び出しです。[]インデックスを 使用するたびに、__getitem__メソッドが呼び出されます。Every+=は への呼び出し__iadd__です。すべてのドット属性ルックアップ ( like などnp.dot) には、関数呼び出しが含まれます。これらの関数呼び出しは、速度を大幅に低下させます。これらのフックは、Python の表現力を高めます。たとえば、文字列のインデックス作成は、dict のインデックス作成とは異なる意味を持ちます。同じ構文、異なる意味。この魔法は、オブジェクトにさまざまなメソッドを与えることによって実現され__getitem__ます。

しかし、その表現力にはスピードが犠牲になります。したがって、動的な表現力がすべて必要ない場合は、パフォーマンスを向上させるために、配列全体での NumPy 関数呼び出しに制限してみてください。

したがって、for ループを削除します。可能であれば、「ベクトル化された」方程式を使用します。たとえば、代わりに

for i in range(m):
    delta3 = -(x[i,:]-a3[i,:])*a3[i,:]* (1 - a3[i,:])    

delta3それぞれiを一度に計算できます。

delta3 = -(x-a3)*a3*(1-a3)

はベクトルfor-loop delta3ですが、ベクトル化された方程式を使用するdelta3と行列になります。


の計算の一部はfor-loop依存しないiため、ループの外側に持ち上げる必要があります。たとえばsum2、定数のように見えます。

sum2 = sparse.beta*(-float(sparse.rho)/rhoest + float(1.0 - sparse.rho) / (1.0 - rhoest) )

altコード ( ) の代替実装 ( ) を使用した実行可能な例を次に示しますorig

私の timeit ベンチマークは、速度が 6.8 倍向上したことを示しています。

In [52]: %timeit orig()
1 loops, best of 3: 495 ms per loop

In [53]: %timeit alt()
10 loops, best of 3: 72.6 ms per loop

import numpy as np


class Bunch(object):
    """ http://code.activestate.com/recipes/52308 """
    def __init__(self, **kwds):
        self.__dict__.update(kwds)

m, n, p = 10 ** 4, 64, 25

sparse = Bunch(
    theta1=np.random.random((p, n)),
    theta2=np.random.random((n, p)),
    b1=np.random.random((p, 1)),
    b2=np.random.random((n, 1)),
)

x = np.random.random((m, n))
a3 = np.random.random((m, n))
a2 = np.random.random((m, p))
a1 = np.random.random((m, n))
sum2 = np.random.random((p, ))
sum2 = sum2[:, np.newaxis]

def orig():
    partial_j1 = np.zeros(sparse.theta1.shape)
    partial_j2 = np.zeros(sparse.theta2.shape)
    partial_b1 = np.zeros(sparse.b1.shape)
    partial_b2 = np.zeros(sparse.b2.shape)
    delta3t = (-(x - a3) * a3 * (1 - a3)).T
    for i in range(m):
        delta3 = delta3t[:, i:(i + 1)]
        sum1 = np.dot(sparse.theta2.T, delta3)
        delta2 = (sum1 + sum2) * a2[i:(i + 1), :].T * (1 - a2[i:(i + 1), :].T)
        partial_j1 += np.dot(delta2, a1[i:(i + 1), :])
        partial_j2 += np.dot(delta3, a2[i:(i + 1), :])
        partial_b1 += delta2
        partial_b2 += delta3
        # delta3: (64, 1)
        # sum1: (25, 1)
        # delta2: (25, 1)
        # a1[i:(i+1),:]: (1, 64)
        # partial_j1: (25, 64)
        # partial_j2: (64, 25)
        # partial_b1: (25, 1)
        # partial_b2: (64, 1)
        # a2[i:(i+1),:]: (1, 25)
    return partial_j1, partial_j2, partial_b1, partial_b2


def alt():
    delta3 = (-(x - a3) * a3 * (1 - a3)).T
    sum1 = np.dot(sparse.theta2.T, delta3)
    delta2 = (sum1 + sum2) * a2.T * (1 - a2.T)
    # delta3: (64, 10000)
    # sum1: (25, 10000)
    # delta2: (25, 10000)
    # a1: (10000, 64)
    # a2: (10000, 25)
    partial_j1 = np.dot(delta2, a1)
    partial_j2 = np.dot(delta3, a2)
    partial_b1 = delta2.sum(axis=1)
    partial_b2 = delta3.sum(axis=1)
    return partial_j1, partial_j2, partial_b1, partial_b2

answer = orig()
result = alt()
for a, r in zip(answer, result):
    try:
        assert np.allclose(np.squeeze(a), r)
    except AssertionError:
        print(a.shape)
        print(r.shape)
        raise

ヒント:すべての中間配列の形状をコメントに残したことに注意してください。配列の形状を知ることで、コードが何をしているかを理解することができました。配列の形状は、使用する適切な NumPy 関数を導くのに役立ちます。または、少なくとも、形状に注意を払うことは、操作が賢明かどうかを知るのに役立ちます. たとえば、計算すると

np.dot(A, B)

と、そしてA.shape = (n, m)はshape の配列になります。B.shape = (m, p)np.dot(A, B)(n, p)


配列を C_CONTIGUOUS 順で構築すると役立ちます (少なくとも を使用する場合np.dot)。そうすることで、最大 3 倍の速度アップが得られる可能性があります。

以下xは、が C_CONTIGUOUS で F_CONTIGUOUS で あることをxf除いて、 と同じです。また、との関係も同じです。xxfyyf

import numpy as np

m, n, p = 10 ** 4, 64, 25
x = np.random.random((n, m))
xf = np.asarray(x, order='F')

y = np.random.random((m, n))
yf = np.asarray(y, order='F')

assert np.allclose(x, xf)
assert np.allclose(y, yf)
assert np.allclose(np.dot(x, y), np.dot(xf, y))
assert np.allclose(np.dot(x, y), np.dot(xf, yf))

%timeitベンチマークは速度の違いを示しています。

In [50]: %timeit np.dot(x, y)
100 loops, best of 3: 12.9 ms per loop

In [51]: %timeit np.dot(xf, y)
10 loops, best of 3: 27.7 ms per loop

In [56]: %timeit np.dot(x, yf)
10 loops, best of 3: 21.8 ms per loop

In [53]: %timeit np.dot(xf, yf)
10 loops, best of 3: 33.3 ms per loop

Python でのベンチマークについて:

time.time()Python でコードの速度をベンチマークするために呼び出しのペアの違いを使用すると、誤解を招く可能性があります。何度も測定を繰り返す必要があります。自動ガベージ コレクタを無効にすることをお勧めします。time.timeまた、クロック タイマーの精度が低いことによるエラーを回避し、コール オーバーヘッドの重要性を軽減するために、長いスパン(少なくとも 10 秒相当の繰り返しなど)を測定することも重要です。すべてのコードを自分で書く代わりに、Python はtimeit モジュールを提供します。便宜上IPython ターミナルを介して呼び出していることを除いて、私は本質的にそれを使用してコードの断片を計っています。

これがベンチマークに影響を与えているかどうかはわかりませんが、違いが生じる可能性があることに注意してください. 私がリンクした質問では、2 つのコードによるとtime.time、1.7 倍の係数で異なっていましたが、使用したベンチマークtimeitでは、コードの断片が本質的に同じ時間で実行されたことが示されました。

于 2013-08-29T17:58:51.263 に答える
1

numpy と matlab のパフォーマンスの違いは、常に私を苛立たせてきました。多くの場合、最終的には基礎となる lapack ライブラリに要約されます。私が知る限り、matlab は完全なアトラス lapack をデフォルトとして使用し、numpy は lapack ライトを使用します。Matlab は、人々がスペースやバルクを気にしないと考えていますが、numpy は人々が気にかけていると考えています。良い答えを持つ同様の質問。

于 2013-08-29T17:21:39.467 に答える