Orientador: Egle Novaes Teixeira / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil, Arquitetura e Urbanismo / Made available in DSpace on 2018-08-03T23:16:45Z (GMT). No. of bitstreams: 1 Cardoso_VagnerAlves_M.pdf: 5913103 bytes, checksum: 1beb5107567a006e16d71e6a097c5864 (MD5) Previous issue date: 2004 / Resumo: A busca pelas atuais condições do gerenciamento do Resíduo Sólido Doméstico na Cidade de Ribeirão Preto-SP, a avaliação e sugestões para a resolução de alguns de seus problemas, para serem realizados, necessitaram o esclarecimento das medidas tomadas no passado. Os objetivos foram obter o histórico do R.S.D. e os métodos de disposição/tratamento adotados, sendo os objetivos específicos: pesquisar as leis municipais referentes ao assunto e avaliar as quantidades coletadas, através dos métodos: coleta tradicional e coleta seletiva. A metodologia utilizada para obtenção de dados foi a pesquisa nos arquivos da Casa da Memória do Município e da Câmara Municipal, bem como entrevistas com pessoas que fizeram e fazem parte do corpo técnico dos órgãos municipais gerenciadores e das concessionárias dos serviços de Limpeza Pública, e os relatórios desses órgãos (DURSARP e DAERP). O contato direto com os serviços, seja através do desempenho da função operacional ou da pesquisa bibliográfica e de campo, esclareceu diversos pontos obscuros existentes na história e nos métodos utilizados. As informações obtidas foram transformadas em figuras e tabelas e serviram para a análise, proporcionando condições para discussão e sugestões quanto às melhorias que podem vir a serem introduzidas nos atuais processos utilizados. Através dos resultados, obteve-se uma vasta gama de opções, que interagem, e, se utilizadas de forma consciente e lógica, virão a ajudar na escolha de soluções possíveis para o gerenciamento do resíduo sólido doméstico na Cidade de Ribeirão Preto-SP / Abstract: It was needed a review in past measures taken in the city, in order to obtain the Ribeirão Preto (SP) domestic solid waste management really conditions survey and the evaluation and suggestions to the some problems solutions. The general objectives were to search the domestic solid waste history and the adopted disposition/treatment methods and the specifical objectives were to survey municipallaws related to the waste and collected quantities, as much as traditional and selective collection. There were used the "Casa da Memória do Município" (Municipal Memory House) and "Câmara Municipal" (Municipal Town-Council) files, as well as interviews with actual and past technical staff from municipal solid waste management agency from and concession enterprises. These direct contacts were important to elucidate the history and used methods. The obtained information was get in figures and tables and analyzed in order to discuss and propose suggestions to get improvement in nowadays adopted processes. From the results, it was listed some interactive options that, if there were conscientious and logically used, will help to choose the possible options / Mestrado / Saneamento e Meio Ambiente / Mestre em Engenharia Civil

