Semana 1

• O problema do __free_page() está localizado no primeiro if do seguinte código:

  void __free_pages(struct page *page, unsigned long order)
  {
    if (!PageReserved(page) && 
        atomic_dec_and_test(&page->count)) {
      if (PageSwapCache(page))
        panic ("Freeing swap cache page");
      page->flags &= ~(1 << PG_referenced);
      free_pages_ok(page - mem_map, order, PageDMA(page) ? 
                    1 : 0);
      return;
    }
  }
  

• Pelas saídas dos printks, a página estava reservada e o contador era maior que 0 (normalmente 2 ou 3). Pelo nome da macro atomic_dec_and_test() acreditou-se que ela decrementaria e testaria se era maior que zero, o que resultaria em um resultado verdade. Como o código da macro estava em assembler, sempre passou-se por cima, sem maior detalhadamente. Aqui o código dela:

  static __inline__ int atomic_dec_and_test(volatile atomic_t *v)
  {
          unsigned char c;
  
          __asm__ __volatile__(
                  LOCK "decl %0; sete %1"
                  :"=m" (__atomic_fool_gcc(v)), "=qm" (c)
                  :"m" (__atomic_fool_gcc(v)));
          return c != 0;  
  }
  

• A macro não fazia o que o grupo estava pensando e sim, o contrário. Ela só retorna verdadeiro, se o contador, depois de decrementado, estiver zerado.

• Conclusão: a página não é liberada em praticamente nenhum caso, devido ao contador. Ou seja, a função __free_page() (mm/page_alloc.c) é chamada no try_to_swap_out() (mm/vmscan.c), mas não serve para nada. As páginas ainda continuam um tempo no swap cache.

• Conseqüência: não se pode utilizar o swap cache nessa fase, e crê-se que nunca seja possível, pois é preciso que a página seja liberada na hora, para que seja ocupada por uma nova página que está indo ao cache comprimido.

• Conversou-se sobre a divisão do grupo. A idéia é distribuir tarefas para partes do grupo, de modo que as coisas caminhem independentemente e mais rápidas. A divisão acabou sendo:
  • Livio e Rodrigo: codificação da etapa atual
  • Breno e Cláudio: estarão sempre um passo a frente do atual estágio. Hoje em dia, eles estarão já estudando estruturas de dados da compressão e algoritmos.

• O Livio terminou o resumo para o envio ao workshop e o Rodrigo o revisou. Foi enviado à lista para apreciação de todos os integrantes.

• Foram codificadas a lista ligada e a lista livre.

• Descoberta e uso do nível KERN_EMERG do printk().

• Foi feita uma última revisão do resumo e a convertesão dele para uma versão do Word 97.