Outdated egg!
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.
landauer
Use the Landauer limit to calculate my program's entropy.
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-23The Boltzmann constant
(define k 1.38e-23)
room-temperature
[parameter] room-temperature → 298.15Room temperature in K
(define room-temperature (make-parameter 298.15))
heat
[procedure] (heat operations) → numberCalculate 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
Repository
https://github.com/klutometis/landauer
License
BSD
Dependencies
Versions
Colophon
Documented by hahn.