Interval tree clocks: a logical clock for dynamic systems

Lecture Notes in Computer Science 5401, 2008Causality tracking mechanisms, such as vector clocks and version vectors, rely on mappings from globally unique identifiers to integer counters. In a system with a well known set of entities these ids can be preconfigured and given distinct positions in a vector or distinct names in a mapping. Id management is more problematic in dynamic systems, with large and highly variable number of entities, being worsened when network partitions occur. Present solutions for causality tracking are not appropriate to these increasingly common scenarios. In this paper we introduce Interval Tree Clocks, a novel causality tracking mechanism that can be used in scenarios with a dynamic number of entities, allowing a completely decentralized creation of processes/replicas without need for global identifiers or global coordination. The mechanism has a variable size representation that adapts automatically to the number of existing entities, growing or shrinking appropriately. The representation is so compact that the mechanism can even be considered for scenarios with a fixed number of entities, which makes it a general substitute for vector clocks and version vectors

Version stamps-decentralized version vectors

Version vectors and their variants play a central role in update tracking in optimistic distributed systems. Existing mechanisms for a variable number of participants use a mapping from identities to integers, and rely on some form of global configuration or distributed naming protocol to assign unique identifiers to each participant. These approaches are incompatible with replica creation under arbitrary partitions, a typical mode of operation in mobile or poorly connected environments. We present an update tracking mechanism that overcomes this limitation; it departs from the traditional mapping and avoids the use of integer counters, while providing all the functionality of version vectors in what concerns version tracking

Concise server-wide causality management for eventually consistent data stores

