Toward a Model of Computation for Time-constrained Applications on Manycores

Stephane Louise

2015

Abstract

As computing systems are transitioning from multicores to manycores with the increasing number of computing resources available on modern chips, we can notice a lack of a universal programming model for these new platforms and the challenges they convey. Ideally speaking, a program should be written only once, and making it run on a given target would be the role of the compilation tools. But before addressing this problem, we need a good Model of Computation (MoC) as a base for both programming and compilation tools. In this paper we propose to share our insights on the properties such a MoC should possess. It would take the CycloStatic DataFlow (CSDF) MoC for its good properties, and extend it to overcome its limitations while retaining its good properties.

References

  1. Amarasinghe, S., Gordon, M. I., Karczmarek, M., Lin, J., Maze, D., Rabbah, R. M., and Thies, W. (2005). Language and compiler design for streaming applications. International Journal of Parallel Programming, 33(2/3):261-278.
  2. Buck, I. (2004). Brook specification v.0.2. Technical report, Stanford University.
  3. Buck, J. and Lee, E. (1993a). Scheduling dynamic dataflow graphs with bounded memory using the token flow model. In Acoustics, Speech, and Signal Processing, 1993. ICASSP-93., 1993 IEEE International Conference on, volume 1, pages 429-432 vol.1.
  4. Buck, J. T. and Lee, E. A. (1993b). Scheduling dynamic dataflow graphs with bounded memory using the token flow model. Technical report.
  5. Campbell, M., Egerstedt, M., How, J. P., and Murray, R. M. (2010). Autonomous driving in urban environments: approaches, lessons and challenges. Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, 368(1928):4649-4672.
  6. Choi, B., Komuravelli, R., Sung, H., Smolinski, R., Honarmand, N., Adve, S., Adve, V., Carter, N., and Chou, C.-T. (2011). Denovo: Rethinking the memory hierarchy for disciplined parallelism. In Parallel Architectures and Compilation Techniques (PACT), 2011 International Conference on, pages 155-166.
  7. de Oliveira Castro, P., Louise, S., and Barthou, D. (2010). Reducing memory requirements of stream programs by graph transformations. In High Performance Computing and Simulation (HPCS), 2010 International Conference on, pages 171 -180.
  8. Dkhil, A., Do, X.-K., Louise, S., and Rochange, C. (2015). A hybrid algorithm based on self-timed and periodic scheduling for embedded streaming applications. In Proceedings of Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (EuroPDP 2015).
  9. Feiner, S., MacIntyre, B., Hollerer, T., and Webster, A. (1997). A touring machine: prototyping 3d mobile augmented reality systems for exploring the urban environment. In Wearable Computers, 1997. Digest of Papers., First International Symposium on, pages 74 -81.
  10. G. Bilsen, M. Engels, R. L. and Peperstraete, J. A. (1996). Cyclo-static data flow. IEEE Transactions on Signal Processing, 44(2):397-408.
  11. Guizzo, E. (2011). How googles self-driving car works. IEEE Spectrum Online, October, 18.
  12. Gustafson, J. L. (1988). Reevaluating amdahl's law. Commun. ACM, 31(5):532-533.
  13. Herlihy, M. and Moss, J. E. B. (1993). Transactional memory: Architectural support for lock-free data structures, volume 21. ACM.
  14. Kahn, G. (1974). The semantics of a simple language for parallel programming. In Information processing, pages 471-475.
  15. Khronos OpenCl Working Group (2008). The opencl specification. Technical report.
  16. Lee, E. A. (2006). The problem with threads. Computer, 39(5):33-42.
  17. Louise, S., Dubrulle, P., and Goubier, T. (2014). A model of computation for real-time applications on embedded manycores. In Embedded Multicore/Manycore SoCs (MCSoc), 2014 IEEE 8th International Symposium on, pages 333-340.
  18. Murillo, A., Gutierrez-Gomez, D., Rituerto, A., Puig, L., and Guerrero, J. (2012). Wearable omnidirectional vision system for personal localization and guidance. In Computer Vision and Pattern Recognition Workshops (CVPRW), 2012 IEEE Computer Society Conference on, pages 8 -14.
  19. NVIDIA Corp. (2007). NVIDIA CUDA: Compute unified device architecture. Technical report.
  20. Sato, Y., Nakamoto, M., Tamaki, Y., Sasama, T., Sakita, I., Nakajima, Y., Monden, M., and Tamura, S. (1998). Image guidance of breast cancer surgery using 3-d ultrasound images and augmented reality visualization. Medical Imaging, IEEE Transactions on, 17(5):681 - 693.
  21. Stuijk, S. (2007). Predictable mapping of streaming applications on multiprocessors. In Phd thesis.
Download


Paper Citation


in Harvard Style

Louise S. (2015). Toward a Model of Computation for Time-constrained Applications on Manycores . In Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-100-7, pages 45-50. DOI: 10.5220/0005467900450050


in Bibtex Style

@conference{enase15,
author={Stephane Louise},
title={Toward a Model of Computation for Time-constrained Applications on Manycores},
booktitle={Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2015},
pages={45-50},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005467900450050},
isbn={978-989-758-100-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Toward a Model of Computation for Time-constrained Applications on Manycores
SN - 978-989-758-100-7
AU - Louise S.
PY - 2015
SP - 45
EP - 50
DO - 10.5220/0005467900450050