A Formal Semantics for Weak References

A weak reference is a reference to an object that is not followed by the pointer tracer when garbage collection is called. That is, a weak reference cannot prevent the object it references from being garbage collected. Weak references remain a troublesome programming feature largely because there is not an accepted, precise semantics that describes their behavior (in fact, we are not aware of any formalization of their semantics). The trouble is that weak references allow reachable objects to be garbage collected, therefore allowing garbage collection to influence the result of a program. Despite this difficulty, weak references continue to be used in practice for reasons related to efficient storage management, and are included in many popular programming languages (Standard ML, Haskell, OCaml, and Java). We give a formal semantics for a calculus called λweak that includes weak references and is derived from Morrisett, Felleisen, and Harper’s λgc. λgc formalizes the notion of garbage collection by means of a rewrite rule. Such a formalization is required to precisely characterize the semantics of weak references. However, the inclusion of a garbage-collection rewrite-rule in a language with weak references introduces non-deterministic evaluation, even if the parameter-passing mechanism is deterministic (call-by-value in our case). This raises the question of confluence for our rewrite system. We discuss natural restrictions under which our rewrite system is confluent, thus guaranteeing uniqueness of program result. We define conditions that allow other garbage collection algorithms to co-exist with our semantics of weak references. We also introduce a polymorphic type system to prove the absence of erroneous program behavior (i.e., the absence of “stuck evaluation”) and a corresponding type inference algorithm. We prove the type system sound and the inference algorithm sound and complete.

Towards Formalizing Java's Weak References

Weak references provide the programmer with limited control over the process of memory management. By using them, a programmer can make decisions based on previous actions that are taken by the garbage collector. Although this is often helpful, the outcome of a program using weak references is less predictable due to the nondeterminism they introduce in program evaluation. It is therefore desirable to have a framework of formal tools to reason about weak references and programs that use them. We present several calculi that formalize various aspects of weak references, inspired by their implementation in Java. We provide a calculus to model multiple levels of non-strong references, where a different garbage collection policy is applied to each level. We consider different collection policies such as eager collection and lazy collection. Similar to the way they are implemented in Java, we give the semantics of eager collection to weak references and the semantics of lazy collection to soft references. Moreover, we condition garbage collection on the availability of time and space resources. While time constraints are used in order to restrict garbage collection, space constraints are used in order to trigger it. Finalizers are a problematic feature in Java, especially when they interact with weak references. We provide a calculus to model finalizer evaluation. Since finalizers have little meaning in a language without side-effect, we introduce a limited form of side effect into the calculus. We discuss determinism and the separate notion of uniqueness of (evaluation) outcome. We show that in our calculus, finalizer evaluation does not affect uniqueness of outcome.

The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers

In this paper we continue our investigation into the development of computational-science software based on the identification and formal specification of Abstract Data Types (ADTs) and their implementation in Fortran 90. In particular, we consider the consequences of using pointers when implementing a formally specified ADT in Fortran 90. Our aim is to highlight the resulting conflict between the goal of information hiding, which is central to the ADT methodology, and the space efficiency of the implementation. We show that the issue of storage recovery cannot be avoided by the ADT user, and present a range of implementations of a simple ADT to illustrate various approaches towards satisfactory storage management. Finally, we propose a set of guidelines for implementing ADTs using pointers in Fortran 90. These guidelines offer a way gracefully to provide disposal operations in Fortran 90. Such an approach is desirable since Fortran 90 does not provide automatic garbage collection which is offered by many object-oriented languages including Eiffel, Java, Smalltalk, and Simula.

Determinantes sociales de la salud en Bogotá DC: el caso del acceso y calidad de los servicios 2003, 2007 y 2011

