Qual é o algoritmo pelo qual ocorre o aumento do tamanho do slice em Go?

O aumento do tamanho do segmento em Go ocorre de acordo com o seguinte algoritmo ao usar a função append():

1. É determinada a capacidade requerida (capacity) do novo segmento.
2. Se a capacidade atual for suficiente para acomodar os novos elementos (cap(s) >= len(s) + len(elements)), os elementos são simplesmente adicionados ao final do array base atual, e o novo segmento aponta para essa área.
3. Se a capacidade atual não for suficiente, um novo array base com maior capacidade é alocado. O algoritmo para determinar essa nova capacidade é o seguinte:
   • Se a capacidade requerida for maior que o dobro da capacidade antiga (requiredCap > 2 * oldCap), a nova capacidade é a requerida.
   • Se a capacidade antiga for menor que 1024 (oldCap < 1024), a nova capacidade é duplicada (newCap = oldCap * 2).
   • Se a capacidade antiga for maior ou igual a 1024 (oldCap >= 1024), a nova capacidade aumenta em 25% (newCap = oldCap + oldCap/4) até que seja maior ou igual à requerida.
4. Os elementos do array base antigo são copiados para o novo array base.
5. Os novos elementos são adicionados ao final do novo array base.
6. A nova capacidade pode ser ligeiramente maior que o valor calculado devido ao alinhamento de memória.
7. A função append() retorna um novo segmento que aponta para o novo array base.

Além disso, o segmento antigo e seu array base podem ser removidos pelo coletor de lixo se não houver mais referências a eles.