Raspberry Pi の温度管理をソフトウェアで頑張る

この記事は日本Androidの会秋葉原支部ロボット部 Advent Calendar 2020 の12/07分の記事です．

内容は 日本Androidの会秋葉原支部ロボット部 第96回勉強会 で発表した内容を加筆修正したものです．

はじめに

Raspberry Pi という英国発の教育向けとして2012年に発売された安価なシングルボードコンピュータがあります．教育向けとして発売されましたが趣味にもよく使われています．OSは標準ではLinux(DebianベースのRaspberry Pi OS)が採用されています．

Teach, Learn, and Make with Raspberry Pi

私はもっぱら省電力のLinuxマシンとして使うことが多いです．

トラブル

今夏空調のない部屋の自宅サーバの横でRaspberry Pi 3 model B + Raspberry Pi OS arm64(β)で計算をさせていたのですが，しばらく動かしていると固まるようになりました．

Buy a Raspberry Pi 3 Model B – Raspberry Pi

再起動すればしばらく動きますがしばらくするとやはり固まります．これをどうにか出来ないかと調べてみました．

ログの取得

まずはログを録ってみます．

crontabで1分毎に情報を記録

* * * * * printf "`date +\%s`,`cat /sys/class/thermal/thermal_zone0/temp`,`echo "obase=2; ibase=16; \`vcgencmd get_throttled | cut -f2 -dx\`" | bc`,`vcgencmd measure_clock arm|cut -f2 -d=`\n" >> ~/.temp.log

内容はこんな感じです．(外気温度も録ればよかった)

UNIX Time

date +%s

SoC温度

/sys/class/thermal/thermal_zone0/temp

スロットリング周りのフラグ

vcgencmd get_throttled

arm周波数

vcgencmd measure_clock arm

ログがファイルに書かれる間にフリーズしてデータが失われるのを防ぐために /etc/fstab のマウントオプションに sync オプションも付けておきます．(再起動かremountで反映)

ログを取得している状態で負荷を掛けます．今回は /dev/urandom をcatすることで計算させました．今回のRaspberry Pi 3 model Bは4coreあるので4つ動かしています．

今回のテストで使った負荷(いつもはvanity address/vttとかとか)

$ cat /dev/urandom > /dev/null &
$ cat /dev/urandom > /dev/null &
$ cat /dev/urandom > /dev/null &
$ cat /dev/urandom > /dev/null &

熱が原因?

しばらく動かしてRaspberry Piが固まった後にログを確認してみます．
SoCの温度が85度を何度か記録した後に固まっているようです．
85度というのはRaspberry Pi OSでの標準のSoC制限温度のようです．この温度の5度前(標準では80度)からサーマルスロットリングが始まるようです．

サーマルスロットリングでクロックが下がって温度が下がれば問題無さそうだけど80度からクロックが下がっても85度を超えて固まってしまっているようです．
ベータ版のRaspberry Pi OS amd64を使っているせいかもしれないと思い，標準のRaspberry Pi OS armhf(32bit)版に変更して同様に試してみましたが同様の動きのようです．

正攻法としてはヒートシンク，ファンの増設や空調を入れるとよさそうですが，金欠なのでとりあえずソフトだけでどうにか出来ないかと試しました．

SoC制限温度を下げる

まずSoCの制限温度ですが，公式フォーラムで70度以下にしたほうがいいという書き込みを見かけました．逆に100度でも大丈夫という人も居るのですが安全側の70度にしてみます．

この設定は /boot/config.txt でパラメータを設定できます．以下は70度に設定たときの例です．この状態で再起動すると反映されます．

temp_limit=70

再起動後以下のコマンドで設定が反映されているか確認が出来ます．

$ vcgencmd get_config int | grep ^temp_limit=
temp_limit=70

この状態で負荷を掛けると70度を越えるくらいで固まりました．やはり制限温度を越えると固まってい舞うようです．

SoCの最大周波数を下げてみる