Bogotá D.C. es una ciudad de más de siete millones de habitantes en su mayoría de estrato medio, dividida políticamente por veinte localidades. Aquí se generan la mayoría de oportunidades de desarrollo y día a día llega la población fluctuante de otras ciudades de Colombia en busca de un mejor futuro. Las necesidades de la población en una metrópolis como ésta no se hacen esperar y la salud entendida, como un buen estado físico y mental, además de ser una necesidad humana primordial se ha convertido en uno de los temas más agobiantes para los ciudadanos y los creadores de políticas públicas en el Distrito Capital. Alcanzar un adecuado estado de salud no es solo cuestión de asegurar y dar cobertura de servicio, también se requiere que las diferentes políticas públicas que existen estén articuladas para llegar al deseado estado de salud. Estas políticas públicas son los mismos determinantes sociales de salud, por los cuales la Organización Mundial de la Salud (OMS) ha impartido la instrucción de incrementar esfuerzos con el fin de mejorar el estado de salud de la población mundial. En esta investigación se realiza un análisis del Índice de Condiciones de Vida, calculado por el DANE, en la Encuesta Calidad de Vida para Bogotá en 2003, 2007 y Encuesta Multipropósito 2011, estudiando el primer factor que hace parte de dicho índice, el Acceso y Calidad de los Servicios, el cual se compone por cuatro aspectos: i) Abastecimiento y calidad del agua, ii) Eliminación de excretas; iii) Recolección de basuras y iv) Combustible para cocinar. La revisión teórica que aborda a los determinantes sociales de la salud evidencia que estos cuatro componentes son fundamentales para garantizar el estado de salud de los bogotanos y hacen parte de los objetivos del milenio. Adicionalmente se realizan regresiones lineales para determinar el peso que ha tenido el factor acceso y calidad de los servicios, en el estado de salud de los bogotanos, definiendo el Índice de Condiciones de Vida como variable proxy al estado de salud, para cada uno de los años de estudio. Por último se presentan algunos datos de los resultados de las políticas públicas relacionadas con el acceso y calidad de los servicios de los gobiernos de la ciudad correspondientes a los años de estudio.

Continuidade e descontinuidade administrativa em governos locais: fatores que sustentam a ação pública ao longo dos anos

Esta dissertação estuda a questão da continuidade e descontinuidade de políticas públicas em governos municipais. Apesar do tema ser muito presente na fala e no cotidiano de gestores, pesquisadores, servidores públicos e jornalistas, há poucos estudos que realmente aprofundem como se dão esses fenômenos. Os poucos trabalhos realizados apontam primeiro para o paradoxo democrático da questão ¿ ainda que a descontinuidade seja normalmente considerada indesejável, ela é um dos pressupostos básicos da alternância de poder que a rotina democrática requer. Além disso, há quem aponte que os dois fenômenos possam estar mais ligados do que numa análise superficial. Por último, alguns estudos sugerem que possa haver mais continuidade do que o senso comum levaria a crer, ainda que as explicações para essa realidade ainda estejam pouco elaboradas. É nesta direção que o presente trabalho pretende contribuir. O objetivo principal desta pesquisa foi avançar na compreensão dos fatores que favorecem a continuidade de ações públicas em governos locais no Brasil. Neste sentido, a parte teórica do trabalho incluiu uma revisão de modelos de políticas públicas uitilizados como lente teórica à observação da pesquisa empírica. Também foram revistos alguns textos sobre o local e suas políticas de desenvolvimento, priorizados como objetos de estudo desta dissertação. Foram então realizados três estudos de caso de diferentes políticas de desenvolvimento local. As iniciativas estudadas foram escolhidas a partir do banco de experiências do Programa Gestão Pública e Cidadania, selecionando projetos realizados em cidades com mais de 200 mil habitantes e que já tenham passado por pelo menos três eleições municipais. Os casos estudados foram o Programa de Coleta Seletiva de Lixo de Embu (SP), o Programa de Produção Associada com Garantia de Renda Mínima de Jundiaí (SP) e a Instituição Comunitária de Microcrédito Portosol de Porto Alegre (RS). As análises apontam para a existência de pelo menos quatro fatores que favorecem a continuidade de iniciativas públicas em governos locais. Em primeiro lugar, notou-se a importância de que se desenvolvam ações intencionais para tanto. Além disso, são igualmente importantes fatores técnicos e políticos. Por último, sugere-se que a inserção do projeto ou instituição em coalizões consistentes é benéfico à sua continuidade.

Turismo sustentável e alivio a pobreza: avaliação de impacto

This study evaluates the social impacts of the project PRODETUR in Porto Seguro and Bahia. Among the analyzed channels, we have focused on the impact on variables related to sewering (access to piped water, sewer and garbage collection), besides some socio-economic ones (occupation, contribution to social security, income and poverty). In addition, we analyzed the impact on the distribution of costs and benefits between the immigrant and native population. Using the methodology of differences-in-differences to compare areas affected and non–affected by the program, we measured the “true” impact of the program using the 1991 and 2000 Census. The results suggest a relative advance in Porto Seguro in what concerns employment, formality, income and poverty reduction, with this benefits being uniformly distributed between immigrant and native population. On the other hand, we have observed a relative worsening in the sanitary situation, what will lead to future problems whose cost will be beard mainly by the natives, among which we observe a relative worse access to water, sewer and garbage collection. Therefore, we conclude that, in order to provide tourism in a sustainable way, the municipality of Porto Seguro requires a better preservation of its natural capital.

