3 ms·
Cool idea, the only problem I can see is how you define a reduction. In the Erlang VM a reduction is kind of a magical unit... and not a reductions are created
by lpgauth 12y ago
Cool idea, the only problem I can see is how you define a reduction. In the Erlang VM a reduction is kind of a magical unit... and not a reductions are created equal.
- derefr 12y agoI think the definition of a reduction (in terms of what it buys) is allowed to be pretty much arbitrary while still having an effective distributed economy emerge on top of it. Think of it as a communist state that both issues currency, and sets arbitrary prices for all state-produced goods in terms of that currency. In one state, a loaf of bread (or a multiplication) might be worth $1, and a hamburger (or a network message send) $5; in another state, the costs might be reversed. This would shake out as 1. exchange rate nash-equilibria between dom0s, determined by their "monetary policies"; and 2. spawning of subagents on dom0s with better cost-structures for the particular tasks they're assigned to accomplish. (If you're doing a lot of network IO, you'd want to delegate that part of your job to a place where network IO—after currency-conversion—is cheap.)
- lpgauth 12y agoRight, if reductions are market based then yes, it would work.