NVidiaのグラボを使った時、pulseaudioがクラッシュする問題の回避策

GTX650搭載のグラボに交換した後、Ubuntu 16.10でpulseaudioがクラッシュしていた。

$ grep seg /var/log/syslog | tail -1
Feb  5 14:13:38 foo kernel: [ 2402.435970] pulseaudio[17820]: segfault at 0 ip 00007fb12b98b11b sp 00007ffc16868048 error 6 in libasound.so.2.0.0[7fb12b94b000+f9000]

/proc/asound以下の情報から、このカードにはIntel HD Audio用ドライバが使われていた。私は他のSoundカードにそのドライバを使用していない(USB audioやBlutoothを使用)ので、ドライバのロードを次のように抑止した。

/etc/modprobe.d/blacklist.confに次の行を追加して再起動

blacklist snd_hda_intel