A utilização de serviços odontológicos entre crianças e fatores associados em Sobral, Ceará, Brasil

NORO, L. R. A. et al. A utilização de serviços odontológicos entre crianças e fatores associados em Sobral, Ceará, Brasil. Cad. Saúde Pública, v. 24, n. 7, p. 1509-1516. 2008. ISSN 0102-311X.

Habitabilidade na cidade sobre as águas: desafios da implantação de infra-estrutura de saneamento nas palafitas do Igarapé do Quarenta bairro Japiim Manaus/AM

The present research if inserts in the subject of the habitation of social interest and its relation with the sanitation infra-structure questions (sewer, water, draining and garbage). Having as study universe the narrow river of the Forty , situated one in the city of Manaus, capital of Amazon, approaches questions that if present between the necessities of housing and the especificidades of the natural environment, whose characteristics evidence limits for the implantation of adequate habitations. The objective is to analyze the possibilities and the limits of the urbanística regularization in the palafitas of the narrow rivers of Manaus, in view of the factors of habitability and ambient protection, expresses for the sanitation system - sanitary exhaustion, water supply, urban draining and garbage collection. The work approaches initially relative the conceptual aspects to the subject of social habitation in the country and its relation with the habitability factors, also focusing the question of the housing and the processes of urban informality in the city of Manaus. It deals with the process of constitution of the palafitas in the space of the city and its relation with the habitacionais politics, presenting the analysis of the implantation of the palafitas in relation to the sanitation infra-structure conditions (sewer, water, draining and garbage). As conclusion, it identifies to the possibilities and limits of urbanística regularization of the palafitas implanted to the long one of the narrow river of the Forty , taking in consideration the systems of the sanitation infrastructure

Do lixo à solidariedade : avanços e perspectivas na busca de uma nova realidade

The dissertating study about the solidarity economy has the objective to analyze the four unions responsible for the selective municipal garbage collection in Natal. It aims at verifying the consolidation of these unions as solidarity economic undertakings, revealing which progresses they have made, as well as the social and economic insertion of the garbage collectors and their process of conquering citizenship. The referred four unions had been founded and are constituted, in their majority, by collectors coming from the Cidade Nova lixão (big garbage). As it was closed in August 2004, they decided to make a union in order to collecting garbage. As what concerns the methodic and theoretic proceedings, our research has been developed with a critical perspective and a qualitative approach without discarding and quantitative one. The central analytical categories of this paper are: association, work, social exclusion and citizenship. Our research has had three articulated axis which aim was to apprehend the subject, disclosing it. The exposition of the investigative results is subdivided in four chapters. The first one approaches the main aspects of the crisis of the capital and its reflexes in the world of work. Here we deal with the question the structural unemployment coming as a result of the present economic model, the mains changes verified in the Brazilian work market, as well as levels of unemployment affecting the work market in Natal s metropolitan region. The second chapter treats of the origin, concept and revival in Brazil concerning the tradition of thought and cooperative economic organization, which has recovered the central elements of the associative thought and is nowadays studied in Latin America under the name of solidarity economy. The third chapter deals with embodiment of the collectors unions, its history, appearing and development of each union. The fourth chapter presents the relative dimensions of the analysis categories supported in the reports of institutional actors as well as the perception collectors have about the recyclable stuffs, the way they face the daily life and so on, what brings about the contradictions present in their reality. The final comments sum up the main trends and particularities of the unions researched under the light of the solidarity economy and disclose the real perspectives of social and economic insertion of these collectors and the process they follow to conquest social recognition

Análise de desempenho de sistemas distribuídos de grande porte na plataforma Java

The lava Platform is increasing1y being adopted in the development of distributed sys¬tems with higb user demando This kind of application is more complex because it needs beyond attending the functional requirements, to fulfil1 the pre-established performance parameters. This work makes a study on the Java Vutual Machine (JVM), approaching its intemal aspects and exploring the garbage collection strategies existing in the literature and used by the NM. It also presents a set of tools that helps in the job of optimizing applications and others that help in the monitoring of applications in the production envi¬ronment. Doe to the great amount of technologies that aim to solve problems which are common to the application layer, it becomes difficult to choose the one with best time response and less memory usage. This work presents a brief introduction to each one of tbe possible technologies and realize comparative tests through a statistical analysis of the response time and garbage collection activity random variables. The obtained results supply engineers and managers with a subside to decide which technologies to use in large applications through the knowledge of how they behave in their environments and the amount of resources that they consume. The relation between the productivity of the technology and its performance is also considered ao important factor in this choice

