Changes:

1. Made server extents volatile - dunno if this helps.
2. Reads are NOT ordered when they span multiple cache lines. In one cacheline,
they're probably ordered.
Small changes to read-ordering