Article

Introduction to reversible computing: motivation, progress, and challenges

Author:

Michael P. FrankAuthors Info & Claims

CF '05: Proceedings of the 2nd conference on Computing frontiers

Pages 385 - 390

https://doi.org/10.1145/1062261.1062324

Published: 04 May 2005 Publication History

Abstract

Reversible computing is motivated by the von Neumann-Landauer (VNL) principle, a theorem of modern physics telling us that ordinary irreversible logic operations (which destructively overwrite previous outputs) incur a fundamental minimum energy cost. Such operations typically dissipate roughly the logic signal energy, itself irreducible due to thermal noise. This fact threatens to end improvements in practical computer performance within the next few decades. However, computers based mainly on reversible logic operations can reuse a fraction of the signal energy that theoretically can approach arbitrarily near to 100% as the quality of the hardware is improved, reopening the door to arbitrarily high computer performance at a given level of power dissipation. In the 32 years since the theoretical possibility of this approach was first shown by Bennett, our understanding of how to design and engineer practical machines based on reversible logic has improved dramatically, but a number of significant research challenges remain, e.g., (1) the development of fast and cheap switching devices with adiabatic energy coefficients well below those of transistors, (2) and of clocking systems that are themselves of very high reversible quality; and (3) the design of highly-optimized reversible logic circuits and algorithms. Finally, the field faces an uphill social battle in overcoming the enormous inertia of the established semiconductor industry, with its extreme resistance to revolutionary change. A more evolutionary strategy that aims to introduce reversible computing concepts only very gradually might well turn out to be more successful. This talk explains these basic issues, to set the stage for the rest of the workshop, which aims to address them in more detail

References

[1]

Anantharam, V., He, M., Natarajan, K., Xie, H., and Frank, M. P. Driving Fully-Adiabatic Logic Circuits Using Custom High-Q MEMS Resonators. In Proc. Int. Conf. on Embedded Systems & Applications, CSREA, 2004, 5--11.

[2]

Athas, W. C., Svensson, L. J., Koller, J. G., Tzartzanis, N. and Chou, E. Y.-C. Low-power digital systems based on adiabatic switching principles. In IEEE Trans. on Very Large Scale Integration (VLSI) Systems, 2, 4, (Dec. 1994), 398--407.

Digital Library

[3]

Bennett, C. H. Logical reversibility of computation. IBM J. Res. Dev., 17, 6 (1973), 525--532.

Digital Library

[4]

Bennett, C. H. The Thermodynamics of Computation--a Review. Int. J. Theo. Phys., 21, 12 (1982), 905--940.

[5]

Bennett, C. H. Time/space trade-offs for reversible computation. SIAM J. Comput., 18, 4 (1989), 766--776.

Digital Library

[6]

Buhrman, H., Tromp, J., Vitanyi, P. Time and space bounds for reversible simulation. J. Phys. A: Mathematical and General, 34 (2001), 6821--6830.

[7]

Carnot, S. Reflexions sur la puissance motrice du feu sur les machines propres a developer cette puissance. Bachelier, Paris, 1824. English translation in press: Reflections on the Motive Power of Fire, Peter Smith Publisher, 1992.

[8]

Drexler, K. E. Nanosystems, Wiley, 1992.

[9]

Feynman, R. P., Feynman Lectures on Computation, Perseus Books, 1996.

Digital Library

[10]

Feynman, R. P. Quantum mechanical computers. Found. Phys., 16, 6 (1986), 507--531.

[11]

Frank, D. J. Power constrained CMOS scaling limits. IBM J. Res. Dev., 46, 2/3 (2002), 235--244.

Digital Library

[12]

Frank, M. P. Reversibility for Efficient Computing, Ph.D. thesis, Massachusetts Institute of Technology, 1999.

Digital Library

[13]

Frank, M. P. Nanocomputer systems engineering. In Nanotech 2003: Tech. Proc. of the 2003 Nanotechnology Conf. and Trade Show, vol. 2, Computational Publications, 2003, 182--185.

[14]

Frank, M. P., Vieri, C., Ammer, M. J., Love, N., Margolus, N. H., and Knight, T. F., Jr. A scalable reversible computer in silicon. In Unconventional Models of Computation, Springer, 1998, 183--200.

[15]

Fredkin, E. F., Toffoli, T. Conservative logic. Int. J. Theo. Phys., 21, 3/4 (1982), 219--253.

[16]

Fredkin, E. F., Toffoli, T. Design principles for achieving high-performance submicron digital technologies, proposal to DARPA, Nov. 1978. Reprinted in Collision-Based Computing, Fredkin, E. F. and Toffoli, T., eds., Springer-Verlag, 2001.