Seroprevalence of anti-Leptospira spp. antibodies in dogs in Bahia, Brazil

The aim of this study was to determine the prevalence of anti-Leptospira spp. antibodies in dogs living in the urban area of the city of Ilheus, Bahia, Brazil using the microscopic agglutination test (MAT) to investigate 24 serovars. A semi-structured questionnaire was administered to dog owners to collect data about demography, husbandry and environmental factors. The prevalence of anti-Leptospira spp. antibodies in the population of 282 dogs was 7.1% (95% confidence interval: 4.4-10.7%). Serovar Copenhageni was the most prevalent, followed by serovars Bratislava, Canicola and Gryppotyphosa. No risk factor was detected with regard to demography (age, gender and breed), husbandry (Leptospira vaccinations, food and water exposure through their environment, hunting habits, contact with other animals and contact with rats) and environmental factors (sewage network, garbage collection, history of flooding, river proximity and wastelands). Despite the low prevalence found in this study, the seroprevalence of Leptospira spp. in healthy dogs in Ilheus indicates the presence of this agent in the environment, which may be a source of human infection. Knowledge of the serovars present in this environment is important for understanding the epidemiology of leptospirosis and establishing public health policies aimed at its control. (C) 2012 Elsevier B.V. All rights reserved.

Avaliação da leishmaniose visceral canina em Poxoréo, Estado do Mato Grosso, Brazil

O cão doméstico desempenha importante papel como reservatório na transmissão da leishmaniose visceral ao homem, zoonose de grande importância em saúde pública. Realizou-se avaliação epidemiológica da leishmaniose visceral em 1.112 cães domiciliados no município de Poxoréo, estado do Mato Grosso e observou-se prevalência de 7,8%. Observou-se ainda associação estatisticamente significativa entre a prevalência de leishmaniose visceral canina e as variáveis faixa etária, presença de sinais clínicos e presença de outra espécie animal co-habitando com os cães avaliados, tendo sido as galinhas mais freqüentemente observadas entre os animais soropositivos. O sexo, a coleta de lixo domiciliar bem como a renda familiar não apresentaram associação estatisticamente significativa com a prevalência da leishmaniose visceral canina. A análise dos resultados sugere que cães com idade superior a sete anos e a , presença de outra espécie animal co-habitando com os cães podem ser fatores de risco para a leishmaniose visceral canina.

GRASP with evolutionary path-relinking for the capacitated arc routing problem

The Capacitated Arc Routing Problem (CARP) is a well-known NP-hard combinatorial optimization problem where, given an undirected graph, the objective is to find a minimum cost set of tours servicing a subset of required edges under vehicle capacity constraints. There are numerous applications for the CARP, such as street sweeping, garbage collection, mail delivery, school bus routing, and meter reading. A Greedy Randomized Adaptive Search Procedure (GRASP) with Path-Relinking (PR) is proposed and compared with other successful CARP metaheuristics. Some features of this GRASP with PR are (i) reactive parameter tuning, where the parameter value is stochastically selected biased in favor of those values which historically produced the best solutions in average; (ii) a statistical filter, which discard initial solutions if they are unlikely to improve the incumbent best solution; (iii) infeasible local search, where high-quality solutions, though infeasible, are used to explore the feasible/infeasible boundaries of the solution space; (iv) evolutionary PR, a recent trend where the pool of elite solutions is progressively improved by successive relinking of pairs of elite solutions. Computational tests were conducted using a set of 81 instances, and results reveal that the GRASP is very competitive, achieving the best overall deviation from lower bounds and the highest number of best solutions found. © 2011 Elsevier Ltd. All rights reserved.

A redistricting problem applied to meter reading in power distribution networks

The capacitated redistricting problem (CRP) has the objective to redefine, under a given criterion, an initial set of districts of an urban area represented by a geographic network. Each node in the network has different types of demands and each district has a limited capacity. Real-world applications consider more than one criteria in the design of the districts, leading to a multicriteria CRP (MCRP). Examples are found in political districting, sales design, street sweeping, garbage collection and mail delivery. This work addresses the MCRP applied to power meter reading and two criteria are considered: compactness and homogeneity of districts. The proposed solution framework is based on a greedy randomized adaptive search procedure and multicriteria scalarization techniques to approximate the Pareto frontier. The computational experiments show the effectiveness of the method for a set of randomly generated networks and for a real-world network extracted from the city of São Paulo. © 2013 Elsevier Ltd.

A questão dos resíduos sólidos urbanos: uma abordagem socioambiental com ênfase no município de Ribeirão Preto (SP)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)