FIFO

分开数据存储与指针同步，核对Gray码、空满标志和复位契约。