landauer

Use the Landauer limit to calculate my program's entropy.

  1. landauer
    1. Landauer's principle
    2. Documentation
      1. landauer
      2. k
      3. room-temperature
      4. heat
    3. About this egg
      1. Author
      2. Repository
      3. License
      4. Dependencies
      5. Versions
      6. Colophon

Landauer's principle

Landauer's principle states that every irreversible operation produces entropy; erasing one bit, for instance, generates at least kT ln 2 J of heat.

We can use Landauer's principle to calculate a lower-bound on the energy released by our program, given some number of bit-operations.

Documentation

landauer

[module] landauer

The Landauer module contains contains some constants, parameters and procedures for calculating a lower-bound on the heat-dissipation of programs.

k

[constant] k → 1.38e-23

The Boltzmann constant

(define k 1.38e-23)

room-temperature

[parameter] room-temperature → 298.15

Room temperature in K

(define room-temperature (make-parameter 298.15))

heat

[procedure] (heat operations) → number

Calculate a lower-bound on the heat dissipated by some number of irreversible bit-operations.

Room-temperature is governed by the room-temperature parameter.

operations
The number of irreversible bit-operations
(define (heat operations) (* operations k (room-temperature) (log 2)))

About this egg

Author

Peter Danenberg

Repository

https://github.com/klutometis/landauer

License

BSD

Dependencies

Versions

0.0
Initial commit
0.0.1
Also export k and room-temperature.
0.0.2
Use hahn.

Colophon

Documented by hahn.