Forwarding consistency and global states