Search

The difficulties that the Nairobi City faces in handling household waste has led to a growing informal sector taking charge of the garbage. The management of waste in the Kenyan capital thus reveals a phenomenon of co-production in urban public action, in which divers actors, both public and private, are involved. Along with this is fragmentation of powers and territories of urban management. Beyond a lay person's observation that detects a retreat of public authorities and city in neglect, the analysis of waste management from 1964 to 2002 depicts the dynamics of urban regulation. This is carried out by public authorities according to the modalities evolving as per their own values and the structuring of the; Les dificultes de la ville de Nairobi a gerer les dechets menagers ont conduit a une informalisation croissante de la prise en charge ordures. La gestion des dechets dans la capitale kenyane revele ainsi un phenomene de co-production de l'action publique urbaine, ou se mele une pluralite d'acteurs publis et prives et une fragmentation des pouvoirs et des territoires de gestion urbains. Au-dela de l'observation profane qui decele dans ces processus un retrait des autorites publiques et un gouvernement de la ville a l'abandon, l'analyse de la gestion des dechets de 1964 a 2002 met en fait en exergue les dynamiques de la regulation urbaine conduite par les autorites publiques, selon des modalites qui evoluent en fonction de leurs propres valeurs et des elements de structuration du secture. L'inefficacite de la collecte publique des dechets apparait ainsi, dans l'analyse de l'Etat au concret, comme un des instruments pivilegies par les Authorites publiques pour le controle social, economique et spatial de la capitale

The difficulties that the Nairobi City faces in handling household waste has led to a growing informal sector taking charge of the garbage. The management of waste in the Kenyan capital thus reveals a phenomenon of co-production in urban public action, in which divers actors, both public and private, are involved. Along with this is fragmentation of powers and territories of urban management. Beyond a lay person's observation that detects a retreat of public authorities and city in neglect, the analysis of waste management from 1964 to 2002 depicts the dynamics of urban regulation. This is carried out by public authorities according to the modalities evolving as per their own values and the structuring of the; Les dificultes de la ville de Nairobi a gerer les dechets menagers ont conduit a une informalisation croissante de la prise en charge ordures. La gestion des dechets dans la capitale kenyane revele ainsi un phenomene de co-production de l'action publique urbaine, ou se mele une pluralite d'acteurs publis et prives et une fragmentation des pouvoirs et des territoires de gestion urbains. Au-dela de l'observation profane qui decele dans ces processus un retrait des autorites publiques et un gouvernement de la ville a l'abandon, l'analyse de la gestion des dechets de 1964 a 2002 met en fait en exergue les dynamiques de la regulation urbaine conduite par les autorites publiques, selon des modalites qui evoluent en fonction de leurs propres valeurs et des elements de structuration du secture. L'inefficacite de la collecte publique des dechets apparait ainsi, dans l'analyse de l'Etat au concret, comme un des instruments pivilegies par les Authorites publiques pour le controle social, economique et spatial de la capitale

Article dans une revue de vulgarisation.; La mémoire disponible sur les machines actuelles tend à augmenter. Les applications en utilisent-elles aussi de plus en plus. Ainsi, la mémoire disponible devient rapidement un facteur limitant et il est bon alors d'éviter tout gaspillage afin de permettre aux programmes de fonctionner. Cet article fait le point sur les systèmes actuels de gestion automatique de la mémoire, et présente celui utilisé dans le compilateur SmallEiffel.

Manual memory management is an endless source of errors that are easy to make and hard to debug. Automatic memory management frees the programmer from these errors, and all modern high-level languages are designed to use it. In the case of a multicore processor, memory management becomes even harder, which makes automatic memory management and garbage collection (GC) even more useful.This dissertation describes the design, proof of correctness, and implementation of a GC for a high-level language featuring multi-thread execution with shared memory parallelism. This is a concurrent GC that strives to minimize the use of expensive synchronization primitives. As for any parallel algorithm, it is hard to trust it without a formal proof of correctness. We give such a proof here, using the TLA framework.We also give an generational GC extension of this algorithm, which gives an important performance boost. This extension makes orignal use of the strong static typing of the ML language in order to cooperate with the GC. This generational GC could also be adapted to other parallel or concurrent garbage collectors.; La gestion manuelle de la mémoire est une source inépuisable d'erreurs faciles à commettre et difficiles à repérer. La gestion automatique de la mémoire libère le programmeur de ces erreurs, et un langage de haut niveau ne se conçoit plus sans gestion automatique de la mémoire.Dans le cas d'une machine parallèle, la gestion de la mémoire devient un problème délicat. Cette difficulté augmente encore l'intérêt d'ungestionnaire de mémoire automatique (GC).Cette thèse est consacrée à la conception, la preuve et l'implémentation d'un GC destiné à être utilisé avec des programmes écrits dans un langage de haut niveau autorisant l'exécution parallèle avec un modèle à mémoire partagée. C'est un GC concurrent qui utilise au minimum les primitives de synchronisation coûteuses. Comme pour tout algorithme parallèle, il est difficile d'avoir confiance dans cet algorithme si on ne dispose pas d'une preuve formelle de sa correction. Nous donnons une telle preuve, en utilisant le formalisme TLA.Nous donnons aussi une extension de cet algorithme par un système de générations, qui permet d'obtenir des performances très satisfaisantes.Cette extension utilise de façon originale le typage statique fort du langage ML pour faire coopérer le programme avec le GC. Cette extension pourrait aussi s'adapter à d'autres GC concurrents ou parallèles.