4. Outils pour la synchronisation F. Boyer, Laboratoire Sardes
|
|
- Alfred Perras
- il y a 8 ans
- Total affichages :
Transcription
1 4. Outils pour la synchronisation F. Boyer, Laboratoire Sardes Le problème Insuffisance des solutions de base (verrous) Les solutions de plus haut niveau Les Sémaphores Les Moniteurs Les Sections Critiques Conditionnelles
2 Ce cours a été conçu à partir de Cours de E. Berthelot Cours de A. Sylberschatz Cours de A. Griffaut Cours de H. Bouzourfi, D. Donsez
3 Insuffisance des solutions de base pour la synchronisation Les verrous représentent une solution simple Ils ne permettent pas à eux-seuls de gérer des attentes passives conditionnelles
4 Exemple : parking Parking de N places gestion des entrées et des sorties Code non synchronisé (incorrect): données partagées: int n =..; // number of places void enter ( ) { void leave( ) { while (n==0) ; n++; n--;
5 Exemple : parking (2) Code synchronisé (incorrect) : données partagées: int n =..; // number of places Lock l; // synchronizing any access to n void enter ( ) { void leave( ) { l.enter(); l.enter(); while (n==0) ; n++; n--; l.exit(); l.exit();
6 Exemple : parking (3) Code synchronisé : données partagées: int n =..; // number of places Lock l; // synchronizing any access to n void enter ( ) { void leave( ) { l.enter(); l.enter(); while (n==0) { n++; l.exit(); sleep(..); l.enter(); l.exit(); n--; l.exit(); Attente «semi-active»
7 Exemple : parking (4) Code synchronisé: données partagées: int n =..; // number of places void enter ( ) { void leave( ) { if (n==0) <wait>; n++; n--; if (<a processus is waiting>) <wakeup the processus>; Sections critiques
8 Solutions de plus haut niveau Les principes : exploiter la sémantique de l application pour Endormir un processus lorsqu il ne peut pas continuer à s exécuter Le réveiller lorsqu il peut continuer à s exécuter Les solutions : Les sémaphores Attente passive conditionnelle Les moniteurs Les sections critiques conditionnelles
9 Sémaphores (Dijkstra, 1965) Sémaphore S : compteur S.c file d attente S.f Modélise un nombre de ressources (ou une condition de passage) Processus en attente Fournit 2 opérations atomiques : P V Prendre une ressource Libérer une ressource
10 Sémaphores (Dijkstra, 1965) stop() suspend le processus courant wakeup(p) remet P dans la file des prêts wait() ou P (): S.c-- if S.c < 0 do { // no more free resources put(myself, S.f); stop(); // suspension signal() ou V (): S.c++; if (S.c <= 0) do { // at least 1 waiting process get(p, S.f); wakeup(p); Sections critiques
11 Sémaphores Compteur S.c == S.c initial + NV - NP NV est le nombre d opérations V exécutées sur le sémaphore NP est le nombre d opérations P exécutées sur le même sémaphore Compteur S.c < 0 : correspond au nombre de processus bloqués Compteur S.c > 0 : correspond au nombre de ressources disponibles Compteur S.c == 0 : aucune ressource disponible et aucun processus bloqué
12 Mise en oeuvre des SC avec un sémaphore Données partagées: Semaphore mutex = new Semaphore(1); // initial value for the Semaphore s counter Processus Pi: mutex.p(); <critical section> mutex.v();
13 Application bancaire avec un sémaphore Les opérations suivantes doivent être exécutées en exclusion mutuelle : cpte = cpte + montant; cpte = cpte - montant; Ces deux opérations sont des sections critiques
14 Application bancaire avec un sémaphore semaphore mutex = new Semaphore(1); // initial value for the Semaphore s counter credit(account, amount) : mutex.p(); account= account+ amount; mutex.v(); PB : séquentialisation des opérations qqsoit le compte Utiliser un sémaphore par compte?
15 RDV avec un sémaphore Exécuter B dans P2 seulement après que A ait été exécuté dans P1 Utilise un sémaphore rdv initialisé à 0 P1 M A rdv.v(); P2 M rdv.p(); B Le sémaphore exprime les conditions d attente et de réveil
16 Parking avec un sémaphore Problème du parking N places Entrée() et Sortie() Semaphore s = new Semaphore(N); enter ( ) leave( ) s.p(); s.v();
17 Problème du producteur/consommateur Msg Producteur Consommateur Conditions de dépôt et de retrait Dépôt : buffer non plein Retrait : buffer non vide
18 Producteur / Consommateur Méthodes de conception : Soit on utilise des variables pour évaluer les conditions de dépôt et de retrait, et on protège ces variables par un sémaphore mutex Boolean notempty, notfull; Ou bien : Int nbempty, nbfull; Soit on utilise des sémaphores pour représenter les conditions de dépôt et de retrait Semaphore notempty, notfull;
19 Producteur / Consommateur Données partagées : Msg buffer[] = new Msg[1]; // production condition Semaphore notfull = new Semaphore(1); // consommation condition Semaphore notempty = new Semaphore(0); Semaphore mutex = new Semaphore(1);
20 Producteur / Consommateur Processus Producteur : produce (Msg msg) { // if the buffer is full, wait until it becomes empty notfull.p(); mutex.p(); buffer[0] = msg; mutex.v(); // wakeup some waiting process notempty.v();
21 Producteur / Consommateur Processus Consommateur Msg Consume { // if buffer is empty, wait until it becomes full notempty.p(); mutex.p(); Msg msg = buffer[0]; mutex.v(); // wakeup some waiting process notfull.v(); return msg; Mutex nécessaire?
22 Producteur / Consommateur Gestion d un buffer de N cases (N>1) Données partagées : int buffersz; Msg buffer[]; Semaphore notfull; Semaphore notempty; int in = 0, out = 0; Semaphore mutex; Initialisation : public ProdCons(int buffersz) { this.buffersz = buffersz; buffer = new Msg[bufferSz]; notfull = new Semaphore(bufferS notempty = new Semaphore(0); mutex = new Semaphore(1);
23 Producteur / Consommateur Processus Producteur, buffer à N cases (N>1) : Produce(Msg msg) { // if the buffer is full, wait until it becomes empty notfull.p(); mutex.p(); buffer[in] = msg; in = in + 1 % buffersz; mutex.v(); // wakeup some waiting process notempty.v();
24 Producteur / Consommateur Processus Consommateur,buffer à N cases (N>1) Msg Consume() { // if buffer is empty, wait until it contains one message notempty.p(); mutex.p(); Msg msg = buffer[out]; out = out + 1 % buffersz; mutex.v(); // wakeup some waiting process notfull.v();
25 Producteur / Consommateur Pas de parallélisme entre productions et consommations -> manque d efficacité Les opérations suivantes doivent être exclusives in = in + 1 % buffersz (resp.) out = out + 1 % buffersz mettre en SC la manipulation de in et de out Sémaphore mutexin = new Semaphore(1); Sémaphore mutexout = new Semaphore(1);
26 Producteur / Consommateur Processus Producteur, buffer à N cases (N>1) Produce(Msg msg) { // if buffer is full, wait for one empty entry notfull.p(); mutexin.p(); buffer[in] = msg; in = in + 1 % buffersz; mutexin.v(); // wakeup some waiting process notempty.v();
27 Producteur / Consommateur Processus Consommateur, buffer à N cases (N>1) Msg Consume() { notempty.p(); // if buffer is empty, wait for one item mutexout.p(); Msg msg = buffer[out]; out = out + 1 % buffersz; mutexout.v(); notfull.v(); return msg;
28 Interblocages Les sémaphores ne garantissent pas une solution correcte : P(mutex); if P(S); interblocage possible else V(S); V(mutex); REGLE: jamais de blocage dans une SC sans libérer la SC La gestion des interblocages est étudiée au chapître 4
29 Le moniteur Module comprenant Des données Des procédures d accès (P1,..,Pn) Une procédure d initialisation Des conditions Les procédures sont exécutées en exclusion mutuelle Une condition est une structure fournissant deux opérations : - wait() bloque le processus courant - signal() réveille un processus bloqué s il y en a un. Le signal est fugace. en général, les conditions sont gérées de manière FIFO
30 Schéma de moniteur monitor <monitor-name> { <shared variables + conditions declarations> procedure P1 ( ) {... procedure P2 ( ) {... procedure Pn ( ) {... { initialization code
31 Vue schématique d un moniteur
32 Fonctionnement d un moniteur Au maximum un seul processus actif dans le moniteur Lors d un signal Soit le signalant garde le moniteur (priorité signalant) Soit le signalé prend le moniteur (priorité signalé) Libération du moniteur Lorsque la procédure en cours est terminée Lors d un wait Lors de la libération du moniteur Le moniteur peut être alloué en priorité à un processus déjà dans le moniteur (un signalé ou un signalant selon la priorité appliquée lors du signal) Ou bien il n y a pas de règle (tous les processus sont en concurrence)
33 Moniteur SectionCritique Monitor SC { boolean free = true; Condition sc; procedure entrysc() while (! free) sc.wait(); free = false procedure exitsc() free = true sc.signal(); // appel systématique
34 Moniteur Producteur/Consommateur Monitor ProdConsMonitor int buffersz = 0; int nbmsg = 0; Msg buffer[]; Condition notempty, notfull; procedure ini(int buffersz) this.buffersz = buffersz; buffer = new Msg[buffersz]; procedure produce(msg msg) if (nbmsg==buffer_sz) notfull.wait(); buffer[in] = msg; in = in + 1 % BUFFER_SZ; nbmsg++; procedure consume() : Msg if (nbmsg==0) notempty.wait(); Msg msg = buffer[out]; out = out + 1 % BUFFER_SZ; nbmsg-- notfull.signal(); notempty.signal();
35 Les sections critiques conditionnelles Outil de synchronisation POSIX (verrou + condition) Gestion explicite de l exclusion mutuelle lock(verrou) wait(verrou, condition) signal(verrou, condition) unlock(verrou) wait( V, C ) libère le verrou V, bloque le processus courant sur C, puis reprend le verrou V à son réveil signal( V, C ) réveille un processus bloqué sur C, s il y en a un. (fugace) En général, verrous FIFO
36 SCC Parking SCC Parking { Condition freeplaces; Lock v; int nfree; void init (int nbplaces) { nfree = nbplaces; void enter() lock(v); (if nfree == 0) wait (v,freeplaces); nfree--; unlock(v); void exit () lock(v); n--; signal(v,freeplaces); unlock(v);
37 SCC «Moniteur» (Implantation procédurale d un moniteur avec une SCC) monitor M { condition c; procedure P ( ) { wait(c)... signal(c) SCC M { condition c; lock l; void P ( ) { lock(l);... wait(c, l);... signal(c,l)... unlock(l);
38 Implantation des SCC priorité signalant avec vol de cycles class Scc { Lock mutex, condition; int nbwaiting; // number of processes waiting for the Scc public Scc { mutex = new Lock(); // this lock manages the Scc mutual exclusion condition = new Lock(); // this lock manages a FIFO waiting set of threads condition.lock(); nbwaiting = 0; public void lock () { mutex.lock(); public void unlock () { mutex.unlock(); // ensure that following calls to condition.lock will block
39 Implantation des SCC (2) priorité signalant avec vol de cycles public void wait() { nbwaiting++; mutex.unlock(); // free the Scc condition.lock(); // block the current process mutex.lock(); // come back in the Scc public void signal() { if (nbwaiting > 0) { nbwaiting--; condition.unlock(); // wake up a waiting process public void signalall() { while (nbwaiting > 0) { nbwaiting--; condition.unlock();
40 Implantation des SCC à base de verrous priorité signalant sans vol de cycles class Scc { Lock mutex; Lock condition; int nbwaiting; // number of processes waiting for the Scc Lock wakeup; // to manage the coming back of the wakeup processes in the Scc int nbwakeup; // number of wakeup processes public Scc { mutex = new Lock(); condition = new Lock(); waked = new Lock(); condition.lock(); wakeup.lock(); nbwaiting = 0; nbwakeup = 0; // ensure that following calls to condition.lock will block // ensure that following calls to wakeup.lock will block
41 Implantation des SCC (2) priorité signalant sans vol de cycles public void lock () { mutex.lock(); public void unlock () { if (nbwakeup > 0) { nbwakeup --; wakeup.unlock(); // give the Scc to a wakeup process else { mutex.unlock(); // free the Scc
42 Implantation des SCC (3) priorité signalant sans vol de cycles public void wait() { nbwaiting++; mutex.unlock(); condition.lock(); // block myself in the condition waiting-set wakeup.lock(); //block myself in the wakeup waiting-set public void signal() { if (nbwaiting > 0) { nbwaiting--; condition.unlock(); nbwakeup++; public void signalall() { while (nbwaiting)> 0) { nbwaiting--; condition.unlock(); nbwakeup++;
43 Synchronisation Java Eléments synchronisés : Objets Classes Principes d un moniteur Méthodes synchronisées = exécutées en exclusion mutuelle Opérations wait et notify/notifyall pour gérer des conditions class Example { int cpt; // shared data public void synchronized get() { if (cpt <= 0) wait(); cpt--; public void synchronized put() { cpt++; notify();
44 Principes d implantation de la synchronisation Java (1) Tout objet possède un verrou (transparent / programmeur) Toute classe possède un verrou (transparent / programmeur) Gestion FIFO / non FIFO dépend du JDK Méthodes synchronisées : Méthode d instance : currentobject.lock() <méthode> currentobject.unlock() Méthode de classe (static): currentclass.lock() <méthode> currentclass.unlock()
45 Principes d implantation de la synchronisation Java (2) Tout objet / classe synchronisé(e) possède un verrou et une file de processus bloqués wait() lock() put(current_thread, blocked) current.lock() current.unlock() <stop the current thread> current.lock() notify() unlock() if!empty(blocked) { current.unlock(); thread = get(blocked) wakeup(thread)
46 Codage des sémaphores en Java (<1.5) Class Semaphore { private int count; public semaphore(int count) { this.count = count; public synchronized void P() throws Exception { if ((--count) < 0) wait(); public synchronized void V() throws Exception { if ((++count) <= 0) notify();
47 Classe Semaphore prédéfinie par Java (1.5) class Semaphore { public void acquire() // Acquires a permit from this semaphore, blocking until one is available, or the thread is interrupted. public int availablepermits() // Returns the current number of permits available in this semaphore. public Collection<Thread> getqueuedthreads() // Returns a collection containing threads that may be waiting to acquire. public boolean isfair() // Returns true if this semaphore has fairness set true.protected public void release() // Releases a permit, returning it to the semaphore. public boolean tryacquire() // Acquires a permit from this semaphore, only if one is available at the time of invocation.
48 Interface Lock prédéfinie par Java (1.5) interface Lock { public void lock() // Acquires the lock. public boolean trylock() // Acquires the lock only if it is free at the time of invocation. public void unlock // Releases the lock. public Condition newcondition // Returns a new condition instance that is bound to this lock instance. Implemented by : ReentrantLock, ReentrantReadWriteLock,
49 Interface Condition prédéfinie par Java (1.5) interface Condition { public void await(); // Causes the current thread to wait until it is signalled or interrupted. public void signal(); // Wakes up one waiting thread. public void signalall(); // Wakes up all waiting threads.
50 Classe BlockingQueue prédéfinie par Java (1.5) interface BlockingQueue { A Queue that additionally supports operations (as put / take) that wait for the queue to become non-empty when retrieving an element, and wait for space to become available in the queue when storing an element Direct Known Subclasses: ArrayBlockingQueue ( a queue implemented with an array) DelayQueue (an element can be taken when its delay has expired) LinkedBlockingQueue (elements are ordered / FIFO) PriorityBlockingQueue (elements are ordered according to their priority) SynchronousQueue ( a put wait for a take and reversely)
51 Outils de synchronisation avec Windows 2000 Utilise le masquage des interruptions pour gérer l exécution en exclusion mutuelle sur les systèmes mono-processeurs. Utilise les spinlocks sur les systèmes multiprocesseurs. Fournit des constructions de plus haut niveau (dispatcher objects ) qui peuvent être utilisés comme des sémaphores. Les dispatcher objects fournissent la notion d événement, qui peut être utilisé comme condition.
52 Problèmes classiques de synchronisation Allocation de ressources (parking, sac de jetons, ) Producteurs / Consommateurs Lecteurs / Rédacteurs Philosophes mangeurs de spaguettis étudiés en TD
4. Outils pour la synchronisation F. Boyer, Laboratoire Lig Fabienne.Boyer@imag.fr
4. Outils pour la synchronisation F. Boyer, Laboratoire Lig Fabienne.Boyer@imag.fr Le problème Insuffisance des solutions de base (verrous) Les solutions de plus haut niveau Les Sémaphores Les Moniteurs
Plus en détailCours 2: Exclusion Mutuelle entre processus (lourds, ou légers -- threads)
Cours 2: Exclusion Mutuelle entre processus (lourds, ou légers -- threads) Concurrence entre processus & Problème d Exclusion Mutuelle 1. Introduction 2. Solutions avec attente active, dites Sans Arbitrage
Plus en détailIntroduction à la programmation concurrente
Introduction à la programmation concurrente Moniteurs Yann Thoma Reconfigurable and Embedded Digital Systems Institute Haute Ecole d Ingénierie et de Gestion du Canton de Vaud This work is licensed under
Plus en détailProblèmes liés à la concurrence
ENS Cachan Problématique Difficile de gérer la concurrence : Pas toujours facile d avoir des fonctions réentrantes. Risque de race condition : ex : x :=x+1 x :=x+1 On voudrait des blocs d instructions
Plus en détailOn appelle variable condition une var qui peut être testée et
Un concept plus général: g Variables condition On appelle variable condition une var qui peut être testée et endort le thread qui la teste si la condition est fausse le réveille quand la condition devient
Plus en détailSynchro et Threads Java TM
Synchro et Threads Java TM NICOD JEAN-MARC Master 2 Informatique Université de Franche-Comté UFR des Sciences et Techniques septembre 2008 NICOD JEAN-MARC Synchro et Threads avec Java TM 1 / 32 Sommaire
Plus en détailThreads. Threads. USTL http://www.lifl.fr/ routier 1
Threads USTL http://www.lifl.fr/ routier 1 Rappels - Définitions un Process est un programme qui tourne et dispose de ses propres ressources mémoire. OS multi-tâche plusieurs process en concurrence un
Plus en détailCours de Systèmes d Exploitation
Licence d informatique Synchronisation et Communication inter-processus Hafid Bourzoufi Université de Valenciennes - ISTV Introduction Les processus concurrents s exécutant dans le système d exploitation
Plus en détailExclusion Mutuelle. Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr. Université de Provence. 9 février 2011
Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr Université de Provence 9 février 2011 Arnaud Labourel (Université de Provence) Exclusion Mutuelle 9 février 2011 1 / 53 Contexte Epistémologique
Plus en détailÉcole Polytechnique de Montréal. Département de Génie Informatique et Génie Logiciel. Cours INF2610. Contrôle périodique.
École Polytechnique de Montréal Département de Génie Informatique et Génie Logiciel Cours INF2610 Contrôle périodique Automne 2013 Date : 11 octobre 2013 de 18h à 20h Professeur : Boucheneb Hanifa Documentation
Plus en détailExercices INF5171 : série #3 (Automne 2012)
Exercices INF5171 : série #3 (Automne 2012) 1. Un moniteur pour gérer des ressources Le moniteur MPD 1 présente une première version d'un moniteur, exprimé en pseudo-mpd, pour gérer des ressources le nombre
Plus en détailIntroduction : les processus. Introduction : les threads. Plan
IN328 Programmation distribuée avec Java et J2EE 2 - Threads en Java Introduction : les processus Un processus est un ensemble d instructions à exécuter, un espace mémoire réservé et éventuellement d autres
Plus en détailLes processus légers : threads. Système L3, 2014-2015 1/31
Les processus légers : threads Système L3, 2014-2015 1/31 Les threads Les threads sont des processus légers exécutés à l intérieur d un processus L exécution des threads est concurrente Il existe toujours
Plus en détailSystèmes d exploitation Gestion de processus
Systèmes d exploitation Gestion de processus SITE : http://www.sir.blois.univ-tours.fr/ mirian/ Systèmes d exploitation - Mírian Halfeld-Ferrari p. 1/5 Les processus, à quoi ça sert? À faire plusieurs
Plus en détailJ2SE Threads, 1ère partie Principe Cycle de vie Création Synchronisation
J2SE Threads, 1ère partie Principe Cycle de vie Création Synchronisation Cycle Ingénierie 2e année SIGL Dernière mise à jour : 19/10/2006 Christophe Porteneuve Threads Principes Cycle de vie Création java.lang.thread
Plus en détailInfo0604 Programmation multi-threadée. Cours 5. Programmation multi-threadée en Java
Info0604 Programmation multi-threadée Cours 5 Programmation multi-threadée en Java Pierre Delisle Université de Reims Champagne-Ardenne Département de Mathématiques et Informatique 18 février 2015 Plan
Plus en détailLOG4430 : Architecture et conception avancée
LOG4430 : Architecture et conception avancée Abdou Maiga Patrons pour la conception d applications distribuées Département de génie informatique et de génie logiciel École Polytechnique de Montréal Guéhéneuc,
Plus en détailNotion de thread (1/2)
Notion de thread (1/2) La machine virtuelle java (JVM) permet d'exécuter plusieurs traitements en parallèle (en pratique, ils s'exécutent par tranche et en alternance sur le processeur). Ces traitements
Plus en détailNoyau de concurrence par moniteur pour Java ou C# pour une autre sémantique plus fiable et plus performante
Noyau de concurrence par moniteur pour Java ou C# pour une autre sémantique plus fiable et plus performante Claude Kaiser, Jean-François Pradat-Peyre CEDRIC - CNAM Paris 292, rue St Martin, 75003 Paris
Plus en détailUn ordonnanceur stupide
Un ordonnanceur simple Université Paris Sud L objet des exercices qui suivent est de créer un ordonanceur implantant l algorithme du tourniquet ( round-robin scheduler ). La technique utilisée pour élire
Plus en détailTD2 Programmation concurrentielle
TD2 Programmation concurrentielle Développement Logiciel (L2-S4) Lundi 10 février 2014 Exercice 1 (Au bar...) Trois clients se trouvent au bar. Il est tard, ils sont fatigués, et ils s endorment sur le
Plus en détailIntroduction à Java. Matthieu Herrb CNRS-LAAS. Mars 2014. http://homepages.laas.fr/matthieu/cours/java/java.pdf
Introduction à Java Matthieu Herrb CNRS-LAAS http://homepages.laas.fr/matthieu/cours/java/java.pdf Mars 2014 Plan 1 Concepts 2 Éléments du langage 3 Classes et objets 4 Packages 2/28 Histoire et motivations
Plus en détailINTRODUCTION AUX SYSTEMES D EXPLOITATION. TD2 Exclusion mutuelle / Sémaphores
INTRODUCTION AUX SYSTEMES D EXPLOITATION TD2 Exclusion mutuelle / Sémaphores Exclusion mutuelle / Sémaphores - 0.1 - S O M M A I R E 1. GENERALITES SUR LES SEMAPHORES... 1 1.1. PRESENTATION... 1 1.2. UN
Plus en détailMELTING POTES, LA SECTION INTERNATIONALE DU BELLASSO (Association étudiante de lʼensaparis-belleville) PRESENTE :
MELTING POTES, LA SECTION INTERNATIONALE DU BELLASSO (Association étudiante de lʼensaparis-belleville) PRESENTE : Housing system est un service gratuit, qui vous propose de vous mettre en relation avec
Plus en détailExécutif temps réel Pierre-Yves Duval (cppm)
Exécutif temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 Plan Exécutif Tâches Evénements et synchronisation Partage de ressources Communications
Plus en détailSupervision et infrastructure - Accès aux applications JAVA. Document FAQ. Page: 1 / 9 Dernière mise à jour: 15/04/12 16:14
Document FAQ Supervision et infrastructure - Accès aux EXP Page: 1 / 9 Table des matières Introduction... 3 Démarrage de la console JMX...4 I.Généralités... 4 II.WebLogic... 5 III.WebSphere... 6 IV.JBoss...
Plus en détailOnce the installation is complete, you can delete the temporary Zip files..
Sommaire Installation... 2 After the download... 2 From a CD... 2 Access codes... 2 DirectX Compatibility... 2 Using the program... 2 Structure... 4 Lier une structure à une autre... 4 Personnaliser une
Plus en détailSERVEUR DÉDIÉ DOCUMENTATION
SERVEUR DÉDIÉ DOCUMENTATION Release 5.0.6.0 19 Juillet 2013 Copyright 2013 GIANTS Software GmbH, All Rights Reserved. 1/9 CHANGE LOG Correction de bug divers (5.0.6.0) Ajout d une option de relance automatique
Plus en détailCompléter le formulaire «Demande de participation» et l envoyer aux bureaux de SGC* à l adresse suivante :
FOIRE AUX QUESTIONS COMMENT ADHÉRER? Compléter le formulaire «Demande de participation» et l envoyer aux bureaux de SGC* à l adresse suivante : 275, boul des Braves Bureau 310 Terrebonne (Qc) J6W 3H6 La
Plus en détailInstructions pour mettre à jour un HFFv2 v1.x.yy v2.0.00
Instructions pour mettre à jour un HFFv2 v1.x.yy v2.0.00 HFFv2 1. OBJET L accroissement de la taille de code sur la version 2.0.00 a nécessité une évolution du mapping de la flash. La conséquence de ce
Plus en détailM2-Images. Rendu Temps Réel - OpenGL 4 et compute shaders. J.C. Iehl. December 18, 2013
Rendu Temps Réel - OpenGL 4 et compute shaders December 18, 2013 résumé des épisodes précédents... création des objets opengl, organisation des données, configuration du pipeline, draw,... opengl 4.3 :
Plus en détailIntroduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr
Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Sommaire Généralités Caractéristiques récurrentes des STR Types de problèmes soulevées Programmation des STR Prog. concurrente
Plus en détailIntroduction à la Programmation Parallèle: MPI
Introduction à la Programmation Parallèle: MPI Frédéric Gava et Gaétan Hains L.A.C.L Laboratoire d Algorithmique, Complexité et Logique Cours du M2 SSI option PSSR Plan 1 Modèle de programmation 2 3 4
Plus en détailPaxton. ins-20605. Net2 desktop reader USB
Paxton ins-20605 Net2 desktop reader USB 1 3 2 4 1 2 Desktop Reader The desktop reader is designed to sit next to the PC. It is used for adding tokens to a Net2 system and also for identifying lost cards.
Plus en détailRULE 5 - SERVICE OF DOCUMENTS RÈGLE 5 SIGNIFICATION DE DOCUMENTS. Rule 5 / Règle 5
RULE 5 - SERVICE OF DOCUMENTS General Rules for Manner of Service Notices of Application and Other Documents 5.01 (1) A notice of application or other document may be served personally, or by an alternative
Plus en détailRèglement sur le télémarketing et les centres d'appel. Call Centres Telemarketing Sales Regulation
THE CONSUMER PROTECTION ACT (C.C.S.M. c. C200) Call Centres Telemarketing Sales Regulation LOI SUR LA PROTECTION DU CONSOMMATEUR (c. C200 de la C.P.L.M.) Règlement sur le télémarketing et les centres d'appel
Plus en détailProcessus! programme. DIMA, Systèmes Centralisés (Ph. Mauran) " Processus = suite d'actions = suite d'états obtenus = trace
Processus 1) Contexte 2) Modèles de Notion de Points de vue Modèle fourni par le SX Opérations sur les 3) Gestion des Représentation des Opérations 4) Ordonnancement des Niveaux d ordonnancement Ordonnancement
Plus en détailthat the child(ren) was/were in need of protection under Part III of the Child and Family Services Act, and the court made an order on
ONTARIO Court File Number at (Name of court) Court office address Applicant(s) (In most cases, the applicant will be a children s aid society.) Full legal name & address for service street & number, municipality,
Plus en détailPOLICY: FREE MILK PROGRAM CODE: CS-4
POLICY: FREE MILK PROGRAM CODE: CS-4 Origin: Authority: Reference(s): Community Services Department Cafeteria Services and Nutrition Education Division Resolution #86-02-26-15B.1 POLICY STATEMENT All elementary
Plus en détailProjet gestion d'objets dupliqués
Projet gestion d'objets dupliqués Daniel Hagimont Daniel.Hagimont@enseeiht.fr 1 Projet Service de gestion d'objets dupliqués Mise en cohérence lors de la prise d'un verrou sur un objet Pas de verrous imbriqués
Plus en détailCheque Holding Policy Disclosure (Banks) Regulations. Règlement sur la communication de la politique de retenue de chèques (banques) CONSOLIDATION
CANADA CONSOLIDATION CODIFICATION Cheque Holding Policy Disclosure (Banks) Regulations Règlement sur la communication de la politique de retenue de chèques (banques) SOR/2002-39 DORS/2002-39 Current to
Plus en détailFrance SMS+ MT Premium Description
France SMS+ MT Premium Description Summary Subscription : kinematics Subscription via SMS (Kinematic + messages) Subscription via Wap (Kinematic + messages) Subscription via Mix SMS / WAP Subscription
Plus en détailConfirmation du titulaire de la carte en cas de contestation de transaction(s) Cardholder s Certification of Disputed Transactions
Confirmation du titulaire de la carte en cas de contestation de transaction(s) Cardholder s Certification of Disputed Transactions Informations personnelles Nom/Prénom Name / Firstname Numéro de la carte
Plus en détailTD2/TME2 : Ordonnanceur et Threads (POSIX et fair)
UE PC2R page 1/8 TD2/TME2 : Ordonnanceur et Threads (POSIX et fair) Exercice 1 (Modélisation) Chemin de Fer Cet exercice est dédié à l étude d un problème de circulation de trains : Voie! out1 in1 Voie!
Plus en détailImproving the breakdown of the Central Credit Register data by category of enterprises
Improving the breakdown of the Central Credit Register data by category of enterprises Workshop on Integrated management of micro-databases Deepening business intelligence within central banks statistical
Plus en détailas Architecture des Systèmes d Information
Plan Plan Programmation - Introduction - Nicolas Malandain March 14, 2005 Introduction à Java 1 Introduction Présentation Caractéristiques Le langage Java 2 Types et Variables Types simples Types complexes
Plus en détailSupport Orders and Support Provisions (Banks and Authorized Foreign Banks) Regulations
CANADA CONSOLIDATION CODIFICATION Support Orders and Support Provisions (Banks and Authorized Foreign Banks) Regulations Règlement sur les ordonnances alimentaires et les dispositions alimentaires (banques
Plus en détailInstructions Mozilla Thunderbird Page 1
Instructions Mozilla Thunderbird Page 1 Instructions Mozilla Thunderbird Ce manuel est écrit pour les utilisateurs qui font déjà configurer un compte de courrier électronique dans Mozilla Thunderbird et
Plus en détailQuick Start Guide This guide is intended to get you started with Rational ClearCase or Rational ClearCase MultiSite.
Rational ClearCase or ClearCase MultiSite Version 7.0.1 Quick Start Guide This guide is intended to get you started with Rational ClearCase or Rational ClearCase MultiSite. Product Overview IBM Rational
Plus en détailAPPENDIX 2. Provisions to be included in the contract between the Provider and the. Holder
Page 1 APPENDIX 2 Provisions to be included in the contract between the Provider and the Obligations and rights of the Applicant / Holder Holder 1. The Applicant or Licensee acknowledges that it has read
Plus en détailFirst Nations Assessment Inspection Regulations. Règlement sur l inspection aux fins d évaluation foncière des premières nations CONSOLIDATION
CANADA CONSOLIDATION CODIFICATION First Nations Assessment Inspection Regulations Règlement sur l inspection aux fins d évaluation foncière des premières nations SOR/2007-242 DORS/2007-242 Current to September
Plus en détailSixième partie. Programmation multi-activités Java & Posix Threads. Généralités Java Threads POSIX Threads Autres approches
Sixième partie Programmation multi-activités Java & Posix Threads Systèmes concurrents 2 / 55 Plan 1 2 Synchronisation (java d'origine) Synchronisation (java moderne) 3 Synchronisation 4 Microsoft Windows
Plus en détailINITIATION AU LANGAGE JAVA
INITIATION AU LANGAGE JAVA I. Présentation 1.1 Historique : Au début des années 90, Sun travaillait sur un projet visant à concevoir des logiciels simples et performants exécutés dans des PDA (Personnal
Plus en détailA l'avenir, chacun aura son quart d'heure de célébrité.. Andy WAHROL
A l'avenir, chacun aura son quart d'heure de célébrité.. Andy WAHROL trough the In the " trough the mirror " work, the question of the value of a video image as reflection of reality arises and in this
Plus en détailWEB page builder and server for SCADA applications usable from a WEB navigator
Générateur de pages WEB et serveur pour supervision accessible à partir d un navigateur WEB WEB page builder and server for SCADA applications usable from a WEB navigator opyright 2007 IRAI Manual Manuel
Plus en détailDOCUMENTATION - FRANCAIS... 2
DOCUMENTATION MODULE CATEGORIESTOPMENU MODULE CREE PAR PRESTACREA INDEX : DOCUMENTATION - FRANCAIS... 2 INSTALLATION... 2 CONFIGURATION... 2 LICENCE ET COPYRIGHT... 3 SUPPORT TECHNIQUE ET MISES A JOUR...
Plus en détailPremiers Pas en Programmation Objet : les Classes et les Objets
Chapitre 2 Premiers Pas en Programmation Objet : les Classes et les Objets Dans la première partie de ce cours, nous avons appris à manipuler des objets de type simple : entiers, doubles, caractères, booléens.
Plus en détailPlease kindly find below a synoptic table showing the various ways of transport from Mahe to La Digue, with a stop over on Praslin:
Travel information: Island? Please kindly find below a synoptic table showing the various ways of transport from Mahe to La Digue, with a stop over on Praslin: From Mahé to Praslin From Praslin to La Digue
Plus en détailArchived Content. Contenu archivé
ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject
Plus en détailGAME CONTENTS CONTENU DU JEU OBJECT OF THE GAME BUT DU JEU
GAME CONTENTS 3 wooden animals: an elephant, a Polar bear and an African lion 1 Playing Board with two tree stumps, one red and one blue 1 Command Board double sided for two game levels (Green for normal
Plus en détailModélisation des interfaces matériel/logiciel
Modélisation des interfaces matériel/logiciel Présenté par Frédéric Pétrot Patrice Gerin Alexandre Chureau Hao Shen Aimen Bouchhima Ahmed Jerraya 1/28 TIMA Laboratory SLS Group 46 Avenue Félix VIALLET
Plus en détailAMENDMENT TO BILL 32 AMENDEMENT AU PROJET DE LOI 32
THAT the proposed clause 6(1), as set out in Clause 6(1) of the Bill, be replaced with the following: Trustee to respond promptly 6(1) A trustee shall respond to a request as promptly as required in the
Plus en détailTHE LAW SOCIETY OF UPPER CANADA BY-LAW 19 [HANDLING OF MONEY AND OTHER PROPERTY] MOTION TO BE MOVED AT THE MEETING OF CONVOCATION ON JANUARY 24, 2002
2-aes THE LAW SOCIETY OF UPPER CANADA BY-LAW 19 [HANDLING OF MONEY AND OTHER PROPERTY] MOTION TO BE MOVED AT THE MEETING OF CONVOCATION ON JANUARY 24, 2002 MOVED BY SECONDED BY THAT By-Law 19 [Handling
Plus en détailUtiliser une WebCam. Micro-ordinateurs, informations, idées, trucs et astuces
Micro-ordinateurs, informations, idées, trucs et astuces Utiliser une WebCam Auteur : François CHAUSSON Date : 8 février 2008 Référence : utiliser une WebCam.doc Préambule Voici quelques informations utiles
Plus en détailBILL 203 PROJET DE LOI 203
Bill 203 Private Member's Bill Projet de loi 203 Projet de loi d'un député 4 th Session, 40 th Legislature, Manitoba, 63 Elizabeth II, 2014 4 e session, 40 e législature, Manitoba, 63 Elizabeth II, 2014
Plus en détail03/04/2007. Tâche 1 Tâche 2 Tâche 3. Système Unix. Time sharing
3/4/27 Programmation Avancée Multimédia Multithreading Benoît Piranda Équipe SISAR Université de Marne La Vallée Besoin Programmes à traitements simultanés Réseau Réseau Afficher une animation en temps
Plus en détailAPPENDIX 6 BONUS RING FORMAT
#4 EN FRANÇAIS CI-DESSOUS Preamble and Justification This motion is being presented to the membership as an alternative format for clubs to use to encourage increased entries, both in areas where the exhibitor
Plus en détailLoi sur l aide financière à la Banque Commerciale du Canada. Canadian Commercial Bank Financial Assistance Act CODIFICATION CONSOLIDATION
CANADA CONSOLIDATION CODIFICATION Canadian Commercial Bank Financial Assistance Act Loi sur l aide financière à la Banque Commerciale du Canada S.C. 1985, c. 9 S.C. 1985, ch. 9 Current to September 10,
Plus en détailLicence Bio Informatique Année 2004-2005. Premiers pas. Exercice 1 Hello World parce qu il faut bien commencer par quelque chose...
Université Paris 7 Programmation Objet Licence Bio Informatique Année 2004-2005 TD n 1 - Correction Premiers pas Exercice 1 Hello World parce qu il faut bien commencer par quelque chose... 1. Enregistrez
Plus en détailTARIFS PIETONS SAISON PEDESTRIAN RATES SEASON 2014/2015 TARIFS ASSURANCE CARRE NEIGE CARRE NEIGE INSURANCE RATES 2014/2015
FORFAITS PIETONS PEDESTRIAN PASSES TARIFS PIETONS SAISON PEDESTRIAN RATES SEASON 2014/2015 Adulte / Adult 14 à 64 ans inclus 14 to 64 years old Réduit / Reduced 5 à 13 ans inclus / 65 à 74 ans inclus 5
Plus en détailAcce s aux applications informatiques Supply Chain Fournisseurs
Acce s aux applications informatiques Supply Chain Fournisseurs Toujours plus de service pour vous ; rapide, pratique, sécurisé, écologique et gratuit! Vous vous connectez à notre site MESSIER BUGATTI
Plus en détailThank you for choosing the Mobile Broadband USB Stick. With your USB Stick, you can access a wireless network at high speed.
Thank you for choosing the Mobile Broadband USB Stick. With your USB Stick, you can access a wireless network at high speed. Note: This manual describes the appearance of the USB Stick, as well as the
Plus en détailWe Generate. You Lead.
www.contact-2-lead.com We Generate. You Lead. PROMOTE CONTACT 2 LEAD 1, Place de la Libération, 73000 Chambéry, France. 17/F i3 Building Asiatown, IT Park, Apas, Cebu City 6000, Philippines. HOW WE CAN
Plus en détailPARIS ROISSY CHARLES DE GAULLE
GPS 2 34 1 E 49 0 46 N GPS* 2 56 56 E 49 0 12 N Votre contact / Your contact: et / and: Accueil : Cabines téléphoniques publiques Reception: Public telephone kiosks Navette Shuttle AÉROPORT DE TT CAR TRANSIT
Plus en détailPractice Direction. Class Proceedings
Effective Date: 2010/07/01 Number: PD - 5 Title: Practice Direction Class Proceedings Summary: This Practice Direction describes the procedure for requesting the assignment of a judge in a proceeding under
Plus en détailExceptions. 1 Entrées/sorties. Objectif. Manipuler les exceptions ;
CNAM NFP121 TP 10 19/11/2013 (Séance 5) Objectif Manipuler les exceptions ; 1 Entrées/sorties Exercice 1 : Lire un entier à partir du clavier Ajouter une méthode readint(string message) dans la classe
Plus en détailExport Permit (Steel Monitoring) Regulations. Règlement sur les licences d exportation (surveillance de l acier) CONSOLIDATION CODIFICATION
CANADA CONSOLIDATION CODIFICATION Export Permit (Steel Monitoring) Regulations Règlement sur les licences d exportation (surveillance de l acier) SOR/87-321 DORS/87-321 Current to August 4, 2015 À jour
Plus en détailFÉDÉRATION INTERNATIONALE DE NATATION Diving
QUALIFICATION SYSTEM - 2 ND SUMMER YOUTH OLYMPIC GAMES - NANJING 2014 FÉDÉRATION INTERNATIONALE DE NATATION Diving A. Events (5) MEN S EVENTS (2) WOMEN S EVENTS (2) MIXED EVENTS (2) 3m individual springboard
Plus en détailContents Windows 8.1... 2
Workaround: Installation of IRIS Devices on Windows 8 Contents Windows 8.1... 2 English Français Windows 8... 13 English Français Windows 8.1 1. English Before installing an I.R.I.S. Device, we need to
Plus en détailConsultants en coûts - Cost Consultants
Respecter l échéancier et le budget est-ce possible? On time, on budget is it possible? May, 2010 Consultants en coûts - Cost Consultants Boulletin/Newsletter Volume 8 Mai ( May),2010 1 866 694 6494 info@emangepro.com
Plus en détailStructurer ses données : les tableaux. Introduction à la programmation
Structurer ses données : les tableaux Introduction à la programmation Plan du document Introduction Introduire la notion de type Types primitifs Types composés Tableaux de type primitif Page 2 Notion de
Plus en détailSurveillance de Scripts LUA et de réception d EVENT. avec LoriotPro Extended & Broadcast Edition
Surveillance de Scripts LUA et de réception d EVENT avec LoriotPro Extended & Broadcast Edition L objectif de ce document est de présenter une solution de surveillance de processus LUA au sein de la solution
Plus en détailREMBO Version 2.0. Mathrice 2004 DESCRIPTION MISE EN OEUVRE CONCLUSION. laurent.renault@u-picardie.fr
REMBO Version 2.0 Mathrice 2004 DESCRIPTION MISE EN OEUVRE CONCLUSION Description Successeur de BPBatch 3 déclinaisons Rembo Auto Deploy (déploiement massif de clients) Rembo Auto Backup (restauration
Plus en détailPrincipe de TrueCrypt. Créer un volume pour TrueCrypt
Sommaire : Principe de TrueCrypt...1 Créer un volume pour TrueCrypt...1 Premier montage...6 Réglages...8 Save Currently Mounted Volumes as Favorite...8 Settings > Preferences...9 TrueCrypt Traveller pour
Plus en détailCALCUL DE LA CONTRIBUTION - FONDS VERT Budget 2008/2009
Société en commandite Gaz Métro CALCUL DE LA CONTRIBUTION - FONDS VERT Budget 2008/2009 Taux de la contribution au Fonds vert au 1 er janvier 2009 Description Volume Coûts Taux 10³m³ 000 $ /m³ (1) (2)
Plus en détailLOI SUR LA RECONNAISSANCE DE L'ADOPTION SELON LES COUTUMES AUTOCHTONES ABORIGINAL CUSTOM ADOPTION RECOGNITION ACT
ABORIGINAL CUSTOM ADOPTION RECOGNITION ACT ABORIGINAL CUSTOM ADOPTION RECOGNITION REGULATIONS R-085-95 In force September 30, 1995 LOI SUR LA RECONNAISSANCE DE L'ADOPTION SELON LES COUTUMES AUTOCHTONES
Plus en détailCETTE FOIS CEST DIFFERENT PDF
CETTE FOIS CEST DIFFERENT PDF ==> Download: CETTE FOIS CEST DIFFERENT PDF CETTE FOIS CEST DIFFERENT PDF - Are you searching for Cette Fois Cest Different Books? Now, you will be happy that at this time
Plus en détailCedric Dumoulin (C) The Java EE 7 Tutorial http://docs.oracle.com/javaee/7/tutorial/doc/
Cedric Dumoulin (C) The Java EE 7 Tutorial http://docs.oracle.com/javaee/7/tutorial/doc/ Webographie The Java EE 7 Tutorial http://docs.oracle.com/javaee/7/tutorial/doc/ Les slides de cette présentation
Plus en détailLE FORMAT DES RAPPORTS DU PERSONNEL DES COMMISSIONS DE DISTRICT D AMENAGEMENT FORMAT OF DISTRICT PLANNING COMMISSION STAFF REPORTS
FORMAT OF DISTRICT PLANNING COMMISSION STAFF REPORTS LE FORMAT DES RAPPORTS DU PERSONNEL DES COMMISSIONS DE DISTRICT D AMENAGEMENT A Guideline on the Format of District Planning Commission Staff Reports
Plus en détailSNMP for cloud Jean Parpaillon. SNMP4cloud - 1
SNMP for cloud Jean Parpaillon SNMP4cloud - 1 SNMP4cloud - 2 API SNMP4cloud - 3 Modèle API SNMP4cloud - 4 Modèle API Mise en oeuvre SNMP4cloud - 5 Modèle Langages A, B, C API Mise en oeuvre SNMP4cloud
Plus en détailInnovation in Home Insurance: What Services are to be Developed and for what Trade Network?
Brochure More information from http://www.researchandmarkets.com/reports/40137/ Innovation in Home Insurance: What Services are to be Developed and for what Trade Network? Description: Consumer needs in
Plus en détailImport Allocation Regulations. Règlement sur les autorisations d importation CONSOLIDATION CODIFICATION
CANADA CONSOLIDATION CODIFICATION Import Allocation Regulations Règlement sur les autorisations d importation SOR/95-36 DORS/95-36 Current to May 17, 2011 À jour au 1 er 17 mai 2011 Published by the Minister
Plus en détailVTP. LAN Switching and Wireless Chapitre 4
VTP LAN Switching and Wireless Chapitre 4 ITE I Chapter 6 2006 Cisco Systems, Inc. All rights reserved. Cisco Public 1 Pourquoi VTP? Le défi de la gestion VLAN La complexité de gestion des VLANs et des
Plus en détailPackage Contents. System Requirements. Before You Begin
Package Contents DWA-125 Wireless 150 USB Adapter CD-ROM (contains software, drivers, and manual) Cradle If any of the above items are missing, please contact your reseller. System Requirements A computer
Plus en détailAUDIT COMMITTEE: TERMS OF REFERENCE
AUDIT COMMITTEE: TERMS OF REFERENCE PURPOSE The Audit Committee (the Committee), assists the Board of Trustees to fulfill its oversight responsibilities to the Crown, as shareholder, for the following
Plus en détailINTRODUCTION À LA PROGRAMMATION CONCURRENTE
INTRODUCTION À LA PROGRAMMATION CONCURRENTE POLYCOPIÉ DU COURS PCO1 Prof. Claude Evéquoz Prof. Yann Thoma HEIG-VD 2009 Table des matières Table des matières 2 1 Introduction à la programmation concurrente
Plus en détailARCHOS Activity Tracker
ARCHOS Activity Tracker «Archos Connected Self» Application Connecté pour votre confort L'ARCHOS Activity Tracker synchronise automatiquement votre activité quotidienne à votre smartphone ou votre tablette
Plus en détailSmall Businesses support Senator Ringuette s bill to limit credit card acceptance fees
For Immediate Release October 10, 2014 Small Businesses support Senator Ringuette s bill to limit credit card acceptance fees The Senate Standing Committee on Banking, Trade, and Commerce resumed hearings
Plus en détail