| Latency Comparison Numbers (~2012) | |
| ---------------------------------- | |
| L1 cache reference 0.5 ns | |
| Branch mispredict 5 ns | |
| L2 cache reference 7 ns 14x L1 cache | |
| Mutex lock/unlock 25 ns | |
| Main memory reference 100 ns 20x L2 cache, 200x L1 cache | |
| Compress 1K bytes with Zippy 3,000 ns 3 us | |
| Send 1K bytes over 1 Gbps network 10,000 ns 10 us | |
| Read 4K randomly from SSD* 150,000 ns 150 us ~1GB/sec SSD |
This is the rough implementation plan:
pick 9ae5db20d2 introduce Universe struct
We want this. =)
pick 1da0b70c57 introduce UniverseIndex into ParamEnv
Instead of adding a universe to the ParamEnv, the plan is now to
add this field to the InferenceCtxt. It represents the maxixum
| ### General List of Reserved Words | |
| ### Stuart P. Bentley <stuart@testtrack4.com>, June 4, 2013 | |
| ### Michael Howell <michael@notriddle.com>, April 5, 2017 | |
| ## This is a general list of words you may want to consider reserving, | |
| ## in a system where users can pick any name, in a context where the | |
| ## system may use names as well. One prominent example of a system | |
| ## where this is the case would be a site that serves pages for users, | |
| ## at their username, from the site root, like | |
| ## http://twitter.com/stuartpb . In this system, you would want to |