Digital Library

[17]

Goldstein, H., Poole, C. P., Safko, J. L., Classical Mechanics, 3rd ed., Addison Wesley, 2002.

[18]

Hall, J. S., An electroid switching model for reversible computer architectures. In PhysComp '92: Proc. of the Wkshp. on Physics and Computation, Oct. 2-4, 1992, Dallas, Texas, IEEE Computer Society Press, 1992, 237--247.

[19]

Hey, A. J. G., ed., Feynman and Computation: Exploring the Limits of Computers, Perseus Books, 1999.

Digital Library

[20]

International SEMATECH. International Technology Roadmap for Semiconductors (2004). http://public.itrs.net.

[21]

Kish, L. B. End of Moore's law: thermal (noise) death of integration in micro and nano electronics. Phys. Lett. A, 305, 3-4 (2 Dec. 2002), 144--149.

[22]

Landauer, R. Irreversibility and heat generation in the computing process. IBM J. Res. Dev., 5 (1961), 183--191.

Digital Library

[23]

Lange, K.-J., McKenzie, P., and Tapp, A. Reversible space equals deterministic space. In Proc. 12th Ann. IEEE Conf. on Computational Complexity (CCC '97), 1997, 45--50.

Digital Library

[24]

Likharev, K. K. Classical and quantum limitations on energy consumption in computation. Int. J. Theo. Phys., 21, 3/4 (1982), 311--326.

[25]

Mead, C. and Conway, L., Introduction to VLSI Systems, Addison-Wesley, 1979.

Digital Library

[26]

Merkle, R. C. Reversible electronic logic using switches. Nanotechnology, 4 (1993), 21--40.

[27]

Merkle, R. C. and Drexler, K. E. Helical logic. Nanotechnology, 7, 4 (1996), 325--339.

[28]

Orlov, A. O., Kummamuru, R. K., Ramasubramaniam, R., Toth, G., Lent, C. S., Bernstein, G. H., Snider, G. L. Experimental demonstration of a latch in clocked quantum-dot cellular automata, Appl. Phys. Lett., 78 (2001), 1625--1627.

[29]

Seitz, C. L., Frey, A. H., Mattisson, S., Rabin, S. D., Speck, D. A., van de Snepscheut, J. L. A. Hot-clock nMOS, in Fuchs, H., ed., 1985 Chapel Hill Conf. on Very Large Scale Integration, Computer Science Press, 1985, 1--17.

[30]

Stowe, K. Introduction to Statistical Mechanics and Thermodynamics, Wiley, 1984.

[31]

Timler, J. and Lent, C. S. Maxwell's demon and quantum-dot cellular automata. J. Appl. Phys. 94 (2003), 1050--1060.

[32]

Vieri, C., Reversible Computer Engineering and Architecture, Ph.D. thesis, Massachusetts Institute of Technology, 1999.

Digital Library

[33]

von Neumann, J. Theory of Self-Reproducing Automata, University of Illinois Press, 1966. http://www.walenz.org/vonNeumann/.

Digital Library

[34]

Younis, S. G. and Knight, T. F., Jr. Asymptotically zero energy split-level charge recovery logic. In Int. Wkshp. on Low Power Design, 1994, 177--182.

Cited By

Gail LMeyer U(2024)Connecting Reversible and Classical Computing Through Hybrid SSAReversible Computation10.1007/978-3-031-62076-8_11(161-178)Online publication date: 4-Jul-2024
https://dl.acm.org/doi/10.1007/978-3-031-62076-8_11
Stiefel KCoggan J(2023)The energy challenges of artificial superintelligenceFrontiers in Artificial Intelligence10.3389/frai.2023.12406536Online publication date: 24-Oct-2023
https://doi.org/10.3389/frai.2023.1240653
Ulidowski I(2023)Saving Memory Space in Deep Neural Networks by Recomputing: A SurveyReversible Computation10.1007/978-3-031-38100-3_7(89-105)Online publication date: 12-Jul-2023
https://doi.org/10.1007/978-3-031-38100-3_7
Show More Cited By

Index Terms

Introduction to reversible computing: motivation, progress, and challenges

Recommendations

Realizing Reversible Computing in QCA Framework Resulting in Efficient Design of Testable ALU
Special Issue on Computational Synthetic Biology and Regular Papers

Reversible logic is emerging as a prospective logic design style for implementing ultra-low-power VLSI circuits. It promises low-power consuming circuits by nullifying the energy dissipation in irreversible logic. On the other hand, as a potential ...
Design of a compact reversible binary coded decimal adder circuit

Reversible logic is an emerging research area and getting remarkable interests over the past few years. Interest is sparked in reversible logic by its applications in several technologies, such as quantum, optical, thermodynamics and adiabatic CMOS. ...
Reversible logic based multiplication computing unit using binary tree data structure

Reversible logic has emerged as a promising computing paradigm having applications in quantum computing, optical computing, dissipationless computing and low-power computing, etc. In reversible logic there exists a one-to-one mapping between the input ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

CF '05: Proceedings of the 2nd conference on Computing frontiers

May 2005

467 pages

ISBN:1595930191

DOI:10.1145/1062261

General Chair:
Nader Bagherzadeh,
Program Chairs:
Mateo Valero,
Alex Ramirez

Copyright © 2005 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 May 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

CF05

Sponsor:

CF05: Computing Frontiers Conference

May 4 - 6, 2005

Ischia, Italy

Acceptance Rates

Overall Acceptance Rate 273 of 785 submissions, 35%

Upcoming Conference

CF '25

Sponsor:
sigmicro

22nd ACM International Conference on Computing Frontiers

May 28 - 30, 2025

Cagliari , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

97
Total Citations
View Citations
1,773
Total Downloads

Downloads (Last 12 months)69
Downloads (Last 6 weeks)12

Reflects downloads up to 03 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Gail LMeyer U(2024)Connecting Reversible and Classical Computing Through Hybrid SSAReversible Computation10.1007/978-3-031-62076-8_11(161-178)Online publication date: 4-Jul-2024
https://dl.acm.org/doi/10.1007/978-3-031-62076-8_11
Stiefel KCoggan J(2023)The energy challenges of artificial superintelligenceFrontiers in Artificial Intelligence10.3389/frai.2023.12406536Online publication date: 24-Oct-2023
https://doi.org/10.3389/frai.2023.1240653
Ulidowski I(2023)Saving Memory Space in Deep Neural Networks by Recomputing: A SurveyReversible Computation10.1007/978-3-031-38100-3_7(89-105)Online publication date: 12-Jul-2023
https://doi.org/10.1007/978-3-031-38100-3_7
Vijayalakshmi TSelvakumar J(2023)An Extensive Study on Logic Emerging IoT Adiabatic Techniques for Low-Power CircuitIntelligent Cyber Physical Systems and Internet of Things10.1007/978-3-031-18497-0_17(229-238)Online publication date: 4-Feb-2023
https://doi.org/10.1007/978-3-031-18497-0_17
Awasthi SSharma SChowdhury BSingh GMetya SMajumder A(2022) Configuring Logic Operations from New Reversible Toffoli Gate using Pockel's Effect of Ti:LiNbO 3 2022 IEEE Region 10 Symposium (TENSYMP)10.1109/TENSYMP54529.2022.9864374(1-6)Online publication date: 1-Jul-2022
https://doi.org/10.1109/TENSYMP54529.2022.9864374
Hu XWalker BGarcía-Sánchez FEdwards AZhou PIncorvia JPaler AFrank MFriedman J(2022)Logical and Physical Reversibility of Conservative Skyrmion LogicIEEE Magnetics Letters10.1109/LMAG.2022.317451413(1-5)Online publication date: 2022
https://doi.org/10.1109/LMAG.2022.3174514
Hemalatha KSangeetha B(2022)Performance Analysis of Array Multiplier Using Reversible LogicMicroelectronics, Communication Systems, Machine Learning and Internet of Things10.1007/978-981-19-1906-0_46(543-560)Online publication date: 12-Jul-2022
https://doi.org/10.1007/978-981-19-1906-0_46
Das SChen AMarinella M(2021)Beyond CMOS2021 IEEE International Roadmap for Devices and Systems Outbriefs10.1109/IRDS54852.2021.00011(01-129)Online publication date: Nov-2021
https://doi.org/10.1109/IRDS54852.2021.00011
Demaine ELynch JSun J(2021)An Efficient Reversible Algorithm for Linear Regression2021 International Conference on Rebooting Computing (ICRC)10.1109/ICRC53822.2021.00024(103-108)Online publication date: Nov-2021
https://doi.org/10.1109/ICRC53822.2021.00024
Amir Mirizadeh SMahdi Emadi Kouchak MPanahi M(2021)A Novel Design of Quantum 3:8 Decoder Circuit using Reversible Logic for Improvement in Key Quantum Circuit Design Parameters2021 26th International Computer Conference, Computer Society of Iran (CSICC)10.1109/CSICC52343.2021.9420575(1-5)Online publication date: 3-Mar-2021
https://doi.org/10.1109/CSICC52343.2021.9420575
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten