Communication-efficient and crash-quiescent Omega with unknown membership

The failure detector class Omega (Ω) provides an eventual leader election functionality, i.e., eventually all correct processes permanently trust the same correct process. An algorithm is communication-efficient if the number of links that carry messages forever is bounded by n, being n the number of processes in the system. It has been defined that an algorithm is crash-quiescent if it eventually stops sending messages to crashed processes. In this regard, it has been recently shown the impossibility of implementing Ω crash quiescently without a majority of correct processes. We say that the membership is unknown if each process pi only knows its own identity and the number of processes in the system (that is, i and n), but pi does not know the identity of the rest of processes of the system. There is a type of link (denoted by ADD link) in which a bounded (but unknown) number of consecutive messages can be delayed or lost. In this work we present the first implementation (to our knowledge) of Ω in partially synchronous systems with ADD links and with unknown membership. Furthermore, it is the first implementation of Ω that combines two very interesting properties: communication-efficiency and crash-quiescence when the majority of processes are correct. Finally, we also obtain with the same algorithm a failure detector () such that every correct process eventually and permanently outputs the set of all correct processes.

Agreement in wider environments with weaker assumptions.

The set agreement problem states that from n proposed values at most n?1 can be decided. Traditionally, this problem is solved using a failure detector in asynchronous systems where processes may crash but do not recover, where processes have different identities, and where all processes initially know the membership. In this paper we study the set agreement problem and the weakest failure detector L used to solve it in asynchronous message passing systems where processes may crash and recover, with homonyms (i.e., processes may have equal identities) and without a complete initial knowledge of the membership.

Failure Detectors in Homonymous Distributed Systems (with an Application to Consensus).

This paper is on homonymous distributed systems where processes are prone to crash failures and have no initial knowledge of the system membership (?homonymous? means that several processes may have the same identi?er). New classes of failure detectors suited to these systems are ?rst de?ned. Among them, the classes H? and H? are introduced that are the homonymous counterparts of the classes ? and ?, respectively. (Recall that the pair h?,?i de?nes the weakest failure detector to solve consensus.) Then, the paper shows how H? and H? can be implemented in homonymous systems without membership knowledge (under different synchrony requirements). Finally, two algorithms are presented that use these failure detectors to solve consensus in homonymous asynchronous systems where there is no initial knowledge ofthe membership. One algorithm solves consensus with hH?, H?i, while the other uses only H?, but needs a majority of correct processes. Observe that the systems with unique identi?ers and anonymous systems are extreme cases of homonymous systems from which follows that all these results also apply to these systems. Interestingly, the new failure detector class H? can be implemented with partial synchrony, while the analogous class A? de?ned for anonymous systems can not be implemented (even in synchronous systems). Hence, the paper provides us with the ?rst proof showing that consensus can be solved in anonymous systems with only partial synchrony (and a majority of correct processes).

Set agreement and the loneliness failure detector in crash-recovery systems

The set agreement problem states that from n proposed values at most n-1 can be decided. Traditionally, this problem is solved using a failure detector in asynchronous systems where processes may crash but not recover, where processes have different identities, and where all processes initially know the membership. In this paper we study the set agreement problem and the weakest failure detector L used to solve it in asynchronous message passing systems where processes may crash and recover, with homonyms (i.e., processes may have equal identities) and without a complete initial knowledge of the membership.

Reliable Spreading of messages in not eponymous systems

The broadcast service spreads a message m among all processes of the system, such that each process eventually delivers m. A basic broadcast service does not impose any delivery guarantee in a system with failures. Fault-tolerant broadcast is a fundamental problem in distributed systems that adds certainty in the delivery of messages when crashes can happen in the system. Traditionally, the fault-tolerant broadcast service has been studied in classical distributed systems when each process has a unique identity (eponymous system). In this paper we study the fault-tolerant broadcast service in anonymous systems, that is, in systems where all processes are indistinguishable.

Promotion of intangible heritage as a tool to strengthen revitalisation of historic centres: the case of de Monumenta Programme in the City of Porto Alegre (Rio Grande do Sul State) Brazil

The preservation of tangible cultural heritage does not guarantee effective revitalisation of urban historic areas as a whole. The legacy of our history consists not only of paintings, sculptures, architectural monuments and public spaces, but also the safeguarding of immaterial aspects of social life, such as oral traditions, rituals, practices, knowledge and craft skills. From 1999 to 2013, 26 Brazilian cities benefited from the Monumenta Programme - a national cultural policy that involved institutions, the private sector and the local community. The purpose of the programme was to stimulate economic growth and increase cultural and social development of the historic centres. Moreover, it sought to increase the number of residents in the benefited areas as defined in its agenda (IDB, 1999; MinC & Programa Monumenta, 2006). Using the Historic Centre of Porto Alegre as a case study, this paper examines how this cultural programme enables demographic change through the promotion of intangible cultural heritage, e.g. by supporting educational projects. The demographic flow was analysed using the microdata of the Populations Censuses (years 2000 and 2010) available from the Brazilian Institute of Geography and Statistics. The results showed an increase in low-income residents the areas that participated in the programme. This increase may have been motivated by a set of cultural-educational projects under the auspices of the Monumenta Programme. The retraining of artisans of Alfândega Square, the training of low-income youth for restoration work and the implementation of the "Black Route Museum in Porto Alegre" (Bicca, 2010) are just some examples of what was done to improve the local community's economy, to encourage social cohesion and to enhance the awareness of cultural diversity as a positive and essential value in society.

