# data[].attributes.body
Também chamado de UPC(Unidade Central de Processamento, ou Central Processing Unit), basicamente é quem executa todas as operações no computador. Sendo também o principal componente eletrônico de um computador. Ele fica acoplado na placa-mãe e passa o tempo todo executando instruções e processando dados.

Considerado o "cérebro" da máquina, suas operações são muitos simples, consistem basicamente e operações matematicas e lógicas, além de operações de busca, leitura e gravação de dados na memória.

Sua velocidade é um fator determinante no desempenho geral do computador. Tanto é que muitas pessoas descrevem o computador que usam se
referindo ao modelo e velocidade do processador que ele possui. Por exemplo, um processador que opere a 100 MHz, como, realiza 100 milhões de operações por segundo. Essa é a forma como é medida a velocidade de um processador: através da quantidade de operações que ele consegue realizar em um segundo. A unidade utilizada para essa medida é o MHz (Megahertz ou milhões de ciclos por segundo) ou em GHz (Gigahertz ou bilhões de ciclos por segundo) nos processadores mais novos.

A UCP esta ligada a memória principal, aos dispositivos de entrada e de saída pelos barramentos do sistema.

# data[].attributes.body
Em lugar de transistores, serão usados neurônios reais derivados de células-tronco do cérebro de cobaias.

# data[].attributes.attachment_caption
SeKVM torna a computação em nuvem comprovadamente segura Pesquisadores da Universidade de Columbia criaram um hipervisor seguro baseado em Linux

# data[].attributes.body
O software de hipervisor complexo ajuda a executar computadores em nuvem, mas a verificação de sua segurança geralmente é considerada quase impossível. Agora, cientistas da computação da Universidade de Columbia desenvolveram o que dizem ser o primeiro hipervisor que pode garantir a computação em nuvem segura.

Os hipervisores organizam servidores em nuvem em máquinas virtuais para fornecer dados e poder de computação pela Internet. Os hacks que exploram com sucesso as vulnerabilidades do hipervisor podem obter acesso irrestrito aos dados de milhões de clientes de provedores de computação em nuvem , como a Amazon.

"Basta um único elo fraco no código - um que é praticamente impossível de detectar por meio de testes tradicionais - para deixar um sistema vulnerável a hackers", diz  Ronghui Gu , cientista da computação da Escola de Engenharia e Ciências Aplicadas da Universidade de Columbia e co-autor do estudo publicado dos pesquisadores sobre o trabalho.

Em teoria, os cientistas podem verificar formalmente o software para provar matematicamente que seu código “protege a segurança dos dados em 100% das circunstâncias”, diz Gu. No entanto, a maioria dos hipervisores verificados geralmente é muito mais simples do que seus equivalentes comerciais, pois são projetados especificamente para verificação em vez de aplicações práticas. Em contraste, os hipervisores comerciais modernos são grandes peças de software, geralmente incluindo um kernel inteiro do sistema operacional, o que pode tornar a verificação uma tarefa aparentemente intransponível.

Por exemplo, levou três pessoas-ano para verificar 6.500 linhas de código com o hipervisor CertiKOS e 10 pessoas-ano para verificar 9.000 linhas de código com o hipervisor seL4 , ambos projetados para verificação. Em comparação, o hipervisor de código aberto KVM amplamente utilizado , um sistema multiprocessador completo integrado ao Linux, tem mais de 2 milhões de linhas de código.

Agora, os cientistas da computação da Columbia desenvolveram uma maneira de verificar hipervisores de nível comercial. Eles usaram sua nova técnica para desenvolver uma versão segura do KVM chamada SeKVM , que eles sugerem ser o primeiro hipervisor de nível comercial verificado formalmente por máquina.

Os pesquisadores apelidaram sua nova técnica de microverificação, que reduz a quantidade de trabalho necessária para verificar um hipervisor. Ele divide um hipervisor em um pequeno núcleo e um conjunto de serviços não confiáveis ​​e, em seguida, prova que o hipervisor é seguro, verificando apenas o núcleo. O núcleo não tem vulnerabilidades a serem exploradas por um hack, e esse núcleo medeia todas as interações do hipervisor com as máquinas virtuais, portanto, mesmo que um hack prejudique uma máquina virtual, ele não compromete as outras.

Com base na microverificação, os cientistas desenvolveram um software chamado MicroV para verificar grandes hipervisores multiprocessadores de nível comercial. Com a ajuda do MicroV, eles desenvolveram um núcleo seguro para o SeKVM com apenas 3.800 linhas de código, que verificaram ao longo de duas pessoas-ano.

# data[].attributes.attachment_caption
Além da UCP, a placa-mãe, memória e periféricos( entrada e saída) também compõem as categorias do hardware de um computador.

# data[].attributes.headline
Outras partes importantes e interessantes em nossos computadores

# data[].attributes.subject
Outras partes importantes e interessantes em nossos computadores

# data[].attributes.body
Placa-mãe: chamada placa de CPU por ser a
placa que acomoda o processador, por ser a principal placa do computador, é a responsável pela interconexão de todos os dispositivos que formam o computador. Se o processador é o “cérebro” do computador, pode-se dizer que a placa-mãe é o sistema nervoso.

Memória:  fazem parte da memória de um computador todos os dispositivos que são usados para armazenar dados e instruções, seja de forma temporária ou permanente. Pode-se dizer que depois da UCP, a parte mais importante de um computador é a memória.

Em um mesmo computador existem vários tipos de memórias, organizadas hierarquicamente de acordo com três características: custo, velocidade de acesso (a
velocidade com que os dados armazenados na memória são acessados pelo processador) e capacidade de armazenamento (a quantidade de informações que a
memória pode armazenar). Pode-se dividi-las em dois grandes grupos principais de memória: a memória principal e a memória secundária.

Periféricos: Para permitir a comunicação entre o processador e os demais componentes do
computador, assim como entre o computador e o meio externo (entre os computadores e os usuários ou outros computadores), temos os Dispositivos de
Entrada e Saída, também chamados de periféricos. O termo “Entrada e Saída” costuma ser abreviado por E/S ou, para quem preferir a língua inglesa, I/O, sigla de
Input/Output.
Podem ser considerados os “olhos, ouvidos e boca” do processador, pois são todos os componentes acessórios (aparelhos ou placas) que são conectados à placa-mãe e que enviam ou recebem informações do processador. De acordo com a função que desempenham no processamento dos dados, os periféricos podem ser
classificados em:
*dispositivos de entrada-> Teclado, mouse, microfone, scanner, webcam, joystick, entre outros.
*saída ou de entrada e saída-> Monitor, impressora, caixa de som, fone de ouvido, entre outros.