くれなゐの雑記

身の回りの人や自分が困っていたことを記事にしています

epslatexなgnuplotで保存するたびにpdfを更新してそれを見ながら編集する(gnuplot, omake)

デモ

ちょっとタイムラグと画質がきになりますがこんな感じです
今回はtexのフォントを使いたかったのでplatexを1回挟んでます



makeplt_tex demo

.plt(gnuplotのファイル) -> .eps+.tex -> .pdfファイル

以下のスクリプトを使います makeplt_texと名付けています
このコマンドはあくまでもpdfファイルを生成するものであって自動更新は別です
filename.pdfが生成されます
個人的趣味でA4サイズで出力して,全体のサイズを確認しながら作業してます.

 makeplt_tex filename.plt
#!/bin/sh
set -e
PLTNAME=$(basename $1)
DIR=$(dirname $1)
gnuplot<<EOF
cd "$DIR"
set terminal epslatex color 
set output "${PLTNAME%plt}tex"
load "$PLTNAME"
EOF

OUTDIR=source_${PLTNAME%.plt}

mkdir -p $OUTDIR

cat << EOS > $OUTDIR/main.tex
\documentclass[a4j,10pt]{jsarticle}
 
\usepackage[dvipdfmx]{graphicx}
 
\begin{document}
\begin{figure}[htb]
	\centering
	\input{${PLTNAME%plt}tex}
	\caption{caption}
	\label{fig:${PLTNAME%.plt}}
\end{figure}
 
\end{document}
EOS

cat << EOS > $OUTDIR/Makefile
main.pdf:
	platex main.tex
	dvipdfmx main.dvi
EOS

mv ${PLTNAME%plt}eps ${PLTNAME%plt}tex $OUTDIR
cd $OUTDIR

make

mv main.pdf ../${PLTNAME%plt}pdf

.pdfファイルの自動更新

ファイル監視ツールみたいなの作ったのですがいいやつがありました
omake(1. ガイド — OMakeマニュアル 日本語訳)を使います
まず,omakeをapt-getなりmakeするなりしてinstallしたら該当ディレクトリに移動して,

omake --install

でOMakefileを生成します.
OMakefileを以下のように編集します

filename.pdf:
    makeplt_tex filename.plt

.DEFAULT: filename.pdf

あとは

omake -P

とするとファイルの監視が起動して,.pltファイルを編集するたびに.pdfが更新されるので,okularなりSumatraPDFなりskimなりで開いて更新していく様子を観察すればOKです

pltを各際の注意

動画で一度しくじってますが,バックスラッシュは二回必要です

OpenFOAMでgdbを使ってデバッグっぽいことをしてみる

OpenFOAMでgdbを使いたい

Intro

Motivation

先日 OpenCAE勉強会でgdbが便利だという話だという話をしました。 詳細について教えてほしいということなのでブログの記事を書くことにしました。

この記事では,

  1. 概要
  2. デバッグオプションをいれたOpenFOAMのmake
  3. 実際にエラーの原因を探してみる
  4. gdbOF(WIP まだ描いてないよ)

の4つを紹介していきます 結構長いですが, 冷静に見ると内容薄いのでささっと読めると思います(出力結果おおいし)

Target

  • OpenFOAMのcavity流れのtutorialが回せるくらいの人
  • gdbが何かわからない人
  • OpenFOAMでgdbを使えることがしらなかった人

環境

ubutnu16.04, OpenFOAM-2.4.0

どんなことができるの

OpenFOAMで適当なものを実行してみる. デバッグをしたいので, なにか計算が落ちるケースがほしい. 今回は OpenFOAM/OpenFOAM-2.4.0/tutorials/incompressible/icoFoam/cavity のcavity流れの流速をU=100m/sとかにして計算を飛ばす

通常のエラーメッセージ
#0  Foam::error::printStack(Foam::Ostream&) at ??:?
#1  Foam::sigFpe::sigHandler(int) at ??:?
#2  ? in "/lib/x86_64-linux-gnu/libc.so.6"
#3  Foam::symGaussSeidelSmoother::smooth(Foam::word const&, Foam::Field<double>&, Foam::lduMatrix const&, Foam::Field<double> const&, Foam::FieldField<Foam::Field, double> const&, Foam::UPtrList<Foam::lduInterfaceField const> const&, unsigned char, int) at ??:?
#4  Foam::symGaussSeidelSmoother::smooth(Foam::Field<double>&, Foam::Field<double> const&, unsigned char, int) const at ??:?
#5  Foam::smoothSolver::solve(Foam::Field<double>&, Foam::Field<double> const&, unsigned char) const at ??:?
#6  ? at ??:?
#7  ? at ??:?
#8  ? at ??:?
#9  ? at ??:?
#10  __libc_start_main in "/lib/x86_64-linux-gnu/libc.so.6"
#11  ? at ??:?

デバッグオプション

