Coleta de lixo para protocolos de checkpointing

Orientadores : Luiz Eduardo Buzato, Islene Calciolari GarciaDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação CientificaMestrad

Deferred-update database replication:theory and algorithms

This thesis is about the design of high-performance fault-tolerant computer systems. More specifically, it focuses on how to develop database systems that behave correctly and with good performance even in the event of failures. Both performance and dependability can be improved by means of the same technique, namely replication. If several database replicas are available, performance can be improved by distributing the load among them. Moreover, if one of the replicas cannot be accessed due to failures, users can still rely on the other ones. However, providing the interface of a single database system out of several replicas is not an easy task since one has to ensure they are always consistent with each other. Allowing replicas to diverge would easily break the illusion of having a single high-performance fault-tolerant database system. Although we would like to have replicas as independent of each other as possible for performance and dependability reasons, we must keep them synchronized if we want to provide a consistent interface to users. In this work, we study how we can balance this trade-off to provide good performance and fault-tolerance without compromising consistency. Our basis is a widely used technique for database replication known as the deferred update technique. In this technique, transactions are initially executed in a single replica. Passive transactions, which do not change the state of the database, can commit locally to the replica they execute. Active transactions, which change the database state, must be synchronized with the transactions running on other replicas. This thesis makes four major contributions. First, we introduce an abstract specification that generalizes the deferred update technique. This specification provides a strong model to prove lower bounds on replication algorithms, design new correct-by-construction protocols tailor-made for specific settings, and prove existing protocols correct more easily, in a standard way. Using this model, we show that the problem of termination of active transactions in deferred-update protocols is highly related to the problem of sequence agreement among a set of processes. In this context, we study the problem of implementing latency-optimal fault-tolerant solutions to sequence agreement and present a novel, highly-dynamic, algorithm that can quickly adapt to system changes in order to preserve its optimal latency. Our algorithm is based on a new agreement problem we introduce that seems to be more suitable to solve problems like sequence agreement than previously used abstractions. Our last two contributions are in the context of specific deferred-update algorithms, where we present two new fault-tolerant protocols derived from our general abstraction. The first algorithm uses no extra assumptions about database replicas. Yet, it has very little overhead associated with the termination of active transactions, propagating only strictly necessary information to replicas. Our second protocol uses strong assumptions about the concurrency control mechanism used by database replicas to reduce even more the latency and the burden associated with transaction termination. These algorithms are good examples of how our general abstraction can be extended to create new protocols and prove them correct

Control of glucose, blood pressure, and cholesterol among adults with diabetes : the Brazilian National Health Survey

ABC (glucose, blood pressure and LDL-cholesterol) goals are basic standards of diabetes care. We aimed to assess ABC control and related factors in a representative sample of Brazilian adults with diabetes. We analyzed 465 adults with known diabetes in the Brazilian National Health Survey. The targets used were <7% for glycated hemoglobin (A1C); <140/90 mmHg for blood pressure; and <100 mg/dL for LDL-C, with stricter targets for the latter two for those with high cardiovascular (CVD) risk. Individual goals were attained by 46% (95% CI, 40.3–51.6%) for A1C, 51.4% (95% CI, 45.7–57.1%) for blood pressure, and 40% (95% CI, 34.5–45.6%) for LDL-C. The achievement of all three goals was attained by 12.5% (95% CI, 8.9–16.2%). Those with high CVD risk attained blood pressure and LDL-C goals less frequently. A1C control improved with increasing age and worsened with greater duration of diabetes. Achievement of at least two ABC goals decreased with increasing BMI and greater duration of diabetes. In sum, about half of those with known diabetes achieved each ABC goal and only a small fraction achieved all three goals. Better access and adherence to treatment and strategies to personalize goals according to specific priorities are of the essence

Evolución de la diabetes en Brasil : dados de prevalencia de la Encuesta Nacional de Salud brasileña de 2013 y 2019

