Vale4 - Uma Linguagem Didática para Ensino de Programação Concorrente
Resumo
O artigo apresenta a linguagem Vale4 (V4), destinada ao ensino de programação concorrente. V4 permite praticar com os principais mecanismos de sincronização e comunicação, pode ser instalada em praticamente qualquer máquina e oferece boas facilidades de depuração. Os recursos oferecidos vão desde mecanismos básicos como lock-unlock e block-wakeup(p), até construções de alto nível como tasks com rendezvous. O compilador V4 gera código para uma máquina virtual, a qual implementa por hardware (virtual) um conjunto apropriado de instruções e um kernel de sistema operacional.Referências
Andrews, G. Concurrent Programming: Principles and Practice. Benjamin Cummings, 1991.
Brinch Hansen, P. Java’s Insecure Parallelism. ACM SIGPLAN Notices 34, 4 (April), 1999.
Dijkstra, E.W. Cooperating sequential processes. In Programming Languages (F. Genuys, editor), Academic Press, 1968.
Hoare, C.A.R. Monitors: an operating system structuring concept. Comm. ACM 17, 10, 1974.
Holt, R.C.; Graham, G.S.; Lazowska, E.D.; Scott, M.A. Structured Concurrent Programming with Operating Systems Applications. Addison-Wesley, 1978.
Holt, R.C. Concurrent Euclid, The UNIX System, and TUNIS. Addison-Wesley, 1983.
Price, A. M.; Toscani, S. S. Implementação de Linguagens de Programação: Compiladores. Sagra-Luzzato, Porto Alegre, 2000.
Toscani, S.S.; Oliveira R.S.; Carissimi, A.S. Sistemas Operacionais e Programação Concorrente. Sagra-Luzzato, Porto Alegre, 2003.
Taft, S.T., Duff, R.A. Ada 95 Reference Manual: language and standard libraries. Springer-Verlag, 1997. (Lecture Notes in Computer Science, Vol. 1246)
Vale4. Kit de instalação. Março de 2004. Disponível em [link].
Wielemaker, J. SWI-Prolog 2.7 Reference Manual. University of Amsterdam, Dept. of Social Science Informatics. Amsterdam, The Netherlands, 1997.
Brinch Hansen, P. Java’s Insecure Parallelism. ACM SIGPLAN Notices 34, 4 (April), 1999.
Dijkstra, E.W. Cooperating sequential processes. In Programming Languages (F. Genuys, editor), Academic Press, 1968.
Hoare, C.A.R. Monitors: an operating system structuring concept. Comm. ACM 17, 10, 1974.
Holt, R.C.; Graham, G.S.; Lazowska, E.D.; Scott, M.A. Structured Concurrent Programming with Operating Systems Applications. Addison-Wesley, 1978.
Holt, R.C. Concurrent Euclid, The UNIX System, and TUNIS. Addison-Wesley, 1983.
Price, A. M.; Toscani, S. S. Implementação de Linguagens de Programação: Compiladores. Sagra-Luzzato, Porto Alegre, 2000.
Toscani, S.S.; Oliveira R.S.; Carissimi, A.S. Sistemas Operacionais e Programação Concorrente. Sagra-Luzzato, Porto Alegre, 2003.
Taft, S.T., Duff, R.A. Ada 95 Reference Manual: language and standard libraries. Springer-Verlag, 1997. (Lecture Notes in Computer Science, Vol. 1246)
Vale4. Kit de instalação. Março de 2004. Disponível em [link].
Wielemaker, J. SWI-Prolog 2.7 Reference Manual. University of Amsterdam, Dept. of Social Science Informatics. Amsterdam, The Netherlands, 1997.
Publicado
31/07/2004
Como Citar
TOSCANI, Simão Sirineo.
Vale4 - Uma Linguagem Didática para Ensino de Programação Concorrente. In: WORKSHOP DE SISTEMAS OPERACIONAIS (WSO), 1. , 2004, Salvador/BA.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2004
.
p. 60-69.
