Worked at AWS Route53, we do have record propagation, from record chanege requests to global edge servers. Records are updated in batch in an async way, but we

Worked at AWS Route53, we do have record propagation, from record chanege requests to global edge servers. Records are updated in batch in an async way, but we try to keep the delay minimal and I sometimes don't really notice it as user.