Checked load: Architectural support for JavaScript type-checking on mobile processors

Proceedings - International Symposium on High-Performance Computer Architecture

Volumn , Issue , 2011, Pages 419-430

  Anderson, Owen ^a   Fortuna, Emily ^a   Ceze, Luis ^a   Eggers, Susan ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL SUPPORT; DE FACTO STANDARD; DYNAMIC INSTRUCTIONS; DYNAMIC LANGUAGES; DYNAMIC TYPE; HARDWARE SUPPORTS; JAVASCRIPT; JUST IN TIME COMPILERS; LOW-COMPLEXITY; MEMORY OPERATIONS; MOBILE PROCESSORS; SOFTWARE-BASED; TYPECHECKING; WEB APPLICATION;

COMPUTER ARCHITECTURE; COMPUTER HARDWARE; HIGH LEVEL LANGUAGES; USER INTERFACES;

JAVA PROGRAMMING LANGUAGE;

EID: 79955910879     PISSN: 15300897     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HPCA.2011.5749748     Document Type: Conference Paper

References (28)

1. ARM. ARM11 Processor Family. http://www.arm.com/products/processors/ classic/arm11/index.php.
2. ARM. ARM9 Processor Family. http://www.arm.com/products/processors/ classic/arm9/index.php.
3. ARM. Cortex-A8 Processor. http://www.arm.com/products/processors/cortex- a/cortex-a8.php.
4. R. A. Brooks, D. B. Posner, J. L. McDonald, J. L. White, E. Benson, and R. P. Gabriel. Design of an Optimizing, Dynamically Retargetable Compiler for Common LISP. In Conference on LISP and Functional Programming (LFP), 1986.
5. C. Chambers and D. Ungar. Customization: Optimizing Compiler Technology for SELF, a Dynamically-typed Object-oriented Programming Language. SIGPLAN Notice, 24(7), 1989.
6. C. Corley and J. Statz. LISP Workstation Brings AI Power to a User's Desk. Computer Design 24, January 1985.
7. D. Flanagan and Y. Matsumoto. The Ruby Programming Language. O'Reilly Books, 2008.
8. L. P. Deutsch and A. M. Schiffman. Efficient Implementation of the SmallTalk-80 System. In Symposium on Principles of Programming Languages (POPL), 1984.
9. ECMA. ECMAScript Language Specification - Fifth Edition. http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-262.pdf.
10. A. Gal, B. Eich, M. Shaver, D. Anderson, D. Mandelin, M. R. Haghighat, B. Kaplan, G. Hoare, B. Zbarsky, J. Orendorff, J. Ruderman, E. W. Smith, R. Reitmaier, M. Bebenita, M. Chang, and M. Franz. Trace-based Just-in-Time Type Specialization for Dynamic Languages. In Conference on Programming language Design and Implementation (PLDI), 2009.
11. A. Gal, C. W. Probst, and M. Franz. HotpathVM: An Effective JIT Compiler for Resource-constrained Devices. In International Conference on Virtual Execution Environments (VEE), 2006.
12. Google Inc. V8 JavaScript Virtual Machine. http://code.google.com/p/v8, 2008.
13. Google Inc. V8 Benchmark Suite - version 5. http://v8.googlecode.com/svn/ data/benchmarks/v5/run.html, 2009.
14. U. Hölzle and D. Ungar. Optimizing Dynamically-dispatched Calls with Run-time Type Feedback. In Conference on Programming language Design and Implementation (PLDI), 1994.
15. C.-K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S.Wallace, V. J. Reddi, and K. Hazelwood. PIN: Building Customized Program Analysis Tools with Dynamic Instrumentation. In Conference on Programming language Design and Implementation (PLDI), 2005.
16. D. A. Moon. Architecture of the Symbolics 3600. SIGARCH Computer Architecture News, 13(3), 1985.
17. Palm. Palm Development Center. http://developer.palm.com/.
18. Python Software Association. The Python Language Reference. http://docs.python.org/reference/.
19. Qualcomm. The Snapdragon Platform. http://www.qualcomm.com/products\- services/chipsets/snapdragon.html.
20. G. Richards, S. Lebresne, B. Burg, and J. Vitek. An Analysis of the Dynamic Behavior of JavaScript Programs. In Conference on Programming language Design and Implementation (PLDI), 2010.
21. G. L. Steele. Fast Arithmetic in MacLISP. In MACSYMA Users' Conference, 1977.
22. P. Steenkiste and J. Hennessy. LISP on a Reduced-Instruction-Set- Processor. In Conference on LISP and Functional Programming (LFP), 1986.
23. P. Steenkiste and J. Hennessy. Tags and Type Checking in LISP: Hardware and Software Approaches. In Architectural Support for Programming Languages and Operating Systens (ASPLOS), 1987.
24. T. Yeh and Y. Patt. Two-level Adaptive Training Branch Prediction. In International Symposium on Microarchitecture (MICRO), 1991.
25. G. S. Taylor, P. N. Hilfinger, J. R. Larus, D. A. Patterson, and B. G. Zorn. Evaluation of the SPUR LISP Architecture. SIGARCH Computer Architecture News, 14(2), 1986.
26. WebKit. Introducing SquirrelFish Extreme. http://webkit.org/blog/214/ introducing-squirrelfish-extreme/, 2008.
27. WebKit. SunSpider JavaScript Benchmark. http://webkit.org/perf/sunspider- 0.9/sunspider.html, 2008.
28. J. L. White. Reconfigurable, Retargetable BigNums: A Case Study in Efficient, Portable LISP System Building. In Conference on LISP and Functional Programming (LFP), 1986.