Sciweavers

Share
CGF
2010

SafeGI: Type Checking to Improve Correctness in Rendering System Implementation

8 years 10 months ago
SafeGI: Type Checking to Improve Correctness in Rendering System Implementation
Historically, rendering system development has been mainly focused on improving the numerical accuracy of the rendering algorithms and their runtime efficiency. In this paper, we propose a method to improve the correctness not of the algorithms themselves, but of their implementation. Specifically, we show that by combining static type checking and generic programming, rendering system and shader development can take advantage of compile-time checking to perform dimensional analysis, i.e. to enforce the correctness of physical dimensions and units in light transport, and geometric space analysis, i.e. to ensure that geometric computations respect the spaces in which points, vectors and normals were defined. We demonstrate our methods by implementing a CPU path tracer and a GPU renderer which previews direct illumination. While we build on prior work to develop our implementations, the main contribution of our work is to show that dimensional analysis and geometric space checking can b...
Jiawei Ou, Fabio Pellacini
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2010
Where CGF
Authors Jiawei Ou, Fabio Pellacini
Comments (0)
books