The prevalence of diabetes has been growing worldwide. This study aimed to estimate the prevalence of self-reported diabetes in Brazil in 2019, to describe its evolution from 2013, and to evaluate the role of population growth, aging, and other factors in the changes found. The 2019 Brazilian National Health Survey, a nationally representative cross-sectional survey, queried a physician diagnosis of diabetes in a probabilistic multistage cluster sample. The crude prevalence of known diabetes in 2019 was 7.7% (7.4%-8.0%), a 24% relative increase to the prevalence of 2013. Though this increase was greater in men (30%) than women (20%), 2019 prevalence remained higher in women (8.4%) than in men (6.9%). Age-adjusted prevalence was uniformly lower in the North region, and uniformly higher in the Southeast and Central-West regions. In 2019, 12.3 million cases of diabetes were found, a 36.4% increase from the 9.0 million in 2013. Drivers of this rise include increase in size (9.9%) and aging (1.8%) of the Brazilian population, and to all other factors, including increased case-detection and incidence, as well as decreased diabetes mortality (24.7%). Main correlates of greater prevalence – adjusted by the Poisson regression with robust variance – were older age (PR = 27.2, 95%CI: 1.2-42.9 for ≥ 65 years vs. 18-24 years), hypertension (PR = 2.6, 95%CI: 2.4-2.8 vs. normotension), and obesity (PR = 2.3, 95%CI: 2.1-2.5 vs. BMI < 25kg/m2). Those with a complete higher education had a 40% lower prevalence (PR = 0.6; 95%CI: 0.54-0.70 vs. incomplete elementary education). In conclusion, accompanying a worldwide trend, Brazil presents an increasing prevalence of diabetes throughout its regions, posing a huge burden to its population and health systems.A prevalência do diabetes mellitus tem crescido em nível global. O estudo buscou estimar a prevalência de autorrelato de diabetes no Brasil em 2019, descrever a evolução a partir de 2013 e avaliar o papel do crescimento demográfico, envelhecimento e outros fatores observados. A Pesquisa Nacional de Saúde de 2019, um inquérito transversal com representatividade nacional, perguntou sobre diagnóstico médico de diabetes em uma amostra probabilística por conglomerados com múltiplos estágios. A prevalência bruta de diabetes conhecido em 2019 foi de 7,7% (7,4%-8,0%), um aumento de 24% em relação à prevalência em 2013. Embora o aumento relativo tenha sido maior em homens (30%) que em mulheres (20%), a prevalência em 2019 permaneceu mais elevada em mulheres (8,4%) que em homens (6,9%). A prevalência ajustada por idade foi consistentemente mais baixa na Região Norte, e consistentemente mais alta nas regiões Sudeste e Centro-oeste. Em 2019, foram diagnosticados 12,3 milhões de casos de diabetes, um aumento de 36,4% em relação aos 9,0 milhões de casos em 2013. Fatores que explicam esse crescimento incluem aumento do tamanho (9,9%) e do envelhecimento (1,8%) da população brasileira, e outros fatores como o aumento na detecção de casos e na incidência, além de uma queda na mortalidade por diabetes (24,7%). As principais associações para uma maior prevalência – ajustada por regressão de Poisson com variância robusta – foram idade mais velha (RP = 27,2; IC95%: 1,2- 42,9 para ≥ 65 anos vs. 18-24 anos), hipertensão (RP = 2,6; IC95%: 2,4-2,8 vs. normotensão) e obesidade (RP = 2,3; IC95%: 2,1-2,5 vs. IMC < 25kg/ m2). Indivíduos com Nível Universitário completo tiveram uma prevalência 40% mais baixa (RP = 0,6; IC95%: 0,54-0,70 vs. Fundamental incompleto). Como conclusão, refletindo uma tendência mundial, o Brasil apresenta prevalência crescente de diabetes em todas as macrorregiões, o que cria uma enorme carga para a população e os sistemas de saúde.La prevalencia de la diabetes ha estado creciendo alrededor de todo el mundo. El objetivo de este estudio fue estimar la prevalencia de la diabetes autoinformada en Brasil en 2019, para describir su evolución desde 2013, así como para evaluar el papel del crecimiento de la población, envejecimiento, y otros factores en los cambios encontrados. Se utilizó la Encuesta Nacional de Salud brasileña de 2019, una encuesta transversal representativa nacionalmente, donde se consultó el diagnóstico médico de diabetes en una muestra probabilística por conglomerados multietapa. La prevalencia cruda de la diabetes conocida en 2019 fue 7,7% (7,4%-8,0%), con un 24% de incremento relativo respecto a la prevalencia de 2013. Sin embargo, este aumento fue mayor en hombres (30%) que en mujeres (20%). La prevalencia de 2019 permaneció más alta en mujeres (8,4%) que en hombres (6,9%). La prevalencia ajustada a la edad fue uniformemente más baja en la Región Norte, y uniformemente más alta en las regiones del Sudeste y Centro-oeste. En 2019, hubo 12,3 millones de casos de diabetes, lo que supuso un incremento de 36.4% desde los 9,0 millones en 2013. Las causas incluyen el aumento de peso (9,9%) y el envejecimiento (1,8%) de la población brasileña, así como para el resto de todos los factores, incluyendo el incremento de la detección de casos e incidencia, al igual que el decremento en la mortalidad por diabetes (24,7%). Los principales factores de correlación para una mayor prevalencia -ajustados por regresión de Poisson con variancia robusta- fueron una edad más avanzada (PR = 27,2; IC95%: 1,2-42,9 para ≥ 65 años vs. 18-24 años), hipertensión (PR = 2,6; IC95%: 2,4-2,8 vs. normotensión), y obesidad (PR = 2,3; IC95%: 2,1-2,5 vs. BMI < 25kg/m2). Quienes contaban con una educación superior completa tenían una prevalencia un 40% más baja (PR = 0,6; IC95%: 0,54-0,70 vs. quienes tenían la educación básica incompleta). En conclusión, acompañando una tendencia global, Brasil presenta un incremento de prevalencia de la diabetes a través de sus regiones, planteando una carga inmensa para su población y sistemas de salud

