Is serverState volatile?  I forget.  If not, you'll need a volatile read here.