Large scale distributed data stores rely on optimistic replication to scale and remain highly available in the face of net work partitions. Managing data without coordination results in eventually consistent data stores that allow for concurrent data updates. These systems often use anti-entropy mechanisms (like Merkle Trees) to detect and repair divergent data versions across nodes. However, in practice hash-based data structures are too expensive for large amounts of data and create too many false conflicts. Another aspect of eventual consistency is detecting write conflicts. Logical clocks are often used to track data causality, necessary to detect causally concurrent writes on the same key. However, there is a nonnegligible metadata overhead per key, which also keeps growing with time, proportional with the node churn rate. Another challenge is deleting keys while respecting causality: while the values can be deleted, perkey metadata cannot be permanently removed without coordination. Weintroduceanewcausalitymanagementframeworkforeventuallyconsistentdatastores,thatleveragesnodelogicalclocks(BitmappedVersion Vectors) and a new key logical clock (Dotted Causal Container) to provides advantages on multiple fronts: 1) a new efficient and lightweight anti-entropy mechanism; 2) greatly reduced per-key causality metadata size; 3) accurate key deletes without permanent metadata.(undefined

DottedDB: anti-entropy without merkle trees, deletes without tombstones

To achieve high availability in the face of network partitions, many distributed databases adopt eventual consistency, allow temporary conflicts due to concurrent writes, and use some form of per-key logical clock to detect and resolve such conflicts. Furthermore, nodes synchronize periodically to ensure replica convergence in a process called anti-entropy, normally using Merkle Trees. We present the design of DottedDB, a Dynamo-like key-value store, which uses a novel node-wide logical clock framework, overcoming three fundamental limitations of the state of the art: (1) minimize the metadata per key necessary to track causality, avoiding its growth even in the face of node churn; (2) correctly and durably delete keys, with no need for tombstones; (3) offer a lightweight anti-entropy mechanism to converge replicated data, avoiding the need for Merkle Trees. We evaluate DottedDB against MerkleDB, an otherwise identical database, but using per-key logical clocks and Merkle Trees for anti-entropy, to precisely measure the impact of the novel approach. Results show that: causality metadata per object always converges rapidly to only one id-counter pair; distributed deletes are correctly achieved without global coordination and with constant metadata; divergent nodes are synchronized faster, with less memory-footprint and with less communication overhead than using Merkle Trees.This work is financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme within project «POCI-01-0145-FEDER-006961», and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia as part of project «UID/EEA/50014/2013».info:eu-repo/semantics/publishedVersio

Concepções e Práticas de Professores da Educação Básica no Brasil sobre Educação Ambiental

Environmental Education (EE) is considered an educational proposal that aims to form reflective, responsible, and active subjects in relation to social and environmental changes. Therefore, with a qualitative approach, this research aimed to analyze teachers' conceptions and practices on EE in Brazil. For this, a semi-structured questionnaire was applied from Google Forms, which was answered by 112 teachers from all regions of Brazil. When analyzing the answers, it was noticeable that the majority (70.5%) of educators have conceptions and develop conservative practices because they do so according to a naturalistic bias. This finding shows that it is necessary to emphasize the importance of EE in initial and continuing teacher training since the teachers will problematize and instrumentalize environmental issues.La Educación Ambiental (EA) es considerada una propuesta educativa que pretende formar sujetos reflexivos, responsables y activos en relación a los cambios socioambientales. Por lo tanto, esta investigación del caracter cualitativo tuvo como objetivo analizar las concepciones y prácticas de los profesores sobre la EA en Brasil. Para ello, se aplicó un cuestionario semi-estructurado de Google Forms, que fue respondido por 112 docentes de todas las regiones de Brasil. Al analizar las respuestas, se notó que la mayoría (70,5%) de los educadores tienen concepciones y prácticas conservadoras, ya que la hacen según un esquema naturalista. Este hallazgo de investigación demuestra que es necesario enfatizar la importancia de la EA en la formación inicial y continua de los docentes, ya que son los docentes quienes problematizarán e instrumentalizarán las cuestiones ambientales.A Educação Ambiental (EA) é considerada uma proposta educativa que visa formar sujeitos reflexivos, responsáveis e ativos em relação às mudanças socioambientais. Diante disso, esta pesquisa com abordagem qualitativa teve como objetivo analisar as concepções e práticas de professores sobre a EA no Brasil. Para isso, foi aplicado um questionário semiestruturado do Google Forms, o qual foi respondido por 112 professores de todas as regiões do Brasil. Ao analisar as respostas, foi perceptível que a maioria (70,5%) dos educadores possui concepções e desenvolvem práticas conservadoras, pois o fazem segundo um viés naturalista. Tal constatação demonstra que é preciso salientar a importância da EA na formação inicial e continuada docente, uma vez que são os professores que irão problematizar e instrumentalizar as questões ambientais

Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors

Version vectors (VV) are used pervasively to track dependencies between replica versions in multi-version distributed storage systems. In these systems, VV tend to have a dual functionality: identify a version and encode causal dependencies. In this paper, we show that by maintaining the identifier of the version separate from the causal past, it is possible to verify causality in constant time (instead of O(n) for VV) and to precisely track causality with information with size bounded by the degree of replication, and not by the number of concurrent writers.(undefined

Projeto Rondon promovendo saúde para além da saúde: expandindo conceitos

Trabalho apresentado no II Congresso Nacional do PROJETO RONDON, realizado em Florianópolis, SC, no período de 23 a 25 de setembro de 2015 - Universidade Federal de Santa Catarina.O conceito de promoção de saúde se constitui em diferentes estratégias que buscam melhores condições e qualidade de vida para a população e tem como objetivo promover saúde, prevenindo doenças e evitando que as pessoas venham a se expor a fatores de riscos, para tanto programas de prevenção são elaborados a fim de alcançar tais objetivos, com base não somente em aspectos físicos e biológicos, mas principalmente em fatores sociais, ambientais e psicológicos. Nesse sentido, pensar saúde está para além de prevenir doenças, abarcando nesta perspectiva o acesso das pessoas a diferentes fontes de “saúde”, como a cultura, lazer, educação, direitos humanos e justiça, bem como recursos sanitários suficientes e de qualidade, considerando que este conjunto irá favorecer uma qualidade de vida digna. É de conhecimento público que devido à grande extensão territorial do Brasil algumas regiões acabam tendo menos acesso a tais recursos de saúde, como, por exemplo, o nordeste brasileiro, pois mesmo havendo altos investimentos nesta região, a mesma ainda carece de serviços que impulsionem a promoção de saúde. Neste sentido, o Projeto Rondon vai além de fornecer aos universitários extensionistas à experiência de aprimorar seus conhecimentos técnicos-profissionais e humanos; o Projeto também age como promotor de saúde em determinadas regiões do país. Sendo que nestas regiões nota-se constantemente o aperfeiçoamento dos dispositivos promotores de saúde, tornando-se perceptível a influência do Projeto Rondon no desenvolvimento sócio-histórico e cultural destas comunidades assistidas. Contudo, havendo a necessidade de se mensurar em termos qualitativos os efeitos das ações do Projeto Rondon dentro desse contexto, o objetivo do presente trabalho é discutir a atuação e os impactos da prática rondonista na cidade de Mogeiro, no Sertão da Paraíba / Brasil. Para isso serão utilizados como dados de análise materiais de oficinas e formações realizadas e embasamento bibliográfico quanto às diferentes maneiras de se promover saúde dentro de contextos escassos de recursos, bem como a ampliação dos mesmos. Por fim, vivenciar a prática extensionista de ambas as perspectivas, tanto da comunidade atendida quanto dos estudantes, são experiências idiossincráticas, que podem favorecer para expansão do conceito de saúde e as formas de promovê-la

Evaluating dotted version vectors in Riak

The NoSQL movement is rapidly increasing in importance, acceptance and usage in major (web) applications, that need the partition-tolerance and availability of the CAP theorem for scalability purposes, thus sacrificing the consistency side. With this approach, paradigms such as Eventual Consistency became more widespread. An eventual consistent system must handle data divergence and conflicts, that have to be carefully accounted for. Some systems have tried to use classic Version Vectors (VV) to track causality, but these reveal either scalability problems or loss of accuracy (when pruning is used to prevent vector growth). Dotted Version Vectors (DVV) is a novel mechanism for dealing with data versioning in eventual consistent systems, that allows both accurate causality tracking and scalability both in the number of clients and servers, while limiting vector size to replication degree. In this paper we describe briefly the challenges faced when incorporating DVV in Riak (a distributed key-value store), evaluate its behavior and performance, and discuss the advantages and disadvantages of this specific implementation

Desenvolvimento de um comitê de ética da investigação: o caso do sistema da saúde de manaus

The growing complexity of biomedical investigation with human beings generates many conflicts regarding ethical values that add up to the difficulty of fulfilling all the requirements imposed by the legislation on bioethics. Manaus Health City Office (MHCO), in North Brazil, had already had a long time exchange program with local universities which was not managed by a specific sector, so research projects were authorized without further analysis of feasibility, relevance, or a follow-up of its actions within the local health system. In 2008, MHCO created the Research Ethics Commission (RECO). So, is MHCO a field for research? We ought to say yes inasmuch as from the local health system stem subjects and services completely characterizing the health and the city itself. From 2008 to 2011, the number of submitted projects intended to be implemented inside the health establishments was 282, concerning undergraduate and graduate papers. MHCO represents an action of the local government in monitoring research activity in the local health system and, at the same time, catches the attention of public employees as researchers of their own environment of work. This action helps to identify internal problems and shows the impression Manaus society has in relation to the health system. La creciente complejidad de la investigación biomédica con seres humanos genera muchos conflictos éticos que se suman a la dificultad de cumplir con todos los requisitos impuestos por una legislación en bioética. La Secretaría Municipal de Salud de Manaus (MHCO, en inglés), en el la Región Norte de Brasil, ya tenía un intercambio con universidades locales que no era gestionado por ningún sector en específico, por lo que los proyectos de investigación se autorizaban sin análisis de viabilidad o relevancia y sin ningún seguimiento de acciones dentro del sistema de salud local. En 2008, la MHCO creó la Comisión de Ética de la Investigación (RECO, en inglés). Entonces, ¿constituye la MHCO un campo para la investigación? Hay que decir que sí en el sentido de que, del sistema local de salud, parten temas y servicios que caracterizan por completo a la salud y a la ciudad en sí. Entre 2008 y 2011, el total de proyectos presentados para trabajar dentro de los establecimientos de salud asciende a 282, relacionados con trabajos de pregrado y postgrado. La MHCO representa una acción del gobierno local para supervisar las actividades de investigación en el sistema local de salud y, al mismo tiempo, atrae la atención de los empleados públicos como investigadores de su propio entorno laboral. Dicha acción contribuye a identificar problemas a nivel interno y revela la forma en que la sociedad de Manaus ve al sistema de salud. Articulo de reflexión. A crescente complexidade da pesquisa biomédica com seres humanos gera muitos conflitos éticos que contribuem para a dificuldade de satisfazer todas as exigências impostas pela legislação sobre bioética. A Secretaria Municipal de Saúde de Manaus, na região norte do Brasil, já tinha um intercâmbio com universidades locais que não eram geridos por qualquer sector específico, para que os projectos de investigação foram autorizados sem análise de viabilidade ou de relevância e de quaisquer acções de acompanhamento no âmbito do sistema de saúde local. Em 2008, a Secretaria criou o Comitê de ética da pesquisa. E ben, ¿constitui o Secretariado um campo de pesquisa? Deve ser dito que sí, por causa do sistema de saúde local partem assuntos e serviços que caracterizam completamente para a saúde e para a cidade. Entre 2008 e 2011, o número total de projetos apresentados para o trabalho em estabelecimentos de saúde foi 282, do trabalho de graduação e pós-graduação. A Secretaria representa a ação do governo local para monitorar as atividades de pesquisa no sistema de saúde local e, ao mesmo tempo, atrai a atenção dos funcionários públicos, como os pesquisadores em seu próprio ambiente de trabalho. Esta ação ajuda a identificar problemas internamente e revela a maneira em que a sociedade de Manaus vê o sistema de saúde.