変更ログ 2.077.0

extern(D)リンケージを持つシンボルは、型と識別子の後方参照を使用してマングルされるようになった。 型と識別子の後方参照を使用してマングルされるようになった。 に複数回含まれる場合、型と識別子の後方参照を使用してマングルされるようになった。これにより、シンボルの長さが短縮される。 特にVoldemort戻り値の型を持つテンプレート化された関数の連鎖式では、シンボルの長さが短くなる。例えば、平均的な 例えば、"phobos"のunittestビルドで作成された127000以上のシンボルの平均シンボル長は、約3分の1に短縮される。 で作成された127000以上のシンボルの平均シンボル長は約3分の1に短縮され、最長のシンボル は416133文字から1142文字に短縮される。

詳細はABI 仕様書を参照のこと。

コンパイラーは、コンストラクターとデストラクターの先頭にassert(this, "null this"); を挿入していた。 これらのアサー トをトリガーするには、NULL メモリの位置で集約をコンストラクタまたはデストラクタする 必要があった。 これは、コンストラクタやデストラクタが有用な処理を行うために必要なデータ・メンバへのアクセス時にクラッシュする。

dmdリファレンス・コンパイラが、与えられたソースコードと設定に対して同一のバイナリを決定論的に生成するようになった。 を決定論的に生成するようになった。 配布されたバイナリが指定されたソースコードに由来することを第三者が検証できるようになった。

この保証は、同じコンパイラー・バージョンとコンフィギュレーションが使用される場合にのみ適用される。 使用されている場合にのみ適用される。また、非決定的語(ご)彙(い)トークン__DATE__,__TIME__ 、 および__TIMESTAMP__ の値がバイナリに含まれてはならない。

詳細はreproducible-builds.orgを参照のこと。

core.atomic.atomicLoad以前は、shared の修飾子を除去しすぎていた。 を熱心に除去していた。集約型が"head"と "tail"を持ち、それらが間接参照で接続されている場合、。 を持つ場合、atomicLoad はテールからshared を取り除いていた。これはバグだった。 Bugzilla 16230 atomicLoad は先頭だけをロードする。テールは 共有メモリに残り、shared 修飾子を保持しなければならない。

間接参照を含む構造体をロードする場合、atomicLoad 。 適切に型付けされた値を返すゲッターを提供するラッパーを返すようになった。

クラス参照をロードするとき、atomicLoad はshared を残すようになった。 を残すようになった。

例:

class C { int value; }
shared C shc = new C;

struct S { int head; int* tailPointer; }
shared int tail = 1;
auto shs = shared S(2, &tail);

void main()
{
    import core.atomic : atomicLoad, atomicOp;

    // クラス参照の読み込み:
    shared C c = atomicLoad(shc);
    // c自体は実際には共有されていない。非アトミックにコピーしても安全だy:
    shared C c2 = c; // OK
    // cのフィールドはまだ共有されているので、アトミックにロードする必要がある:
    int v = atomicLoad(c.value);

    // インダイレクトを持つ構造体のロード:
    auto s = atomicLoad(shs);
    // 構造体の先頭はコピーされており、アトミックに変更できない:
    ++s.head;
    // テールはまだ共有されており、アトミックに処理する必要がある:
    shared(int)* t = s.tailPointer;
    atomicOp!"+="(*t, 1);
}

配列操作は、some 配列操作専用のアセンブリ・ルーチンから、すべての配列操作の汎用テンプレート実装に変更された。これにより、これまでベクトル化されていなかった配列演算のパフォーマンスが大幅に向上した(スループットが2～4倍向上)。 さらに、この実装では、短い配列でもベクトル化をうまく利用することで、一部の演算のレイテンシを大幅に短縮している(最大4倍)。

GDC/LDCの実装は自動ベクトル化に依存しているが、DMDの実装は自らベクトル化を行う。DMDによるベクトル演算のサポートは、バイナリの肥大化とわずかなテスト・オーバーヘッドを避けるため、静的に決定される (-march=native,-march=avx2)。DMDはデフォルトで64ビット・ターゲットのSSE2を有効にする。

druntime#1891も参照のこと。

釈注:精度が低下する可能性があるため、浮動小数点除算(例:ary[] / scalar )を乗算(ary[] * (1.0 / scalar) )に弱める実装は行われなくなった。精度の低下が許容される場合に浮動小数点乗算の高い性能を維持するには、GDC/LDCで-ffast-math 、またはDMDで(1.0 / scalar) 、手動で乗算するようにコードを書き換える。