Spelling suggestions: "subject:"horas"" "subject:"torus""
11 |
A Platform for reliable computing on clusters using group communications.Rough, Justin, mikewood@deakin.edu.au January 2001 (has links)
Shared clusters represent an excellent platform for the execution of parallel applications given their low price/performance ratio and the presence of cluster infrastructure in many organisations. The focus of recent research efforts are on parallelism management, transport and efficient access to resources, and making clusters easy to use. In this thesis, we examine reliable parallel computing on clusters. The aim of this research is to demonstrate the feasibility of developing an operating system facility providing transport fault tolerance using existing, enhanced and newly built operating system services for supporting parallel applications. In particular, we use existing process duplication and process migration services, and synthesise a group communications facility for use in a transparent checkpointing facility. This research is carried out using the methods of experimental computer science.
To provide a foundation for the synthesis of the group communications and checkpointing facilities, we survey and review related work in both fields. For group communications, we examine the V Distributed System, the x-kernel and Psync, the ISIS Toolkit, and Horus. We identify a need for services that consider the placement of processes on computers in the cluster. For Checkpointing, we examine Manetho, KeyKOS, libckpt, and Diskless Checkpointing. We observe the use of remote computer memories for storing checkpoints, and the use of copy-on-write mechanisms to reduce the time to create a checkpoint of a process.
We propose a group communications facility providing two sets of services: user-oriented services and system-oriented services. User-oriented services provide transparency and target application. System-oriented services supplement the user-oriented services for supporting other operating systems services and do not provide transparency. Additional flexibility is achieved by providing delivery and ordering semantics independently.
An operating system facility providing transparent checkpointing is synthesised using coordinated checkpointing. To ensure a consistent set of checkpoints are generated by the facility, instead of blindly blocking the processes of a parallel application, only non-deterministic events are blocked. This allows the processes of the parallel application to continue execution during the checkpoint operation. Checkpoints are created by adapting process duplication mechanisms, and checkpoint data is transferred to remote computer memories and disk for storage using the mechanisms of process migration. The services of the group communications facility are used to coordinate the checkpoint operation, and to transport checkpoint data to remote computer memories and disk.
Both the group communications facility and the checkpointing facility have been implemented in the GENESIS cluster operating system and provide proof-of-concept. GENESIS uses a microkernel and client-server based operating system architecture, and is demonstrated to provide an appropriate environment for the development of these facilities.
We design a number of experiments to test the performance of both the group communications facility and checkpointing facility, and to provide proof-of-performance. We present our approach to testing, the challenges raised in testing the facilities, and how we overcome them. For group communications, we examine the performance of a number of delivery semantics. Good speed-ups are observed and system-oriented group communication services are shown to provide significant performance advantages over user-oriented semantics in the presence of packet loss. For checkpointing, we examine the scalability of the facility given different levels of resource usage and a variable number of computers. Low overheads are observed for checkpointing a parallel application.
It is made clear by this research that the microkernel and client-server based cluster operating system provide an ideal environment for the development of a high performance group communications facility and a transparent checkpointing facility for generating a platform for reliable parallel computing on clusters.
|
12 |
Vérification semi-formelle et synthèse automatique de PSL vers VHDLOddos, Y. 27 November 2009 (has links) (PDF)
La vérification à base de propriétés (PBV) est devenue un élément essentiel des flots de conception pour supporter la vérification de circuits complexes. Pour de tels composants où les techniques de vérification formelle ne peuvent s'appliquer, la vérification dynamique à base de propriétés connecte au circuit des moniteurs et des générateurs de test synthétisés à partir de propriétés pour construire de manière simple un environnement de test. Durant cette thèse une partie des travaux à consisté à développer une approche de synthèse de propriétés pour la génération de vecteurs de test. Dans ce contexte, les propriétés décrivent l'environnement du circuit sous test. Elles sont synthétisées en générateurs produisant des séquences de test respectant la propriété correspondante. Il est alors possible de spécifier et d'obtenir un modèle pour tout l'environnement du circuit. Alors que notre approche est modulaire, une méthode à base d'automates a été développée en collaboration avec l'université de McGill. La contribution la plus intéressante de cette thèse tiens dans la méthode qui a été mise en place pour synthétiser une spécification temporelle en un circuit correct par construction. Alors que les approches de l'état de l'art ont une complexité polynomiale, la nôtre est linéaire en la spécification. L'outil SyntHorus a été développé pour supporter cette méthode et synthétise en quelques secondes un circuit correct par construction à partir d'une spécification de plusieurs centaines de propriétés. La correction des générateurs et de la méthode de synthèse a été effectuée à l'aide du prouveur de théorème PVS. Les méthodes et outils développés durant cette thèse ont été validés, renforcés et transférés dans l'industrie grâce à plusieurs coopérations (Thalès Group, Dolphin Integration et ST-Microelectronics) et au projet ANR SFINCS.
|
13 |
"Die Epiphanie und Erneuerung der Macht Gottes" : Szenen des täglichen Kultbildrituals in den ägyptischen Tempeln der griechisch-römischen Epoche /Hussy, Holger. January 2007 (has links)
Univ., Diss.--Würzburg, 2002.
|
14 |
Recherches sur le système de représentations symboliques de l’art néolithique aux textes des pyramides- Origines et formation des éléments de la religion solaire de l’Egypte antique / Research on the symbolic representations system in Egypt from Neolithic art to the pyramid texts.- Origin and formation of solar religion elements in pharaonic EgyptSweydan, Francois 28 February 2011 (has links)
Dès les premières dynasties, le pictogramme fut dans l’écriture le prolongement des représentations figuratives naturalistes, logogrammes dans les palettes funéraires décorées protodynastiques. Ce constat nous porte à les mettre en correspondance avec l’art pariétal du néolithique nubien, le prédynastique égyptien, et celui des aires culturelles périphériques. La reconsidération des pétroglyphes en tant que symboles et idéogrammes, c’est-à-dire des mythogrammes autant que des logogrammes-phonogrammes polysémiques permet de dégager un système structurel de représentations symboliques universel dans la vallée du Nil. Essentiellement funéraire, il est organisé autour d’une nouvelle lecture en relation aux mythes fondateurs de l’Œil d’Horus/solaire, s’exprime dans des rites primitifs de revivification, de renaissance, néolithiques et prédynastiques, explicités ensuite durant les premières dynasties sur des tablettes, des sceaux-cylindres votifs, et l’onction du mort avec les sept huiles canoniques et, enfin, dans les Textes des Pyramides. Contrairement à l’idée commune d’opposition des notions de Nature-Culture, il est question de les conjuguer, de réconcilier la dualité non binaire et de voir, par exemple, les fonctions héliotrope et/ou héliophore des animaux du bestiaire soudanien, avec Sokar le faucon funéraire, les garants bienveillants des métamorphoses et de renaissance du soleil/des défunts, par ailleurs, félidés, canidés, antilopes…, investis du numineux des divinités tutélaires. À la lueur d’une nouvelle lecture du mythe “osirien” primitif de métamorphose, nous reconsidérons les conceptions sur le sacrifice animal sur des bases d’anthropologie religieuse. Loin d’une maîtrise et soumission de la nature, et d’un diffusionnisme, l’interculturalité de la pensée mythique archaïque première dans la vallée nubiano-égyptienne et des régions périphériques multiethniques implique, vis-à-vis du monde naturel et des forces spirituelles numineuses, la transculturalité des conceptions solaires et le partage pluriculturel, transhistorique des croyances résurrectionnelles polycycliques. Ainsi, les pétroglyphes d’animaux, les scènes de chasse animale, les représentations de barques, de sandales, etc., sont de nature funéraire votive, apotropaïque. / Since the beginning of the first dynasties, the pictogram in writing was the extension of naturalistic figurative representations, logograms in the decorated funerary protodynastic palettes. This statement carry us to link them with the parietal art of Neolithic Nubia, the egyptian Predynastic, and peripheral cultural areas. We have reconsidered the petroglyphs as polysemic symbols and ideograms, i.e. mythograms as well polysemic logograms-phonograms, allowing us to draw up a structural system of symbolic representations, universal in the Nile valley. Basically funerary, the system is organised around a new reading in connection with the founding of the ‘Eye of Horus’/solar myths, and express itself in primitive Neolithic and Predynastic rites of revivification, rebirth, more explicit afterwards during the first dynasties on labels, votive cylinder-seals, and anointing the deads with the seven holy canonical oils, finally in the Pyramid Texts. Contrary to the common idea which opposite the Nature-Culture notions, there is some question to combine them, to reconcile the non-binary duality and to see, for example, the heliotrope functions and/or heliophore animals of the sub-Saharan bestiary, with Sokar the funerary hawk, the benevolent guarantors for the rebirth and metamorphosis of the sun/deads; otherwise felids, canids, antelopes…, invested by the numinous of the protecting divinities. In consequence of a new reading of the primitive ‘osirian’ myth of metamorphosis, we have reconsidered the conceptions about animal sacrifice on the basis of religious anthropology. Far from bringing under control and submission of nature, and diffusionnism, the intercultural (cross-cultural) of the first archaic mythic thought in the multi-ethnic nubian-egyptian valley and associated neighbouring areas involves, towards the natural world and the numinous spiritual strengths, the cross-cultural of solar conceptions and multicultural, trans-historic sharing of the polycyclic resurrectional believes. Thus, the animal petroglyphs, cynegetic scenes, boats and sandals representations, etc., are of funerary votive, apotropaic nature.
|
Page generated in 0.0301 seconds