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.
The Boltzmann constant
(define k 1.38e-23)
Room temperature in K
(define room-temperature (make-parameter 298.15))
- heat operationsprocedure
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)))
Documented by hahn.