PARA% S

TOS é um kernel do sistema operacional que é escrito em uma linguagem de montagem estritamente e estaticamente digitada.
Baixe Agora

PARA% S Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • GPL
  • Preço:
  • FREE
  • Nome do editor:
  • Toshiyuki Maeda
  • Site do editor:
  • http://www.yl.is.s.u-tokyo.ac.jp/~tosh/kml/

PARA% S Tag


PARA% S Descrição

TOS é um kernel do sistema operacional que é escrito em uma linguagem de montagem estritamente e estaticamente digitada. TOS é um kernel de sistema operacional experimental, que é escrito em nossa linguagem de montagem estritamente e estaticamente digitada, fala.Today, computadores (PCs, telefones celulares, etc.) são amplamente utilizados no mundo e sua rede tornam-se uma das infraestruturas sociais indispensáveis Portanto, a importância de garantir a segurança do software é comumente reconhecida e muitos programas podem ser escritos em linguagens fortemente digitadas (Java, C #, Caml Objetivo). Isso ocorre porque o programa que é escrito em uma linguagem digitada e passa seu tipo de verificação é garantido para não levantar erros no tempo de execução. No entanto, há um tipo de programas que nunca são escritos em idiomas digitados: sistemas operacionais. Por exemplo, o OSES existentes (por exemplo, Linux, FreeBSD, Windows XP, Solaris, etc.) são escritos em c e de idiomas de montagem. Um do motivo pelo qual os Os OSES não foram escritos em idiomas digitados é que acredita-se que as instalações do sistema operacional, como gerenciamento de memória, gerenciamento multi-thread e drivers de dispositivos, não podem ser escritos nas digitalizações digitadas. Para quebrar a crença equivocada, desenvolvemos uma linguagem de montagem estaticamente e estritamente digitada, chamada de conversa e implementou um protótipo OS Kernel, chamado Tos, na conversa. Assim, a funcionalidade de TOS é muito pobre (sem programas de usuário, sem sistemas de arquivos ...), mas planejamos estender a tos para ter as mesmas instalações que os kernels existentes. O que é novo nesta versão: · O código de gerenciamento de memória foi reescrito.


PARA% S Software Relacionado

Kernelconfig.

kernelconfig é um programa que executa as etapas necessárias para configurar, construir e instalar o kernel Linux ...

181

Download

Auroraux.

Sistema operacional principal para computação científica de alta integridade ...

93

Download

Pycorn.

Pycorn é um sistema operacional interpretado escrito em Python. ...

168

Download