[pt] Referências fracas e finalizadores constituem uma alternativa elegante para se obter controle sobre a interação entre a aplicação e o coletor de lixo. No entanto, em alguns contextos, finalizadores são desnecessários, pois é possível estender o mecanismo de referências fracas a fim de dar suporte a finalização. Neste trabalho, realizamos um estudo detalhado sobre os usos desses mecanismos e mostramos como é possível substituir finalizadores por referências fracas propondo uma implementação baseada em referências fraca para cada uso de finalizadores. Baseado nesse estudo, desenvolvemos um mecanismo de finalização via referências fracas para a linguagem Lua. Motivados por nossa proposta de uma maior exploração do mecanismo de referências, desenvolvemos um algoritmo para um importante problema relacionado a ciclos em tabelas fracas, uma estrutura criada a partir de referências fracas. A existência de referências cíclicas entre chaves e valores impede que os elementos que compõem o ciclo sejam coletados, mesmo que eles não sejam mais utilizados pelo programa. Isso acaba dificultando o uso de tabelas fracas em determinadas aplicações. A linguagem Haskell resolveu esse problema através de uma adaptação do mecanismo de ephemerons ao seu coletor de lixo. Partindo desse fato, modificamos a implementação do coletor de lixo de Lua para que este oferecesse suporte ao mecanismo de ephemerons. Dessa forma, pudemos eliminar o problema de ciclos em tabelas fracas nessa linguagem. / [en] Weak References and finalizers constitute an elegant alternative to obtain control over the interaction between the application and the garbage collector. However, in some contexts, finalizers are not necessary because it`s possible to extend the weak reference mechanism in order to give support to finalization. In this work, we present a survey of the most common uses of these mechanisms. We also show how weak references can replace finalizers proposing a weak reference based implementation for each finalizer use. Based on this survey, we developed a finalization mechanism based on weak references for the Lua programming language. Motivated by our proposal of a better exploration of the weak reference mechanism, we developed a solution for an important problem related to cycles on weak tables, an structure created using weak references. Cyclic references between keys and values prevents the elements inside the cycle from being collected, even if they are no more reachable. This ends up bringing difficulties to the use of weak tables in certain kinds of applications. The Haskell programming language solved this problem implementing an adaptation of a mechanism called ephemerons. Based on this fact, we modified the Lua garbage collector in order to offer support to ephemerons. As a result, we were able to solve the problem of cycles on weak tables in Lua.

Submitted by admin tede (tede@pucgoias.edu.br) on 2017-02-23T17:59:12Z No. of bitstreams: 1 ALAIR AMBROSIO DO NASCIMENTO.pdf: 3653783 bytes, checksum: 1a2132f5d48442a9db24cc1325f31750 (MD5) / Made available in DSpace on 2017-02-23T17:59:12Z (GMT). No. of bitstreams: 1 ALAIR AMBROSIO DO NASCIMENTO.pdf: 3653783 bytes, checksum: 1a2132f5d48442a9db24cc1325f31750 (MD5) Previous issue date: 2015-03-26 / The purpose of this dissertation was to investigate the program of selective collection of recyclable materials in Goiânia. The survey also proposed raising if the municipality has a Municipal Program of Integrated Solid Waste Management (PMGIRS). This work investigated the performance of recycling cooperatives of recyclable materials in the following aspects: physical structure of cooperatives, working conditions of the members, the formation of cooperatives in networks, partnerships with municipal government, the documentary and legal aspects, and working conditions of members. The interviews were done with the members of the Goiânia City Hall, so as with representatives of the Municipal Environment Agency (AMMA), Goiania Urbanization Company (COMURG), Members of the Social Incubator recyclable materials from the Goiás Federal University (UFG) and representatives of fourteen recycling cooperatives registered by the city of Goiânia. / A proposta desta dissertação foi investigar o programa da coleta seletiva de materiais recicláveis no município de Goiânia, e levantar se o município conta com o Programa Municipal de Gestão Integrada de Resíduos Sólidos, (PMGIRS). O trabalho pesquisou a atuação das cooperativas de catadores de materiais recicláveis sob os seguintes aspectos: estrutura física das cooperativas, as condições de trabalho dos cooperados, a formação das cooperativas em redes, as parcerias firmadas com poder público municipal, os aspectos documental e legal. A pesquisa utilizada foi de natureza exploratória qualitativa e quantitativa, o universo de atores entrevistados foi composto por membros da Prefeitura Municipal de Goiânia, como representantes da Agencia Municipal do Meio Ambiente (AMMA), e da Companhia de Urbanização de Goiânia (COMURG), Membro da Incubadora Social da Universidade Federal de Goiás (UFG), e representantes das quatorze cooperativas de catadores de materiais recicláveis cadastradas pela Prefeitura Municipal de Goiânia.

Submitted by Sara Ribeiro (sara.ribeiro@ucb.br) on 2017-11-22T13:14:09Z No. of bitstreams: 1 RaymundoLimaRibeiroJ??niorDissertacao2017.pdf: 11719941 bytes, checksum: d428806cc0b355a170dee285a8263844 (MD5) / Approved for entry into archive by Sara Ribeiro (sara.ribeiro@ucb.br) on 2017-11-22T13:14:23Z (GMT) No. of bitstreams: 1 RaymundoLimaRibeiroJ??niorDissertacao2017.pdf: 11719941 bytes, checksum: d428806cc0b355a170dee285a8263844 (MD5) / Made available in DSpace on 2017-11-22T13:14:23Z (GMT). No. of bitstreams: 1 RaymundoLimaRibeiroJ??niorDissertacao2017.pdf: 11719941 bytes, checksum: d428806cc0b355a170dee285a8263844 (MD5) Previous issue date: 2017-10-25 / This dissertation addresses the lack of effectiveness of health and safety of labour standards according to the Critical Theory of Human Rights, the approach of Social Psychology regarding the public invisibility of some categories of human beings, of the position adopted by the capitalist state in relation to the rights of the working class and of the Theory of Pressure Groups, answering the central question about the explanation for the lack of effectiveness of these norms in Brazil, especially when one observes its centrality in the legal order. The category of waster collectors was chosen for study because of the symbolism it represents, since noncompliance with health and safety standards by companies performing public cleaning and garbage collection is anachronistic. It has gone into the issue of illegal transportation of waste compactors because, although it is an unsafe and unlawful practice in various aspects and bases, it is widely adopted by companies in the sector and tolerated by society and the State. In addition to its legal nature, the dissertation uses concepts from Social Psychology and Sociology, reaching the conclusion that human and fundamental rights, including the rights to health and safety of workers, remain ineffective in Brazil, and there is a long way to be taken by society and the Brazilian State to overcome the labor incivility framework. In the end, it is argued that the prohibition of transport in the stirrups is already based on multiple normative sources in force, and the Labor Prosecution Office should demand, independently of the regulatory norm in the stage of tripartite discussion in the Ministry of Labor, the end of the transport of the waster collectors in the stirrups and in the external areas of the vehicles. / Esta disserta????o aborda a falta de efetividade das normas de sa??de e seguran??a do trabalho ?? luz da Teoria Cr??tica dos Direitos Humanos, da abordagem da Psicologia Social atinente ?? invisibilidade p??blica de algumas categorias de seres humanos, da postura adotada pelo Estado capitalista em rela????o aos direitos da classe trabalhadora e da Teoria dos Grupos de Press??o, respondendo ?? quest??o central sobre a explica????o para a falta de efetividade das referidas normas no Brasil, especialmente quando se observa a sua centralidade no ordenamento jur??dico. Escolheu-se a categoria dos garis para estudo pelo simbolismo que representa, pois o descumprimento das normas de sa??de e seguran??a do trabalho pelas empresas que executam a limpeza p??blica e a coleta de lixo ?? anacr??nico. Aprofundou-se no aspecto relativo ao transporte ilegal nos estribos dos compactadores de lixo, porque, embora seja uma pr??tica insegura e il??cita sob v??rios aspectos e fundamentos, ?? amplamente adotada pelas empresas do setor e tolerada pela sociedade e pelo Estado. Al??m do seu car??ter jur??dico, a disserta????o utiliza conceitos da Psicologia Social e da Sociologia, chegando-se ?? conclus??o no sentido de que os direitos humanos e fundamentais, inclu??dos os direitos ?? sa??de e ?? seguran??a do trabalhador, continuam sem efetividade no Brasil, havendo um longo caminho a ser trilhado pela sociedade e pelo Estado brasileiro para supera????o do quadro de incivilidade trabalhista. Defende-se, ao final, que a proibi????o do transporte nos estribos j?? se encontra fundamentada em m??ltiplas fontes normativas em vigor, devendo o Minist??rio P??blico do Trabalho exigir, independentemente da norma regulamentadora em fase de discuss??o tripartite no Minist??rio do Trabalho, o fim do transporte dos garis nos estribos e nas ??reas externas dos ve??culos.

Submitted by JOÃO VITOR RAMOS DA SILVA null (joaopontogeo@gmail.com) on 2016-04-15T01:58:52Z No. of bitstreams: 1 Dissertação João - Versão Final Biblioteca.pdf: 5062608 bytes, checksum: d13064d87e2458bae58a8c4ac9fb649d (MD5) / Rejected by Felipe Augusto Arakaki (arakaki@reitoria.unesp.br), reason: Solicitamos que realize uma nova submissão seguindo as orientações abaixo: O arquivo submetido está sem a ficha catalográfica. A versão submetida por você é considerada a versão final da dissertação/tese, portanto não poderá ocorrer qualquer alteração em seu conteúdo após a aprovação. Corrija esta informação e realize uma nova submissão contendo o arquivo correto. Agradecemos a compreensão. on 2016-04-18T17:48:11Z (GMT) / Submitted by JOÃO VITOR RAMOS DA SILVA null (joaopontogeo@gmail.com) on 2016-04-18T21:59:36Z No. of bitstreams: 1 Dissertação João - Versão Final Biblioteca.pdf: 5070849 bytes, checksum: f6648ed4572f687dbc0b9e763b803e17 (MD5) / Approved for entry into archive by Felipe Augusto Arakaki (arakaki@reitoria.unesp.br) on 2016-04-19T13:50:23Z (GMT) No. of bitstreams: 1 silva_jvr_me_prud.pdf: 5070849 bytes, checksum: f6648ed4572f687dbc0b9e763b803e17 (MD5) / Made available in DSpace on 2016-04-19T13:50:23Z (GMT). No. of bitstreams: 1 silva_jvr_me_prud.pdf: 5070849 bytes, checksum: f6648ed4572f687dbc0b9e763b803e17 (MD5) Previous issue date: 2016-03-18 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Esta dissertação se refere ao trabalho situado “por detrás das lixeiras da sociedade”, protagonizado pelos coletores de lixo domiciliar urbano na cidade de Presidente Prudente/SP. Buscou-se evidenciar as rotinas e processos de trabalho desses sujeitos, identificando as consequências para sua saúde e de que forma o fenômeno da invisibilidade social ocorre no contexto laboral da coleta de lixo. A pesquisa incluiu levantamento bibliográfico voltado a três eixos-mestres – trabalho na coleta de lixo, saúde do trabalhador e invisibilidade social –, realização de entrevistas semiestruturadas com os sujeitos e agentes da pesquisa (coletores, sindicalista e representante do Ministério Público do Trabalho) e uso de informações secundárias de diversas fontes. Esse conjunto compôs as ferramentas analíticas empregadas para construir um enredo capaz de dar voz aos coletores de lixo. O trabalho na coleta é extremamente penoso e gera efeitos nocivos à saúde dos trabalhadores, em curto e principalmente em longo prazo, quando as dores no corpo tornam-se crônicas. Ademais, a invisibilidade social e a concomitante humilhação contribuem para precariedade laboral em termos da saúde mental dos coletores. Observa-se fragilidade na luta sindical no que tange a remuneração e aumentos salariais, e na própria relação com os coletores, embora haja algumas conquistas pontuais, como a obtenção e incremento de equipamentos de proteção individual. A insatisfação dos coletores com sua representação sindical frente à empresa empregadora, todavia, não é suficiente para ensejar uma articulação concreta entre os próprios trabalhadores, pelo temor de represálias ou da perda do emprego. / This paper refers to the labor located “behind the bins of society” experienced by urban garbage collectors in the city of Presidente Prudente (State of São Paulo, Brazil). It sought to highlight the routines and work processes of these individuals, identifying the consequences for their health and how the phenomenon of social invisibility occurs in the labor context of garbage collection. The research included literature review focused on three master-axes (work in garbage collection, workers‟ health and social invisibility), semi-structured interviews with the subjects and agents of the survey (collectors, union leader and representative of the Ministry of Labor) and using secondary information from various sources. This set composed the analytical tools used to build a storyline capable of giving voice to garbage collectors. Garbage collection is burdensome and generates harmful effects on workers‟ health, in short term and mainly in long term, when body pains become chronic. Moreover, the social invisibility and concomitant humiliation contribute to labor precariousness in terms of collectors‟ mental health. It is observed weakness in the trade union efforts concerning to remuneration and salary increases, as well as in the relation with the collectors, although there are some specific achievements like getting and incrementing personal protective equipment. The collectors‟ dissatisfaction with their union representation against the employer company, however, is not sufficient to bring a concrete coordination between the workers themselves, because of fear of reprisals or job loss. / CNPq: 130639/2013-3

Orientador: Luzenira Alves Brasileiro / Banca: Jairo Salim Pinheiro de Lima / Banca: Sérgio Antonio Röhm / Resumo: O sistema de transporte dos resíduos sólidos compreende o cálculo da frota necessária e a geração de itinerários. A roteirização de veículos pode ser realizada através de método empírico ou matemático. O método matemático pode ser manual ou computadorizado. O problema do transporte de resíduos sólidos urbanos é, geralmente, sanado através do método empírico; principalmente em cidades de pequeno porte. O objetivo deste trabalho é analisar o transporte de resíduos sólidos comerciais urbanos, através do método matemático computadorizado, utilizando Sistema de Informação Geográfica (SIG). O estudo de caso foi realizado para a cidade de Ilha Solteira - SP, que apresenta aproximadamente 24.000 habitantes. O método utilizado para análise do transporte de resíduos consiste em coleta de dados, caracterização do sistema atual, simulação do sistema utilizando SIG e análise dos resultados. Os dados foram coletados durante o período de julho a agosto de 2006. O sistema atual define a roteirização de veículos pelo método empírico e a frota é igual a 1 veículo, que visita 172 pontos comerciais. O veículo realiza 3 viagens/dia para suprir a demanda. Foram simulados cenários com locais de disposição atual, e mais 4 determinados por um modelo de escolha de locais. Os resultados mostram que há uma economia significativa de distância e tempo no roteamento pelo método computacional, em relação ao método empírico no estudo de caso realizado. O método computacional para roteirização dos veículos de coleta mostrou ser mais eficiente do que o método empírico. / Abstract: The system of transport of the solid residues understands the calculation of the necessary fleet and the generation of itineraries. The routing of vehicles can be carried through through empirical or mathematical method. The mathematical method can manual or be computerized. The problem of the transport of urban solid residues is, generally, cured through the empirical method; mainly in small cities. The objective of this work is to analyze the transport of urban commercial solid residues, through the computerized mathematical method, using of geographic information systems (GIS). The case study it was carried through for the city of Ilha Solteira - SP, that presents 24,000 inhabitants approximately. The method used for analysis of the transport of residues consists of collection of data, characterization of the current system, simulation of system using GIS and analysis of the results. The data had been collected during the period of July the August of 2006. The current system defines the routing of vehicles for the empirical method and the fleet is equal the 1 vehicle, that visits 172 points commercial. The vehicle carries through 3 trips/day to supply the demand. Scenes with places of current disposal had been simulated, and more 4 determined for a model of choice of places. The results show that it has a significant economy of distance and time in the routing for the computational method, in relation to the empirical method in the study of carried through case. The computational method for routing of the collection vehicles showed to be more efficient of the one than the empirical method. / Mestre

Made available in DSpace on 2014-06-11T19:29:13Z (GMT). No. of bitstreams: 0 Previous issue date: 2006-12-13Bitstream added on 2014-06-13T20:59:27Z : No. of bitstreams: 1 brito_raf_me_ilha.pdf: 1354209 bytes, checksum: 9f2f3580875f7b960861c38a486c01ae (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Fundação para o Desenvolvimento da UNESP (FUNDUNESP) / O sistema de transporte dos resíduos sólidos compreende o cálculo da frota necessária e a geração de itinerários. A roteirização de veículos pode ser realizada através de método empírico ou matemático. O método matemático pode ser manual ou computadorizado. O problema do transporte de resíduos sólidos urbanos é, geralmente, sanado através do método empírico; principalmente em cidades de pequeno porte. O objetivo deste trabalho é analisar o transporte de resíduos sólidos comerciais urbanos, através do método matemático computadorizado, utilizando Sistema de Informação Geográfica (SIG). O estudo de caso foi realizado para a cidade de Ilha Solteira - SP, que apresenta aproximadamente 24.000 habitantes. O método utilizado para análise do transporte de resíduos consiste em coleta de dados, caracterização do sistema atual, simulação do sistema utilizando SIG e análise dos resultados. Os dados foram coletados durante o período de julho a agosto de 2006. O sistema atual define a roteirização de veículos pelo método empírico e a frota é igual a 1 veículo, que visita 172 pontos comerciais. O veículo realiza 3 viagens/dia para suprir a demanda. Foram simulados cenários com locais de disposição atual, e mais 4 determinados por um modelo de escolha de locais. Os resultados mostram que há uma economia significativa de distância e tempo no roteamento pelo método computacional, em relação ao método empírico no estudo de caso realizado. O método computacional para roteirização dos veículos de coleta mostrou ser mais eficiente do que o método empírico. / The system of transport of the solid residues understands the calculation of the necessary fleet and the generation of itineraries. The routing of vehicles can be carried through through empirical or mathematical method. The mathematical method can manual or be computerized. The problem of the transport of urban solid residues is, generally, cured through the empirical method; mainly in small cities. The objective of this work is to analyze the transport of urban commercial solid residues, through the computerized mathematical method, using of geographic information systems (GIS). The case study it was carried through for the city of Ilha Solteira - SP, that presents 24,000 inhabitants approximately. The method used for analysis of the transport of residues consists of collection of data, characterization of the current system, simulation of system using GIS and analysis of the results. The data had been collected during the period of July the August of 2006. The current system defines the routing of vehicles for the empirical method and the fleet is equal the 1 vehicle, that visits 172 points commercial. The vehicle carries through 3 trips/day to supply the demand. Scenes with places of current disposal had been simulated, and more 4 determined for a model of choice of places. The results show that it has a significant economy of distance and time in the routing for the computational method, in relation to the empirical method in the study of carried through case. The computational method for routing of the collection vehicles showed to be more efficient of the one than the empirical method.

Orientador: Waldir Antonio Bizzo / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica / Made available in DSpace on 2018-08-16T18:56:54Z (GMT). No. of bitstreams: 1 Lino_FatimaAparecidadeMorais_M.pdf: 2969972 bytes, checksum: 528731778a3797dd57b92f976e190fd9 (MD5) Previous issue date: 2009 / Resumo: Nesta dissertação foi estudado a coleta seletiva de resíduo sólido na cidade de Campinas (SP), classificada como terceiro município do Estado de São Paulo em população, com 1.039.297 habitantes, e também, em geração de resíduo sólido domiciliar. O objetivo consiste em quantificar o consumo de energia no transporte da coleta seletiva executada pelo setor público e pelo sistema cooperativo. Diariamente, o poder público coleta em média 655 toneladas das quais 99% tem como destino o aterro sanitário. Em 2005, a prefeitura e duas cooperativas, juntas recolheram seletivamente uma média de 329 toneladas/mês de resíduo sólido reciclável. Na coleta foram utilizados 14 caminhões que percorreram a distância de 31.200 km/mês e o consumo estimado de 10.900 litros de óleo diesel. No balanço energético correspondente à quantidade de energia gasta no transporte e a evitada com a reciclagem, estima-se que, com o reaproveitamento na indústria do montante de reciclável coletado para produção de novos produtos foi possível evitar o uso de cerca de 12.552 GJ de energia. Essa quantidade de energia evitada representa cerca de 32,5 vezes superior a energia consumida no transporte da coleta seletiva. Com relação ao CO2, a queima de óleo diesel no transporte dos recicláveis emitiu na atmosfera cerca de 29 tCO2/mês e a reciclagem dos recicláveis coletados evitou a emissão de cerca de 901,2 tCO2/ mês / Abstract: In this dissertation, we studied the selective collection of solid waste in the city of Campinas (SP), ranked as the third city in the state of Sao Paulo in population, with 1,039,297 inhabitants, and also in household solid waste generation. The objective is to the energy gain due to selective collection and recycling realized by the public sector and the cooperative system. Daily, the municipal government collects an average of 655 tons of which 99% goes to landfill. In 2005, the public service and two cooperatives together selectively collected an average of 329 tons per month of recyclable solid waste. In the collection 14 trucks were used and traveled the distance of 31,200 kilometers per month at an estimated consumption of 10,900 liters of diesel fuel. Energy balance corresponding to the amount of energy spent in transportation and avoided from recycling, it is estimated that with the recycling the amount of recyclable collected it is possible to avoid the use of approximately 12,552 GJ of energy. This amount of energy avoided is about 32.5 times the energy consumed in transporting the collection. With regard to CO2, the consumption of diesel fuel in the transport of recyclables emitted to the atmosphere about 29 tCO2/month and recycling of recyclable materials collected avoided the emission of about 901.2 tCO2 per month / Mestrado / Engenharia Mecanica / Mestre em Planejamento de Sistemas Energéticos

[pt] Inúmeras linguagens de programação oferecem suporte a finalizadores e referências fracas. Não obstante, de maneira geral esses mecanismos são relativamente pouco conhecidos e pouco usados por programadores. Mesmo entre pesquisadores e desenvolvedores de linguagens não existe muito consenso quanto à sua semântica, que varia consideravelmente entre diferentes implementações. Neste trabalho buscamos explorar os conceitos de finalizadores e de referências fracas, suprindo a ausência de uma especificação clara e abrangente, e permitindo uma melhor compreensão, implementação e uso dos mecanismos correspondentes. Como ponto de partida realizamos um amplo levantamento sobre como é feito o suporte a finalizadores e referências fracas em diferentes linguagens de programação, identificando as características comuns, os problemas, e as questões semânticas mais relevantes associadas às implementações consideradas. Para garantir uma maior precisão em nossa análise, utilizamos um modelo abstrato de uma linguagem de programação com gerenciamento automático de memória. Através deste modelo especificamos formalmente a semântica de finalizadores e referências fracas, incluindo descrições das suas principais variantes e mecanismos relacionados. Além disso, provamos certas propriedades inerentes a linguagens de programação com gerenciamento automático de memória, indicando como estas são afetadas pela introdução de finalizadores e referências fracas. Por fim, consideramos possíveis estratégias de implementação desses mecanismos em diferentes tipos de sistemas. Algumas das opções semânticas investigadas impõe um custo de processamento expressivo, o que frequentemente inviabiliza a sua adoção na prática. / [en] Most mainstream programming languages support finalizers and weak references. In spite of that, these abstractions are still modestly known by programmers in general. Even among language designers there seems to be no common view on how to define their semantics, and language implementations certainly reflect that. In this thesis we explore the concepts of finalizer and weak reference by discussing several important issues that, as far as we know, have not been explored by other authors. After presenting a survey on how finalizers and weak references are supported by actual programming languages, we thoroughly examine their semantics and discuss alternative implementation strategies. We also use an operational approach to develop a formal model for reasoning about garbage collection and its interaction with client programs. By explicitly representing low-level details, such as heap memory and its addresses, we were able to clearly specify memory management actions, and prove several important memory-related language invariants. Using this model we describe a formal semantics for finalizers and weak references, exploring some of its many subtleties. We believe that the topics covered here can serve as a relevant reference for further investigations, and also help to guide actual implementations.

Made available in DSpace on 2014-12-17T14:55:13Z (GMT). No. of bitstreams: 1 GleydsonAFL.pdf: 2185056 bytes, checksum: 094b58b4341884e4f12979b1aa1e99e0 (MD5) Previous issue date: 2007-02-02 / 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 / A plataforma Java vem sendo crescentemente adotada no desenvolvimento de siste?mas distribu?dos de alta demanda de usu?rios. Este tipo de aplica??o ? mais complexa pois necessita al?m de atender os requisitos funcionais cumprir os par?metros de desem?penho pr?-estabelecidos. Este trabalho realiza um estudo da m?quina virtual lava (NM) abordando seus aspectos internos e explorando as pol?ticas de coleta de lixo existentes na literatura e as usadas pela JVM. Apresenta tamb?m um conjunto de ferramentas que auxiliam Da tarefa de otimizar aplica??es e outras que auxiliam no monitoramento das aplica??es em produ??o. Diante da grande quantidade de tecnologias que se apresentam para solucionar pro?blemas inerentes ?s camadas das aplica??es, toma-se dif?cil realizar escolha daquela que possui o melhor tempo de resposta e o menor uso de mem?ria. O trabalho apresenta um breve referencial te?rico de cada uma das poss?veis tecnologias e realiza testes compara?tivos atrav?s de uma an?lise estat?stica da vari?vel aleat?ria do tempo de resposta e das atividades de coleta de lixo. Os resultados obtidos fornecem um subs?dio para engenheiros e gerentes decidirem quais tecnologias utilizarem em aplica??es de grande porte atrav?s do conhecimento de como elas se comportam nestes ambientes e a quantidade de recursos que consomem. A rela??o entre produtividade da tecnologia e seu desempenho tamb?m ? considerada como um fator importante nesta escolha