[pt] REVISITANDO CO-ROTINAS

ANA LUCIA DE MOURA

[en] REVISITING COROUTINES

dc.contributor	ROBERTO IERUSALIMSCHY
dc.creator	ANA LUCIA DE MOURA
dc.date	2004-10-27
dc.date.accessioned	2022-09-21T21:44:10Z
dc.date.available	2022-09-21T21:44:10Z
dc.identifier	https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5667@1
dc.identifier	https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5667@2
dc.identifier	http://doi.org/10.17771/PUCRio.acad.5667
dc.identifier.uri	https://hdl.handle.net/20.500.12032/42957
dc.description	[pt] O objetivo deste trabalho é defender o resgate do conceito de co-rotinas como uma construção de controle poderosa e conveniente, que pode substituir tanto continuações de primeira classe como threads com um conceito único e mais simples. Para suprir a ausência de uma definição precisa e adequada para o conceito de co-rotinas, propomos um novo sistema de classificação, e introduzimos o conceito de co- rotinas completas, para o qual provemos uma definição formal, baseada em uma semântica operacional. Demonstramos a seguir a equivalência de poder expressivo entre co-rotinas completas simétricas e assimétricas e entre co-rotinas completas e continuações one-shot tradicionais e parciais, discutindo as vantagens de corotinas completas assimétricas em relação a co-rotinas simétricas e continuações de primeira classe. Finalmente, analizamos os benefícios e desvantagens associados aos diversos modelos de concorrência, justificando a adoção de modelos alternativos a multithreading e o oferecimento de co-rotinas como uma construção básica de concorrência, adequada à implementação desses modelos.
dc.description	[en] The purpose of this work is to defend the revival of coroutines as a powerful and convenient control construct, which can replace both firstclass continuations and threads with a single and simpler concept. In order to provide an adequate and precise definition of the concept of coroutines, we propose a new classifying system, and introduce the concept of complete coroutines, for which we provide a formal definition based on an operational semantics. We then demostrate that complete symmetric coroutines and complete asymmetric coroutines have equivalent expressive power, as well as complete coroutines and one-shot traditional and partial continuations. We also discuss the advantages of using complete asymmetric coroutines instead of symmetric coroutines or first-class continuations. Finally, we analyse the benefits and problems associated with different concurrency models, and argue in favor of the replacement of multithreading with alternative concurrency models and the provision of coroutines as a basic concurrency construct, adequate for the implementation of these alternative models.
dc.language	pt
dc.publisher	MAXWELL
dc.subject	[pt] CO-ROTINAS
dc.subject	[pt] MODELOS DE CONCORRENCIA
dc.subject	[pt] CONTINUACAO
dc.subject	[pt] CONSTRUCOES DE CONTROLE
dc.subject	[en] COROUTINES
dc.subject	[en] CONCURRENCY MODELS
dc.subject	[en] CONTINUATION
dc.subject	[en] CONTROL CONSTRUCTION
dc.title	[pt] REVISITANDO CO-ROTINAS
dc.title	[en] REVISITING COROUTINES
dc.type	TEXTO

Ficheros en el ítem

Ficheros	Tamaño	Formato	Ver
No hay ficheros asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Documentos - PUC-RIO

Mostrar el registro sencillo del ítem