Projeto de Pesquisa ChrisOS¶
Neste capítulo
e05a17fd7633
Modelo de publicação: static / revision-bound
Organização canônica¶
A documentação possui duas camadas organizacionais independentes:
| Camada | Finalidade | Autoridade |
|---|---|---|
| currículo de aprendizado | define pré-requisitos e progressão conceitual | data/curriculum.yml |
| coleções do repositório | mantém caminhos estáveis e agrupamento temático | docs/en/* e docs/pt-br/* |
O currículo é a autoridade para a ordem de leitura. A numeração dos diretórios permanece por estabilidade de URLs e manutenção do repositório; ela não substitui a ordem de pré-requisitos.
Percurso de aprendizado e lacunas atuais
Guia do desenvolvedor
Cadeia de dependências¶
A cadeia principal é:
matéria e modelos físicos
↓
ferramentas matemáticas exigidas pelo modelo físico
↓
campos elétricos, circuitos e comportamento eletromagnético
↓
dispositivos semicondutores e CMOS
↓
lógica booleana e sequencial
↓
representação, estruturas de dados e algoritmos
↓
arquitetura de CPU e interfaces de plataforma
↓
firmware e boot
↓
kernel, memória, concorrência e processos
↓
linguagens e armazenamento persistente
↓
gráficos, rede e desktop
↓
emulação, virtualização e self-hosting
↓
hardware real, validação e especificações
Capítulos ausentes permanecem visíveis no currículo e não são ignorados pela sequência canônica de anterior/próximo.
Níveis do currículo¶
| Nível | Escopo técnico |
|---|---|
| 01 · Matéria, ferramentas matemáticas, eletricidade, dispositivos e lógica | matéria, eletrostática, circuitos, semicondutores, CMOS, lógica booleana, circuitos aritméticos, estado e células de memória |
| 02 · Representação e algoritmos | matemática discreta, representação binária, complexidade, estruturas de dados e algoritmos de sistemas |
| 03 · Execução de instruções e plataforma | datapaths, microarquitetura, ISA, x86-64, hierarquia de memória, PCIe, MMIO, DMA e ACPI |
| 04 · Do reset à entrada do kernel | reset, firmware, UEFI, Limine, ELF, linkedição e entrada higher-half |
| 05 · Kernel, memória e contextos de execução | trust boundaries, exceções, PMM, paginação, TLBs, concorrência, user mode e ciclo de processos |
| 06 · Linguagens, compiladores e runtimes | construção de compiladores, ChrisC, CLVM, JIT e toolchain nativo |
| 07 · Estado persistente e filesystems | block storage, ATA/AHCI/NVMe/VirtIO e estruturas/recuperação do ChrisFS |
| 08 · Dos bytes ao desktop | framebuffer, gráficos 2D, composição, input, janelas e aplicações |
| 09 · Geometria, rasterização e GPUs | transformações, rasterização, VirtIO-GPU, VirGL e shaders |
| 10 · Redes e estados de protocolo | Ethernet, IPv4, UDP, TCP, VirtIO-net e sockets |
| 11 · Emulação e virtualização | emulação x86, ChrisVM/ChrisCPU, VMX/SVM e tradução de segundo nível |
| 12 · Bootstrap, validação e pesquisa | self-hosting, hardware real, validação, especificações, história e manutenção do corpus |
| 13 · Ambiente de desenvolvimento e contribuição | Linux, Windows/WSL2, build, depuração, testes, troubleshooting e fluxo de contribuição |
Estrutura dos documentos¶
Capítulos técnicos separam as seguintes classes de evidência:
- teoria física ou matemática;
- arquitetura geral de sistemas;
- implementação atual do ChrisOS/ChrisCPU;
- validação executável ou evidência derivada do source;
- limitações conhecidas;
- arquitetura futura explicitamente identificada como futura.
A existência de um símbolo no source não comprova conclusão de funcionalidade. Afirmações de implementação permanecem vinculadas à revisão analisada.
Semântica de navegação¶
Cada capítulo curricular expõe:
- nível e módulo;
- posição absoluta na sequência;
- capítulos planejados anterior e seguinte;
- pré-requisitos técnicos declarados;
- capítulos autorais que dependem dele;
- par de idiomas;
- revisão e arquivos de source.
Quando o item anterior ou seguinte está ausente, a lacuna aparece explicitamente em vez de ser ignorada.
Coleções do repositório¶
As coleções estáveis permanecem disponíveis para consulta temática:
| Coleção | Assunto |
|---|---|
| Fundamentos | pré-requisitos físicos, elétricos, digitais, matemáticos e algorítmicos |
| Arquitetura de computadores | CPU, x86-64, hierarquia de memória e plataforma |
| Boot | firmware, layout executável e entrada do kernel |
| Kernel | execução privilegiada, interrupts, processos e modelo de kernel |
| Memória | memória física/virtual, TLBs, alocação e lifetime |
| Armazenamento | block devices e filesystems |
| Sistemas de linguagens | compiladores, runtimes e toolchain nativo |
| Gráficos | framebuffer, gráficos 2D/3D e interfaces de GPU |
| Emulação | ChrisVM, ChrisCPU e virtualização |
| Rede | protocolos e dispositivos de rede |
| Desktop | janelas, input e aplicações |
| Self-hosting | bootstrap e rebuild interno |
| Hardware real | instalação, bring-up e compatibilidade |
| Validação | testes, gates, faults e medições |
| Especificações | formatos, ABIs e contratos de protocolo |
| História da arquitetura | histórico arquitetural vinculado a revisões |
| Guia do desenvolvedor | setup de workstation, build/run/debug, testes e contribuição |
Política de evidência¶
- Source atual em main.
- Checks e gates reproduzíveis contra a mesma revisão.
- Especificações atuais mantidas no repositório.
- Material histórico explicitamente vinculado à revisão correspondente.
- Trabalho futuro separado do comportamento implementado.