#0  Foam::error::printStack(Foam::Ostream&) at ~/OpenFOAM/OpenFOAM-2.4.0/src/OSspecific/POSIX/printStack.C:219
#1  Foam::sigFpe::sigHandler(int) at ~/OpenFOAM/OpenFOAM-2.4.0/src/OSspecific/POSIX/signals/sigFpe.C:108
#2  ? in "/lib/x86_64-linux-gnu/libc.so.6"
#3  Foam::symGaussSeidelSmoother::smooth(Foam::word const&, Foam::Field<double>&, Foam::lduMatrix const&, Foam::Field<double> const&, Foam::FieldField<Foam::Field, double> const&, Foam::UPtrList<Foam::lduInterfaceField const> const&, unsigned char, int) at ~/OpenFOAM/OpenFOAM-2.4.0/src/OpenFOAM/matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:167
#4  Foam::symGaussSeidelSmoother::smooth(Foam::Field<double>&, Foam::Field<double> const&, unsigned char, int) const at ~/OpenFOAM/OpenFOAM-2.4.0/src/OpenFOAM/matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:237
#5  Foam::smoothSolver::solve(Foam::Field<double>&, Foam::Field<double> const&, unsigned char) const at ~/OpenFOAM/OpenFOAM-2.4.0/src/OpenFOAM/matrices/lduMatrix/solvers/smoothSolver/smoothSolver.C:169良いかと思います
#6  ? at ~/OpenFOAM/OpenFOAM-2.4.0/src/finiteVolume/lnInclude/fvMatrixSolve.C:193 (discriminator 9)
#7  ? at ~/OpenFOAM/OpenFOAM-2.4.0/src/finiteVolume/lnInclude/fvMatrixSolve.C:82
#8  ? at ~/OpenFOAM/OpenFOAM-2.4.0/src/finiteVolume/lnInclude/fvMatrixSolve.C:331
#9  ? at ~/OpenFOAM/OpenFOAM-2.4.0/src/finiteVolume/lnInclude/fvMatrix.C:1390
#10  ? at ~/OpenFOAM/OpenFOAM-2.4.0/applications/solvers/incompressible/icoFoam/icoFoam.C:63 (discriminator 7)
#11  __libc_start_main in "/lib/x86_64-linux-gnu/libc.so.6"
#12  ? at ??:?

パット見で両者に違いがわかります.

  • 通常のエラーメッセージ: どこでエラーが起きてるのかよくわからない. ギリギリメソッドはわかるけどどのファイル名かはわからない.
  • デバッグオプション込: どこのファイルで呼ばれたのかわかる. 通常のエラーメッセージでは#6くらいから完全に?になってるが, デバッグオプションでは, icoFoam.Cまで遡ることができる.

しかし, デバッグオプション込では実行速度が遅くなる欠点があります. 体感実行時間2倍は硬いです. なので基本的にはデバッグオプション無しで実行し, エラーが起きた時にデバッグオプションをつけてコンパイル, 実行が良いかと思います.

また, gdbを使えば

  • プログラムを途中で止めてその状態で変数等確認
  • 1行ずつ実行
  • backtrace(今いる関数はどこから呼ばれたのかなどを表示)

などができます.

使ってみる

Debugオプションを入れた状態でのmake

OpenFoam-x.x.x/etc/bashrc

#- Optimised, debug, profiling:
#    WM_COMPILE_OPTION = Opt | Debug | Prof
export WM_COMPILE_OPTION=Opt

を(Debugという文字はここにしかでてこないので, Debugという文字列で検索したらここがすぐ出てくると思います.)

#- Optimised, debug, profiling:
#    WM_COMPILE_OPTION = Opt | Debug | Prof
export WM_COMPILE_OPTION=Debug

に変更します.(Opt->Debug) この状態で, bashrcを読みなおします bashrcの読みなおしは,

source etc/bashrc

などで行います. そのあと

cd ~/OpenFOAM/OpenFOAM-x.x.x
./Allwmake

などで再コンパイルするとDebug用実行ファイルが生成されます. 例えば, OpenFOAM-2.4.0/src/finiteVolume/Make などのファイルを確認すると linux64GccDPDebug みたいなDebugっぽい感じのディレクトリが生成されます. OptとDebugでフォルダがわかれているので, bashrcのオプションをoptに戻すとまた全部コンパイルせずに済みますね.

その後適当に実行時エラーを吐くようになコードを書いたり, ケースを作ったりしたら先ほど述べたようなエラーメッセージが出ます.

DebugとOptを切り替える

bashrcをDebugにしたり, Optにしたり, 変更があった場合はmakeをすればOKです.

エラー落ちさせてみる

コードをいじってもいいですが, めんどくさいのでエラー落ちするようなケースを作ります.

cp ~/OpenFOAM/OpenFOAM-2.4.0/tutorials/incompressible/icoFoam/cavity ~/Desktop # 一応避難
cd ~/Desktop/cavity
流速を100m/sなどにして計算を発散させる

以下のようなメッセージが出る