Indigenous and local communities can boost seed supply in the UN decade on ecosystem restoration.

The UN Decade of Ecosystem Restoration is poised to trigger the recovery of ecosystem services and transform structural injustices across the world in a way unparalleled in human history. The inclusion of diverse Indigenous and local communities to co-create robust native seed supply systems is the backbone to achieve the goals for the Decade. Here we show how community-based organizations have co-developed native seed supply strategies for landscape restoration from the bottom-up. We draw on the interconnections over two decades of seed networks in Brazil and the emerging Indigenous participation in native seed production in Australia. From an environmental justice perspective, we provide a participatory seed supply approach for local engagement, noting local geographical, social and cultural contexts. Meeting large-scale restoration goals requires the connection between local seed production and collaborative platforms to negotiate roles, rights and responsibilities between stakeholders. An enduring native seed supply must include a diversity of voices and autonomy of community groups that builds equitable participation in social, economic, and environmental benefits.Funder: European Research Council (ERC) Award number: 86600

Pervasive gaps in Amazonian ecological research

Biodiversity loss is one of the main challenges of our time,1,2 and attempts to address it require a clear un derstanding of how ecological communities respond to environmental change across time and space.3,4 While the increasing availability of global databases on ecological communities has advanced our knowledge of biodiversity sensitivity to environmental changes,5–7 vast areas of the tropics remain understudied.8–11 In the American tropics, Amazonia stands out as the world’s most diverse rainforest and the primary source of Neotropical biodiversity,12 but it remains among the least known forests in America and is often underrepre sented in biodiversity databases.13–15 To worsen this situation, human-induced modifications16,17 may elim inate pieces of the Amazon’s biodiversity puzzle before we can use them to understand how ecological com munities are responding. To increase generalization and applicability of biodiversity knowledge,18,19 it is thus crucial to reduce biases in ecological research, particularly in regions projected to face the most pronounced environmental changes. We integrate ecological community metadata of 7,694 sampling sites for multiple or ganism groups in a machine learning model framework to map the research probability across the Brazilian Amazonia, while identifying the region’s vulnerability to environmental change. 15%–18% of the most ne glected areas in ecological research are expected to experience severe climate or land use changes by 2050. This means that unless we take immediate action, we will not be able to establish their current status, much less monitor how it is changing and what is being lostinfo:eu-repo/semantics/publishedVersio

