ACTUALITES ET DERNIERES NOUVELLES DU COURS

Mise a jour le 04 Janvier 2006

Sources de la version des philosophes étudiée la semaine 01, 02 et 03

Voici les sources "prod", l'explication et le script pour tester les différentes versions avec prod:
le fichier source (Prod), le fichier d'explication, le premier fichier pour le script, le second fichier pour le script
L'url pour télécharger l'outil prod
Voici les sources (Ada) nécessaires pour tester les différentes variantes d'implémentation du problème des philosophes. Le fichier Archive_Philo_Janvier_2006.zip contient les sources Ada des solutions.
Le fichier lance_philo.c est à compiler et permet de "lancer" le programme à partir d'un script.
Le fichier compile_philo est un script shell (variante sh) qui permet de tester successivement les différentes variations du problème (il y a en 64) et, pour chacune, de vérifier par simulation si elle condut à un interblocage ou pas. Les résultats sont ptoduits dans le fichier "res.diner". Le temps total de simulation approche 30 minutes.
Pour analyser le problème vous pouvez utiliser le modèle suivant model_main.pdf. Nous y reviendrons en début de séance Mardi prochain (10-01-06).
HORAIRES et LIEUX

L'enseignement NFP 103 (ACCOV) a lieu au premier semestre et on nous a attribué les salles suivantes :

a) le mardi à l'ENSAM salle P4. Cette salle est réservée de 18h15 à 21h15 jusqu'au 24 janvier 2005
(ENSAM, 155 Bd de l'Hopital, 75013 Paris, Metro Place d'Italie ou Campo Formio)
b) le mercredi au CNAM salle 31.3.10. Cette salle est réservée de 18h15 à 21h15 jusqu'au 25 janvier 2005


L'enseignement requiert 60 heures de présence des auditeurs. On pourra utiliser nos salles
2h30 à chaque séance (deux seances par semaine) et cela sur 12 semaines (cela nous conduirait jusqu'au 18 janvier).
Cette formule correspond au souhait de la majorité des presents
(quand il y aura TP avec outils de validation, les séances de 3h seront peut-être plus judicieuses).

La premiere session d'examen doit se faire du 29 janvier au 12 février 2005 et la deuxieme session du 9 au 15 avril.

FORUM DE DISCUSSION

Un forum de discussion (http://deptinfo.cnam.fr/phpBB2/viewforum.php?f=5) permet les discussions entre les auditeurs de ACCOV. Ce forum fermé est restreint aux auditeurs qui se seront inscrits a ce forum sur la liste accov_user et que j'aurai autorise (j'en suis le moderateur et non l'administrateur, je ne peux pas vous inscrire directement).

Pour que je puisse controler que les membres du forum sont bien inscrits au cours, il faut que votre inscription a ce forum comprenne votre nom, prenom et numero d'inscription au CNAM et au cours.

Pour cela, je vous demande en plus de m'envoyer un courriel (à Claude KAISER) avec tous les renseignements suivants :
       1) nom, prenom, numero  d'auditeur
       2) disposez-vous d'un ordinateur portable que vous pouvez emporter aux cours (utilisable pour des TP pendant le cours)
       3) avez-vous installe un compilateur pour ADA, le compilateur GNAT par exemple?
       4) quelle est la formule de cours que vous preferez : 2h par seance ou 3h par seance ou 2h30 par seance?

COURS


Les cours-ED-TP intégrés se font par  séances de 2h30 de 18h15 à 20h45.
Pas de cours le mardi 1er novembre et le mercredi 2 novembre

Les prochaines seances du cours-ED-TP intégrés ont lieu

   mardi 8 novembre, mardi 15 novembre, mardi 22 novembre à l'ENSAM salle P4.
   mercredi 26 octobre, mercredi 9 novembre, mercredi 9 novembre, mercredi 9 novembre au CNAM salle 31.3.10.

Ensuite les cours seront faits par Jean-Francois Peyre et porteront sur la validation des programmes concurrents

Venez avec votre ordinateur portable et un compilateur Ada operationnel (de preference GNAT) après avoir téléchargé les materiaux de cours que j'utiliserai


COMPLEMENTS A TELECHARGER AVANT LES COURS

•• Voici des programmes Ada que j'utiliserai en cours et qui vous permettront de tester votre installation de Gnat (ou d'un compilateur Ada)

ProgrammesPourACCOV2005.zip

Il faut compiler puis lancer la procedure principale qui s'appelle
soit
les_maux_de_l_impression
soit
acces_brutal
***************

•• les  fichiers suivants en format pdf
que je vais utiliser pour le cours
et que vous avez intérêt à télécharger et imprimer
ont ete mis a jour

ACCOV01Presentation.pdf
ACCOV10Couverture.pdf
ACCOV11Introduction.pdf

J'utiliserai comme exemples les petits programmes qui sont a la fin de ce dernier fichier. Il serait bien de les recopier et de les compiler.

vous y avez aussi acces dans la page de documentation pour le cours
Puis j'utiliserai certaines parties des fichiers suivants que vous avez aussi intérêt à télécharger et imprimer

 [ACCOV13ObjProteges.pdf]
[ACCOV14TachesADA.pdf]

[ACCOV15ThreadsJava.pdf]

 [ACCOV16Ouvertures.pdf]