#0  Foam::error::printStack(Foam::Ostream&) at ~/OpenFOAM/OpenFOAM-2.4.0/src/OSspecific/POSIX/printStack.C:219
#1  Foam::sigFpe::sigHandler(int) at ~/OpenFOAM/OpenFOAM-2.4.0/src/OSspecific/POSIX/signals/sigFpe.C:108
#2  ? in "/lib/x86_64-linux-gnu/libc.so.6"
#3  Foam::symGaussSeidelSmoother::smooth(Foam::word const&, Foam::Field<double>&, Foam::lduMatrix const&, Foam::Field<double> const&, Foam::FieldField<Foam::Field, double> const&, Foam::UPtrList<Foam::lduInterfaceField const> const&, unsigned char, int) at ~/OpenFOAM/OpenFOAM-2.4.0/src/OpenFOAM/matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:167
#4  Foam::symGaussSeidelSmoother::smooth(Foam::Field<double>&, Foam::Field<double> const&, unsigned char, int) const at ~/OpenFOAM/OpenFOAM-2.4.0/src/OpenFOAM/matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:237
#5  Foam::smoothSolver::solve(Foam::Field<double>&, Foam::Field<double> const&, unsigned char) const at ~/OpenFOAM/OpenFOAM-2.4.0/src/OpenFOAM/matrices/lduMatrix/solvers/smoothSolver/smoothSolver.C:169良いかと思います
#6  ? at ~/OpenFOAM/OpenFOAM-2.4.0/src/finiteVolume/lnInclude/fvMatrixSolve.C:193 (discriminator 9)
#7  ? at ~/OpenFOAM/OpenFOAM-2.4.0/src/finiteVolume/lnInclude/fvMatrixSolve.C:82
#8  ? at ~/OpenFOAM/OpenFOAM-2.4.0/src/finiteVolume/lnInclude/fvMatrixSolve.C:331
#9  ? at ~/OpenFOAM/OpenFOAM-2.4.0/src/finiteVolume/lnInclude/fvMatrix.C:1390
#10  ? at ~/OpenFOAM/OpenFOAM-2.4.0/applications/solvers/incompressible/icoFoam/icoFoam.C:63 (discriminator 7)
#11  __libc_start_main in "/lib/x86_64-linux-gnu/libc.so.6"
#12  ? at ??:?

sigFpeより上はエラーをお知らせするだけなので, #3でエラーおちしてそうです

gdbを使ってみる

macだとlldbになります. 私はlldbは使ったことがないのでよくわかりませんが, 多分同様にやればOKです.

gdbのコマンド一覧

説明がめんどくさいのでこちらの記事に任せます. gdb の使い方・デバッグ方法まとめ

エラー落ちの原因を探る

当然流速が早すぎるからです ソースコードではどこで落ちているのでしょうか

エラーメッセージを見てみると, ~/OpenFOAM/OpenFOAM-2.4.0/src/OpenFOAM/matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.Cの167行目 Foam::symGaussSeidelSmoother::smooth(...) メソッド内で死んでいるっぽいです. ソースコードはこれみたいですね github.com

167行目は

psii /= diagPtr[celli];

とかかいてるのでゼロ除算とかで死んでるのかもしれないですね 見てみましょう

gdbを実際に使う

通常は, icoFoamと打つところですが, 今回は少しコマンドを増やして

gdb icoFoam

と実行します.

(gdb)

みたいなのが出るので, runと打ち込んでやりましょう

(gdb) run

出力結果

Starting program: /home/kurenaif/OpenFOAM/OpenFOAM-2.4.0/platforms/linux64GccDPDebug/bin/icoFoam
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1".
(gdb) /*---------------------------------------------------------------------------*\
| =========                 |                                                 |
| \\      /  F ield         | OpenFOAM: The Open Source CFD Toolbox           |
|  \\    /   O peration     | Version:  2.4.0                                 |
|   \\  /    A nd           | Web:      www.OpenFOAM.org                      |
|    \\/     M anipulation  |                                                 |
\*---------------------------------------------------------------------------*/
Build  : 2.4.0-bf7c62d394a7
Exec   : /home/kurenaif/OpenFOAM/OpenFOAM-2.4.0/platforms/linux64GccDPDebug/bin/icoFoam
Date   : Jan 29 2017
Time   : 01:55:16
Host   : "kurenaif-server"
PID    : 22737
Case   : /home/kurenaif/Desktop/cavity
nProcs : 1
sigFpe : Enabling floating point exception trapping (FOAM_SIGFPE).
fileModificationChecking : Monitoring run-time modified files using timeStampMaster
allowSystemOperations : Allowing user-supplied system call operations

// * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * //
Create time

Create mesh for time = 0

Reading transportProperties

Reading field p

Reading field U

Reading/calculating face flux field phi


Starting time loop

Time = 0.005

Courant Number mean: 0 max: 0
smoothSolver:  Solving for Ux, Initial residual = 1, Final residual = 8.90511e-06, No Iterations 19
smoothSolver:  Solving for Uy, Initial residual = 0, Final residual = 0, No Iterations 0
DICPCG:  Solving for p, Initial residual = 1, Final residual = 7.55423e-07, No Iterations 35
time step continuity errors : sum local = 5.03808e-07, global = -4.99749e-18, cumulative = -4.99749e-18
DICPCG:  Solving for p, Initial residual = 0.523588, Final residual = 9.72371e-07, No Iterations 34
time step continuity errors : sum local = 1.07766e-06, global = -2.2097e-17, cumulative = -2.70945e-17
ExecutionTime = 0.02 s  ClockTime = 0 s

Time = 0.01

Courant Number mean: 9.76803 max: 58.5723

Program received signal SIGFPE, Arithmetic exception.
0x00007ffff59e5d14 in Foam::symGaussSeidelSmoother::smooth (fieldName_=..., psi=..., matrix_=..., source=..., interfaceBouCoeffs_=..., interfaces_=..., cmpt=0 '\000', nSweeps=1) at matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:167
167             psii /= diagPtr[celli];

167行目でArithmetic exceptionですね ゼロ除算だとかオーバーフローだとかででるエラーメッセージです. 例外をはいただけでまだプログラムは終了してませんこのまま 変数を覗いてみましょう. pコマンドで変数の中身を見ることができます.

