When get_global_id() is used to different devices, the return value is obviously different. Who is in charge of the id configruation to different device? Is is the hardware or the SDK by manufactor?