Raspberry Pi 3 model B のSoCは最大周波数1.2GHzです．これを下げてみます．

/boot/config.txt の arm_freq= で設定できます．以下は800MHzに設定したときの例です．再起動で反映されます．

arm_freq=800

再起動後に設定が反映されているか確認します．

$ vcgencmd get_config int | grep ^arm_freq=
arm_freq=800

この状態で負荷を掛けるとやはり固まります．まあサーマルスロットリングが効いても固まるので仕方がない感じです．

SoCの最小周波数を下げてみる(これが効くのでは?)

次にSoC最小周波数を下げてみます．既定値は600MHzで，サーマルスロットリングでもここまで下がっているのでこれを更に下げると温度が下がりそうな気がします．

/boot/config.txt の arm_freq_min= で設定できます．以下は400MHzに設定したときの例です．再起動で反映されます．

arm_freq_min=400

しかし再起動後に確認してみると600MHzより下には設定できないみたいで600MHzになってしまいます．

$ vcgencmd get_config int | grep ^arm_freq_min=
arm_freq_min=600

この状態で負荷を掛けるとやはり600Mhzまでしか下がらず固まります．

残念ながらRaspberry Pi のスロットリングでは無理そうです．

maxcpusでコアを制限してみる

Linuxのブートパラメータで maxcpus を指定することでコアを制限できます．Raspberry Pi の場合は /boot/cmdline.txt で設定できます．

設定後以下のコマンドで確認できます．

$ grep -o -E 'maxcpus=.{0,9} ' /proc/cmdline
maxcpus=1
$ grep ^processor /proc/cpuinfo | wc -l
1

これでCPU core1津で動作しています．しかし最大周波数を600MHzかつ1coreでも同様にフリーズしてしまいました．

cpufreqでクロック制御

IntelCPUのNotePCなどではcoufreqを使ってこのあたりの制御をするのですが，これでも600mHzより下には下げられないようで駄目でした．

LimitCPUで指定プロセスの制限を行う

LimitCPUは指定プロセスを監視し，CPU利用率や%で制限するプログラムです．Linux, MacOS, *BSDなどのUNIX-Likesystemで利用できます．
Raspberry Pi OSではcpulimitパッケージとしてパッケージングされており，コマンドもcoulimitです．

cpulimitの導入

$ sudo apt install cpulimit

cpulimitコマンドに制限したいプロセスIDやプロセス名と制限を指定することで動作します．

cat からはじまるプロセスを50%に制限

$ pgrep ^cat | xargs -n1 -I{} sh -c "cpulimit -p {} -l 50 -v &"

cpulimitで50%に制限してみたt頃温度が下がるのを確認できました．数日動かしても固まらなくなったようです．
定期的にSoCの温度を確認して制限を変更していくと良さそうでうs．

参考URL

特定プロセスのcpu利用率を制限するcpulimitを試す – matoken’s meme

LimitCPUはCPUlimitの開発が止まった後のフォークですが，その後CPUlimitが新しく開発が始まっているようです．詳細は以下のページを参照してください．

LimitCPU

cgroupでCPUリソース制限(未確認)

LimitCPUが効いたので恐らくcgroupでのCPUリソース制限でも大丈夫そうです．(未確認)

おわりに

現在は気温も下がり制限などしなくても問題ありません．でもきっと来夏にまた起こると思うのでそこでまた確認するつもりです．

しかし，今回の解決方法はCPUのリソースを制限して温度を下げて居るので計算量は減っています．空調を入れたりCPUファンを導入するのが正攻法になるのかなと思います．
CPUファンはサードパーティーから各種発売されているのでそれらを使うかDIYする感じになると思います．

そういえば最近Raspberry Pi OSの設定コマンドの raspi-config の中に Set behaviour of GPIO fan というメニューが出来たり，Raspberry Pi 4には公式のCPUファンが発売されているのでこれらを使うのが良さそうです．

Buy a Raspberry Pi 4 Case Fan – Raspberry Pi