(gdb) p psii

出力結果

$1 = 1.7457973770058812e+305

あ、やっぱり発散してますね除算する値はどうでしょうか

(gdb) p diagPtr[celli]
value has been optimized out

困りました。 見れません “このエラーは通常コンパイラの最適化によって変数が無いよ” みたいなエラーです 元をたどりましょう 85行目にこんなのがありました

 register const scalar* const __restrict__ diagPtr = matrix_.diag().begin();

どうやらdiagPtrはmatrix_.diag().begin()と同じ意味みたいです. 同じ意味なのでコンパイラが省略しちゃったんですね ではdiagPtrを見る代わりに, matrix_.diag().begin()で確認してみましょう

(gdb) p matrix_.diag().begin()[celli]
$2 = 0.00055000001416059699

無事見れましたね どうやら0除算ではなかったみたいです. ただの値の発散ですね

次に値が発散していく様子を観察してみましょう いちどgdbを閉じて (Ctrl+d) 再度起動します

gdb icoFoam

とりあえず問題の symGaussSeidelSmoother.Cの167行目 で止めてみましょう 途中のやつはyでOKです

(gdb) b symGaussSeidelSmoother.C:167
No source file named symGaussSeidelSmoother.C.
Make breakpoint pending on future shared library load? (y or [n]) y
Breakpoint 1 (symGaussSeidelSmoother.C:167) pending.

これでrunをしてみます

Breakpoint 1, Foam::symGaussSeidelSmoother::smooth (fieldName_=..., psi=..., matrix_=..., source=..., interfaceBouCoeffs_=..., interfaces_=..., cmpt=0 '\000', nSweeps=1) at matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:167
167             psii /= diagPtr[celli];
(gdb)

止まりました. snを押すと1行次に進みたいと思います.

  • 関数があったときに, 関数の中身に飛んでいくほうが s
  • 関数があってもそれを1行とみなして中身をスルーするのがnです。

gdbは, 前のコマンドと同じ入力をするときに, 何も入力せずにEnterを押すと繰り返しができます.

nを押してみて, Enterを連打してみましょう

167              psii /= diagPtr[celli];
(gdb) n
170             for (register label facei=fStart; facei<fEnd; facei++)
(gdb)
172                 bPrimePtr[uPtr[facei]] -= lowerPtr[facei]*psii;
(gdb)
170             for (register label facei=fStart; facei<fEnd; facei++)
(gdb)
172                 bPrimePtr[uPtr[facei]] -= lowerPtr[facei]*psii;
(gdb)
170             for (register label facei=fStart; facei<fEnd; facei++)
(gdb)
175             psiPtr[celli] = psii;
(gdb)
151         for (register label celli=0; celli<nCells; celli++)
(gdb)
154             fStart = fEnd;
(gdb)
155             fEnd = ownStartPtr[celli + 1];

forループが観測できますね psii の発散する様子が見たいので, psiidisplayしてみましょう

  • display: 値を監視して変更等があったときに, その都度printしてくれる
(gdb) display psii
1: psii = 0

はい 監視対象に入りました nコマンドではforに捕まった時に面倒です. breakpoint 1まで飛ばしてしまってよいでしょう そういうときはcを使います

(gdb) c
Continuing.

Breakpoint 1, Foam::symGaussSeidelSmoother::smooth (fieldName_=..., psi=..., matrix_=..., source=..., interfaceBouCoeffs_=..., interfaces_=..., cmpt=0 '\000', nSweeps=1) at matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:167
167             psii /= diagPtr[celli];
1: psii = 0

はい breakpointまで飛びました. ついでに監視対象のpsiiも見れますね 続けて見ていきましょう Enter連打してcを何度も回してみます

Breakpoint 1, Foam::symGaussSeidelSmoother::smooth (fieldName_=..., psi=..., matrix_=..., source=..., interfaceBouCoeffs_=..., interfaces_=..., cmpt=0 '\000', nSweeps=1) at matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:167
167             psii /= diagPtr[celli];
1: psii = 0
(gdb)
Continuing.

Breakpoint 1, Foam::symGaussSeidelSmoother::smooth (fieldName_=..., psi=..., matrix_=..., source=..., interfaceBouCoeffs_=..., interfaces_=..., cmpt=0 '\000', nSweeps=1) at matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:167
167             psii /= diagPtr[celli];
1: psii = 0
(gdb)
Continuing.

Breakpoint 1, Foam::symGaussSeidelSmoother::smooth (fieldName_=..., psi=..., matrix_=..., source=..., interfaceBouCoeffs_=..., interfaces_=..., cmpt=0 '\000', nSweeps=1) at matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:167
167             psii /= diagPtr[celli];
1: psii = 0
(gdb)
Continuing.

Breakpoint 1, Foam::symGaussSeidelSmoother::smooth (fieldName_=..., psi=..., matrix_=..., source=..., interfaceBouCoeffs_=..., interfaces_=..., cmpt=0 '\000', nSweeps=1) at matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:167
167             psii /= diagPtr[celli];
1: psii = 0
(gdb)
Continuing.

Breakpoint 1, Foam::symGaussSeidelSmoother::smooth (fieldName_=..., psi=..., matrix_=..., source=..., interfaceBouCoeffs_=..., interfaces_=..., cmpt=0 '\000', nSweeps=1) at matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:167
167             psii /= diagPtr[celli];
1: psii = 0

