terça-feira, 20 de outubro de 2009

Primeiro sistema operacional 100% livre de erros


Passeando por alguns sites de ciência e tecnologia, me deparei com essa matéria.
Infelizmente o artigo não diz qual foi a técnica utilizada, mas isso pode ser tema de uma nova pesquisa no google...... =D

Vale a pena conferir.

Fonte: inovacaotecnologica.com.br

Pesquisadores australianos relataram que, pela primeira vez, conseguiram provar com rigor matemático que o núcleo principal de um sistema operacional - tecnicamente conhecido como kernel - está 100% livre de erros de programação (bugs).

O avanço deverá ter implicações diretas no funcionamento e na segurança de computadores que controlam equipamentos que devem apresentar altíssima confiabilidade, como aparelhagens médicas de exames e cirurgias robotizadas, sistemas aeroespaciais e servidores de informática de missão crítica.

...

O kernel 100% correto pertence a um sistema operacional do tipo embarcado (embedded system), que roda em computadores dedicados a tarefas específicas.

A nova técnica de verificação, contudo, poderá ser utilizada no desenvolvimento de qualquer outro programa, seja um sistema operacional ou outro aplicativo qualquer.

sexta-feira, 2 de outubro de 2009

Adicionando Ubuntu em um domínio Windows AD (Active Directory)

Depois de algumas pesquisas e muita linha de comando, posso dizer que a forma mais simples para ingressar com uma máquina linux (rodando Ubuntu 9.04 nesse caso) em um dominio Active Directory é utilizando o LikeWise.


INSTALAÇÃO

Existem duas formas de instalar o Likewise Open:
1) Linha de comando
2) Gerenciador de pacotes Synaptic (Veja imagem)



Com o ubuntu 9.04, o Likewise Open 5.0 (pacote: likewise-open5) está disponível no repositório Universe. Recomendo a instalação deste ao invés do pacote likewise-open (descrito em varios posts e fóruns).

O pacote likewise-open5-gui é o responsável pelo gerenciamento do programa em modo gráfico, eliminando assim a necessidade de redigir algumas linhas no terminal.

Quem quiser fazer a instalação por linha de comando, precisa digitar:
sudo apt-get install likewise-open5
sudo apt-get install likewise-open5-gui

INGRESSANDO EM UM DOMÍNIO

Vale ressaltar que após algumas tentativas, desisti de utilizar esta interface gráfica. Existem muitos casos de sucesso pelos fóruns, porém comigo a solução foi ingressar no domínio em linha de comando.

A primeira coisa a ser feita é ajustar o relógio da máquina cliente. Precisa estar sincronizado com o servidor do domínio. Para isso digite a linha abaixo trocando 10.10.10.xxx pelo ip do servidor:
sudo ntpdate 10.10.10.xxx

Após a sincronização, vale ressaltar que o nome dos computadores precisam ser unicos no AD. Caso o nome que você deu à máquina seja o mesmo de uma outra que já exista no dominio, você pode alterá-lo editando o arquivo "hostname" digitando:
gksudo gedit /etc/hostname

Após a alteração, a máquina precisa ser reiniciada.

Os comandos para o ingresso no dominio são:
sudo domainjoin-cli join nome_do_dominio administrador

Substitua nome_do_dominio pelo nome do seu domínio, e administrador pelo nome de usuário apropriado.
Digite a senha do usuário que será solicitada.

CRIANDO UM SERVIÇO

Precisei criar um serviço para que tudo funcionasse após o boot do sistema. Para isso digite no prompt:
sudo update-rc.d likewise-open defaults

Inicie o serviço fazendo:
sudo /etc/init.d/likewise-open starts

LOGANDO NA REDE COM USUÁRIO DO DOMINIO

Agora você pode acessar a máquina com um usuário do AD. Porém o nome de usuário precisa ser redigido no seguinte formato:

nome_do_dominio\usuario


POSSÍVEIS SOLUÇÕES PARA POSSÍVEIS PROBLEMAS

- O firewall do controlador de domínio está bloqueando conexões de DNS. Verifique as configurações do firewall.

- Se o cliente tiver problemas ao entrar no domínio, certifique-se novamente de que o DNS Microsoft está listado em primeiro lugar em /etc/resolv.conf.
sudo gedit /etc/resolv.conf

Deixe parecido com isso (trocando 'dominio' pelo nome do seu dominio e 10.10.10.XXX pelo ip do controlador de dominio):
# Generated by NetworkManager
domain dominio.local
search dominio.local
nameserver 10.10.10.XXX
Caso continue ocorrendo algum problema relacionado ao DNS, edite o arquivo host adicionando o ip e o nome do controlador de dominio.
sudo gedit /etc/hosts

Adicione uma linha parecida com:
10.10.10.XXX nome_do_servidor.dominio.local nome_do_servidor
Trocando:
10.10.10.XXX - ip do controlador de dominio
nome_do_servidor - nome do servidor
dominio - nome do dominio


Em ultimo caso (até agora... não precisei de nada mais do que isso) será preciso editar o arquivo smb.conf, adicionando o nome do seu dominio a ele:
cd /etc/samba
sudo gedit smb.conf

Deixe parecido com:
# Change this to the workgroup/NT-domain name your Samba server will part of
workgroup = dominio.local

Referências:
BuscaPé, líder em comparação de preços na América Latina
 
BlogBlogs.Com.Br