NDLI: Typed Architectures: Architectural Support for Lightweight Scripting

Please wait, while we are loading the content...

Big Data Analytics and Intelligence at Alibaba Cloud

Determining Application-specific Peak Power and Energy Requirements for Ultra-low Power Processors

REDSPY: Exploring Value Locality in Software

Failure-Atomic Slotted Paging for Persistent Memory

ProRace: Practical Data Race Detection for Production Use

Black-box Concurrent Data Structures for NUMA Architectures

Optimizing CNNs on Multicores for Scalability, Performance and Goodput

Improving Datacenter Efficiency

DudeTM: Building Durable Transactions with Decoupling for Persistent Memory

Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code

Efficient Address Translation for Architectures with Multiple Page Sizes

FLEP: Enabling Flexible and Efficient Preemption on GPUs

Identifying Security Critical Properties for the Dynamic Verification of a Processor

Bolt: I Know What You Did Last Summer... In The Cloud

Automated Synthesis of Comprehensive Memory Model Litmus Test Suites

Hardware-Software Co-design to Mitigate DRAM Refresh Overheads: A Case for Refresh-Aware Process Scheduling

Enabling Lightweight Transactions with Precision Time

Prophet: Precise QoS Prediction on Non-Preemptive Accelerators to Improve Utilization in Warehouse-Scale Computers

Translation-Triggered Prefetching

What Scalable Programs Need from Transactional Memory

Crossing Guard: Mediating Host-Accelerator Coherence Interactions

CoRAL: Confined Recovery in Distributed Asynchronous Graph Processing

Locality Transformations for Nested Recursive Iteration Spaces

ReFlex: Remote Flash ≈ Local Flash

SC-DCNN: Highly-Scalable Deep Convolutional Neural Network using Stochastic Computing

Page Fault Support for Network Controllers

SaberLDA: Sparsity-Aware Learning of Topic Models on GPUs

Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis

Neurosurgeon: Collaborative Intelligence Between the Cloud and Mobile Edge

DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems

Kill the Program Counter: Reconstructing Program Behavior in the Processor Cache Hierarchy

IncBricks: Toward In-Network Computation with an In-Network Cache

Mallacc: Accelerating Memory Allocation

Typed Architectures: Architectural Support for Lightweight Scripting

TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA

An Architecture Supporting Formal and Compositional Binary Analysis

KickStarter: Fast and Accurate Computations on Streaming Graphs via Trimmed Approximations

Locality-Aware CTA Clustering for Modern GPUs

Approximate Storage of Compressed and Encrypted Videos

3DGates: An Instruction-Level Energy Analysis and Optimization of 3D Printers

Towards "Full Containerization" in Containerized Network Function Virtualization

Moonwalk: NRE Optimization in ASIC Clouds

CHERI JNI: Sinking the Java Security Model into the C

Thermostat: Application-transparent Page Management for Two-tiered Main Memory

Towards Practical Default-On Multi-Core Record/Replay

TETRIS: Scalable and Efficient Neural Network Acceleration with 3D Memory

AMNESIAC: Amnesic Automatic Computer

An Analysis of Persistent Memory Use with WHISPER

AsyncClock: Scalable Inference of Asynchronous Event Causality

Browsix: Bridging the Gap Between Unix and the Browser

Sound Loop Superoptimization for Google Native Client

Exploiting Intra-Request Slack to Improve SSD Performance

Dynamic Resource Management for Efficient Utilization of Multitasking GPUs

GRIFFIN: Guarding Control Flows Using Intel Processor Trace

Breaking the Boundaries in Heterogeneous-ISA Datacenters

Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path

History-Based Arbitration for Fairness in Processor-Interconnect of NUMA Servers

Voltage Regulator Efficiency Aware Power Management

Typed Architectures: Architectural Support for Lightweight Scripting

Content Provider	ACM Digital Library
Author	Na, Gitae Oh, Young H. Kim, Dooyoung Kim, Sungmin Lee, Jae W. Cho, Hyeon Gyu Kim, Channoh Kim, Jaehyeok Kim, Namho
Abstract	Dynamic scripting languages are becoming more and more widely adopted not only for fast prototyping but also for developing production-grade applications. They provide high-productivity programming environments featuring high levels of abstraction with powerful built-in functions, automatic memory management, object-oriented programming paradigm and dynamic typing. However, their flexible, dynamic type systems easily become the source of inefficiency in terms of instruction count, memory footprint, and energy consumption. This overhead makes it challenging to deploy these high-productivity programming technologies on emerging single-board computers for IoT applications. Addressing this challenge, this paper introduces Typed Architectures, a high-efficiency, low-cost execution substrate for dynamic scripting languages, where each data variable retains high-level type information at an ISA level. Typed Architectures calculate and check the dynamic type of each variable implicitly in hardware, rather than explicitly in software, hence significantly reducing instruction count for dynamic type checking. Besides, Typed Architectures introduce polymorphic instructions (e.g., xadd), which are bound to the correct native instruction at runtime within the pipeline (e.g., add or fadd) to efficiently implement polymorphic operators. Finally, Typed Architectures provide hardware support for flexible yet efficient type tag extraction and insertion, capturing common data layout patterns of tag-value pairs. Our evaluation using a fully synthesizable RISC-V RTL design on FPGA shows that Typed Architectures achieve geomean speedups of 11.2% and 9.9% with maximum speedups of 32.6% and 43.5% for two production-grade scripting engines for JavaScript and Lua, respectively. Moreover, Typed Architectures improve the energy-delay product (EDP) by 19.3% for JavaScript and 16.5% for Lua with an area overhead of 1.6% at a 40nm technology node.
Starting Page	77
Ending Page	90
Page Count	14
File Format	PDF
ISBN	9781450344654
DOI	10.1145/3037697.3037726
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2017-04-04
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Internet of things (iot) Scripting languages Microarchitecture Instruction set architecture Type checking Interpreters Javascript Lua Performance Pipeline
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in