うーんなかなか発散してくれませんね こういう時はウォッチポイントを使います. psiiが1以上になった時に止まるようにしてみましょう breakpointで止まるようになるのが邪魔なので消します.

(gdb) delete
Delete all breakpoints? (y or n) y
(gdb) watch psii >= 1
Watchpoint 2: psii >= 1

消えました. ついでにwatchpointも増えました continueしてみましょう

(gdb) c
Continuing.

Watchpoint 2: psii >= 1

Old value = false
New value = true
Foam::symGaussSeidelSmoother::smooth (fieldName_=..., psi=..., matrix_=..., source=..., interfaceBouCoeffs_=..., interfaces_=..., cmpt=0 '\000', nSweeps=1) at matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:170
170             for (register label facei=fStart; facei<fEnd; facei++)
1: psii = 30.769230769230489

おっ psiiが30になりました これは発散しそうです では, 次はpsiiが変化した時に止まるようにしてみましょう

(gdb) watch psii
Watchpoint 3: psii
(gdb) c
Continuing.

Watchpoint 3: psii

Old value = 30.769230769230489
New value = 0.023076923076922929
Foam::symGaussSeidelSmoother::smooth (fieldName_=..., psi=..., matrix_=..., source=..., interfaceBouCoeffs_=..., interfaces_=..., cmpt=0 '\000', nSweeps=1) at matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:161
161             for (register label facei=fStart; facei<fEnd; facei++)
1: psii = 0.023076923076922929
(gdb)
Continuing.

Watchpoint 3: psii

Old value = 0.023076923076922929
New value = 41.958041958041726
Foam::symGaussSeidelSmoother::smooth (fieldName_=..., psi=..., matrix_=..., source=..., interfaceBouCoeffs_=..., interfaces_=..., cmpt=0 '\000', nSweeps=1) at matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:170
170             for (register label facei=fStart; facei<fEnd; facei++)
1: psii = 41.958041958041726
(gdb)
Continuing.

### Watchpoint 3: psii

Old value = 41.958041958041726
New value = 0.024195804195803933
Foam::symGaussSeidelSmoother::smooth (fieldName_=..., psi=..., matrix_=..., source=..., interfaceBouCoeffs_=..., interfaces_=..., cmpt=0 '\000', nSweeps=1) at matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:161
161             for (register label facei=fStart; facei<fEnd; facei++)
1: psii = 0.024195804195803933
(gdb)
Continuing.

Watchpoint 3: psii

Old value = 0.024195804195803933
New value = 43.9923712650982
Foam::symGaussSeidelSmoother::smooth (fieldName_=..., psi=..., matrix_=..., source=..., interfaceBouCoeffs_=..., interfaces_=..., cmpt=0 '\000', nSweeps=1) at matrices/lduMatrix/smoothers/symGaussSeidel/symGaussSeidelSmoother.C:170
170             for (register label facei=fStart; facei<fEnd; facei++)
1: psii = 43.9923712650982

徐々に発散してますね 今回はこれくらいにしておきましょう

backtrace書き忘れました こんな感じで関数の呼び出し元を見てくれます

(gdb) bt
#0  0x00007ffff5ed496d in Foam::symGaussSeidelSmoother::smooth(Foam::word const&, Foam::Field<double>&, Foam::lduMatrix const&, Foam::Field<double> const&, Foam::FieldField<Foam::Field, double> const&, Foam::UPtrList<Foam::lduInterfaceField const> const&, unsigned char, int) ()
   from /home/kurenaif/OpenFOAM/OpenFOAM-2.4.0/platforms/linux64GccDPOpt/lib/libOpenFOAM.so
#1  0x00007ffff5ed4e88 in Foam::symGaussSeidelSmoother::smooth(Foam::Field<double>&, Foam::Field<double> const&, unsigned char, int) const ()
   from /home/kurenaif/OpenFOAM/OpenFOAM-2.4.0/platforms/linux64GccDPOpt/lib/libOpenFOAM.so
#2  0x00007ffff5ecc07a in Foam::smoothSolver::solve(Foam::Field<double>&, Foam::Field<double> const&, unsigned char) const ()
   from /home/kurenaif/OpenFOAM/OpenFOAM-2.4.0/platforms/linux64GccDPOpt/lib/libOpenFOAM.so
#3  0x0000000000437d9f in Foam::fvMatrix<Foam::Vector<double> >::solveSegregated(Foam::dictionary const&) ()
#4  0x0000000000457bc9 in Foam::fvMatrix<Foam::Vector<double> >::solve(Foam::dictionary const&) ()
#5  0x0000000000457e24 in Foam::fvMatrix<Foam::Vector<double> >::solve() ()
#6  0x0000000000419e59 in main ()

まとめ

今回はエラーを起こしてそのエラーの発生箇所の特定, 及び原因の一部を見てみました. お役に立てれば幸いです

References

gdb の使い方・デバッグ方法まとめ

(pp.44~)

www.slideshare.net

文書作成ソフト使い方まとめ

Kobe University Advent Calendar 2016 - Adventar の 16日目を担当させていただきました。

