Session-based compilation framework for multicore programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5751 LNCS, Issue , 2009, Pages 226-246

  Yoshida, Nobuko ^a   Vasconcelos, Vasco ^b   Paulino, Hervé ^c   Honda, Kohei ^d  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF LISBON   (Portugal)

^c UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^d QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS DATA; ASYNCHRONY; EXECUTION FRAMEWORK; LOCAL CACHE; LOCAL MEMORIES; MULTI CORE; NON-COHERENT; SESSION TYPES;

COMPUTER PROGRAMMING; DATA TRANSFER; PROGRAM PROCESSORS;

FORMAL METHODS;

EID: 70349303446     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04167-9_12     Document Type: Conference Paper

References (46)

1. Alpern, B., Carter, L., Ferrante, J.: Modeling parallel computers as memory hierarchies. In: Proceedings of Programming Models for Massively Parallel Computers, pp. 116-123. IEEE Computer Society Press, Los Alamitos (1993
2. Benini, L., De Micheli, G.: Networks on chip: a new SoC paradigm. IEEE Computer 35, 1 (2002) 1.
3. Bettini, L., Coppo, M., D'Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global Progress in Dynamically Interleaved Multiparty Sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.5201, pp. 418-433. Springer, Heidelberg (2008
4. Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J.A.: Cyclo-static dataflow. IEEE Transactions on Signal Processing 44(2), 397-408 (1996
5. Bonelli, E., Compagnoni, A.B.: Multipoint Session Types for a Distributed Calculus. In: Barthe, G., Fournet, C. (eds.) TGC 2007 and FODO 2008. LNCS, vol.4912, pp. 240-256. Springer, Heidelberg (2008
6. Charles, P., Grothoff, C, Saraswat, V., Donawa, C, Kielstra, A., Ebcioglu, K., von Praun, C, Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. In: OOPSLA 2005, pp. 519-538. ACM Press, New York (2005
7. Culler, D., Karp, R., Patterson, D., Sahay, A., Schauser, K.E., Santos, E., Subramonian, R., von Eicken, T.: Logp: towards a realistic model of parallel computation. SIGPLAN Not. 28(7), 1-12 (1993
8. Culler, D.E., Gupta, A., Singh, J.P.: Parallel Computer Architecture: A Hardware/Software Approach. Morgan Kaufmann Publishers Inc., San Francisco (1997
9. Dally, W.J.: Enabling technology for on-chip interconnection networks. In: NOCS 2007, p. 3. IEEE Computer Society Press, Los Alamitos (2007
10. Dally, W.J., Towles, B.: Route packets, not wires: On-chip interconnection networks. In: DAC 2001, pp. 684-689. IEEE Computer Society Press, Los Alamitos (2001
11. Fahndrich, M., Aiken, M., Hawblitzel, C, Hodson, O., Hunt, G., Larus, J.R., Levi, S.: Language support for fast and reliable message-based communication in singularity OS. In: EuroSys 2006, pp. 177-190. ACM Press, New York (2006
12. Fatahalian, K., Horn, D.R., Knight, T.J., Leem, L., Houston, M., Park, J.Y, Erez, M., Ren, M., Aiken, A., Dally, W.J., Hanrahan, P.: Sequoia: Programming the Memory Hierarchy. In: SC 2006, p. 83. ACM Press, New York (2006
13. Gelsinger, P., Gargini, P., Parker, G., Yu, A.: Microprocessors circa 2000. In: IEEE SPectrum, pp. 43-47 (1989
14. Gschwind, M.: The Cell Broadband Engine: Exploiting multiple levels of parallelism in a chip multiprocessor. International Journal of Parallel Programming 35(3), 233-262 (2007
15. Hewitt, C, Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: IJCAI, pp. 235-245 (1973
16. Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 26(1), 100-106 (1983
17. Hoare, T.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985
18. Honda, K., Vasconcelos, V., Yoshida, N.: Type-directed compilation for multicore programming. In: PLACES 2008. ENTCS. Elsevier, Amsterdam (2009
19. Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.1381, pp. 122-138. Springer, Heidelberg (1998
20. Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL 2008, pp. 273-284. ACM Press, New York (2008
21. IBM. ALF double buffering, http://www.ibm.com/developerworks/blogs/ page/powerarchitecture?entry=ibombalf-sdk30-5
22. IBM. IBM BladeCenter QS21, http://www-03.ibm.com/systems/bladecenter /hardware/servers/qs21/index.html
23. IBM. Cell broadband engine programming tutorial version 2.0 (2006
24. Kapasi, U.J., Dally, W.J., Rixner, S., Owens, J.D., Khailany, B.: The imagine stream processor. In: ICCD 2002, pp. 282-288 (2002
25. Keltcher, C.N., McGrath, K.J., Ahmed, A., Conway, P.: The AMD Opteron processor for multiprocessor servers. IEEE Micro 23(2), 66-76 (2003
26. Kistler, M., Perrone, M., Petrini, F.: Cell multiprocessor communication network: Built for speed. IEEE Micro 26(3), 10-23 (2006
27. Kongetira, P., Aingaran, K., Olukotun, K.: Niagara: A 32-way multithreaded Sparc processor. IEEE Micro 25(2), 21-29 (2005
28. Lin, C.-k., Black, A.P.: DirectFlow: A domain-specific language for information-flow systems. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.4609, pp. 299-322. Springer, Heidelberg (2007
29. David, B.: Loveman. Program improvement by source to source transformation. In: POPL 1976, pp. 140-152. ACM Press, New York (1976
30. Milner, R.: Processes, a mathematical model of computing agents. In: Logic Colloquium, Bristol 1973, pp. 157-174. North Holland, Amsterdam (1975
31. Milner, R.: Functions as processes. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.443, pp. 167-180. Springer, Heidelberg (1990
32. Morrisett, G., Walker, D., Crary, K., Glew, N.: From System F to typed assembly language. ACM Trans. Program. Lang. Syst. 21(3), 527-568 (1999
33. Mostrous, D., Yoshida, N., Honda, K.: Global Principal Typing in Partially Commutative Asynchronous Sessions. In: Castagna, G. (ed.) ESOP 2000. LNCS, vol.5502, pp. 316-332. Springer, Heidelberg (2009
34. Olukotun, K., Nayfeh, B.A., Hammond, L., Wilson, K., Chang, K.: The case for a single-chip multiprocessor. In: ASPLOS-VII, pp. 2-11. ACM Press, New York (1996
35. Pham, D., Asano, S., Bolliger, M., Day, M.N., Hofstee, H.P., Johns, C., Kahle, J., Kameyama, A., Keaty, J., Masubuchi, Y., Riley, M., Shippy, D., Stasiak, D., Suzuoki, M., Wang, M., Warnock, J., Weitzel, S., Wendel, D., Yamazaki, T., Yazawa, K.: The design and implementation of a first-generation CELL processor. In: ISSCC 2005, vol.1, pp. 184-592 (2005
36. Pollack, F.J.: New microarchitecture challenges in the coming generations of CMOS process technologies. In: MICRO 1999, p. 2. IEEE Computer Society, Los Alamitos (1999
37. Sancho, J.C., Kerbyson, D.J.: Analysis of Double Buffering on two Different Multicore Architectures: Quad-core Opteron and the Cell-BE. In: IPDPS 2008. IEEE, Los Alamitos (2008
38. Schneier, B.: Applied Cryptography: Protocols, Algorithms, and Source Code in C. John Wiley & Sons, Inc., Chichester (1993
39. Spring, J.H., Privat, J., Guerraoui, R., Vitek, J.: StreamFlex: High-Throughput Stream Programming in Java. In: OOPSLA 2007, pp. 211-228. ACM Press, New York (2007
40. Srinivasan, S., Mycroft, A.: Kilim: Isolation-typed actors for java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.5142, pp. 104-128. Springer, Heidelberg (2008
41. Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing system. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol.817, pp. 398-413. Springer, Heidelberg (1994
42. Thies, W., Karczmarek, M., Amarasinghe, S.: Streamit: A language for streaming applications. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol.2304, pp. 179-196. Springer, Heidelberg (2002
43. Thies, W., Karczmarek, M., Sermulins, J., Rabbah, R., Amarasinghe, S.: Teleport messaging for distributed stream programs. In: PPoPP 2005, pp. 224-235. ACM Press, New York (2005) .
44. Vangal, S.R., Howard, J., Ruhl, G., Dighe, S., Wilson, H., Tschanz, J., Finan, D., Singh, A., Jacob, T., Jain, S., Erraguntla, V., Roberts, C., Hoskote, Y., Borkar, N., Borkar, S.: An 80-Tile Sub-100-W TeraFLOPS Processor in 65-nm CMOS. IEEE Journal of Solid-State Circuits 43(1), 29-41 (2008
45. Vasconcelos, V.T., Martins, F.: A multithreaded typed assembly language. In: Proceedings of TV 2006 - Multithreading in Hardware and Software: Formal Approaches to Design and Verification (2006
46. Welch, P.H., Barnes, F.R.M.: Communicating Mobile Processes: introducing occam-pi. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.3525, pp. 175-210. Springer, Heidelberg (2005).