Constructs and evaluation strategies for intelligent speculative parallelism - armageddon revisited

This report addresses speculative parallelism (the assignment of spare processing resources to tasks which are not known to be strictly required for the successful completion of a computation) at the user and application level. At this level, the execution of a program is seen as a (dynamic) tree —a graph, in general. A solution for a problem is a traversal of this graph from the initial state to a node known to be the answer. Speculative parallelism then represents the assignment of resources to múltiple branches of this graph even if they are not positively known to be on the path to a solution. In highly non-deterministic programs the branching factor can be very high and a naive assignment will very soon use up all the resources. This report presents work assignment strategies other than the usual depth-first and breadth-first. Instead, best-first strategies are used. Since their definition is application-dependent, the application language contains primitives that allow the user (or application programmer) to a) indícate when intelligent OR-parallelism should be used; b) provide the functions that define "best," and c) indícate when to use them. An abstract architecture enables those primitives to perform the search in a "speculative" way, using several processors, synchronizing them, killing the siblings of the path leading to the answer, etc. The user is freed from worrying about these interactions. Several search strategies are proposed and their implementation issues are addressed. "Armageddon," a global pruning method, is introduced, together with both a software and a hardware implementation for it. The concepts exposed are applicable to áreas of Artificial Intelligence such as extensive expert systems, planning, game playing, and in general to large search problems. The proposed strategies, although showing promise, have not been evaluated by simulation or experimentation.

La arquitectura en la literatura de ciencia-ficción

En esta Tesis se estudian las Imágenes Arquitectónicas que aparecen descritas en textos literarios de Ciencia Ficción dentro del periodo temporal que limitan los años 1.926 a 1.976. Consta de tres partes fundamentales: En la primera, se plantean las condiciones y objetivos del trabajo y se define el espacio conceptual que ocupa la Arquitectura descrita en Ciencia Ficción. En la segunda, se realizan análisis sobre las formas y temas arquitectónicos, así como de problemas relacionados con ellos que se encuentran en la narrativa fantacientífica, y se desarrollan ideas e hipótesis especulativas, sobre sugerencias referidas a situaciones reales o imaginarias, partiendo de posiciones implícitas en los relatos. En la tercera, se elabora una antología que data y ordena una amplia muestra de textos representativos. SUMMARY. This thesis studies the Architectural Images described in the Science Fiction stories between 1.926 and 1.976. It consist of three main parts: The first one, explains the conditions and objectives of this work and defines the conceptual space of Described Architecture in Science Fiction. The second one, analyses the architectural forms and items, as well as the problems related to the latter, that can be found in the scientific-fantastic narrative. It also develops ideas and speculative hipothesis about suggestions related to real and imaginary situations from implicit positions in the stories. The third one, builds up an anthology, dating and ordering a wide variety of representative excerpts of the S. F. texts o