タグ

2024年7月7日のブックマーク (2件)

  • Lights and Shadows – Bartosz Ciechanowski

    Lights and ShadowsIt’s hard to describe how paramount light is. Ultimately, it is the only thing we see. But just as important the presence of light is, so is its absence. To talk about light we have to start in darkness so let’s jump straight into it. Light is a visible portion of electromagnetic radiation, but in this article I’m not going to discuss any of the underlying details like wave-parti

    Lights and Shadows – Bartosz Ciechanowski
    rydot
    rydot 2024/07/07
  • Java言語への変換によるポインタ演算の安全な実装方式

    C言語サブセットのプログラムを安全なJava言語のプログラムに変換する方式を実装した.そのような変換のためには,C言語独特の操作であるポインタ演算を,Javaプログラムで安全に模倣する必要がある.これを実現するために,まずC言語のポインタやメモリブロックを表現するJavaのクラスを定義した.次に,これらのクラスを利用するようなJavaへの変換規則を定め,規則に従ってトランスレータを実装した.また,C言語ではポインタと整数を相互にキャストすることが可能なので,整数もポインタと同様のオブジェクトに変換しなければならない.しかし,すべての整数をポインタと同様に表現すると大幅に効率が悪化する.そこで,データフロー解析により,ポインタが代入されない基型の変数は,Javaの通常の基型変数に変換する,などの最適化を実装した.9個のベンチマークプログラムで実験したところ,最適化前の変換結果コードは元の

    rydot
    rydot 2024/07/07