さて, そろそろ卒論シーズンですねもうかきはじめている人もいるかと思いますが、皆様何を使っていますか?
文書作成ソフトですとWordが簡単で使いやすいみたいなのをよく聞きますが、本当に使いやすいですかね…? 結構上級者向けソフトだと思ってます。
TeXを使ったことがないみたいな人も知り合いにいましたので, Word, TeXとついでにmarkdownで使ってるTipsをもりもり描いていこうかなと思います。
エディタとかは色々使ってみて使いやすいのを選ぶといいと思います。いまだにしっくり来るのがないのでオススメを教えてください

TeXの使い方

概要

TeXコンパイルをしていい感じの見た目に自動的に揃えてくれます。個人的にはWordを使う前に、TeXを触ってからWordにいくといいと思ってます。
あとTeXLive使ってる人はアップデートしておきましょう。(外部コマンドの実行 - TeX Wiki)

エディタについて

TeXは色々なエディタで使用できます. 最初はVimを使っていたのですが、なんかプラグインがバグりまくってまともに動作しないのでIDE的なやつを入れることにしました。結果、以下の3つのエディタに行き着いた.
IDe的なやつを使うと表の挿入が簡単にできたりするので好き

本当はそれぞれのエディタを説明したいところだけど, 説明することがおおいのでざっくり特徴を抑えておく。

  • Sublimetext: デフォルトのスニペットが優秀, 普段良く使ってる人も多いので初期の学習コストも少ない人も多いハズ
  • TeXstudio: WindowsではしんどいTeXとエディタの連携がこれを使うと簡単にできる。 内蔵のビューワーと補完が優秀 Vimキーバインドが使えなくてこれは使ってなかったけどそれさえ使えればって感じ
  • kile: 一応クロスプラットフォームでも動くと書いているけどLinux以外ではいい感じではない. 最初Tab幅とか補完とかの設定が少し面倒 使い勝手はTeXstudioと同じくらい。 最初は設定を上からみてポチポチボタンを押していこう あとひとつの数式だけコンパイルしてプレビューみたいなのもできる 便利

バージョン管理

文章を推敲していった時、他人に何処を変更したか、あるいは変更してもらったか等を見る、また複数人で一つの文章を書く と言ったときにgitなどを使ってバージョン管理が出来ると非常に便利。
適当に章でbranchを切って複数人で作業をしたりできる. Githubのプライベートリポジトリとかに上げておけばどこでも編集できるし、先生に変更を通知できたりして便利。

一つの文で改行

特に習ったわけではないが、こうしている。
TeXでは、1回の改行は特に意味はない。
1文ずつは短いほうが良いので, こうすることで長い文を簡単に見つけ出すことができる.

大きな文章(卒論等)を書く場合、それぞれ章を分けて別々にコンパイルできるようにする

なっがい文章を描く時、いちいちコンパイルが長くてしんどくなってくる。章ごとにコンパイルして確認するとコンパイル時間が短くなって便利.
これを見たらできる
qiita.com

Wordの使い方

概要

WYSIWYG(What You Get Is What You See)なエディタ(?)で非常に直感的なUIをしていると思います。
それ故に機能をほぼほぼ使わずにある程度形にできてしまい、Wordを使った気分になった人も多い印象です。(酷いケースだとスペース(' ')で無理やり中央寄せをしていたケースを見た)
TeXと比較しながらよく聞かれる機能を紹介する。

見出し機能(Section相当)

[ctrl+alt+1,2,3]でsection, subsection, subsubsection相当の挙動ができる.
このように追加した見出しは, wordのナビゲーションウィンドウから一覧を表示することができて、後の検索にも便利。
もちろん, 前に章番号を置いたり、それぞれフォントを変えることもできる。
積極的に使っていこう
またこの機能を使うと自動目次挿入機能でしっかり目次を作成してくれる。

図番号, 表番号の相互参照(\label, \ref相当)

図番号を描くときに 図xxをyyyして… のxxの部分は手打ちしていないだろうか? 前共同で描いていた人がこれを手打ちで描いていて反映が非常に苦だった。
相互参照という機能がある。図を追加し、その図を右クリックして[図表番号の挿入]を選択し、図を挿入。
[alt+n r f]と入力すると、相互参照のメニューが出てきて適当にガチャガチャやると挿入ができる。
これをすることで、参照先の図番号が変わったりしても反映してくれる。
しかし全自動で反映してくれるわけではなく、全選択→右クリック→フィールドの更新をする必要がある。
ちなみに参照先がなければエラー! 参照元が見つかりません。と出る。

参考文献リスト(bibtex相当)

[alt s m] を入力すると資料文献の管理ダイアログが出てくる。これを使用すると、参考文献のリストを一括管理することができ、 [alt s c] で登録したリストを参照して\cite相当の挙動をすることができる。
スタイルも変更可能で、必要があれば作ることも出来る。
最後にリストをまとめてReferencesとしてのっけたいときも文献目録機能で乗っけることが出来るので使っていこう。

図を並べたい

Wordで図を横に並べる時は、表機能を使うと便利。
表を並べて、その中でうまいこと調整してあげよう。

数式番号を挿入したい

この記事を参考にしよう
toomva.blog60.fc2.com

数式のフォントを変えたい

note.chiebukuro.yahoo.co.jp

バージョン管理

変更履歴機能を使おう 印刷したときも赤字で変更箇所を明示してくれて非常に便利 推敲していく時に使っていこう
support.office.com

wordの数式で等号揃えをしたい

kenkitagawa.cocolog-nifty.com

