Re: [FUG-BR] Primeiro sistema operacional 100% livre de erros está pronto - OFF
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Um pequeno programa é uma exceção. Algum programa (como esse que você falou, talvez), com o espírito acadêmico (principalmente), pode tratar exceções. O que não deixa de ter validade empírica, mesmo sabendo da existência do Teorema da Parada. Você esta confundido a abrangência do teorema de parada. Ele diz que não existe algorítimo genérico para decidir a parada para todos os pares entrada-programa. O que não quer dizer que não existe solução para casos específicos. Sobre a validade empírica, você pode explicar o que é uma validade formal então? De novo, se você estiver correto de que tudo é empírico, um player como a MS, não investiria mais de 2 milhões de libras no projeto Terminator (o que prova que não é brincadeirinha acadêmica): http://research.microsoft.com/en-us/um/cambridge/projects/terminator/default.htm O Terminator é um dos maiores responsáveis pelo aumento de estabilidade do XP, Vista e 7. Você vê hoje muito menos telas azuis e crashes, porque o drivers certificados foram sendo verificados quanto a não parada. Sim, se está longe de ter a verificação formal completa de um SO de uso genérico. Mas eu digo que em 15 anos isso será um fato. Na verdade, tem outros projetos semelhantes sobre verificação de chips usando métodos automatizados e logica de ordem mais alta, que são usados pela ARM (100% do que a ARM faz é verificado formalmente, e eles são a maior plataforma de Micro-processadores hoje). A Intel e AMD também fazem mas não em 100% dos casos. Aqui mesmo (Grupo de Teoria da Computação de Cambridge), temos projetos com a NSA pra verificação formal de micro-processadores criptográficos, , com a Cisco e Boeing na área de roteamento, com a IBM na área de módulos java e com a Intel na verificação de assembly x86, etc Meu PhD é sobre verificação formal de protocolos criptográficos, onde parte da pesquisa já foi bancada pela VISA (verificação do SET) e pelo Internet Consortium (Verificação do SSL). Hoje o governo brasileiro (que me banca) tem interesse em verificar os grandes protocolos no cenário nacional, tais como SPB, NF-e e OpenHSM. É por isso que eu to aqui. Sobre uma outra pergunta na discussão sobre a usabilidade deste microkernel: Sim ele é utilizável e funcional, mas dentro da plataforma e objetivos à que se propõe. Jean -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.8 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkrldh0ACgkQQN0Max56Wid4KwCggkNfAxKzj/B5oLBn4Bt1uPty Ow0AoKbvPMBAmEbKWTe6eQHsN45ULGP8 =CheR -END PGP SIGNATURE- - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
Re: [FUG-BR] Primeiro sistema operacional 100% livre de erros está pronto - OFF
É isso ai lista continuamos a thread... pois a aula está muito interessante... 2009/10/26 Jean Everson Martina ever...@inf.ufsc.br -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Um pequeno programa é uma exceção. Algum programa (como esse que você falou, talvez), com o espírito acadêmico (principalmente), pode tratar exceções. O que não deixa de ter validade empírica, mesmo sabendo da existência do Teorema da Parada. Você esta confundido a abrangência do teorema de parada. Ele diz que não existe algorítimo genérico para decidir a parada para todos os pares entrada-programa. O que não quer dizer que não existe solução para casos específicos. Sobre a validade empírica, você pode explicar o que é uma validade formal então? De novo, se você estiver correto de que tudo é empírico, um player como a MS, não investiria mais de 2 milhões de libras no projeto Terminator (o que prova que não é brincadeirinha acadêmica): http://research.microsoft.com/en-us/um/cambridge/projects/terminator/default.htm O Terminator é um dos maiores responsáveis pelo aumento de estabilidade do XP, Vista e 7. Você vê hoje muito menos telas azuis e crashes, porque o drivers certificados foram sendo verificados quanto a não parada. Sim, se está longe de ter a verificação formal completa de um SO de uso genérico. Mas eu digo que em 15 anos isso será um fato. Na verdade, tem outros projetos semelhantes sobre verificação de chips usando métodos automatizados e logica de ordem mais alta, que são usados pela ARM (100% do que a ARM faz é verificado formalmente, e eles são a maior plataforma de Micro-processadores hoje). A Intel e AMD também fazem mas não em 100% dos casos. Aqui mesmo (Grupo de Teoria da Computação de Cambridge), temos projetos com a NSA pra verificação formal de micro-processadores criptográficos, , com a Cisco e Boeing na área de roteamento, com a IBM na área de módulos java e com a Intel na verificação de assembly x86, etc Meu PhD é sobre verificação formal de protocolos criptográficos, onde parte da pesquisa já foi bancada pela VISA (verificação do SET) e pelo Internet Consortium (Verificação do SSL). Hoje o governo brasileiro (que me banca) tem interesse em verificar os grandes protocolos no cenário nacional, tais como SPB, NF-e e OpenHSM. É por isso que eu to aqui. Sobre uma outra pergunta na discussão sobre a usabilidade deste microkernel: Sim ele é utilizável e funcional, mas dentro da plataforma e objetivos à que se propõe. Jean -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.8 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkrldh0ACgkQQN0Max56Wid4KwCggkNfAxKzj/B5oLBn4Bt1uPty Ow0AoKbvPMBAmEbKWTe6eQHsN45ULGP8 =CheR -END PGP SIGNATURE- - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
Re: [FUG-BR] Primeiro sistema operacional 100% livre de erros está pronto - OFF
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Quer trazer a discussão In Topic de novo? Eu falei com o Robert Watson (FreeBSD Foundation) a umas duas semanas atras, quando o paper que deu origem a isso tudo foi publicado, e perguntei quando teríamos uma coisa assim no FreeBSD, e a resposta foi: Nunca! Porque a comunidade não tem idéia de quão benéfico isso poderia ser pro projeto Entender e ter condições de discutir este tipo de tópico, é em geral o que difere um Cientista da Computação de um Micreiro (leia-se prático). Jean Paulo Henrique wrote: É isso ai lista continuamos a thread... pois a aula está muito interessante... 2009/10/26 Jean Everson Martina ever...@inf.ufsc.br Um pequeno programa é uma exceção. Algum programa (como esse que você falou, talvez), com o espírito acadêmico (principalmente), pode tratar exceções. O que não deixa de ter validade empírica, mesmo sabendo da existência do Teorema da Parada. Você esta confundido a abrangência do teorema de parada. Ele diz que não existe algorítimo genérico para decidir a parada para todos os pares entrada-programa. O que não quer dizer que não existe solução para casos específicos. Sobre a validade empírica, você pode explicar o que é uma validade formal então? De novo, se você estiver correto de que tudo é empírico, um player como a MS, não investiria mais de 2 milhões de libras no projeto Terminator (o que prova que não é brincadeirinha acadêmica): http://research.microsoft.com/en-us/um/cambridge/projects/terminator/default.htm O Terminator é um dos maiores responsáveis pelo aumento de estabilidade do XP, Vista e 7. Você vê hoje muito menos telas azuis e crashes, porque o drivers certificados foram sendo verificados quanto a não parada. Sim, se está longe de ter a verificação formal completa de um SO de uso genérico. Mas eu digo que em 15 anos isso será um fato. Na verdade, tem outros projetos semelhantes sobre verificação de chips usando métodos automatizados e logica de ordem mais alta, que são usados pela ARM (100% do que a ARM faz é verificado formalmente, e eles são a maior plataforma de Micro-processadores hoje). A Intel e AMD também fazem mas não em 100% dos casos. Aqui mesmo (Grupo de Teoria da Computação de Cambridge), temos projetos com a NSA pra verificação formal de micro-processadores criptográficos, , com a Cisco e Boeing na área de roteamento, com a IBM na área de módulos java e com a Intel na verificação de assembly x86, etc Meu PhD é sobre verificação formal de protocolos criptográficos, onde parte da pesquisa já foi bancada pela VISA (verificação do SET) e pelo Internet Consortium (Verificação do SSL). Hoje o governo brasileiro (que me banca) tem interesse em verificar os grandes protocolos no cenário nacional, tais como SPB, NF-e e OpenHSM. É por isso que eu to aqui. Sobre uma outra pergunta na discussão sobre a usabilidade deste microkernel: Sim ele é utilizável e funcional, mas dentro da plataforma e objetivos à que se propõe. Jean - - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.8 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkrle+AACgkQQN0Max56WicXnwCgmSgxz/IOiAmyFWIj80QHmNWA Ez0AnitUbLbgK2CBEs5jmiMfqDbe/rwM =Lr0k -END PGP SIGNATURE- - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
Re: [FUG-BR] Primeiro sistema operacional 100% livre de erros está pronto - OFF
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Jean, Se você está em um programa de doutorado, deve saber bastante sobre o exercício da abstração. Também, não posso imaginá-lo fazendo afirmações sobre desvios da pesquisa de computação na universidade brasileira (como abordou em seu e-mail anterior). É uma grande surpresa, o equívoco vindo de um estudante de PhD em Cambridge. A abstração nos permite separar o contexto. A questão aqui na lista (que não é uma lista acadêmica), foi se existia ou não uma lei abordando a questão de corretude. Embora tenha visto (durante, antes e depois) que a ingenuidade dominava o ambiente do debate (veja as referências a, retórica e quebra de lei) me meti a responder. Provável falha minha ... Debate dessa natureza numa lista como a FUG-BR é perigoso, pois foge do interesse da grande maioria dos participantes. Mesmo que sua intenção seja a de contribuir, sob a ótica da informação. Por outro lado, são questões muito localizadas e, reconheço ser necessário estar convivendo diariamente na área para que o conhecimento fundamental não o deixe se perder. Portanto, não vou discutir com você esse tema. Ele envolve, fortemente, paradigmas e, portanto é um terreno minado. Há muitos anos deixei de lado minhas iniciativas acadêmicas. Sou empresário mas, não me esqueci dos fundamentos. Há um exemplo clássico, muitas vezes esquecido, por vergonha (talvez), no qual grupos fortemente armados de conhecimento sólido se envolveram. Inclusive grandes empresas, lideres e alguns países. Começou no Japão, por iniciativa de um grupo de pesquisas reconhecidamente competente (final da década de 1970, inicio da de 1980, me parece). O objetivo era em 10 anos, obter o protótipo de um computador não-von Neumman (em 1992, precisamente). O Japão colocou US500 milhões de dólares no projeto e recrutou pesquisadores do mundo inteiro. Pouco tempo depois, animada, a comunidade européia entrou no jogo, com a chamada máquina de fluxo de dados, onde células de memória teriam capacidade de computação. O Brasil e a Argentina se juntaram para o desenvolvimento de um outro protótipo, pequeno. Somente os EEUU atrasaram um pouco no início de movimento tão grande. Me lembro, perfeitamente, da capa da CACM, abordando esse atraso. Alguns anos depois (2 ou 3 após a iniciativa do Japão), houve a capitulação. O argumento é de que dificilmente teríamos tecnologia/conhecimento para escapar da arquitetura de von Neumman. Embora um fracasso ou, um exercício sobre áreas do conhecimento forçadas por paradigmas e, iniciativas de mentes brilhantes, o resultado foi fantástico. Dessa experiência, resultou o Japão com uma competência reconhecida na área de robótica (o projeto acima pretendia usar, sobretudo, técnicas de Inteligência Artificial). Está ai a vitoriosa computação em nuvem, baseada na distribuição de processadores von Neumman (por favor, abstratamente falando), consolidada a partir dos conceitos de máquina de fluxo de dados do subprojeto europeu. E outros mais. Estou comentando sobre isso porque não me sinto confortável em fazer julgamentos sobre iniciativas de empresas em caminhos obscuros da ciência. Essa é a forma de fazer ciência e de movimentar o conhecimento humano. Um bom exemplo é o computador quântico (que talvez venha a ser eficaz nas suas pesquisas de criptografia). Fico torcendo para que recursos sejam dispendidos nos caminhos obscuros, do presente. Ficaria surpreso em saber quanto minhas empresas gastam fazendo pesquisas e desenvolvimento de novos produtos. Finalmente, sobre a questão de validade empírica x validade semântica, acho que você não interpretou correto o que eu disse. Sua interpretação de validade sob a ótica da computação, não faz sentido. Não falei sobre isso. Agora sim, temos uma confusão, entre alhos e bugalhos. Bem lembrado o OFF no assunto. Estou lhe respondendo porque você estabeleceu algumas questões e se dirigiu a mim. Mas, lhe livrei das minhas, como por exemplo meramente matemático. Vindo de um estudante de PhD, em áreas não tradicionais, fiquei bastante intigrado! Mas, se responder, por favor, faça-o em privado. Esse tema, decididamente, nem em OFF interessa a esta lista. []s, Julião Jean Everson Martina escreveu: Um pequeno programa é uma exceção. Algum programa (como esse que você falou, talvez), com o espírito acadêmico (principalmente), pode tratar exceções. O que não deixa de ter validade empírica, mesmo sabendo da existência do Teorema da Parada. Você esta confundido a abrangência do teorema de parada. Ele diz que não existe algorítimo genérico para decidir a parada para todos os pares entrada-programa. O que não quer dizer que não existe solução para casos específicos. Sobre a validade empírica, você pode explicar o que é uma validade formal então? De novo, se você estiver correto de que tudo é empírico, um player como a MS, não investiria mais de 2 milhões de libras no projeto Terminator (o que prova que não é brincadeirinha acadêmica):
[FUG-BR] IPFW + fwd = getsockopt(IP_FW_ADD): Invalid argument
Bom dia a todos da lista, Alterei meu banco de dados mysql para outro servidor, para nao ter que mudar em minhas aplicações que sao muitas o endereço de conexão do banco, tive a ideia de fazer um port-forwarding no meu server antigo então teoricamente tudo que chega na porta 3306 do meu servidor antigo ele repassaria para a mesma porta de meu novo servidor, porem estou com uma mensagem de erro na hora de aplicar a regra de fwd, seguem abaixo as informações pertinetes *FreeBSD venus.xxx.com.br 7.2-RELEASE FreeBSD 7.2-RELEASE* *[r...@venus /etc/rc.d]# sysctl -a | grep net.inet.ip* net.inet.ip.portrange.randomtime: 45 net.inet.ip.portrange.randomcps: 10 net.inet.ip.portrange.randomized: 1 net.inet.ip.portrange.reservedlow: 0 net.inet.ip.portrange.reservedhigh: 1023 net.inet.ip.portrange.hilast: 65535 net.inet.ip.portrange.hifirst: 49152 net.inet.ip.portrange.last: 65535 net.inet.ip.portrange.first: 49152 net.inet.ip.portrange.lowlast: 600 net.inet.ip.portrange.lowfirst: 1023 net.inet.ip.forwarding: 1 net.inet.ip.redirect: 1 net.inet.ip.ttl: 64 net.inet.ip.rtexpire: 3600 net.inet.ip.rtminexpire: 10 net.inet.ip.rtmaxcache: 128 net.inet.ip.sourceroute: 0 net.inet.ip.intr_queue_maxlen: 50 net.inet.ip.intr_queue_drops: 0 net.inet.ip.accept_sourceroute: 0 net.inet.ip.keepfaith: 0 net.inet.ip.gifttl: 30 net.inet.ip.same_prefix_carp_only: 0 net.inet.ip.subnets_are_local: 0 net.inet.ip.fastforwarding: 0 net.inet.ip.maxfragpackets: 800 net.inet.ip.maxfragsperpacket: 16 net.inet.ip.fragpackets: 0 net.inet.ip.check_interface: 0 net.inet.ip.random_id: 0 net.inet.ip.sendsourcequench: 0 net.inet.ip.process_options: 1 net.inet.ip.fw.dyn_keepalive: 1 net.inet.ip.fw.dyn_short_lifetime: 5 net.inet.ip.fw.dyn_udp_lifetime: 10 net.inet.ip.fw.dyn_rst_lifetime: 1 net.inet.ip.fw.dyn_fin_lifetime: 1 net.inet.ip.fw.dyn_syn_lifetime: 20 net.inet.ip.fw.dyn_ack_lifetime: 300 net.inet.ip.fw.static_count: 15 net.inet.ip.fw.dyn_max: 4096 net.inet.ip.fw.dyn_count: 0 net.inet.ip.fw.curr_dyn_buckets: 256 net.inet.ip.fw.dyn_buckets: 256 net.inet.ip.fw.tables_max: 128 net.inet.ip.fw.default_rule: 65535 net.inet.ip.fw.verbose_limit: 0 net.inet.ip.fw.verbose: 1 net.inet.ip.fw.one_pass: 1 net.inet.ip.fw.autoinc_step: 100 net.inet.ip.fw.enable: 1 *Regras de IPFW* enable verbose enable one_pass # add pass ip from any to any #add divert natd ip from any to any via xl0 add divert natd ip from 192.168.200.0/22 to any out via xl0 add divert natd ip from any to me in via xl0 add pass udp from any to any add pass ip from 192.168.0.0/16 to 192.168.0.0/16 add pass icmp from any to any #add pass tcp from any to any 20,21,22,23,53,80,3306,,8806,5432,1024-65000 setup add pass tcp from any to any 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 via xl0 add pass tcp from any 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 to any via sk0 add pass tcp from any to any 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 via sk0 add deny tcp from any to any 587,2401,2049,512,513,514,445,79,111 via sk0 add pass tcp from any to any out via xl0 add pass tcp from any to any via xl0 established #add deny ip from any to any via xl0 add fwd 192.168.200.40,3306 tcp from any to any 3306 via xl0 Mensagem de erro [r...@venus /etc/rc.d]# /etc/rc.d/ipfw restart net.inet.ip.fw.enable: 1 - 0 Stopping natd. Waiting for PIDS: 75962, 75962, 75962, 75962, 75962. Starting natd. Loading /lib/libalias_cuseeme.so Loading /lib/libalias_ftp.so Loading /lib/libalias_irc.so Loading /lib/libalias_nbt.so Loading /lib/libalias_pptp.so Loading /lib/libalias_skinny.so Loading /lib/libalias_smedia.so Flushed all rules. 00100 allow ip from any to any via lo0 00200 deny ip from any to 127.0.0.0/8 00300 deny ip from 127.0.0.0/8 to any 00400 divert 8668 ip from 192.168.200.0/22 to any out via xl0 00500 divert 8668 ip from any to me in via xl0 00600 allow udp from any to any 00700 allow ip from 192.168.0.0/16 to 192.168.0.0/16 00800 allow icmp from any to any 00900 allow tcp from any to any dst-port 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 via xl0 01000 allow tcp from any 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 to any via sk0 01100 allow tcp from any to any dst-port 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 via sk0 01200 deny tcp from any to any dst-port 587,2401,2049,512,513,514,445,79,111 via sk0 01300 allow tcp from any to any out via xl0 01400 allow tcp from any to any via xl0 established *Line 18: getsockopt(IP_FW_ADD): Invalid argument* Firewall rules loaded. net.inet.ip.fw.enable: 0 - 1 Alguem tem alguma ideia ou ja passou por este problema ?? Desde já agradeço -- - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
Re: [FUG-BR] IPFW + fwd = getsockopt(IP_FW_ADD): Invalid argument
adiciona no seu kernel custom: options IPFIREWALL_FORWARD E recompila teu kernel e corre pro abraco! :D 2009/10/26 Alexandre Proença alexan...@levier.com.br: Bom dia a todos da lista, Alterei meu banco de dados mysql para outro servidor, para nao ter que mudar em minhas aplicações que sao muitas o endereço de conexão do banco, tive a ideia de fazer um port-forwarding no meu server antigo então teoricamente tudo que chega na porta 3306 do meu servidor antigo ele repassaria para a mesma porta de meu novo servidor, porem estou com uma mensagem de erro na hora de aplicar a regra de fwd, seguem abaixo as informações pertinetes *FreeBSD venus.xxx.com.br 7.2-RELEASE FreeBSD 7.2-RELEASE* *[r...@venus /etc/rc.d]# sysctl -a | grep net.inet.ip* net.inet.ip.portrange.randomtime: 45 net.inet.ip.portrange.randomcps: 10 net.inet.ip.portrange.randomized: 1 net.inet.ip.portrange.reservedlow: 0 net.inet.ip.portrange.reservedhigh: 1023 net.inet.ip.portrange.hilast: 65535 net.inet.ip.portrange.hifirst: 49152 net.inet.ip.portrange.last: 65535 net.inet.ip.portrange.first: 49152 net.inet.ip.portrange.lowlast: 600 net.inet.ip.portrange.lowfirst: 1023 net.inet.ip.forwarding: 1 net.inet.ip.redirect: 1 net.inet.ip.ttl: 64 net.inet.ip.rtexpire: 3600 net.inet.ip.rtminexpire: 10 net.inet.ip.rtmaxcache: 128 net.inet.ip.sourceroute: 0 net.inet.ip.intr_queue_maxlen: 50 net.inet.ip.intr_queue_drops: 0 net.inet.ip.accept_sourceroute: 0 net.inet.ip.keepfaith: 0 net.inet.ip.gifttl: 30 net.inet.ip.same_prefix_carp_only: 0 net.inet.ip.subnets_are_local: 0 net.inet.ip.fastforwarding: 0 net.inet.ip.maxfragpackets: 800 net.inet.ip.maxfragsperpacket: 16 net.inet.ip.fragpackets: 0 net.inet.ip.check_interface: 0 net.inet.ip.random_id: 0 net.inet.ip.sendsourcequench: 0 net.inet.ip.process_options: 1 net.inet.ip.fw.dyn_keepalive: 1 net.inet.ip.fw.dyn_short_lifetime: 5 net.inet.ip.fw.dyn_udp_lifetime: 10 net.inet.ip.fw.dyn_rst_lifetime: 1 net.inet.ip.fw.dyn_fin_lifetime: 1 net.inet.ip.fw.dyn_syn_lifetime: 20 net.inet.ip.fw.dyn_ack_lifetime: 300 net.inet.ip.fw.static_count: 15 net.inet.ip.fw.dyn_max: 4096 net.inet.ip.fw.dyn_count: 0 net.inet.ip.fw.curr_dyn_buckets: 256 net.inet.ip.fw.dyn_buckets: 256 net.inet.ip.fw.tables_max: 128 net.inet.ip.fw.default_rule: 65535 net.inet.ip.fw.verbose_limit: 0 net.inet.ip.fw.verbose: 1 net.inet.ip.fw.one_pass: 1 net.inet.ip.fw.autoinc_step: 100 net.inet.ip.fw.enable: 1 *Regras de IPFW* enable verbose enable one_pass # add pass ip from any to any #add divert natd ip from any to any via xl0 add divert natd ip from 192.168.200.0/22 to any out via xl0 add divert natd ip from any to me in via xl0 add pass udp from any to any add pass ip from 192.168.0.0/16 to 192.168.0.0/16 add pass icmp from any to any #add pass tcp from any to any 20,21,22,23,53,80,3306,,8806,5432,1024-65000 setup add pass tcp from any to any 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 via xl0 add pass tcp from any 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 to any via sk0 add pass tcp from any to any 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 via sk0 add deny tcp from any to any 587,2401,2049,512,513,514,445,79,111 via sk0 add pass tcp from any to any out via xl0 add pass tcp from any to any via xl0 established #add deny ip from any to any via xl0 add fwd 192.168.200.40,3306 tcp from any to any 3306 via xl0 Mensagem de erro [r...@venus /etc/rc.d]# /etc/rc.d/ipfw restart net.inet.ip.fw.enable: 1 - 0 Stopping natd. Waiting for PIDS: 75962, 75962, 75962, 75962, 75962. Starting natd. Loading /lib/libalias_cuseeme.so Loading /lib/libalias_ftp.so Loading /lib/libalias_irc.so Loading /lib/libalias_nbt.so Loading /lib/libalias_pptp.so Loading /lib/libalias_skinny.so Loading /lib/libalias_smedia.so Flushed all rules. 00100 allow ip from any to any via lo0 00200 deny ip from any to 127.0.0.0/8 00300 deny ip from 127.0.0.0/8 to any 00400 divert 8668 ip from 192.168.200.0/22 to any out via xl0 00500 divert 8668 ip from any to me in via xl0 00600 allow udp from any to any 00700 allow ip from 192.168.0.0/16 to 192.168.0.0/16 00800 allow icmp from any to any 00900 allow tcp from any to any dst-port 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 via xl0 01000 allow tcp from any 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 to any via sk0 01100 allow tcp from any to any dst-port 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 via sk0 01200 deny tcp from any to any dst-port 587,2401,2049,512,513,514,445,79,111 via sk0 01300 allow tcp from any to any out via xl0 01400 allow tcp from any to any via xl0 established *Line 18: getsockopt(IP_FW_ADD): Invalid argument* Firewall rules loaded. net.inet.ip.fw.enable: 0 - 1 Alguem tem alguma ideia ou ja passou por este problema ?? Desde já agradeço -- - Histórico:
Re: [FUG-BR] IPFW + fwd = getsockopt(IP_FW_ADD): Invalid argument
2009/10/26 Alexandre Proença alexan...@levier.com.br Bom dia a todos da lista, Alterei meu banco de dados mysql para outro servidor, para nao ter que mudar em minhas aplicações que sao muitas o endereço de conexão do banco, tive a ideia de fazer um port-forwarding no meu server antigo então teoricamente tudo que chega na porta 3306 do meu servidor antigo ele repassaria para a mesma porta de meu novo servidor, porem estou com uma mensagem de erro na hora de aplicar a regra de fwd, seguem abaixo as informações pertinetes *FreeBSD venus.xxx.com.br 7.2-RELEASE FreeBSD 7.2-RELEASE* *[r...@venus /etc/rc.d]# sysctl -a | grep net.inet.ip* net.inet.ip.portrange.randomtime: 45 net.inet.ip.portrange.randomcps: 10 net.inet.ip.portrange.randomized: 1 net.inet.ip.portrange.reservedlow: 0 net.inet.ip.portrange.reservedhigh: 1023 net.inet.ip.portrange.hilast: 65535 net.inet.ip.portrange.hifirst: 49152 net.inet.ip.portrange.last: 65535 net.inet.ip.portrange.first: 49152 net.inet.ip.portrange.lowlast: 600 net.inet.ip.portrange.lowfirst: 1023 net.inet.ip.forwarding: 1 net.inet.ip.redirect: 1 net.inet.ip.ttl: 64 net.inet.ip.rtexpire: 3600 net.inet.ip.rtminexpire: 10 net.inet.ip.rtmaxcache: 128 net.inet.ip.sourceroute: 0 net.inet.ip.intr_queue_maxlen: 50 net.inet.ip.intr_queue_drops: 0 net.inet.ip.accept_sourceroute: 0 net.inet.ip.keepfaith: 0 net.inet.ip.gifttl: 30 net.inet.ip.same_prefix_carp_only: 0 net.inet.ip.subnets_are_local: 0 net.inet.ip.fastforwarding: 0 net.inet.ip.maxfragpackets: 800 net.inet.ip.maxfragsperpacket: 16 net.inet.ip.fragpackets: 0 net.inet.ip.check_interface: 0 net.inet.ip.random_id: 0 net.inet.ip.sendsourcequench: 0 net.inet.ip.process_options: 1 net.inet.ip.fw.dyn_keepalive: 1 net.inet.ip.fw.dyn_short_lifetime: 5 net.inet.ip.fw.dyn_udp_lifetime: 10 net.inet.ip.fw.dyn_rst_lifetime: 1 net.inet.ip.fw.dyn_fin_lifetime: 1 net.inet.ip.fw.dyn_syn_lifetime: 20 net.inet.ip.fw.dyn_ack_lifetime: 300 net.inet.ip.fw.static_count: 15 net.inet.ip.fw.dyn_max: 4096 net.inet.ip.fw.dyn_count: 0 net.inet.ip.fw.curr_dyn_buckets: 256 net.inet.ip.fw.dyn_buckets: 256 net.inet.ip.fw.tables_max: 128 net.inet.ip.fw.default_rule: 65535 net.inet.ip.fw.verbose_limit: 0 net.inet.ip.fw.verbose: 1 net.inet.ip.fw.one_pass: 1 net.inet.ip.fw.autoinc_step: 100 net.inet.ip.fw.enable: 1 *Regras de IPFW* enable verbose enable one_pass # add pass ip from any to any #add divert natd ip from any to any via xl0 add divert natd ip from 192.168.200.0/22 to any out via xl0 add divert natd ip from any to me in via xl0 add pass udp from any to any add pass ip from 192.168.0.0/16 to 192.168.0.0/16 add pass icmp from any to any #add pass tcp from any to any 20,21,22,23,53,80,3306,,8806,5432,1024-65000 setup add pass tcp from any to any 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 via xl0 add pass tcp from any 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 to any via sk0 add pass tcp from any to any 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 via sk0 add deny tcp from any to any 587,2401,2049,512,513,514,445,79,111 via sk0 add pass tcp from any to any out via xl0 add pass tcp from any to any via xl0 established #add deny ip from any to any via xl0 add fwd 192.168.200.40,3306 tcp from any to any 3306 via xl0 Mensagem de erro [r...@venus /etc/rc.d]# /etc/rc.d/ipfw restart net.inet.ip.fw.enable: 1 - 0 Stopping natd. Waiting for PIDS: 75962, 75962, 75962, 75962, 75962. Starting natd. Loading /lib/libalias_cuseeme.so Loading /lib/libalias_ftp.so Loading /lib/libalias_irc.so Loading /lib/libalias_nbt.so Loading /lib/libalias_pptp.so Loading /lib/libalias_skinny.so Loading /lib/libalias_smedia.so Flushed all rules. 00100 allow ip from any to any via lo0 00200 deny ip from any to 127.0.0.0/8 00300 deny ip from 127.0.0.0/8 to any 00400 divert 8668 ip from 192.168.200.0/22 to any out via xl0 00500 divert 8668 ip from any to me in via xl0 00600 allow udp from any to any 00700 allow ip from 192.168.0.0/16 to 192.168.0.0/16 00800 allow icmp from any to any 00900 allow tcp from any to any dst-port 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 via xl0 01000 allow tcp from any 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 to any via sk0 01100 allow tcp from any to any dst-port 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 via sk0 01200 deny tcp from any to any dst-port 587,2401,2049,512,513,514,445,79,111 via sk0 01300 allow tcp from any to any out via xl0 01400 allow tcp from any to any via xl0 established *Line 18: getsockopt(IP_FW_ADD): Invalid argument* Firewall rules loaded. net.inet.ip.fw.enable: 0 - 1 Alguem tem alguma ideia ou ja passou por este problema ?? Desde já agradeço Você pode recompilar o kernel como explica esta manpage. http://www.freebsd.org/cgi/man.cgi?query=ipfwsektion=4apropos=0manpath=FreeBSD+7.2-RELEASE Pode carregar como módulo no
Re: [FUG-BR] Primeiro sistema operacional 100% livre de erros está pronto - OFF
2009/10/26 Julião Braga jul...@braga.eti.br: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Jean, Se você está em um programa de doutorado, deve saber bastante sobre o exercício da abstração. Também, não posso imaginá-lo fazendo afirmações sobre desvios da pesquisa de computação na universidade brasileira (como abordou em seu e-mail anterior). É uma grande surpresa, o equívoco vindo de um estudante de PhD em Cambridge. A abstração nos permite separar o contexto. A questão aqui na lista (que não é uma lista acadêmica), foi se existia ou não uma lei abordando a questão de corretude. Embora tenha visto (durante, antes e depois) que a ingenuidade dominava o ambiente do debate (veja as referências a, retórica e quebra de lei) me meti a responder. Provável falha minha ... Debate dessa natureza numa lista como a FUG-BR é perigoso, pois foge do interesse da grande maioria dos participantes. Mesmo que sua intenção seja a de contribuir, sob a ótica da informação. Por outro lado, são questões muito localizadas e, reconheço ser necessário estar convivendo diariamente na área para que o conhecimento fundamental não o deixe se perder. Portanto, não vou discutir com você esse tema. Ele envolve, fortemente, paradigmas e, portanto é um terreno minado. Há muitos anos deixei de lado minhas iniciativas acadêmicas. Sou empresário mas, não me esqueci dos fundamentos. Há um exemplo clássico, muitas vezes esquecido, por vergonha (talvez), no qual grupos fortemente armados de conhecimento sólido se envolveram. Inclusive grandes empresas, lideres e alguns países. Começou no Japão, por iniciativa de um grupo de pesquisas reconhecidamente competente (final da década de 1970, inicio da de 1980, me parece). O objetivo era em 10 anos, obter o protótipo de um computador não-von Neumman (em 1992, precisamente). O Japão colocou US500 milhões de dólares no projeto e recrutou pesquisadores do mundo inteiro. Pouco tempo depois, animada, a comunidade européia entrou no jogo, com a chamada máquina de fluxo de dados, onde células de memória teriam capacidade de computação. O Brasil e a Argentina se juntaram para o desenvolvimento de um outro protótipo, pequeno. Somente os EEUU atrasaram um pouco no início de movimento tão grande. Me lembro, perfeitamente, da capa da CACM, abordando esse atraso. Alguns anos depois (2 ou 3 após a iniciativa do Japão), houve a capitulação. O argumento é de que dificilmente teríamos tecnologia/conhecimento para escapar da arquitetura de von Neumman. Embora um fracasso ou, um exercício sobre áreas do conhecimento forçadas por paradigmas e, iniciativas de mentes brilhantes, o resultado foi fantástico. Dessa experiência, resultou o Japão com uma competência reconhecida na área de robótica (o projeto acima pretendia usar, sobretudo, técnicas de Inteligência Artificial). Está ai a vitoriosa computação em nuvem, baseada na distribuição de processadores von Neumman (por favor, abstratamente falando), consolidada a partir dos conceitos de máquina de fluxo de dados do subprojeto europeu. E outros mais. Estou comentando sobre isso porque não me sinto confortável em fazer julgamentos sobre iniciativas de empresas em caminhos obscuros da ciência. Essa é a forma de fazer ciência e de movimentar o conhecimento humano. Um bom exemplo é o computador quântico (que talvez venha a ser eficaz nas suas pesquisas de criptografia). Fico torcendo para que recursos sejam dispendidos nos caminhos obscuros, do presente. Ficaria surpreso em saber quanto minhas empresas gastam fazendo pesquisas e desenvolvimento de novos produtos. Finalmente, sobre a questão de validade empírica x validade semântica, acho que você não interpretou correto o que eu disse. Sua interpretação de validade sob a ótica da computação, não faz sentido. Não falei sobre isso. Agora sim, temos uma confusão, entre alhos e bugalhos. Bem lembrado o OFF no assunto. Estou lhe respondendo porque você estabeleceu algumas questões e se dirigiu a mim. Mas, lhe livrei das minhas, como por exemplo meramente matemático. Vindo de um estudante de PhD, em áreas não tradicionais, fiquei bastante intigrado! Mas, se responder, por favor, faça-o em privado. Esse tema, decididamente, nem em OFF interessa a esta lista. []s, Julião Jean Everson Martina escreveu: Um pequeno programa é uma exceção. Algum programa (como esse que você falou, talvez), com o espírito acadêmico (principalmente), pode tratar exceções. O que não deixa de ter validade empírica, mesmo sabendo da existência do Teorema da Parada. Você esta confundido a abrangência do teorema de parada. Ele diz que não existe algorítimo genérico para decidir a parada para todos os pares entrada-programa. O que não quer dizer que não existe solução para casos específicos. Sobre a validade empírica, você pode explicar o que é uma validade formal então? De novo, se você estiver correto de que tudo é empírico, um player como a MS, não investiria
Re: [FUG-BR] [off] não sou só eu :)
2009/10/25 Otacílio otacilio.n...@ee.ufcg.edu.br: Gostar pode até gostar, mas dizer que é excelente aí já é exagero, é só dar uma olhada aqui: http://en.wikipedia.org/wiki/Comparison_of_relational_database_management_systems Queria ver se o mascote do mySQL não fosse aquele simpático golfinho se ele teria ido tão longe. Concordo com tudo que disse, exceto com isto. O motivo não é o mascote, mas o fato de ser um banco livre com suporte a windows a mais tempo que o postgresql, por exemplo. Quantos bancos de dados livres você conhecia que designers de sites pudessem instalar em suas estações windows? Eu creio que o MySQL só faz sucesso por isso. Agora com a entrada do PostgreSQL no Windows, a coisa já está mudando de figura. Hoje em dia ouvimos muito mais falar do PostgreSQL do que se ouvia há alguns anos atrás... Fazer software de código aberto porque é divertido, passa tempo, como um novo modelo de negócio ou para escapar de um monopólio tudo bem. Agora tornar o software mais importante que as pessoas aí vamos parar com isso né? É derrubar a laranjeira da informática. E se a Oracle fez isso está mais do que certa, você gostaria se o seu concorrente fizesse dumping no seu mercado? Admiro muitíssimo todos os desenvolvedores que usam licença BSD like. Estes sim fazem software para o bem de todos. Também acho. BSD é que dá liberdade de verdade, liberdade para você fazer o que quiser msmo com o código, até fechar se der na telha. Isso é respeitar de verdade a liberdade do indivíduo. Claro que eu acho sacanagem fazer isso, mas isso que é liberdade de verdade. Forçar o outro atráves de algum mecanismo legal a expor o código não é liberdade. Enfim... :-P Essa é outra discussão, bem longe da original.. -- = Pablo Santiago Sánchez Análise e Desenvolvimento de Sistemas Web Zend Certified Engineer #ZEND006757 phack...@gmail.com (61) 9975-0883 http://www.sanchez.eti.br http://www.corephp.com.br Quidquid latine dictum sit, altum viditur = - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
Re: [FUG-BR] [off] não sou só eu :)
Em Dom, 2009-10-25 às 12:25 -0200, irado furioso com tudo escreveu: Em Sun, 25 Oct 2009 10:09:01 -0200 Otacílio otacilio.n...@ee.ufcg.edu.br, conhecido consumidor de drogas (BigMac's com Coke) escreveu: Quer dizer que se a minha empresa fizer um software GPL e eu vender a empresa eu não posso vender meu software junto com a empresa não? O licenciamento MySQL tem duas vertentes conhecidas: a comercial e a FOSS. Um dos trechos dos termos de licenciamento indica, claramente: For developers and distributors of open source software under a FOSS license other than the GPL, Sun makes its GPL-licensed MySQL Client Libraries available under a FOSS Exception that enables use of the those MySQL Client Libraries under certain conditions without causing the entire derivative work to be subject to the GPL. http://www.mysql.com/about/legal/licensing/oem/ embora APARENTEMENTE a briga seja pela não-venda da SUN (ou do MySQL dentro da SUN) o fundamental é o receio de que a Oracle comece a não fazer todo o desenvolvimento possível no MySQL, deixando-o mais ou menos como um Oracle tôsco, ao invés de um concorrente viável. Houve (E ainda há, pelo visto) muita especulação sobre a compra da Sun pela Oracle, em relação ao mysql. Essa compra já não foi firmada? ainda pode ser barrada? Eu particularmente achei muito bom que isso aconteceu, pois assim a maioria dos projetos começariam a dar mais espaço ao Postgres. E quanto a comparação de concorrente viavel, não acredito que o MySQL seja concorrente do Oracle, pois Projetos muito grandes dificilmente usariam mysql (na minha opinião, é claro) e projetos pequenos nunca utilizariam Oracle (Não conheço oracle a fundo, alias não sei nada de oracle, só que falam por ai!), já o postgres pode ser utilizado em qualquer cenário! E em relação ao Stallman, quando vejo uma citação ao nome dele já começo a rir, pq sei que vem uma anedota por ai... E se não dou risada com a provavel besteira que ele falar, dou risada com a comunidade destruindo ele... Enfim :) signature.asc Description: Esta é uma parte de mensagem assinada digitalmente - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
Re: [FUG-BR] Digest freebsd, volume 43, assunto 97
OS modulos carregados são estes: [r...@venus /etc/rc.d]# kldstat Id Refs AddressSize Name 15 0xc040 9fab28 kernel 21 0xc0dfb000 6a45cacpi.ko 32 0xc78db000 e000 ipfw.ko 41 0xc791c000 4000 ipdivert.ko tem mais algum que eu precise carregar?? mais uma vez obrigado. freebsd-requ...@fug.com.br escreveu: Enviar submissões para a lista de discussão freebsd para freebsd@fug.com.br Para se cadastrar ou descadastrar via WWW, visite o endereço https://www.fug.com.br/mailman/listinfo/freebsd ou, via email, envie uma mensagem com a palavra 'help' no assunto ou corpo da mensagem para freebsd-requ...@fug.com.br Você poderá entrar em contato com a pessoa que gerencia a lista pelo endereço freebsd-ow...@fug.com.br Quando responder, por favor edite sua linha Assunto assim ela será mais específica que Re: Contents of freebsd digest... Tópicos de Hoje: 1. IPFW + fwd = getsockopt(IP_FW_ADD): Invalid argument (Alexandre Proença) 2. Re: IPFW + fwd = getsockopt(IP_FW_ADD): Invalid argument (Carlos Anderson Jardim) 3. Re: IPFW + fwd = getsockopt(IP_FW_ADD): Invalid argument (Otacílio de Araújo Ramos Neto) 4. Re: Primeiro sistema operacional 100% livre de erros está pronto - OFF (Celso Viana) -- Message: 1 Date: Mon, 26 Oct 2009 09:53:54 -0200 From: Alexandre Proença alexan...@levier.com.br Subject: [FUG-BR] IPFW + fwd = getsockopt(IP_FW_ADD): Invalid argument To: freebsd@fug.com.br Message-ID: 4ae58dd2.8000...@levier.com.br Content-Type: text/plain; charset=ISO-8859-1; format=flowed Bom dia a todos da lista, Alterei meu banco de dados mysql para outro servidor, para nao ter que mudar em minhas aplicações que sao muitas o endereço de conexão do banco, tive a ideia de fazer um port-forwarding no meu server antigo então teoricamente tudo que chega na porta 3306 do meu servidor antigo ele repassaria para a mesma porta de meu novo servidor, porem estou com uma mensagem de erro na hora de aplicar a regra de fwd, seguem abaixo as informações pertinetes *FreeBSD venus.xxx.com.br 7.2-RELEASE FreeBSD 7.2-RELEASE* *[r...@venus /etc/rc.d]# sysctl -a | grep net.inet.ip* net.inet.ip.portrange.randomtime: 45 net.inet.ip.portrange.randomcps: 10 net.inet.ip.portrange.randomized: 1 net.inet.ip.portrange.reservedlow: 0 net.inet.ip.portrange.reservedhigh: 1023 net.inet.ip.portrange.hilast: 65535 net.inet.ip.portrange.hifirst: 49152 net.inet.ip.portrange.last: 65535 net.inet.ip.portrange.first: 49152 net.inet.ip.portrange.lowlast: 600 net.inet.ip.portrange.lowfirst: 1023 net.inet.ip.forwarding: 1 net.inet.ip.redirect: 1 net.inet.ip.ttl: 64 net.inet.ip.rtexpire: 3600 net.inet.ip.rtminexpire: 10 net.inet.ip.rtmaxcache: 128 net.inet.ip.sourceroute: 0 net.inet.ip.intr_queue_maxlen: 50 net.inet.ip.intr_queue_drops: 0 net.inet.ip.accept_sourceroute: 0 net.inet.ip.keepfaith: 0 net.inet.ip.gifttl: 30 net.inet.ip.same_prefix_carp_only: 0 net.inet.ip.subnets_are_local: 0 net.inet.ip.fastforwarding: 0 net.inet.ip.maxfragpackets: 800 net.inet.ip.maxfragsperpacket: 16 net.inet.ip.fragpackets: 0 net.inet.ip.check_interface: 0 net.inet.ip.random_id: 0 net.inet.ip.sendsourcequench: 0 net.inet.ip.process_options: 1 net.inet.ip.fw.dyn_keepalive: 1 net.inet.ip.fw.dyn_short_lifetime: 5 net.inet.ip.fw.dyn_udp_lifetime: 10 net.inet.ip.fw.dyn_rst_lifetime: 1 net.inet.ip.fw.dyn_fin_lifetime: 1 net.inet.ip.fw.dyn_syn_lifetime: 20 net.inet.ip.fw.dyn_ack_lifetime: 300 net.inet.ip.fw.static_count: 15 net.inet.ip.fw.dyn_max: 4096 net.inet.ip.fw.dyn_count: 0 net.inet.ip.fw.curr_dyn_buckets: 256 net.inet.ip.fw.dyn_buckets: 256 net.inet.ip.fw.tables_max: 128 net.inet.ip.fw.default_rule: 65535 net.inet.ip.fw.verbose_limit: 0 net.inet.ip.fw.verbose: 1 net.inet.ip.fw.one_pass: 1 net.inet.ip.fw.autoinc_step: 100 net.inet.ip.fw.enable: 1 *Regras de IPFW* enable verbose enable one_pass # add pass ip from any to any #add divert natd ip from any to any via xl0 add divert natd ip from 192.168.200.0/22 to any out via xl0 add divert natd ip from any to me in via xl0 add pass udp from any to any add pass ip from 192.168.0.0/16 to 192.168.0.0/16 add pass icmp from any to any #add pass tcp from any to any 20,21,22,23,53,80,3306,,8806,5432,1024-65000 setup add pass tcp from any to any 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 via xl0 add pass tcp from any 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 to any via sk0 add pass tcp from any to any 13,20,21,22,23,53,80,3306,,8806,5432,8886,1024-65000 via sk0 add deny tcp from any to any 587,2401,2049,512,513,514,445,79,111 via sk0 add pass tcp from any to any out via xl0 add pass tcp from any to any via xl0 established #add deny ip from any to any via xl0 add fwd 192.168.200.40,3306 tcp from any to any
Re: [FUG-BR] Problemas com o Gnome no FreeBSD 8.0-RC1
Legal Otacílio, valeu pela dica. Agora só falta ver esses erros de permissão que não estou entendendo. -- Sergio Augusto Vladisauskis - Oportunix IT Services Brasil - Site: http://www.oportunix.com.br - Fone: +55 11 4221 8163 - Móvel: +55 11 8017 5065 - Skype: sergiovl-work - Registered Linux User: 305281 2009/10/25 Otacílio otacilio.n...@ee.ufcg.edu.br: Otacílio de Araújo Ramos Neto wrote: 2009/10/23 Otacílio de Araújo Ramos Neto otacilio.n...@ee.ufcg.edu.br mailto:otacilio.n...@ee.ufcg.edu.br 2009/10/23 Sergio Augusto Vladisauskis sergi...@gmail.com mailto:sergi...@gmail.com Instalei tudo do zero, pois na época que saiu o 8.0-RC1 não existia os pacotes binários, segui passo a passo a instalação e as dependencias para não dar problemas e mesmo assim estou enfrentando esses pequenos problemas, compilei até o OpenOffice e este ficou com as fontes do menu zoado e sem estar em pt_BR, o firefox não ficou em pt_BR tb, no mais está funcionando bem. -- Sergio Augusto Vladisauskis - Oportunix IT Services Brasil Eu compilei o OpenOffice para o 7.1 . Quando atualizei para o 7.2 junto com os ports fui instalar o pacote do OpenOffice que eu tinha compilado anteriormente e o bicho ficou sem mostrar nenhuma palavra dos menus. Resolveu quando instalei um pacote pre compilado deste site. http://porting.openoffice.org/freebsd/index.html Não estou inicializando o Gnome pelo GDM e sim de um terminal mesmo, esta funcionando melhor assim. Ops, ia esquecendo. Neste site você encontra um pre-compilado para pt_BR. Instalei o do 7.1 (ou foi 7.0) em um FreeBSD 7.2-RELEASE-p3. Meu charset é UTF8 Para utilizar o UTF8 editei o arquivo /etc/login.conf. Na entrada default adicionei :charset=UTF-8:\ :lang=pt_BR.UTF-8: Depois rodei um #cap_mkdb /etc/login.conf - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
[FUG-BR] Lista de Email - Qual utilizar?
Caros, Atualmente utilizo Majordomo para gerenciar as minhas listas, mas devido ao grande crescimento das listas estou pensando em migrar. A minha dúvida é qual gerenciador de lista devo utilizar? Mailman, ... ? Mailman continua sendo lider pelos administradores? Abraços, Kronix. - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
[FUG-BR] Policy Routing com pool
Óla Lista, Estou utilizando policy routing com redirecionamento de portas no FreeBSD 7.0 AMD64, quando configuro para redicionar apenas tráfego de determinado IP(192.168.50.94) funciona, quando configuro o pool(192.168.0.0/16) completo o nat não funciona. Natds amd64# ps ax|grep natd 1189 ?? Ss 1127:38.48 /sbin/natd -p 8668 -n bce1 -s -f /etc/natd.conf 83452 ?? Ss 0:03.10 /sbin/natd -p 8669 -n em1 -s Natds Interfaces em1 = link b bce1 = link A Interfaces Natd Firewall #Natd B ipfw -q add 1 divert 8669 ip from any to 10.10.20.254 in recv em1 ipfw -q add 2 divert 8669 ip from 192.168.0.0/16 to any dst-port 1000-65535 out xmit bce1 ipfw -q add 3 fwd 10.10.20.253 ip from 10.10.20.254 to any #Natd A ipfw -q add 20 divert 8668 ip from any to $GATEWAY_DEFAULT in recv bce1 ipfw -q add 20 divert 8668 ip from table(1) to any out xmit bce1 Natd Firewall Resumindo, quando configuro o natd b de 192.168.50.94 funciona normal, quando configuro o pool completo o nat b não funciona. Alguém? Anderson Eduardo c0d3_z3r0 Sysadmin and Security Hack 'N Roll ander...@hacknroll.com http://anderson.hacknroll.com - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
Re: [FUG-BR] [off] não sou só eu :)
2009/10/26 Tiago N. Sampaio tnsamp...@bsd.com.br: E em relação ao Stallman, quando vejo uma citação ao nome dele já começo a rir, pq sei que vem uma anedota por ai... E se não dou risada com a provavel besteira que ele falar, dou risada com a comunidade destruindo ele... Enfim :) O importante é ser feliz! :-D Bom, quanto ao Oracle, trabalhei com ele, e me impressionou o fato de falarem tão bem dele. Como banco não tem nada demais! Na verdade, ele é até bem pé-duro para fazer as coisas. E eu não sei se era só por conta do local ter implantado assim, não sou admin Oracle e para instalar só peguei o Express até hoje, então o que vou falar pode ser um grande motivo de chacota mas... ele só gerencia um banco? Isso é sério? Onde estava antes, usava-se Oracle, e só se utilizava schemas. Mesmo aplicações que não tinham nada a ver com as outras, nem uma massa de dados compartilhada, eram colocados no mesmo banco, em seu schema à parte. A edição Express também não permite múltiplos bancos de dados. Como não cheguei a conversar com os DBAs de onde estava, não sei se era apenas uma decisão arquitetural ou se é limitação do banco. Não acredito que um banco de dados corporativo como é o Oracle não permita mais de um banco, só que essa foi a impressão que eu tive até o momento. Sei que o que alavanca o Oracle é, não o banco de dados realmente, mas a quantidade de ferramentas desenvolvidas em torno da solução, incluindo até desenvolvimento de sistemas via web utilizando aqueles Oracle Forms e sei lá mais o que. Nisso, nenhum banco de dados bate o Oracle... Agora, me diz uma coisa, isso deveria ser preocupação do banco de dados? Eu acho que não... -- = Pablo Santiago Sánchez Análise e Desenvolvimento de Sistemas Web Zend Certified Engineer #ZEND006757 phack...@gmail.com (61) 9975-0883 http://www.sanchez.eti.br http://www.corephp.com.br Quidquid latine dictum sit, altum viditur = - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
Re: [FUG-BR] Primeiro sistema operacional 100% livre de erros está pronto
2009/10/25 Davi Vercillo C. Garcia daviverci...@gmail.com: Pessoal, Acho que essa thread já deu, né ? Não fiz a abordagem com o objetivo de criar um debate acadêmico. Somente para responder ao Davi. Mesmo que tenha sido uma resposta a uma pergunta retórica... hiuiha... =P Abraços, -- Davi Vercillo C. Garcia B.Sc. Student - DCC-IM/UFRJ Trainee (SysAdmin) - NACAD/COPPE A computer lets you make more mistakes faster than any invention in human history with the possible exceptions of handguns and tequila. - Unknown - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd Oi pessoal, me passaram este link numa outra lista (COMBASE) da qual faço parte. http://ertos.nicta.com.au/publications/papers/Klein_EHACDEEKNSTW_09.pdf Pretendo tirar minha dúvidas. -- Jackson S de Jesus. - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
[FUG-BR] Servidor de antivírus no Freebsd
Eu queria substituir o meu servidor de anti-virus com endPoint por uma solução free no Freebsd. Existe algum anti-virus que permita eu registrar em um server de antivírus com Freebsd os meus clientes Win XP e server de mail (Freebsd)? Assim eu poderia subsituir o meu server endPoint. -- [], Anderson Alves de Albuquerque. --- E-mails: andersonalvesdealbuquerque#hotmail.com (replace # by @) andersonaa#gmail.com (replace # by @) ICQ: 73222660 --- - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
[FUG-BR] [OFF-TOPIC] Questão de Concurso
Salve galera tenho uma questão de concurso que achei meio polêmica, antes de falar a resposta gostaria de saber a opinião de vocês, segue a questão. 26) Para evitar a disseminação de vírus, o responsável pela rede bloqueou, no roteador da organização, todas as conexões na porta TCP. Porém, ao fazer essa modificação, os usuários da rede começaram a reclamar de problemas a) na navegação WEB convencional. b) na navegação WEB através do protocolo de segurança. c) no envio de mensagens eletrônicas. d) no recebimento de mensagens eletrônicas. e) no uso de programa de mensagens instantâneas. Obrigado []'s a Todos -- Rafael Rodrigues de Oliveira Jesus Christ's Blood Purifies Us of All Sin Linux #357492 / FreeBSD #BSD051202 CISCO CCNA Loading .ılı..ılı. http://lmgtfy.com/ - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
Re: [FUG-BR] [OFF-TOPIC] Questão de Concurso
Rafael Rodrigues de Oliveira wrote: Salve galera tenho uma questão de concurso que achei meio polêmica, antes de falar a resposta gostaria de saber a opinião de vocês, segue a questão. 26) Para evitar a disseminação de vírus, o responsável pela rede bloqueou, no roteador da organização, todas as conexões na porta TCP. Porém, ao fazer essa modificação, os usuários da rede começaram a reclamar de problemas a) na navegação WEB convencional. b) na navegação WEB através do protocolo de segurança. c) no envio de mensagens eletrônicas. d) no recebimento de mensagens eletrônicas. e) no uso de programa de mensagens instantâneas. Obrigado []'s a Todos Letra D de doido. - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
[FUG-BR] [OT] Apple at MacOS Forge: The ZFS project has ben discontinued
Apple at MacOS Forge: The ZFS project has ben discontinued http://dustin.github.com/2009/10/23/mac-zfs.html http://blogs.sun.com/theaquarium/resource/ZFSMacOsForge.png http://forums.macrumors.com/showthread.php?t=808071 -- Welkson Renny de Medeiros Desenvolvimento / Gerência de Redes Focus Automação Comercial FreeBSD Community Member - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
Re: [FUG-BR] [OFF-TOPIC] Questão de Concurso
é uma pegadinha TCP não é porta, é protocolo todas as conexões na porta TCP , porta está no singular e não plural como é o correto pois sao 65535 no total. 2009/10/26 Otacílio otacilio.n...@ee.ufcg.edu.br Rafael Rodrigues de Oliveira wrote: Salve galera tenho uma questão de concurso que achei meio polêmica, antes de falar a resposta gostaria de saber a opinião de vocês, segue a questão. 26) Para evitar a disseminação de vírus, o responsável pela rede bloqueou, no roteador da organização, todas as conexões na porta TCP. Porém, ao fazer essa modificação, os usuários da rede começaram a reclamar de problemas a) na navegação WEB convencional. b) na navegação WEB através do protocolo de segurança. c) no envio de mensagens eletrônicas. d) no recebimento de mensagens eletrônicas. e) no uso de programa de mensagens instantâneas. Obrigado []'s a Todos Letra D de doido. - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
Re: [FUG-BR] [OFF-TOPIC] Questão de Concurso
Paulo Henrique wrote: é uma pegadinha TCP não é porta, é protocolo todas as conexões na porta TCP , porta está no singular e não plural como é o correto pois sao 65535 no total. 2009/10/26 Otacílio otacilio.n...@ee.ufcg.edu.br Rafael Rodrigues de Oliveira wrote: Salve galera tenho uma questão de concurso que achei meio polêmica, antes de falar a resposta gostaria de saber a opinião de vocês, segue a questão. 26) Para evitar a disseminação de vírus, o responsável pela rede bloqueou, no roteador da organização, todas as conexões na porta TCP. Porém, ao fazer essa modificação, os usuários da rede começaram a reclamar de problemas a) na navegação WEB convencional. b) na navegação WEB através do protocolo de segurança. c) no envio de mensagens eletrônicas. d) no recebimento de mensagens eletrônicas. e) no uso de programa de mensagens instantâneas. Obrigado []'s a Todos Letra D de doido. Não existe a opção A questão foi enunciada errada. - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
Re: [FUG-BR] Problemas com o df
Eu dei um apachectl stop e matei todos os processos do httpd. desmontei a partição e fiz o fsck. o espaço disponível agora voltou ao normal :-) vlwww []s Emmanuel Alves manel...@gmail.com - Twitter: http://www.twitter.com/emartsnet Linked In: http://www.linkedin.com/in/emartsnet 2009/10/24 N Guerra nguerr...@gmail.com Emmanuel, Resolveu seu problema? ´ []s, Guerra 2009/10/21 Nilson nil...@forge.com.br: 2009/10/21 Emmanuel Alves manel...@gmail.com: ... encontrada. A única coisa que fiz foi ter apagado os arquivos de log do apache e só. depois verifiquei novamente e o espaço não tinha mudado, mesmo ... Então está explicado seu problema, tente um simples apachectl restart, e deve resolver o problema. Apagar um arquivo que esta aberto não o apaga realmente, digamos que apenas marca tal arquivo para ser deletado quando os FDs forem liberados. Isso é um comportamento normal. -- Nilson - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd -- []s, Guerra - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
[FUG-BR] Configurar Som no 7.1 - notebook acer aspire 3660
Nao to conseguindo configurar o som no 7.1, notebook acer aspire 3660, alguem tem alguma dica? _ Você sabia que o Hotmail mudou? Clique e descubra as novidades. http://www.microsoft.com/brasil/windows/windowslive/products/hotmail.aspx - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
Re: [FUG-BR] [OFF-TOPIC] Questão de Concurso
Obrigado aos colegas que colaboraram mas seria uma questão pra ser anulada e entrar com recurso não seria? sendo que seria protocolo tcp ao invés de porta tcp o que vocês acham? Valeu 2009/10/26 Otacílio otacilio.n...@ee.ufcg.edu.br Paulo Henrique wrote: é uma pegadinha TCP não é porta, é protocolo todas as conexões na porta TCP , porta está no singular e não plural como é o correto pois sao 65535 no total. 2009/10/26 Otacílio otacilio.n...@ee.ufcg.edu.br Rafael Rodrigues de Oliveira wrote: Salve galera tenho uma questão de concurso que achei meio polêmica, antes de falar a resposta gostaria de saber a opinião de vocês, segue a questão. 26) Para evitar a disseminação de vírus, o responsável pela rede bloqueou, no roteador da organização, todas as conexões na porta TCP. Porém, ao fazer essa modificação, os usuários da rede começaram a reclamar de problemas a) na navegação WEB convencional. b) na navegação WEB através do protocolo de segurança. c) no envio de mensagens eletrônicas. d) no recebimento de mensagens eletrônicas. e) no uso de programa de mensagens instantâneas. Obrigado []'s a Todos Letra D de doido. Não existe a opção A questão foi enunciada errada. - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd -- Rafael Rodrigues de Oliveira Jesus Christ's Blood Purifies Us of All Sin Linux #357492 / FreeBSD #BSD051202 CISCO CCNA Loading .ılı..ılı. http://lmgtfy.com/ - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
Re: [FUG-BR] [OFF-TOPIC] Questão de Concurso
ta.. e mesmo se fosse protocolo tcp, acho que mesmo assim não teria resposta única... claro que consta entrar com recurso.. mas só se vc tiver errado a questão depois do chute ! ashuaehasue att. Thadeu Knychala Tucci 2009/10/26 Rafael Rodrigues de Oliveira rafa...@gmail.com: Obrigado aos colegas que colaboraram mas seria uma questão pra ser anulada e entrar com recurso não seria? sendo que seria protocolo tcp ao invés de porta tcp o que vocês acham? Valeu 2009/10/26 Otacílio otacilio.n...@ee.ufcg.edu.br Paulo Henrique wrote: é uma pegadinha TCP não é porta, é protocolo todas as conexões na porta TCP , porta está no singular e não plural como é o correto pois sao 65535 no total. 2009/10/26 Otacílio otacilio.n...@ee.ufcg.edu.br Rafael Rodrigues de Oliveira wrote: Salve galera tenho uma questão de concurso que achei meio polêmica, antes de falar a resposta gostaria de saber a opinião de vocês, segue a questão. 26) Para evitar a disseminação de vírus, o responsável pela rede bloqueou, no roteador da organização, todas as conexões na porta TCP. Porém, ao fazer essa modificação, os usuários da rede começaram a reclamar de problemas a) na navegação WEB convencional. b) na navegação WEB através do protocolo de segurança. c) no envio de mensagens eletrônicas. d) no recebimento de mensagens eletrônicas. e) no uso de programa de mensagens instantâneas. Obrigado []'s a Todos Letra D de doido. Não existe a opção A questão foi enunciada errada. - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd -- Rafael Rodrigues de Oliveira Jesus Christ's Blood Purifies Us of All Sin Linux #357492 / FreeBSD #BSD051202 CISCO CCNA Loading .ılı..ılı. http://lmgtfy.com/ - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
Re: [FUG-BR] [OFF-TOPIC] Questão de Concurso
Fala pessoal, Acho que o cara que fez a questão queria dizer algo como porta 80/TCP. Se assim estivesse, teria um única resposta certa: a). Abraços, -- Davi Vercillo C. Garcia B.Sc. Student - DCC-IM/UFRJ Trainee (SysAdmin) - NACAD/COPPE A computer lets you make more mistakes faster than any invention in human history with the possible exceptions of handguns and tequila. - Unknown - Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd