Experience report: visualizing data through functional pipelines

ABSTRACT

Scientific visualization is the transformation of data into images. The pipeline model is a widely-used implementation strategy. This term refers not only to linear chains of processing stages, but more generally to demand-driven networks of components. Apparent parallels with functional programming are more than superficial: e.g. some pipelines support streams of data, and a limited form of lazy evaluation. Yet almost all visualization systems are implemented in imperative languages. We challenge this position. Using Haskell, we have reconstructed several fundamental visualization techniques, with encouraging results both in terms of novel insight and performance. In this paper we set the context for our modest rebellion, report some of our results, and reflect on the lessons that we have learned.

REFERENCES

• 1: R. Borgo, D. Duke, M. Wallace, and C. Runciman. Multi-cultural visualization: How functional programming can enrich visualization (and vice versa). In Proc. Vision, Modeling, and Visualization, pages 245--252. IOS Press, 2006.
• 2: David Duke , Malcolm Wallace , Rita Borgo , Colin Runciman, Fine-grained Visualization Pipelines and Lazy Functional Languages, IEEE Transactions on Visualization and Computer Graphics, v.12 n.5, p.973-980, September 2006 [doi>10.1109/TVCG.2006.145]
• 3: Andrew Gill. Cheap Deforestation for Non-strict Functional Languages. PhD thesis, Glasgow, 1996.
• 4: R.B. Haber and D. McNabb. Visualization idioms: A conceptual model for scientific visualization systems. In Visualization in Scientific Computing. IEEE Computer Society Press, 1990.
• 5: C. Charles Law , William J. Schroeder , Kenneth M. Martin , Joshua Temkin, A multi-threaded streaming pipeline architecture for large structured data sets, Proceedings of the conference on Visualization '99: celebrating ten years, p.225-232, October 1999, San Francisco, California, United States
• 6: William E. Lorensen , Harvey E. Cline, Marching cubes: A high resolution 3D surface construction algorithm, Proceedings of the 14th annual conference on Computer graphics and interactive techniques, p.163-169, August 1987
• 7: Conor McBride, Faking it Simulating dependent types in Haskell, Journal of Functional Programming, v.12 n.5, p.375-392, July 2002 [doi>10.1017/S0956796802004355]
• 8: B.H. McCormick, T.A. DeFanti, and M.D. Brown. Visualization in scientific computing. Computer Graphics, 21(6), 1987.
• 9: Patrick J. Moran , Chris Henze, Large field visualization with demand-driven calculation, Proceedings of the conference on Visualization '99: celebrating ten years, p.27-33, October 1999, San Francisco, California, United States
• 10: Will Schroeder , Kenneth M. Martin , William E. Lorensen, The visualization toolkit (2nd ed.): an object-oriented approach to 3D graphics, Prentice-Hall, Inc., Upper Saddle River, NJ, 1998
• 11: Craig Upson , Thomas Faulhaber, Jr. , David Kamins , David H. Laidlaw , David Schlegel , Jefrey Vroom , Robert Gurwitz , Andries van Dam, The Application Visualization System: A Computational Environment for Scientific Visualization, IEEE Computer Graphics and Applications, v.9 n.4, p.30-42, July 1989 [doi>10.1109/38.31462]

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.3 COMPUTER GRAPHICS
      I.3.2 Graphics Systems

General Terms:
Algorithms, Measurement, Performance

Keywords:
Haskell, evaluation, pipeline, streaming, visualization