Responsable: | (-) |
Altres: | (-) |
Crèdits | Dept. | Tipus | Requisits |
---|---|---|---|
7.5 (6.0 ECTS) | CS |
|
PRED
- Pre-requisit per la EI , ETIG PS - Pre-requisit per la ETIS |
Responsable: | (-) |
Altres: | (-) |
Que els estudiants aprenguin a dissenyar i implementar programes concurrents i distribuïts de manera segura i fiable. Per guiar als estudiants en les tasques de disseny s'introdueix el LST (Labelled System Analyser), un model que permet dissenyar, visualitzar i analitzar sistemes de transicions. A fi de que els estudiants tinguin una visió més completa de la concurrència i dels sistèmes distribuïts s'ensenyen altres models com per exemple les Xarxes de Petri. A fi de tenir una visió completa dels passos que van de la modelització a la implementació es fan pràctiques en els llenguatge de programació Java i Erlang. Les pràctiques de Xarxes de Petri es fan an WoPeD.
Hores estimades de:
T | P | L | Alt | L Ext. | Est | A Ext. |
Teoria | Problemes | Laboratori | Altres activitats | Laboratori extern | Estudi | Altres hores fora d'horari fixat |
|
T | P | L | Alt | L Ext. | Est | A Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
4,0 | 4,0 | 2,0 | 0 | 2,0 | 9,0 | 0 | 21,0 | |||
Problema de l'interferència destructiva. Locks i exclusió mútua. Modelització de semàfors i del problema dels monitors imbricats. Problema de deadlock, analisi mitjançant LST.
|
|
T | P | L | Alt | L Ext. | Est | A Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
4,0 | 4,0 | 2,0 | 0 | 2,0 | 9,0 | 0 | 21,0 | |||
Descripció i exemples de propietats de seguretat i implementació mitjançant LTS. Descripció de les propitats de vivacitat, en especial la de progress, i implementació en LTS.
|
|
T | P | L | Alt | L Ext. | Est | A Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
6,0 | 6,0 | 3,0 | 0 | 3,0 | 12,0 | 0 | 30,0 | |||
Pas de missatges. Arquitectura client/servidor,
Inroducció a altres arquitectures.:pilelines de filtres, suvervisor/treballadors, anunciant/oïent. Pas de missatges en Erlang. Disseny en Erlang d'una arquitectura client/servidor. |
|
T | P | L | Alt | L Ext. | Est | A Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
4,0 | 4,0 | 2,0 | 0 | 2,0 | 9,0 | 0 | 21,0 | |||
Exemples de xarxes de Petri. Algorisme de Karp i Miller.
Classes especials de xarxes de Petri. Introducció a WoPed. |
|
T | P | L | Alt | L Ext. | Est | A Ext. | Total | ||
---|---|---|---|---|---|---|---|---|---|---|
4,0 | 4,0 | 2,0 | 0 | 2,0 | 9,0 | 0 | 21,0 | |||
Estudi de casos: "rearrangement distribuït", exclusió mútua autoestabilitzant, protocols amb missatges ack.
|
Total per tipus | T | P | L | Alt | L Ext. | Est | A Ext. | Total |
28,0 | 28,0 | 14,0 | 0 | 14,0 | 60,0 | 0 | 144,0 | |
Hores addicionals dedicades a l'avaluació | 6,0 | |||||||
Total hores de treball per l'estudiant | 150,0 |
A les classes de teoria s'introduiran els conceptes bàsics mitjançant exemples. En les classes d'exercicis, els estudiants, resoldran exercicis sobre els temes de de les classes de teoria. En les classes de laboratori es veurà com implementar aquests problemes (o problemes semblants) en Java i Erlang. Tant en classes de problemes com de laboratori es podrà utilitzar eines de disseny i anàlisi com el LTS.
Hi haurà examen final i nota de laboratori. L'exàmen serà de problemes sobre la teoria explicada. La nota de laboratori reflectirà la qualitat del treball realitzat. La nota final serà:
0.6*examen final + 0.4*laboratori
Bons coneixements de Java a nivell de classes i objectes.