Primitivas de Sincronização para um Sistema Operacional Altamente Paralelo
Resumo
Este trabalho trata das questões relativas ao desenvolvimento de um sistema operacional multiprocessador de alto desempenho, concentrando-se sobre o problema da proteção de dados. E descrito neste trabalho o LSI-SO.01, o sistema operacional concebido para o MS-8701 (um minissupercomputador de arquitetura multiprocessadora). O projeto deste sistema operacional tem, como meta, permitir um alto grau de paralelismo em sua execução. Para isso, são pesquisadas melhores organizações, e maneiras mais adequadas de se efetuar a proteção de seus dados. Um conjunto eficiente de primitivas de sincronização de baixo nível é proposto, sendo mostrado como estas primitivas são empregadas na obtenção de um maior grau de paralelismo. O trabalho apresenta uma implementação de semáforo binário com “busy-waiting”, que evita a sobrecarga no barramento, mesmo quando o grau de disputa for alto.
Referências
AMIT,N. & HOFRI,M. A simple semaphore-queve management for multiprocessing systems. Operating Systems Review, New York, v.14 n.3 p.13-5, July 1980.
ANDERSON,D.P. & TZOU,S.Y. The Dash local kernel structure. Berkeley, Computer Science Department of University of California, 1988. (Report no. UCB/CSD 88/463).
ANDRE,F.; HERMAN,D.; VERJUS,J.-P. Synchronization of parallel programs. Cambridge, Massachusetts, MIT, 1986. 110 p.
BACH,M.J. & BUROFF,S.J. Multiprocessor UNIX operating systems. AT&T Bell Laboratories Journal v.63 n.8 p.1733-49, Oct. 1984.
HAMILTON, G. & CONDE, D. S. An experimental symmetric multiprocessor Ultrix kernel. In: USENIX CONFERENCE. Dallas, Texas, Winter 1988. PROCEEDINGS. p. 283-90.
HOARE,C.A.R. Monitors: an operating system structuring concept. Communications of the ACM, New York, v.17 n.10 p.549-57, Oct. 1974.
HWANG,K. & BRIGGS,F.A. Computer architecture and parallel processing. New York, Mc Graw Hill, 1984. 846 p.
KELLEY,M.H. Multiprocessor aspects of the DG/UX kernel. In: USENIX CONFERENCE. San Diego, California, Winter 1989. PROCEEDINGS. p.85-99.
LEE,T.P.; LUPPI,M.W.; MENNINGER,R.E. Solving performance problems on a multiprocessor system. In: USENIX CONFERENCE. Phoenix, Arizona, Summer 1987. PROCEEDINGS. p. 399-405.
MIDORIKAWA,E.T.; KNOP,F.; BRANCO,R.D.; YU,W.K. LSI-SO.01: um sistema operacional multiprocessador. In: SIMPÓSIO BRASILEIRO DE ARQUITETURAS DE COMPUTADORES, 2, Aguas de Lindóia, São Paulo, set. 1988. ANAIS, p. 3.A.1.1 - 6.
MOREIRA,J.E. LIDEX: um sistema para descrição, simulação e análise de arquitetura e organização de computadores. São Paulo, Escola Politécnica da Universidade de São Paulo, 1990. Dissertação de mestrado.
SANGIORGIO,C.A. Computadores paralelos com arquitetura de dutos. In: SIMPÓSIO BRASILEIRO DE ARQUITETURAS DE COMPUTADORES, 2, Aguas de Lindóia, São Paulo, set. 1988. ANAIS, p. 11.B.5.1 - 9.
TAKEDA,J.H. et alii. Projeto minissupercomputador: características gerais do sistema MS-8701. In: SIMPÓSIO BRASILEIRO DE ARQUITETURAS DE COMPUTADORES, 2, Aguas de Lindóia, São Paulo, set. 1988. ANAIS, p.10.1.1-B.
TEST,J.A. Multi-processor management in the Concentrix operating system. In: USENIX CONFERENCE. Denver, Colorado, Winter 1986. PROCEEDINGS. p. 173-82.
TRAN,A.P. & SUZUKI,R.S. Especificação funcional do utilitário Trace. São Paulo, LSI-EPUSP, 1989.
