landauer (historical revision 32100) - The CHICKEN Scheme wiki

You are looking at historical revision 32100 of this page. It may differ significantly from its current revision.

landauer

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.

[module] landauer

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

[constant] k → 1.38e-23

The Boltzmann constant

(define k 1.38e-23)

[parameter] room-temperature → 298.15

Room temperature in K

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

[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.

(define (heat operations) (* operations k (room-temperature) (log 2)))

Documented by cock.