Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Terceirização em informática no Brasil

Este trabalho descreve uma pesquisa de campo feita no Brasil em 1995. Foram consultadas 125 empresas para investigar aspectos ligados a motivações para terceirizar em informática, os mecanismos pelo quais esse processo se materializa, os resultados alcançados e os problemas enfrentados como conseqüência desta opção. São revelados alguns importantes aspectos, até então pouco conhecidos, sobre esta realidade no contexto brasileiro.

Terceirização em informática sob a ótica do prestador de serviços

Este trabalho descreve uma pesquisa de campo feita no Brasil em 1996. Foram consultadas empresas prestadoras de serviços, buscando melhor compreender esse lado da relação numa parceria cujo objeto são os serviços de informática. Trata-se de um aspecto que até então não havia sido abordado na realidade brasileira e que trouxe à luz importantes conclusões que facilitam o estabelecimento de processos de terceirização.

Planejamento de informações públicas municipais: sistemas de informação e de conhecimento, informática e governo eletrônico integrados aos planejamentos das prefeituras e municípios

Os constantes desafios sociais, financeiros e políticos nos municípios têm exigido dos seus gestores uma atuação mais competente para propiciar qualidade de vida adequada aos seus munícipes. Com a participação da comunidade, os planejamentos municipais e as informações sistematizadas podem facilitar a gestão das prefeituras e dos municípios. Este artigo descreve as fases, subfases e produtos de uma metodologia para planejamento de informação, conhecimento e informática nas prefeituras e municípios. A metodologia propõe nove fases, leva em conta os preceitos do empreendedorismo e pressupõe a necessidade da integração com os planejamentos municipais. A metodologia de pesquisa constitui uma abordagem de natureza aplicada numa realidade circunstancial, com ênfase no método indutivo favorecido pelas experiências vivenciadas do autor pesquisador. As contribuições estão direcionadas às prefeituras, aos municípios e aos munícipes que por meio de informações podem cooperar nos fatores competitivos entre as cidades, na forma de gestão da prefeitura e no aumento da qualidade de vida dos cidadãos. A conclusão reitera a importância da participação dos munícipes na gestão municipal e na condução cotidiana dos municípios.