LoginSignup
2
1

More than 5 years have passed since last update.

C/C++インタプリタ CINTのデストラクタ不正呼び出し問題と格闘した話 その3

Last updated at Posted at 2018-10-29

以前の記事

その1
その2

再び実験

ROOT 5で以下のプログラムを実行してみます。内容は有名なFizzBuzz問題です。

FizzBuzz.cpp
#include "my_string.h"
#include <cstdio>

using namespace std;

void FizzBuzz()
{
    for (int i = 1; i <= 100; ++i) {
        my_string message;

        if (i % 3 == 0) {
            const my_string s1 = "Fizz";
            message += s1;
        }

        if (i % 5 == 0) {
            const my_string s2 = "Buzz";
            message += s2;
        }

        if (message.empty()) {
            const my_string s3(i);
            message += s3;
        }

        printf("%s\n", message.c_str());
    }
}

ソースファイルをロードしてFizzBuzz関数を実行してみます。my_string.cppmy_string.hは、その1で使用した手抜き文字列クラスを別のソースファイルに分割して、文字列が空であればtrueを返すメンバー関数emptyを追加した物です。
Image1.png
特にエラーも無く、一見正常に実行されたように見えます。
Image2.png
もう一度FizzBuzz関数を実行してみます。すると、ROOTのプロセスが異常終了してしまいました。原因は何なのでしょうか?
Image3.png

機能制限

CINTには言語機能にいくつかの制限があり、C++標準規格との間に非互換性が存在しています。例えば、ブロックスコープ内で宣言した変数の寿命が関数の終わりまで存続する同じ型であれば同じ名前の変数を再宣言できる、等の非互換性がROOTの利用者の間ではよく知られています。

if (cond) {
    A obj(0);
    obj.func();
}

// condが真だった場合は, ここでも変数objを使用できる.
// obj.func();

// condが真だった場合は, 変数objの再宣言が行われる.
// 再宣言時には, コンストラクタの前にデストラクタが呼び出される.
A obj(1);

// これは型が異なるため, エラーになる.
// B obj(2);

// 1回目のループを除き, 変数obj2の再宣言が行われる.
// 再宣言時には, コンストラクタの前にデストラクタが呼び出される.
for (int i = 0; i < 10; ++i) {
    A obj2(i);
    obj2.func();
}

バイトコード

CINTにはループをバイトコードにコンパイルして高速化する機能があります。この機能を使用する場合、通常のインタプリタで1回目のループを実行しながらバイトコード命令を出力して、2回目以降のループはバイトコードインタプリタで実行されるという流れになります。

この時、1回目のループで実行されなかったブロックもバイトコードにコンパイルされ、そのブロック内で定義されている変数は、コンストラクタが呼び出されていない状態で変数管理テーブルに登録されます。

for (int i = 0; i < 10; ++i) {
    if (i < 5) {
        // 1回目のループでは, 変数管理テーブルへの登録とコンストラクタの呼び出しが行われる.
        A obj1(1);
        obj1.func();
    } else {
        // 1回目のループでは, 変数管理テーブルへの登録のみ行われる.
        A obj2(2);
        obj2.func();
    }
}

ROOTの.O 0コマンドを使用(または、ソースファイルに#pragma optimize 0を追加)してバイトコード機能を無効にしていた場合は、1回目のループで実行されなかったブロックは単に読み飛ばされるため、変数管理テーブルへの登録は行われません。

原因

今回の異常終了の原因は、バイトコードインタプリタでの実行中に変数の再宣言が行われた場合、未初期化の変数に対してデストラクタが呼び出されてしまうことです。この問題を回避するには、以下の処理の追加が必要です。

  • バイトコードへのコンパイル時に、実行されないブロック内の変数のtype'u'以外の値に差し替える。
  • バイトコードインタプリタからのコンストラクタの呼び出し前に、未初期化の変数のtype'u'に戻す。

また、バイトコードインタプリタでコンストラクタの引数の評価時にエラーが発生した場合にも、typeの差し替え処理が必要になります。

次回の記事(その4)では、この問題の解決のために行ったCINTのソースコードへの修正について解説したいと思います。

その4

2
1
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
2
1