Reversible Computing
The theory of reversible computing is based on invertible primitives and composition rules that preserve invertibility. With these constraints, one can still satisfactorily deal with both functional and structural aspects of computing processes; at the same time, one attains a closer correspondence...
| Main Author: | |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/148978 |
| _version_ | 1826188786771427328 |
|---|---|
| author | Toffoli, Tommaso |
| author_facet | Toffoli, Tommaso |
| author_sort | Toffoli, Tommaso |
| collection | MIT |
| description | The theory of reversible computing is based on invertible primitives and composition rules that preserve invertibility. With these constraints, one can still satisfactorily deal with both functional and structural aspects of computing processes; at the same time, one attains a closer correspondence between the behavior of abstract computing systems and the microscopic physical laws (which are presumed to be strictly reversible) that underly any concrete implementation of such systems. Here, we integrate into a comprehensive picture a variety of concepts and results. According to a physical interpretation, the central result of this paper is that it is ideally possible to build sequential circuits with zero internal power dissipation. Even when these circuits are interfaced with conventional ones, power dissipation at the interface would be at most proportional to the number of input/output lines, rather than to the number of logic gates as in conventional computers. |
| first_indexed | 2024-09-23T08:04:41Z |
| id | mit-1721.1/148978 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T08:04:41Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1489782023-03-30T04:24:41Z Reversible Computing Toffoli, Tommaso The theory of reversible computing is based on invertible primitives and composition rules that preserve invertibility. With these constraints, one can still satisfactorily deal with both functional and structural aspects of computing processes; at the same time, one attains a closer correspondence between the behavior of abstract computing systems and the microscopic physical laws (which are presumed to be strictly reversible) that underly any concrete implementation of such systems. Here, we integrate into a comprehensive picture a variety of concepts and results. According to a physical interpretation, the central result of this paper is that it is ideally possible to build sequential circuits with zero internal power dissipation. Even when these circuits are interfaced with conventional ones, power dissipation at the interface would be at most proportional to the number of input/output lines, rather than to the number of logic gates as in conventional computers. 2023-03-29T14:15:35Z 2023-03-29T14:15:35Z 1980-02 https://hdl.handle.net/1721.1/148978 6681356 MIT-LCS-TM-151 application/pdf |
| spellingShingle | Toffoli, Tommaso Reversible Computing |
| title | Reversible Computing |
| title_full | Reversible Computing |
| title_fullStr | Reversible Computing |
| title_full_unstemmed | Reversible Computing |
| title_short | Reversible Computing |
| title_sort | reversible computing |
| url | https://hdl.handle.net/1721.1/148978 |
| work_keys_str_mv | AT toffolitommaso reversiblecomputing |