CMSI計算科学技術特論A (2015) 第12回 古典分子動力学法の高速化
-
Upload
computational-materials-science-initiative -
Category
Education
-
view
299 -
download
3
Transcript of CMSI計算科学技術特論A (2015) 第12回 古典分子動力学法の高速化
古典分子動力学計算法の高速化
名古屋大学大学院工学研究科
附属計算科学連携教育研究センター
吉井範行
CMSI計算科学技術特論A
2015年7月2日
内容
MD計算とは • MD計算の流れ、取り扱う原子数と周期境界条件、相互作用(力)、分子モデルと運動方程式 • MD計算の例、歴史、現状 非並列のMD計算 • 短距離相互作用(bookkeeping, cell index法) • 長距離相互作用(クーロン相互作用) Ewald, PME法 • 効率化のための方法 拘束動力学 (Δtを大きくする) Multiple time step (Δtを大きくする) On the flyによる最適化 (収束計算をなくす) 高速化のために、キャッシュの有効利用、キャッシュミス MD計算の並列化 • 高速多重極展開法(FMM) データ構造 メタデータ法、通信量の最小化、データ局在化による計算効率の向上 ベンチマーク MODYLAS
CMSI計算科学技術特論A
MD計算の要素 各要素の高速化、並列化
分子動力学(MD)計算とは
• 多数の原子や分子が集まってできた分子集団系
• 原子、分子、もっと大きな塊の力を計算
• 運動方程式を数値積分し、運動を追跡
• 得られた原子、分子、もっと大きな塊の軌跡から熱力学、統計力学的性質を抽出
CMSI計算科学技術特論A
MD計算の流れ
• 初期条件の設定
• 分子間力の計算
• 運動方程式の数値積分
時間刻みΔt
• 初期状態の平衡化
• 平衡化できたか?
• 軌跡、物理量の出力
• 十分に統計はとれたか?
• 最終座標・速度の出力
取り扱う原子数と周期境界条件
CMSI計算科学技術特論A
・原子数 100~100,000,000 個 (長距離相互作用のある場合) 対象系の規模や物理現象による。 ・基本セルの一辺の長さ ・周期境界条件 基本セル (立方体、直方体、平行六面体etc) イメージセルを基本セルの周囲に配置。 →表面効果の除去 3次元のみでなく、2,1次元方向にイメージセルを配置 2次元:界面、平面膜、2枚の平板にはさまれた状態 1次元: 細孔、棒状分子 ・ポテンシャルカット Lennard-Jones相互作用 Ewald法の実空間部分 通常、原子直径の3倍(3σ)程度。
相互作用(力) • 分子間相互作用(力) 2体力の和 Lennard-Jones(LJ)相互作用 クーロン相互作用
• 分子内相互作用(力) 分子内の原子を剛体的に取り扱わず、フレキシブルに運動できるとする。(フレキシブルモデル) 分子内ポテンシャルを伸縮、変角、torsionなどで表現する。
CMSI計算科学技術特論A
intram olecule st be tor
2 2st be tor
0 0 0
11 cos
2n
n
V V V V
k r r k k n
12 6
LJ ( ) 4V rr r
intermolecu le ( ) ( )Nij
i j
V V rr
分子間相互作用の精度がMD計算の質を決める
1 2C oulom b ( )
q qV r
r
分子モデルと運動方程式
CMSI計算科学技術特論A
分子
単原子分子
質点 質点の位置座標
デカルト座標
ニュートンの第二法則
座標変数 分子モデル
多原子分子
運動方程式
ねじれ運動なし
質量中心の位置
剛体回転子モデル
フレキシブルモデル
ねじれ運動あり
オイラー角 四元数
原子の位置座標
分子内ポテンシャル
原子の位置座標
結合長の拘束
ニュートンの第二法則
オイラー方程式
ニュートンの第二法則
ラグランジュ未定乗数法
ニュートンの第二法則
一般化座標
拘束動力学
デカルト座標
Ar, Na+
H2O, CO2,
ベンゼン
C4H10、
高分子
MD計算の例
CMSI計算科学技術特論A 名古屋大学 岡崎研HP http://simulo.apchem.nagoya-u.ac.jp/animation1/
MD計算の例
CMSI計算科学技術特論A
MD計算の例
CMSI計算科学技術特論A
MD計算の例
対象 系・現象 対象 系・現象
低分子液体、溶液 水、水溶液、 溶媒和、化学反応
タンパク質 折りたたみ、酵素、イオンチャンネル、阻害剤、タンパク質複合体
固体 相転移、フォノン DNA、RNA 不均一系、界面 結晶成長、吸着、トライ
ボロジー、蒸発、凝縮、透過、分配、界面増強スペクトル、界面張力
生体膜 脂質膜、ラフト、抗生物質、薬物透過、吸収
両親媒性分子水溶液ミセル、単分子膜、二分子膜、バイセル
球状ミセル、棒状ミセル、L膜、LB膜、ベシクル
ウイルス カプシドタンパク質
化学反応 溶液内化学反応、 電解反応、 自由エネルギー曲面
ガラス ガラス化、スローダイナミクス
超臨界流体 分子系、混合系、クラスターの生成
金属、半導体 電極、液体金属
高分子 分離膜、電解質膜、複雑系、スローダイナミクス
非平衡マクロ動力学 対流、ずり、核生成、流体力学
CMSI計算科学技術特論A
MD計算の歴史 発表年 手法 対象 発表者
1953 MC 初めてのMC、剛体球 Metropolis et al. 1957 MC 球状分子 Wood and Parker 1957 MD 初めてのMD、剛体球 Alder and Wainwright 1964 MD 球状分子 Rahman
1969 MC 水 Barker and Watts 1971 MD 水(回転の運動方程式) Rahman and Stillinger 1971 MC イオン Woodcock
1977 MD 拘束動力学 Rychaert et al. 1977 MD タンパク質分子 McCammon et al. 1980 MD 圧力一定 Andersen
1980 MD 圧力テンソル一定 Parrinello and Rahman 1981 MD 経路積分、量子系 Chandler and Wolynes 1984 MD 温度一定 能勢
1985 MD 第一原理MD Car and Parrinello
1986 MD 溶液内化学反応 Hynes et al. 1987 MD, MC FMM Greengard 1988 MD, MC 汎用ポテンシャル Jorgensen et al. 1991 MD 非断熱量子動力学 Rossky et al.
CMSI計算科学技術特論A
MDの現状
プログラム名 開発者
AMBER Kollman
CHARMM Karplus
GROMACS Hess
TINKER Ponder
NAMD Schulten
DESMOND Shaw
LAMMPS Plimpton
MODYLAS Okazaki
GENESIS Sugita
MRABLE Ikeguchi
CMSI計算科学技術特論A
ポテンシャル名 開発者
AMBER Kollman
CHARMM Karplus
OPLS Jorgensen
GROMOS Berendsen
・汎用ポテンシャルセットの開発 対象系の分子のポテンシャルが簡単に構築できる ・粗視化モデル 大規模系が取扱い可能に
非並列のMD計算
シングルコアで高速化を進める
MD計算手法の選択
短距離力の計算(bookkeeping, cell index)
長距離力の計算(Ewald, PME, FMM)
拘束動力学の利用
Multiple time stepの導入
on the fly計算の利用
• 高速化のための工夫
CMSI計算科学技術特論A
短距離相互作用 bookkeeping法
• ある分子からの距離がrcよりも短い相手分子の番号すべてをリストアップ.
• リストの作成は何ステップかに1回毎. 固体のような流動性のないものなら更新不要 • rcよりもΔrだけ長い距離のものまで余分にリストに載せる.
• リストを用いて相互作用を計算する際には,リストを複数のノードやスレッドに割り振って並列計算させるループ分割法が容易に実装可能.
CMSI計算科学技術特論A
L N N’ L/rl N’/N
9σ 600 150 2.6 0.25
12σ 1500 150 3.4 0.10
15σ 3000 150 4.3 0.05
18σ 5000 150 5.1 0.03
短距離相互作用 bookkeeping法
• 数ステップに一度相互作用対のリスト(list)を更新する
• 毎ステップリストを用いて相互作用計算する。
CMSI計算科学技術特論A
k=0 do i=1,n-1 do j=i+1,n i, j間の距離がrl以下 k=k+1 list(1,k)=i リスト作成 list(j,k)=j リスト作成 enddo enddo do i=1,k リストをもとに相互作用計算 enddo MPI並列なら 相互作用の計算結果をノード間で通信 スレッド並列 通信不要
短距離相互作用 Cell index法
• 帳簿を作成,更新する際のN(N-1)/2通りの距離計算が大きな負荷.大きなメモリを要する.
• L/ rlが4以上の場合には,一辺の長さがrlよりも大きくなる範囲内で基本セルそのものをx,y, zそれぞれの方向に4分割以上の分割を行う.
• 注目している分子が属しているセルとそれに直接接しているセルあわせて27個の分割セル内にある分子との間だけでbookkeeping法を行う.
• 分割セルの一辺の長さを よりも短くする場合には,第二近接のセルまで考慮に入れる
• Cell index法についても作成したリストを複数のノードやスレッドに割り振って相互作用の並列計算を行えばよい.
CMSI計算科学技術特論A
長距離相互作用 クーロン相互作用
• 直接計算 O(N2) →計算方法はLJ相互作用と同じ カットオフの悪影響大のため用いない。 • エワルド法 O(N2) あるいは Particle Mesh Ewald法 O(NlogN) →小、中規模系向け • 高速多重極展開法(Fast Multipole Method: FMM) O(N) →大規模系向け
CMSI計算科学技術特論A
Ewald法の要点 ・減衰の遅いクーロン相互作用を、減衰の速い関数と遅い関数に分ける。 ・遅い関数はフーリエ変換することにより逆格子ベクトルを用いて評価。 ・速い関数は実空間で評価。 (減衰の遅い1/r) = (減衰の速い関数) +(減衰の遅い関数)
長距離相互作用 Ewald法
CMSI計算科学技術特論A
0
1 1( )
2 4 | |
i jNN
i ji j
Q QV
L
n
rr r n
′
n ( 1, 2, 3)
Ln
erf ( )r
r
erfc( )r
r
整数ベクトル
減衰の遅い関数 ・・・ フーリエ変換したもので 評価
減衰の速い関数 ・・・ この関数形で評価
1 erf ( ) erfc( )r r
r r r
長距離相互作用 Ewald法
• Ewald法のよるポテンシャル
CMSI計算科学技術特論A
(1) (2) (3)
N N N NV V V V
(1)
0
erfc( | |)1
2 4 | |
i j i j
Ni ji j
Q Q LV
L
n
r r n
r r n′
2 22 2( 2 )
3 200
1 exp( | | /4 )cos sin
2 | |i i i iN
i i
V Q QL
G
GG r G r
G
2(3)
04
i
N
i
QV
bookkeeping法 セルインデックス法
Gについてのループ分割 → PMEによる高速化
実空間での相互作用 LJと一緒に計算する
2
2( 2 )
3 200
300
| |exp
1 4exp( ) exp( )
2 | |
1( ) ( ) ( )
2
i i j jN
i j
V Q i Q iL
H S SL
G
G
G
G r G rG
G G G2
2
2
exp4
( )H
G
GG
( ) exp( )i i
i
S Q i G G r
ˆ( ) ( ) exp( )S S i u
G u G u
(2)
30
1 ˆ ˆˆ ( ) ( )2
NV H S S
L
u
u u
逆格子ベクトルの項は
S(G)を毎ステップ計算しなければならない。 S(G)を格子点uにおける補間を用いて表現すると
S(G)の計算に補間法を利用(格子点で評価) 高速フーリエ変換(FFT)利用 O(NlogN)
Particle mesh Ewald(PME)法
となる。ここでS(u)はS(G)のuにおける重み因子。これにより
効率化のための方法
Δtを大きくする
• 拘束動力学 (⇔剛体回転子)
• Multiple time step
収束計算をなくす
• On the fly による最適化
CMSI計算科学技術特論A
拘束動力学
CMSI計算科学技術特論A
• 拘束条件つきの運動方程式 拘束条件
ラグランジュの未定乗数λ
運動方程式
拘束力のある場合 ラグラジアン
オイラー・ラグランジュ方程式
運動方程式 運動方程式
Multiple time step
• 同じMD計算のなかで変化の速いものと遅いものがある場合には,速い変化のほうに対応した小さなΔtを選択しなければならない.
• Hに対する運動方程式とほかの重い原子に対する運動方程式を区別して,異なったΔtで解くことができれば非常に都合のよい(部分的にΔtを大きくできる)ことになる.この考え方に基づいた方法がMultiple time step法である.
CMSI計算科学技術特論A
例 United atomのブチルアルコールのフレキシブルモデル
CH3-CH2-CH2-CH2-O-H 2fst
0.1fst
Multiple time step
• 時間発展演算子法により、重い(遅い)運動と軽い(速い)運動とを分離して数値積分する。
• 時間発展演算子法
CMSI計算科学技術特論A
リウビル演算子 L
時間発展演算子
異なる自由度など2つの部分に分離できると
/ 2 / 2 3e e e e O ( )p pr
i t i ti t i tt
L LL L
=
Multiple time step
• 時間発展演算子法により、重い(遅い)運動と軽い(速い)運動とを分離して数値積分する。
CMSI計算科学技術特論A
リウビル演算子 L
時間発展演算子
/ 2 / 2
/ 2 2 2 / 2
e e e e
e e e e e
heavy r light heavy
heavy light light heavyr
i t i t i ti t
ni t i t t i t i ti t
L L L LL
L L L LL
On the fly による最適化
CMSI計算科学技術特論A
0 polU U U
pol
1
2i i i i
i i
U
E μ μ μ
• 第一原理MD(Car-Parrinello法) • 電荷揺らぎモデル(TIP4P-FQ、SPC-FQモデル) • 分極モデル(点双極子モデル) • 最適値を得るために繰り返し計算を必要する変数を含む • 繰り返し計算を行わず、最適値近傍を動的に揺らがせる近似解で満足できる場合 • その変数に仮想的な慣性量、運動エネルギーを与えて運動方程式を解く。 • 繰り返し計算がなくなるため高速化が可能。 • 運動エネルギーの相当する分だけ最適値からずれて、誤差が生じる。
i ij i E T μ
i iμ E
2 2
1 1
1 1,
2 2
N N
N N
i i
i i
L m r M U
r μ
,N N i
i iM L
μμ r μ E
分極モデル 拡張系のラグラジアン 粒子と双極子モーメントの自由度がある。
双極子モーメントの運動方程式
高速化のために
遅い演算(除算と組み込み関数) • 除算は他の四則演算より遅い。 • 組み込み関数も時間のかかる演算である。
• ホットスポット内ではできるだけこれらの演算を減らすように工夫する。
CMSI計算科学技術特論A
do i=1,n b(i)=a(i)/x enddo
y=1.d0/x do i=1,n b(i)=a(i)*y enddo
除算をループの外へ移動
do i=1,n x(i)=a(i)/b(i)/c(i) enddo
do i=1,n x(i)=a(i)/(b(i)*c(i)) enddo
除算を乗算に変更
do i=1,n x(i)=a(i)/b(i) y(i)=c(i)/d(i) enddo
do i=1,n tmp=1.d0/(b(i)*d(i)) x(i)=a(i)*d(i)*tmp y(i)=c(i)*b(i)*tmp enddo
通分の利用
• ex×ey ex+y
• logax + logay logaxy
• sinθ ×cosθ 0.5sin2θ
• If(sqrt(x*x+y*y) < R) If(x*x+y*y < R2)
y=sign(x,a)
If(a > 0.d0) then y=abs(x) else y=-abs(x) endif
遅い演算(組み込み関数) 組み込み関数のfortranコード化 環境によって速くなる場合とそうでない場合がある。両者の比較が必要。
imax=0 do i=1,n imax = max(imax,m(i)) enddo
imax=0 do i=1,n if(m(i) > imax) imax=m(i) enddo
m=nint(a)
If(a > 0.d0) then m=a+0.5d0 else m=a-0.5d0 endif
高速化のために
高速化のために
分子シミュレーションへの適用
• Lennard-Jones相互作用
CMSI計算科学技術特論A
r 6=r 2 *r 2 *r 2 r 12 =r 6*r 6 V=1.d0/r 12 -1.d0/ r6
r 6=r 2 *r 2 *r 2 r 12 =r 6*r 6 V=(1.d0 -1.d0*r6)/r 12
LJ相互作用への適用
12 6
1 1V
r r
キャッシュの有効利用
CMSI計算科学技術特論A
CPUの必要なデータに高速アクセス ① データはメモリに格納 ② 必要に応じて隣接するデータと共にキャッシュ上に ③ 演算で必要となるとレジスタにコピー ④ 演算された結果は再びキャッシュに上書き ⑤ キャッシュ上で用いられなくなるとメモリ上に上書きコピーされる.
キャッシュミス
CMSI計算科学技術特論A
• データ:レジスタ←キャッシュ←メモリ
• レジスタ←キャッシュ:高速アクセス
• キャッシュ←メモリ:←低速アクセス
• 演算を行う時にデータがキャッシュ上にないときはメモリまで取りに行く。キャッシュミス。
• データがキャッシュに乗っているように工夫することが重要。
キャッシュミスを防ぐ
CMSI計算科学技術特論A
• 1次元配列の変数:引数の順にキャッシュに格納 • 1次元配列の変数へのアクセス→配列の引数について連続的にアクセスするように心がける。
• 2次元以上の配列の変数:Fortranでは配列左側の引数の順にキャッシュに格納。
(C言語は右側から) • 2次元以上の配列の変数へのアクセス→Fortranでは配列の左側の引数について連続的にアクセスするように心がける。 A(I,j)
(C言語は右側)
MD計算の並列化
• ループ分割:計算負荷の大きなdo ループを並列化 ⇒並列化が容易 ⇒全ノード間で通信(MPI) ⇒MPIの高並列になると効率が悪い • 領域分割:基本セルを複数の領域に分割 ⇒並列化が大変。 ⇒通信は隣接領域間のみ。 ⇒超並列でも効率がよい。 データ構造を大幅に変更 ほぼ最初から書き直し
CMSI計算科学技術特論A
1 2 3 4
5 6 7 8
9 10 11 12
13 14 15 16
高速多重極展開法(FMM)
• 多極子モーメントを用いた多重極展開
CMSI計算科学技術特論A
2 2 2
1 1 1
2 cos1 2 cos
ii i i i i
i
r r r r r r rr
r r
1x
2 3
2 3
2 3 4
1 1cos 3 cos 1 5 cos 3 cos
2 2
i i ii i i i
i
r r r
r r r r r
2 31 1 3 51
2 8 161x x x
x
原点0の周りに電荷Qiが分布 QiとQとの相互作用を 多重極展開で表す。
余弦定理
テイラー展開
高速多重極展開法(FMM)
• QiとQとの相互作用の多極子モーメントを用いた表式
CMSI計算科学技術特論A
0
22
2 30
2
3 50
3 50
1
4
1 1cos 3 cos 1
4 2
1 1 1 13
4 2
1
4
i
ii
i ii i i
i
i
ii i i i i i
i i
QQV
r
r rQ Q
r r r
Q
Q Q Q rr r r
ZQ
r r r
r r r r r I r
r μ r Q r
2
32
i
i
i i
i
ii i i
i
Z Q
Q
Qr
μ r
Q r r I
1 1
cos
n
in i
i n
rP
r r r
0
1cos
4
n
ii n i
i n
Q rV Q P
r r
Legendre多項式を用いた表式
展開のしかた ・多極子モーメント ・Legendre多項式 ・球面調和関数 等々
高速多重極展開法(FMM)
• 空間分割
CMSI計算科学技術特論A
2次元:4分木構造 3次元:8分木構造
レベル サブセル一辺の長さ
0 L
1 L/2
2 L/22
3 L/23
最も細かく分割したレベルのサブセルについて領域分割を適用
高速多重極展開法(FMM)
• 粒子と分割されたサブセルとの相互作用 周期境界条件あり
CMSI計算科学技術特論A
d m
i i iV V V
自セルAの粒子iのポテンシャル𝑉𝑖
距離に応じてレベルの異なる多極子モーメントを利用する
高速多重極展開法(FMM)
• 多重極展開と局所展開
CMSI計算科学技術特論A
𝑉𝑖d
𝑉𝑖m
手順(d) より遠いサブセル群E,FについてもDと同様。M(2), M(1)を求め、M2L、L2LによってL(4)を求める。 手順(e) 第3隣接以遠無限遠に至るイメージセルにM(0)があるものとして、基本セル上に作るL(0)を求める。L2LによりL(4)を求める。 手順(f) L(4)を用いてポテンシャルを評価する。
これを効率的に行うために手順(c), (d), (e)で得られたLそれぞれのレベルで足し合わせてからより小さなサブセルにL2L変換する。
高速多重極展開法(FMM)
計算精度 • 静電+Lennard-Jones相互作用
• 計算精度を展開次数で制御
CMSI計算科学技術特論A
原子数 10,125,000 個 体積 46.83 nm3
セル数 643 (=262,144) 個 (セルあたり39個) 展開 エネルギー 4次 6~7桁 8次 8~9桁 力 4次 4~5桁 8次 6~7桁
V / 10-13 J Fx / 10-10 N Fy / 10-10 N Fz / 10-10 N
correct -218735559 -4.357177 6.380146 -1.477348
4次 -218735742 -4.356659 6.380802 -1.475152
8次 -218735559 -4.357201 6.380145 -1.477340
データ構造 メタデータ法 原子のデータ構造 • 原子座標、速度、力、セグメントデータ → メタデータ化 • プロセスに属するサブセルを割り当てて固定 (図では4×4のサブセルを1つのプロセスに割り当て) • サブセル内の原子のデータをプロセスに局在化させる。グローバルに持たない→省メモリ。 • データ領域に空きを用意 → サブセル内の原子数の増減に対応。各サブセル内の原子数に合わせて要
素数が変化。要素数情報もあわせて保持。 • メタデータ配列のまま演算も通信も行う。サブセルを表す3次元配列を持っているので、取り扱いが容易 • バッファリングやindirect accessがない。 • サブセル単位のメタデータがキャッシュに載るようにサブセル内の原子数を調整。 • 原子の運動に伴って原子の帰属するサブセルを更新 。
CMSI計算科学技術特論A
Cell index Z
Cel
l ind
ex Y
・セグメントデータ 一塊の原子団のデータ CH3、H2Oなど。 原子間距離拘束の情報
通信量の最小化 原子情報
自セルと相互作用する原子情報を集める。 • 通信回数と通信量の最小化 • 隣接セルと通信して1次元(z軸)方向にデータを結合し棒状のデータを作る。
• 棒状データをy軸方向に通信し結合させて、平面状データにする。
• x軸方向に平面状データを通信し結合させて、立方体状のデータにする。
• K-スパコンの多重同時通信(各軸ごとに+、-方向)
CMSI計算科学技術特論A
Step-1
Step-1
Step-1
Step-1
Step-2Step-2 Step-2Step-2
Cell index Z
Cel
l in
dex
Y
Rank 2
Rank 0 Rank 1
Rank 3
データ局在化による計算効率の向上
キャッシュの利用効率の向上 • L1キャッシュ-L2キャッシュ-メモリ • L2-メモリ間、L1-L2間のデータ通信の最小化 最重要ホットスポット • 2体間相互作用計算 • FMMのM2L計算 2体間相互作用計算 • 3重ループ構造 do 5つのサブセルを指定するインデックス do 注目する1つのサブセル内の粒子 do 隣接する5つのサブセル内の原子 相互作用計算 enddo enddo enddo • これにより、5つのサブセルのデータが効率的に再利用される。 • ただし5つのサブセルの座標データをL1キャッシュに載せておくことが重要
CMSI計算科学技術特論A
Cell index Z
Cel
l in
dex
Y
Hess et al. (2008)
DHFR in water
23,558 原子系
rc = 9.6 Å GROMACS
9 Å Desmond
9 Å NAMD
FFT : 64× 64×64
t = 1 fs
PCクラスタを用いたベンチマーク
: : Desmond (2008)
24,000 原子系 100~500並列 1~2 ms/step (50~200 atoms / processors)
8コア(1ノード)の使用と比較して512コア(64ノード)で、すでに30%程度の並列化効率
CMSI計算科学技術特論A
ANTONのパフォーマンス (専用マシン)
DHFR 23,558 原子系 force error 1.5×10-4
Shaw et al. (2008)
512 ノード並列 14.5 s/day
1 ms / 70 days
24,000原子系
512並列
~6 s/step
400 MHz
CMSI計算科学技術特論A
Schulten et al. (2008)
NAMDのパフォーマンス on Blue Gene/L
IAPP 5,570 原子系
cutoff 12 Å t = 2 fs
ApoA1 92,224 原子系
cutoff 12 Å t = 1 fs
STMV 1,066,628 原子系
cutoff 12 Å t = 1 fs
1,000,000原子系
~20,000(40,000)並列
~15 ms/step
10 ms/step
(coprocessor mode)
(50 atoms / processors)
2 ms/step
対数プロット
CMSI計算科学技術特論A
i s
s i
i s
s i
s
s i
Q q
q
q
s
i s s
r
r r局所展開
×
××
+
多極子展開
局所展開
・
・
・
MODYLAS
実質的に FFT free ! 並列化 ・完全領域分割 ・多階層隣接通信化
+ 周期境界条件下における 多極子に対するエワルド法
大きな通信はすべて隣接通信化
= 厳密計算 (精度は展開次数で制御)
長距離力の厳密計算
多極子展開
××
ii
××
ii
×
多極子展開
CMSI計算科学技術特論A
ウイルスカプシドの分子動力学計算
小中規模系の計算
・2~3万原子系
・Ewald法
領域分割
FFT
専用計算機
・ANTON
512並列
数s/step
・MDGRAPE
全原子計算
~1000万原子系
・周期境界条件下
・長距離相互作用
京スパコン
100ms/step
・大規模並列が不可欠
・通信もms
隣接通信化が不可欠
(FFTは不可) 1マイクロ秒:10年(解析不可能)
(実効性能 0.1ペタフロップス)
従来のスパコン
マイクロ秒程度の軌跡
27 nm
46 nm
1000万原子系の基本セル
CMSI計算科学技術特論A
ベンチマークテスト MODYLAS
100 1000 10000 1000000.1
1
10
100
1000
100001000 10000 100000 1000000
0.1
1
10
100
1000
10000
T /
ms
Ncore
Nnode
accele
ration
100 1000 10000 1000000.1
1
10
100
1000
100001000 10000 100000 1000000
T / m
s
Ncore
Nnode
The measured direct calculation time of the pairwise additive forces(circle), the FMM calculation(triangle), the intramolecular forces(diamond), and the communication time(brown) per one MD step(Dt) for the 10-million atomistic system, the PYP solution, as a function of degree of parallelism, Nnode.
The measured overall calculation time per one MD step(Dt) for the 10-million atomistic system, the PYP solution, and the acceleration ratio with respect to the 64-nodes calculation as a function of degree of parallelism, Nnode.
pairwise additive forces
FMM calculation intramolecular forces
communication time
PYP 水溶液、1000万原子系
CMSI計算科学技術特論A
レセプター
感染機構を解き明かす ウイルスとレセプターの特異な相互作用
10,000,000原子
「京」スパコンが不可欠
ウィルス全体1000万原子系の 分子動力学計算が必要
小児マヒウイルス
P=1 atm, T=310.15 K
小児麻痺 ウイルス
“Medical Virology”, edited by D. O. White and F. Fenner, Academic Press
CMSI計算科学技術特論A
今日のまとめ
MD計算とは • MD計算の流れ、取り扱う原子数と周期境界条件、相互作用(力)、分子モデルと運動方程式 • MD計算の例、歴史、現状 非並列のMD計算 • 短距離相互作用(bookkeeping, cell index法) • 長距離相互作用(クーロン相互作用) Ewald, PME法 • 効率化のための方法 拘束動力学 (Δtを大きくする) Multiple time step (Δtを大きくする) On the flyによる最適化 (収束計算をなくす) 高速化のために、キャッシュの有効利用、キャッシュミス MD計算の並列化 • 高速多重極展開法(FMM) データ構造 メタデータ法、通信量の最小化、データ局在化による計算効率の向上 ベンチマーク MODYLAS
CMSI計算科学技術特論A
MD計算の要素 各要素の高速化、並列化
参考文献 MD全般 • D. Frenkel, B. Smit,“Understanding Molecular Simulation," Academic Press, San Diego(1996). • 上田 顕,「コンピュータシミュレーション」,朝倉書店(1990). • M. P. Allen, D. J. Tildesley,“ Computer Simulation of Liquids," Oxford Science, Oxford(1987). • J. P. Hansen, I. R. McDonald, “Theory of Simple Liquids," Academic Press, London(1986). • 岡崎 進, 吉井 範行, コンピュータ・シミュレーションの基礎(第2版), 化学同人(2011). 力学 • H. Goldstein,「ゴールドスタイン新版古典力学(上),(下)」(瀬川富士,矢野 忠,江沢康生 訳),
吉岡書店(1983). 数値積分 • G. J. Martyna, M. E. Tuckerman, D. J. Tobias, M. L. Klein, Mol. Phys., 87,1117(1996). Particle mesh Ewald法 • T. Darden, D. York, L. Pedersen, J. Chem. Phys., 98,10089(1993). FMM • L. Greengard, V. Rokhlin, J. Comput. Phys., 73,325(1987). SHAKE • G. Ciccotti, J. P. Ryckaert, Comp. Phys. Rep., 4,345(1986). • P. Gonnet, J. Comput. Phys. 220, 740(2007). MODYLAS • Y. Andoh, et al., J. Chem. Theory Comput. 9, 3201( 2013) • Y. Andoh, et al., J.Chem. Phys. 141, 165101 (2014).
CMSI計算科学技術特論A