daily 1

segui o livro Learn Rust With Entirely Too Many Linked Lists, terminei o capitulo 3 mas ao final decidi revisar o 2, algumas coisas ainda não estavam muito claras, senti que passei muito rápido por elas

o primeiro ponto foi sobre a implementação do autor para a trait Drop, eu havia entendido que ela foi feita daquela forma para evitar problemas na call stack quando uma lista com muitos itens saísse de escopo, mas eu precisava de um desenho no Excalidraw pra absorver melhor a implementação.

Outro ponto foi que apesar de saber que essa implementação servia para evitar o stack overflow, diferente dos demais implementos ate aquele capitulo, para esse não houve uma demonstração de qual problema ele resolvia, tudo ficou bem mais claro quando eu comentei todo o impl Drop e criei uma linked list com 1 milhão de itens:

// https://github.com/bheisler/criterion.rs

fn benchmark_list_push_small(c: &mut Criterion) {
    let mut group = c.benchmark_group("1million_nodes_group");

    group.throughput(Throughput::Elements(1_000_000));
    group.bench_function("drop_1million", |b| {
        b.iter(|| {
            let mut list = List::new();
            for i in 0..1_000_000 {
                list.push(i);
            }
            //list dropped here
        });
    });

    group.finish();
}

 Running benches\criterion.rs (target\release\deps\criterion-4f47d19cc837ada1.exe)
Gnuplot not found or not usable, using plotters backend
`gnuplot --version` returned an unparseable version string: gnuplot 6.1 last modified 2024-12-07

Benchmarking 1million_nodes_group/drop_1million: Warming up for 3.0000 s
thread 'main' has overflowed its stack

acredito que foi um ponto que faltou no livro, seria bem melhor cair no problema e mostrar ao leitor como corrigi-lo do que corrigir de antemão e ficar por isso mesmo.

por fim ainda queria ver como a versão presente no livro se sairia em um benchmark contra a API presente na linguagem. Mesmo Rust tendo uma API propria de LinkedList, decidi fazer o benchmark direto contra o Vec, até porque na própria doc do LinkedList do std, é dito que o preferível seria usar o Vec que provavelmente deve atender a maioria dos casos. De qualquer forma, tenho quase certeza que independente do adversário, a surra seria a mesma 💀

os prints abaixo são os reports gerados pelo Criterion, usando o mesmo benchmark que coloquei mais acima para a questão do Drop.

pro Vec, os gráficos se mostraram bem mais estáveis e com tempos de execução com menos variações

enquanto isso, o List do livro esteve respirando por aparelhos

ChatGPT mandando a real sobre tudo isso