Architecture support for disciplined approximate programming

Disciplined approximate programming lets programmers declare which parts of a program can be computed approximately and consequently at a lower energy cost. The compiler proves statically that all approximate computation is properly isolated from precise computation. The hardware is then free to selectively apply approximate storage and approximate computation with no need to perform dynamic correctness checks. In this paper, we propose an efficient mapping of disciplined approximate programming onto hardware. We describe an ISA extension that provides approximate operations and storage, which give the hardware freedom to save energy at the cost of accuracy. We then propose Truffle, a microarchitecture design that efficiently supports the ISA extensions. The basis of our design is dual-voltage operation, with a high voltage for precise operations and a low voltage for approximate operations. The key aspect of the microarchitecture is its dependence on the instruction stream to dete...

• Type: Journal
• Year: 2012
• Where: ASPLOS
• Authors: Hadi Esmaeilzadeh, Adrian Sampson, Luis Ceze, Doug Burger
• Keywords: Approximate Computation, ASPLOS 2012, Microarchitecture Design, Programming Languages, Service Degradation