この文字を行末に持ってきてほしくない

禁則文字機能を使いましょう

、。→, . にしたい

オートコレクト機能を使えばよい。
michisugara.jp

markdown

概要

ささっと描くときとgithubのreadmeを書くときに使う

エディタ

  • Sublimetext, Atom, Marp(プレゼン用)

.pdfにしたい

こちらの記事を参考にする
kurenaif.hatenablog.com
kurenaif.hatenablog.com

.htmlにしたい

sublimetextもAtomもhtmlにする機能があるのでそれを使えば良い。

あとがき

全体的にババババッってまとめる感じにしたかった
それぞれ気になる機能があればおそらく自分でググればすぐ出てくるので調べていただければと思います。

ubuntuにsourcecodeProを入れる

タイトル通り こちらの記事をコピペするだけで行けました
ubuntu 16.04

askubuntu.com

#!/bin/bash
mkdir /tmp/adodefont
cd /tmp/adodefont
wget https://github.com/adobe-fonts/source-code-pro/archive/2.010R-ro/1.030R-it.zip
unzip 1.030R-it.zip
mkdir -p ~/.fonts
cp source-code-pro-2.010R-ro-1.030R-it/OTF/*.otf ~/.fonts/
fc-cache -f -v

CODE FESTIVAL 2016 qual A. D - マス目と整数 / Grid and Integers

解説に乗ってるけどちょっとわかりにくかったので自分の言葉に置き換えて整理します。 あとイラレの練習(
http://code-festival-2016-quala.contest.atcoder.jp/data/other/code-festival-2016-quala/editorial.pdf
)

要約

行列A = [a_{i,j}], (i \in [1,R], j \in [1,C]) が与えられる.
N個の要素には, すでに値が記入されている.
すべての値は, 以下の条件を満たさなければならない.

条件1. すべての範囲内のi,jに対して,  a_{i,j}+a_{i+1,j+1} = a_{i+1,j} + a_{i,j+1}
条件2. a_{i,j} >= 0

問題の変形

この問題では, 変形が重要です.

条件1の変形

条件1を変形すると,
 a_{i,j}-a_{i,j+1} = a_{i+1,j} - a_{i+1,j+1}
となり, 左右同士の差は上下で等しいことがわかります。図の矢印方向の差が等しいということですね
f:id:kurenaif:20160925221650j:plain
上下で等しい 上下で等しい… と下へ下へつなげていくと, 結局同じ列どうしの比較だと, 行にかかわらず差が等しいことがわかります。
f:id:kurenaif:20160925222232j:plain

さすがに, 列が違うと差は変わってきます.(同じだと思ってた時期が私にもありました…)
ここで, それぞれの行の一番左の値(a_{1,1} ,\cdots,a_{R,1}) を 簡単のためにx_1, \cdots, x_R とおき,
a_{i,0}-a_{i,1}, a_{i,1}-a_{i,2}, \cdots, a_{i,C-1}-a_{i,C}y_1, \cdots, y_C とおきます.
f:id:kurenaif:20160925223126j:plain

すると, a_{i,j} = x_i + y_1 + y_2 + \cdots + y_C と表記できることがわかります.

yy_j = y_1 + y_2 + \cdots + y_j = \sum_{i=1}^{j} y_i と置き換えると,

a_{i,j} = x_i + y_j と簡単にすることができます。(画像つくり忘れたんですけど, 矢印が左端からそのマスまでたどり着いてるイメージですね)

詳しい証明は解説参照で, ざっくりいうと, 条件1が成立するためには,
すべてのa_{i,j} = x_i + y_j を満たすような, (x_1,\cdots,x_R), (y_1,\cdots,y_C) が存在しなければならない.
ということになります.

条件2の変形

条件2は, 条件1と組み合わせて,
すべての i,jで,
a_{i,j} = x_i + y_j >= 0
が成立する必要があります. 全通り試すともちろん時間が足りないので, 工夫が必要です.
実は, x_i, y_j のとり方はuniqueではありません. 例えば, x_iを+1したら, y_jを-1したら良いです.
一番小さいところからスタートして(x), 一番小さい値を足す(負の数)と, a_{i,j} の最小値が求まり, これが0以上になればOKっぽそうです

実装方針

a_{i,j} = x_i + y_j を求める.

グラフを使って求めます. x_iy_iを頂点と捉えます.
その間を入力r,c,aを使って
x_ry_c をつなぐ重さaの辺を貼ります.
この時辺と頂点の関係を, x_r + y_c = a と定義します.

二変数なので, なにか一つ値を決めないといけません. 一つ値を適当に0(なんでもいいです)と決めると, あとは随時決まっていくのがわかると思います.
(例えば, x_0 + y_1 = 3, x_0+y_2 = 4 という風に辺が張られていたら, x_0=0と定めると, y_1, y_2は自ずと決まってきます)

こんな感じでDFSで求めていきます.

条件2

DFSと一緒に, xの最小値とyの最小値を更新しながら探索していきます.
xの最小値+yの最小値 < 0 ならば, "No" となります.

実装する上での注意点

xの最小値とyの最小値の初期値に注意しなければなりません
処理をするときに, x_i + y_j のように描いていると, オーバーフローするのでこのような実装をするならば, LLONG_MAX/2-1程度を上限にすると良いでしょう.

SourceCode

const ll INF = LLONG_MAX / 2 - 1;


struct Edge {
	ll t;
	ll c;
	Edge(ll to, ll cost):t(to),c(cost){}
	Edge(){}
};

vector<ll> weigh;
ll R, C;

bool DFS(ll node, vector<vector<Edge> >& edge, ll& xmin, ll& ymin) {
	if (node < R) xmin = min(xmin, weigh[node]);
	else ymin = min(ymin, weigh[node]);
	for (auto &to : edge[node]) {
		if (weigh[to.t] == INF) {
			weigh[to.t] = to.c - weigh[node];
			if (not DFS(to.t, edge, xmin, ymin)) return false;
		}
		else {
			if (weigh[to.t] + weigh[node] != to.c) return false;
		}
	}
	return true;
}

void solve() {
	cin >> R >> C;
	ll N = in();
	weigh.resize(R + C, INF);
	vector<vector<Edge> > edge(R+C);
	REP(i, N) {
		ll r, c, a; cin >> r >> c >> a;
		--r; --c;
		edge[r].emplace_back(R+c,a);
		edge[R+c].emplace_back(r, a);
	}

	bool res = true;
	ll xmin, ymin;
	REP(i, R + C) if(weigh[i] == INF and edge[i].size() > 0) {
		xmin = ymin = numeric_limits<int>::max();
		weigh[i] = 0;
		if (not DFS(i,edge,xmin,ymin) or xmin+ymin < 0) {
			cout << "No" << endl;
			return;
		}
	}
	cout << "Yes" << endl;

CODE FESTIVAL 2016 qual A. C - 次のアルファベット / Next Letter

解き方

この操作をして, 辞書順を小さくするためには, 'b'より大きいものを一周させて'a'にする以外ない.

辞書順最小にするためには, 手前から見ていって, 'a'にできるものは'a'にして, それ以外は無視する と言った処理をすればよい.

この処理は, K 回必ず行わなければならないので, 余ったやつも必ず処理をしなければならない。

まず, アルファベットを何周もさせることができるので, 残ったやつから'z'-'a'+1分だけMODを取った値にすることができる.

さらに残ったものは, 後ろから回していく.(後ろの1文字だけ変更になるはず)

SourceCode

void solve() {
	string S = in();
	ll K = in();
 
	REP(i, S.size()) {
		if (K <= 0) break;
		ll cost = 'z' - S[i] + 1;
		cost %= ('z' - 'a' + 1);
		if (K - cost >= 0) {
			S[i] = 'a';
			K -= cost;
		}
	}
 
	if(K > 0) K %= ('z' - 'a' + 1);
	RFOR(i,0,S.size()) {
		if (K <= 0) break;
		ll cost = min((ll)K, (ll)('z' - S[i]));
		S[i] += cost;
		K -= cost;
	}
	cout << S << endl;
}

Codeforces #712 Div.2 D. Memory and Scores

要約

a,b,k,t が与えられる.
a: Memoryさんの初期点数
b: 相手の初期点数
k: 1ターンに[-k,k]の点数を得ることができる
t: 2tターン行う

Memoryさんがかつことができるのは何通りか(MOD 1e9+7)

以下のようなdpを組む

dp[\mathrm{time}][\mathrm{diff}] := その時間(time)で, Memoryさんのスコア-相手さんのスコアがdiffのときの場合の数

更新方法は簡単で,

dp[t][d] := \sum_{i=d-K}^{d+K} dp[t-1][i]

  • sumはしゃくとり的にやって計算量を減らす.
  • 素数2k+1 なので注意する(1敗)

最終的に, d>0 の部分がMemoryさんが勝つ場合の数なので,

 \mathrm{res} = \sum_{i=1}^{配列の最大} dp[2T][i]
が答えになる
配列の最大要素, K*T くらいとっとけばいいと思ったけどなんかうまくいかなかった.
また, このままだと負の要素にアクセスすることになるので適当にオフセットかける

SourceCode

const int MOD = 1e9+7;
void solve() {
	ll A, B, K, T; cin >> A >> B >> K >> T;
	//dp[time][diff] := cnt
	vector<vector<ll> > dp(2, vector<ll>(2*1000*(210) + 1));
	int offset = 1000*(210);

	int cur = 0, tar = 1;
	if (A - B + offset <= 0) {
		cout << 0 << endl;
		return;
	}
	dp[tar][A-B+offset] = 1;
	for (int i = 0; i < 2 * T; ++i) {
		//REP(i, dp[tar].size()) cout << dp[tar][i];
		//cout << endl;
		ll sum = 0;
		//全範囲更新 TLEしそうだったら頑張る しゃくとり的に
		REP(j, 2 * K+1) sum = (sum+dp[tar][j])%MOD;
		FOR(j, K, dp[cur].size()-K-1) {
			dp[cur][j] = sum;
			sum = (sum-dp[tar][j - K] + MOD)%MOD;
			sum = (sum+dp[tar][j + K + 1])%MOD;
		}
		swap(cur, tar);
	}
	//REP(i, dp[tar].size()) cout << dp[tar][i];
	//cout << endl;
	ll res = 0;
	//REP(j, dp[tar].size()) {
	FOR(j,offset+1,dp[tar].size()){
		res = (res + dp[tar][j]) % MOD;
	}
	cout << res << endl;
}

謝辞, 参考

arrogantldiotさんのソースコードを参考にさせていただきました
codeforces.com