El método de José Antonio Corrales y Ramón Vázquez Molezún. Influencias y escenarios arquitectónicos

El siguiente texto plantea un novedoso enfoque sobre el método de trabajo de José Antonio Corrales (1921-2010) y Ramón Vázquez Molezún (1922-1993), enfocado en la primera parte de su obra, la que culminaría con la Casa Huarte en el año 1966. Desarrollaron dos tipologías de proyectos: el pabellón abierto y la arquitectura concentrada. Ambas estrategias combinaban un comprometido diálogo con el lugar con una evidente influencia de diversas referencias arquitectónicas y artísticas de la primera mitad del siglo XX. Corrales y Molezún recibieron una educación clásica, falta de maestros, en una España situada en la autarquía y aislada del exterior, por lo que tuvieron que buscar referencias válidas en el extranjero. La arquitectura de Corrales y Molezún se alimentó de referentes diversos, que abarcan desde la primera Modernidad hasta los revisionistas de los años cincuenta (Team X, Reyner Banham, Ernesto Rogers), pasando por el Nuevo Empirismo nórdico, que representaba un equilibrio entre el racionalismo maquinista de la primera modernidad y las corrientes teóricas rupturistas de italianos y renovadoras de los ingleses. Las distintas corrientes y posicionamientos surgidos en Europa llegaban a España con cuenta gotas, pero resultaban estimulantes para los arquitectos nacionales de posguerra. Corrales y Molezún desarrollaron, desde sus primeros trabajos, un método alimentado por un lado por la influencia de los grandes arquitectos de la Modernidad y por otro por su convencimiento firme de que la arquitectura, además de atender a las necesidades de las personas, debía responder al lugar y dialogar con el paisaje. Este método se basaba en el ejercicio de una práctica teórica, alimentada por la experiencia y comprometida con el oficio. Esta estrategia implicaba un posicionamiento intelectual ante la arquitectura de igual valor que una aproximación teórica. Sus obras son sus manifiestos.

Evaluation of Development Projects: a Process-Centered Approach in the Outskirts of Lima, Peru.

Development cooperation projects work with people involved in processes of change and social transformation. While the main objective of the intervention is the development process itself, the project?s quality will be determined by the way of implementing it. Its success lies in the sustainability of the generated processes and the connection with them by the involved actors. The evaluation analyses both aspects. This article examines the evaluation, under a process approach, of a project on urban agriculture in Lima (Peru). The results show that the use of this approach, which combines different evaluation tools, allows the identification and analysis of the processes with the involved members, providing a better understanding of the real sustainability of the results.

La ciudad desde la casa: ciudades espontáneas en Lima.

Los asentamientos informales en Lima surgen de la colocación de casas de estera en el desierto, en condiciones de precariedad y pobreza. Sin embargo, en estas siete décadas de existencia se han transformado en barrios relativamente integrados a la ciudad y con un considerable nivel de desarrollo. En esta investigación se describe cómo se ha generado un tejido urbano donde los procesos habituales de planificación, de la gran escala a la pequeña, de la ciudad a la casa (urbanización-parcelación-edificación) se ven invertidos encontrando, en esta inversión, el mecanismo clave de su desarrollo. La casa de estera, en origen el único material para asentarse en el territorio, se convierte, más allá de un techo para sus ocupantes, en una estrategia para crear ciudad. La vivienda es taller o tienda, aportando esos usos al tejido urbano; cambia de funciones según las necesidades de los habitantes; crece a medida que se densifica el barrio, muta su tipología (de unifamiliar a colectiva) o de carácter (de rural a urbana) cuando el asentamiento pasa de pueblo a barrio. La casa crece al tiempo que crece la ciudad que forma; ambos se transforman mutuamente y esta simbiosis confiere al tejido su dinamismo y capacidad para evolucionar.

El concurso del tiempo : las viviendas progresivas del PREVI-Lima

La tesis se propone estudiar y analizar críticamente las viviendas progresivas del concurso internacional de arquitectura PREVI llevado a cabo en la ciudad de Lima en los años setenta y en el que participaron, entre otros, arquitectos como Atelier 5, Aldo Van Eyck, Candilis, Josic and Woods o José Luis Íñiguez de Ozono y Vázquez de Castro. Los casi cincuenta años transcurridos desde la construcción de las propuestas nos permiten realizar una crítica de los proyectos de construcción progresiva desde el punto de vista del crecimiento de las agrupaciones, las unidades de vivienda y las tecnologías empleadas o los mecanismos de gestión. Este estudio, a su vez, nos lleva a plantear la cuestión de la posible vigencia de este tipo de realizaciones en el Perú actual y en otros entornos latinoamericanos. ABSTRACT: The aim of this thesis is to study, analyse and evaluate critically the progressive housing projects of the international architectural competition PREVI that took place in Lima in the seventies. In this proposal were involved, among others, architects such as Atelier 5, Aldo Van Eyck, Candilis, Josic and Woods and José Luis Iñiguez de Ozoño and Vázquez de Castro. These proposals were built fifty years ago. It allows us to review these progressive projects from a new perspective and to evaluate them from the point of view of housing types and groups, innovative technologies or management strategies. In addition, this study leads us to think about the possibility of proposals like this in current Peru and other Latin American locations.