Optimasi Portofolio Resiko Menggunakan Model Markowitz MVO Dikaitkan dengan Keterbatasan Manusia dalam Memprediksi Masa Depan dalam Perspektif Al-Qur`an

Risk portfolio on modern finance has become increasingly technical, requiring the use of sophisticated mathematical tools in both research and practice. Since companies cannot insure themselves completely against risk, as human incompetence in predicting the future precisely that written in Al-Quran surah Luqman verse 34, they have to manage it to yield an optimal portfolio. The objective here is to minimize the variance among all portfolios, or alternatively, to maximize expected return among all portfolios that has at least a certain expected return. Furthermore, this study focuses on optimizing risk portfolio so called Markowitz MVO (Mean-Variance Optimization). Some theoretical frameworks for analysis are arithmetic mean, geometric mean, variance, covariance, linear programming, and quadratic programming. Moreover, finding a minimum variance portfolio produces a convex quadratic programming, that is minimizing the objective function ðð¥with constraintsð ð 𥠥 ðandð´ð¥ = ð. The outcome of this research is the solution of optimal risk portofolio in some investments that could be finished smoothly using MATLAB R2007b software together with its graphic analysis

Alcohol use and burden for 195 countries and territories, 1990-2016 : a systematic analysis for the Global Burden of Disease Study 2016

Background Alcohol use is a leading risk factor for death and disability, but its overall association with health remains complex given the possible protective effects of moderate alcohol consumption on some conditions. With our comprehensive approach to health accounting within the Global Burden of Diseases, Injuries, and Risk Factors Study 2016, we generated improved estimates of alcohol use and alcohol-attributable deaths and disability-adjusted life-years (DALYs) for 195 locations from 1990 to 2016, for both sexes and for 5-year age groups between the ages of 15 years and 95 years and older. Methods Using 694 data sources of individual and population-level alcohol consumption, along with 592 prospective and retrospective studies on the risk of alcohol use, we produced estimates of the prevalence of current drinking, abstention, the distribution of alcohol consumption among current drinkers in standard drinks daily (defined as 10 g of pure ethyl alcohol), and alcohol-attributable deaths and DALYs. We made several methodological improvements compared with previous estimates: first, we adjusted alcohol sales estimates to take into account tourist and unrecorded consumption; second, we did a new meta-analysis of relative risks for 23 health outcomes associated with alcohol use; and third, we developed a new method to quantify the level of alcohol consumption that minimises the overall risk to individual health. Findings Globally, alcohol use was the seventh leading risk factor for both deaths and DALYs in 2016, accounting for 2.2% (95% uncertainty interval [UI] 1.5-3.0) of age-standardised female deaths and 6.8% (5.8-8.0) of age-standardised male deaths. Among the population aged 15-49 years, alcohol use was the leading risk factor globally in 2016, with 3.8% (95% UI 3.2-4-3) of female deaths and 12.2% (10.8-13-6) of male deaths attributable to alcohol use. For the population aged 15-49 years, female attributable DALYs were 2.3% (95% UI 2.0-2.6) and male attributable DALYs were 8.9% (7.8-9.9). The three leading causes of attributable deaths in this age group were tuberculosis (1.4% [95% UI 1. 0-1. 7] of total deaths), road injuries (1.2% [0.7-1.9]), and self-harm (1.1% [0.6-1.5]). For populations aged 50 years and older, cancers accounted for a large proportion of total alcohol-attributable deaths in 2016, constituting 27.1% (95% UI 21.2-33.3) of total alcohol-attributable female deaths and 18.9% (15.3-22.6) of male deaths. The level of alcohol consumption that minimised harm across health outcomes was zero (95% UI 0.0-0.8) standard drinks per week. Interpretation Alcohol use is a leading risk factor for global disease burden and causes substantial health loss. We found that the risk of all-cause mortality, and of cancers specifically, rises with increasing levels of consumption, and the level of consumption that minimises health loss is zero. These results suggest that alcohol control policies might need to be revised worldwide, refocusing on efforts to lower overall population-level consumption.Peer reviewe

Search for narrow resonances in dilepton mass spectra in proton-proton collisions at root s=13 TeV and combination with 8 TeV data

Peer reviewe