Primitivas de Sincronização para um Sistema Operacional Altamente Paralelo

  • Felipe Knop USP

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

ACCETTA,M. et alii. Mach: a new kernel foundation for UNIX development. In: USENIX CONFERENCE, Atlanta, Georgia, Summer 1986. PROCEEDINGS p. 93-112.

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.
Publicado
07/11/1990
KNOP, Felipe. Primitivas de Sincronização para um Sistema Operacional Altamente Paralelo. In: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 3. , 1990, Rio de Janeiro/RJ. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1990 . p. 282-297. DOI: https://doi.org/10.5753/sbac-pad.1990.23124.