Semáforos, msg queue, shared memory

[Guzpido Krush]

Olá pessoal.

Estou testando formas de otimizar apaches com mto load, e me deparei com a questão da exaustão de semáforos. Estou pesquisando formas de resolver este problema que não seja simplesmente aumentar o número da matriz (de semáforos) no kernel. Mas percebi que não entendo direito como InterProcess Communication funciona. Onde está meu Tanembaum quando preciso dele (rs)?

Alguém tem uma boa documentação sobre isso, para eu entender direito e talvez ponderar qual seria a melhor solução para meu problema específico? Já estou fuçando faz um tempo e perdi um pouco a paciência, de tanto lixo que encontrei em listas. Quero algo mais formal.

Inclusive me deparei com a seguinte questão: qualquer processo pode criar resources IPC, certo? Isso não é uma vulnerabilidade que pode gerar DoS? Quais são as implicações do ponto de vista da segurança/disponibilidade do serviço?

obrigado!

[void_brain_void]

acho que para começar se você ainda não leu seria legal dar uma olhada na parte de processos do livro "Sistemas Operacionais implementação e desenvolvimento" do Tannenbaum e Woodhull, a parte conceitual está lá, agora a parte prática é muito dependente da plataforma.

[Guzpido Krush]

Vc quer dizer "Sistemas Operacionais: Projeto e Implementação", aquele lá do MINIX? Eu tenho esse livro. Quando escrevi o tópico inclusive lembrei dele, li faz muito tempo, mas não custa nada dar uma lida novamente (mesmo pq quando eu li, manjava bem menos). Mas seu comentário me fez quase matar a charada:

a parte conceitual está lá, agora a parte prática é muito dependente da plataforma.

então eu comecei a dar umas buscas mais específicas e encontrei coisas boas -- talvez (vou ler agora antes de ir trabalhar)

LINUX: http://www.cse.iitb.ac.in/~cs701/old...ports/g4_s1.ps

System V IPC (*nix) Beej's Guide to Unix IPC

4.4BSD IPC (sockets) http://docs.freebsd.org/44doc/psd/21.ipc/paper.pdf

O lance é entender direito System V IPC pois o apache depende disto, não funciona sem isso compilado no kernel e acho q terá tudo a ver com meu problema inicial.

[Guzpido Krush]

Mas que bela duma bosta. achei isso aqui e os caras querem vinte dólares pra eu poder ler o artigo.

Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability)

In this paper, we present a classification of IPC threats in multiserver systems with unreliable and hostile senders and receivers, such as resource exhaustion, spoofing, and unauthorized access. We also introduce an extended asymmetric trust model, describing two new IPC vulnerabilities relating to caller blockage. Based on our classification of IPC threats we present the IPC defense mechanisms and architecture of MINIX 3.

que era justamente o que eu queria in the first place.

[void_brain_void]

É este livro mesmo, é que sempre quando lembro dele lembro do nome em inglês "design and project" algo assim... "O almoço dos filósofos" é ótimo!

$$$?! Esse é o grande problema da "ciência", não ser realmente livre e gratuita, eu fico imaginando se Pitágoras, Eratostenes, etc, tivessem cobrado pelas idéias que tiveram... Acho que em artigo ciêntifico mesmo, você não vai encontrar a prática que procura, artigos assim são téoricos e quase sempre os revisores pedem para tirar qualquer indício prático do texto (...) e dar mil voltas para explicar uma coisa super frívola...

Se quiser prática, acho que talvez buscando a documentação feita pelos próprios autores da plataforma, seria uma boa, o solaris parece que tem uma atenção muito cuidadosa com threads e processamento concorrente, locks, essas coisas todas. No livro "Código maravilhoso" um dos programadores descreve os problemas que teve com o solaris nisso, mas é bobeira, comparado ao que você quer. E a tradução do livro é péssima (NÃO COMPRE!!!). Tente beber na fonte, quem sabe...

Na página do Tannenbaum pode ser que tenha links para algo interessante (se tiver quase certo ser do Amoeba), tente ver também.