[どうぶつしょうぎ] 完全解析ツールのバグについて

以前、東京大学情報基盤センターの田中先生による「どうぶつしょうぎ完全解析ツール」をUbuntu環境で使うとエラーになる件について環境依存かもしれないと書いたのだが、 ちゃんと調べてみたら単なるバグだったことが分かった。

環境によって動いたり動かなかったりしたのはたまたまの模様。

• 「どうぶつしょうぎ」の完全解析 (田中先生のサイト)
• [どうぶつしょうぎ] 完全解析ツール on Ubuntu

Ubuntu on VirtualBox で ホストとのファイル共有ができなくなった

これまで普通に、ホストファイルシステムの共有ができていた VirtualBox 上のUbuntu が急にファイル共有できなくなった。 最近実行したカーネルアップデートが原因だった。
カーネルをアップデートすると、VirtualBox Guest Additions を再インストールしないといけない模様。

Guest Additions を再インストールしてリブートで解決。
以下、その顛末。

Ubuntu の バージョンの確認方法

VirtualBox 上に Ubuntu 環境が増えてきたのでバージョンの確認方法をまとめておく。

VirtualBox の Linux に Windows ホストのファイルシステムを共有する

VirtualBox 上で動いている Linux から Windows ホスト上のファイルシステムを共有して 利用可能にする方法のメモ。

Ubuntu 13.04 x64 on VirtualBox 4.2.12

$ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description: Ubuntu 13.04
Release: 13.04
Codename: raring

必要なもの：

VirtualBox Guest Additions がインストールされていることが必要。
普通はインストール済みのはず。

Windows上の作業：

共有するディレクトリを作成。 （例： C:\Work\Shared）

Virtual Box上の作業：

共有フォルダを作成する。
「Virtual Boxのデバイスメニュー ＞ 共有フォルダ」 を実行して 共有フォルダを作成。
「共有フォルダ」、「一時的な共有フォルダ」が選択できる。
今回は一時的に共有できれば十分で永続化するつもりはないので、
「一時的な共有フォルダ」以下に共有フォルダを作成する。

パスに共有するフォルダのWindows上の物理的なパス、
フォルダー名に Linuxから見える共有フォルダ名を指定。
ここでは、パスに「C:\Work\Shared」、
フォルダー名に「Shared」を指定した。

読み取り専用なら「読み取り専用」にチェックを入れる。
一時的なものなので自動マウントと永続化はチェックしない。

Linux上での作業：

• マウントするディレクトリを作成する。
  

  sudo mkdir /media/shared

• マウントする。
  sudo mount -t vboxsf [共有名] [マウントするパス]

  sudo mount -t vboxsf Shared /media/shared

  ファイルタイプは vboxfs ではなく vboxsf。
  VirtualBox Shared Folder の略か？

---

これで完了。

$ ls /media/shared
テスト.txt

自動マウントを設定した場合には再起動時に、 /media/sf_[共有名] フォルダが作成されてそこにマウントされる。
この場合、vboxsf グループのメンバーしかアクセスできないので、ログインユーザーを vboxsf グループのメンバーにする必要がある。

参考:

• VirtualBox 4 における共有フォルダの自動マウントの設定
  ひだまりソケットは壊れない

VirtualBox で GuestAddition マウント時のドライブ選択

VirtualBox の Ubuntu に GuestAdditions を再インストールする必要があったので、 ストレージから除去してあった VBoxGuestAdditions.iso を 再度マウント。

で、Ubuntu 上から実行するのだが起動しない。
どうもおかしいと思って調べていたら、ファイルの読み込みでエラーになっていることが分かった。

ローカルドライブにファイルをコピーしようとすると、 「ファイルをspliceする際にエラー」のようなエラーになる。

[どうぶつしょうぎ] 完全解析ツール on Ubuntu

前回まで、田中先生の どうぶつしょうぎ完全解析ツールは Amazon EC2 上の Amazon Linux 上で動かしていたのだが、 手元の VirtualBox 上 の Ubuntu に持ってくることにした。

• [どうぶつしょうぎ] 完全解析ツールの checkState で最善手順を求める

結果としては、32bit 版 Ubuntu では動かず、64bit 版が必要なようだ。
→ 訂正： Ubuntu 13.04 x64 with g++ 4.7.3 でも動かない。
　 現状の動作実績は、Ubuntu 11.10 x64 with g++ 4.6.3のみ。

→ 追記：
完全解析ツールのバグだった。
環境によって動いたり動かなかったりはたまたまだった模様。
原因と修正方法はこちら。

• 完全解析ツールのバグについて