Use the Landauer limit to calculate my program's entropy.
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.
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.
- The number of irreversible bit-operations
(define (heat operations) (* operations k (room-temperature) (log 2)))
About this egg
Documented by hahn.