Skip to main content

Constructive Solid Geometry using Algorithmic Skeletons

  • Conference paper
Programming Paradigms in Graphics

Part of the book series: Eurographics ((EUROGRAPH))

Abstract

This paper presents a study in the use of parallel algorithmic skeletons to program applications of constructive solid geometry (CSG). The approach is motivated by the frequent use of divide-and-conquer (D&C) methods in this domain, which are amenable to highly parallel implementation. A prototype Geometric Evaluation Library (GEL) is presented, with a small set of polymorphic higher-order functions, which capture the fundamental algorithmic structures independently of the underlying geometric domain. An efficient parallel implementation of one of these functions is described. The paper concludes with a discussion of the potential of the algorithmic skeleton paradigm.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B. Bacci, M. Danelutto, S. Orlando, S. Pelagatti, and M. Vanneschi. P3L.: a structured high-level parallel language, and its structured support. Concurrency: Practice and Experience, 7(3): 225–255, May 1995.

    Article  Google Scholar 

  2. R Banerjee, V Goel, and A Mukherjee. Efficient parallel evaluation of CSG tree using fixed number of processors. In Proc. 2nd ACM Symposium on Solid Modeling, pages 137–145, May 1993.

    Google Scholar 

  3. F. W. Burton and H-K Yang. Manipulating multilinked data structures in a pure functional language. Software Practice and Experience, 20(11):1167— 1185, November 1990.

    Google Scholar 

  4. M. Cole. Algorithmic Skeletons: Structured Management of Parallel Computation. Pitman/MIT Press, 1989.

    Google Scholar 

  5. J. Darlington, A. J. Field, P. G. Harrison, P. H. J. Kelly, D. W. N. Sharp, Q. Wu, and R. L. While. Parallel programming using skeleton functions. In Proceedings of PARLE 93, 1993.

    Google Scholar 

  6. J. Darlington, Y. Guo, H. W. To, Q. Wu, J. Yang, and M. Kohler. Fortran-S: a uniform functional interface to parallel imperative languages. Imperial College London, October 1994.

    Google Scholar 

  7. J. R. Davy and P. M. Dew. A polymorphic library for constructive solid geometry. Journal of Functional Programming, 1995. forthcoming.

    Google Scholar 

  8. H. Deldari, J. R. Davy, and P. M. Dew. The performance of parallel algorithmic skeletons. In Proceedings of ZEUS’95, pages 65–74. IOS Press, May 1995.

    Google Scholar 

  9. N. S. Holliman, D. T. Morris, and P. M. Dew. An evaluation of the processor farm model for visualising constructive solid geometry. In R. M. Dew, R. A. Earnshaw, and T. R. Heywood, editors, Parallel Processing for Computer Vision and Display, pages 452–460. Addison Wesley, 1989.

    Google Scholar 

  10. N. S. Holliman, C. M. Wang, and R. M. Dew. Mistral-3: Parallel solid modelling. The Visual Computer, 9 (7): 356–370, July 1993.

    Article  Google Scholar 

  11. R. M. Karp and V. Ramachandran. Parallel Algorithms for Shared Memory Machines. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science: Volume A, Algorithms and Complexity, pages 869–941. North Holland, 1990.

    Google Scholar 

  12. A. Kela and M. Wynn. Parallel computation of exact quadtree/octree approximations. In 4th Conference on Hypercube Concurrent Computers and Applications, Monterey California, March 1989.

    Google Scholar 

  13. M. Kesseler. Constructing skeletons in Clean: the bare bones. In Proceedings HPFC95, 1995.

    Google Scholar 

  14. Y. T. Lee and A. A. G. Requicha. Algorithms for computing the volume and other integral properties of solids. ii. a family of algorithms based on representation conversion and cellular approximation. Communications of the ACM, 25 (9): 642–650, September 1982.

    Article  MathSciNet  Google Scholar 

  15. D. Meagher. Geometric modeling using octree encoding. Computer Graphics and Image Processing, 19: 129–147, 1982.

    Article  Google Scholar 

  16. J. M. Nash, P. M. Dew, M. E. Dyer, and J. R. Davy. Parallel algorithm design on the WPRAM model. In J. R. Davy and R. M. Dew, editors, Abstract Machine Models for Highly Parallel Computers, pages 83–102. Oxford University Press, 1995.

    Google Scholar 

  17. A. A. G. Requicha. Representations for rigid solids: Theory, methods and systems. ACM Computing Surveys, 12 (4): 437–464, December 1980.

    Article  Google Scholar 

  18. T. Ruppelt and G. Wirtz. Automatic transformation of high-level object-oriented specifications into parallel programs. Parallel Computing, 10: 15–28, 1989.

    Article  MATH  MathSciNet  Google Scholar 

  19. R. B. Tilove. Set membership classification: A unified approach to geometric intersection problems. IEEE Transactions on Computers, C-29(10): 874–883, October 1980.

    Article  MathSciNet  Google Scholar 

  20. H. Wang, P. M. Dew, and J. Webb. Implementation of Apply. Concurrency: Practice and Experience, 3 (1): 43–54, February 1991.

    Article  MATH  Google Scholar 

  21. J. A. Webb. Steps toward architecture independent image processing. IEEE Computer, 25 (2): 21–31, February 1992.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag/Wien

About this paper

Cite this paper

Davy, J.R., Deldari, H., Dew, P.M. (1995). Constructive Solid Geometry using Algorithmic Skeletons. In: Veltkamp, R.C., Blake, E.H. (eds) Programming Paradigms in Graphics. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9457-7_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-9457-7_6

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-211-82788-8

  • Online ISBN: 978-3-7091-9457-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics