nền tảng điện toán Reversible

Question

Từ Reversible Computing FAQ:

Đạt hiệu suất tính toán khả năng tối đa cho một trao tốc độ tản chút thường đòi hỏi đảo ngược rõ ràng không chỉ ở mức thấp nhất, nhưng ở tất cả các cấp computing- -in thiết bị, mạch, kiến ​​trúc, ngôn ngữ và thuật toán (mạnh mẽ được phỏng đoán, nhưng chưa được chính thức chứng minh là kết quả gọi nó là Luật của Frank).

Như tôi đã hiểu, năng lượng bị mất sẽ được tạo khi bit được lấy 0. Sản xuất nhiệt có thể giảm nếu nền tảng phần mềm và phần cứng có khả năng đảo ngược hoạt động logic.

Có nền tảng lập trình nào (thư viện, thời gian chạy, ngôn ngữ và trình biên dịch) hỗ trợ tính toán có thể đảo ngược không?

Answer 1

Có, có một số ngôn ngữ lập trình có thể đảo ngược, ít nhất là trong nghiên cứu.

Tôi cũng xen kẽ trong trường này và tôi có một bộ sưu tập gồm vài con trỏ. Hai giấy tờ là khá mát mẻ:

• Principles of a reversible programming language
• A reversible programming language and its invertible self-interpreter

Những cái tôi chưa đọc (nhưng nằm trong danh sách todo của tôi) và có vẻ thú vị:

• information effects
• Invertible Syntax Descriptions-Unifying Parsing and pretty printing
• An Injective Language for Reversible Computation

Còn có this thread về tin tức của hacker.

Có một tài liệu phong phú hơn về chuyển đổi hai chiều (mã, mô hình, cấu trúc dữ liệu, v.v.), đó là một số mở rộng liên quan đến tính toán đảo ngược.

Answer 2

Theo như tôi hiểu, đối với tính toán thực sự có thể đảo ngược, chúng tôi sẽ cần chạy thuật toán trên máy tính có thể đảo ngược. Chỉ cần trích dẫn liên kết sau:

Máy tính đảo ngược: Máy tính trong đó tất cả các chip và mạch thực hiện các chức năng đảo ngược không truyền nhiệt đến hoặc từ môi trường xung quanh. Trong những năm 1990, một nhóm tại MIT đã xây dựng phần cứng sơ bộ chứng minh tính toán “adiabatic” như vậy.

Ref:http://energy.mit.edu/news/energy-efficient-computing/