This is an egg for CHICKEN 4, the unsupported old release. You're almost certainly looking for the CHICKEN 5 version of this egg, if it exists.
If it does not exist, there may be equivalent functionality provided by another egg; have a look at the egg index. Otherwise, please consider porting this egg to the current version of CHICKEN.
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.