Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
muc_2009_2010_lecture3 [2010/01/05 07:43] tigli |
muc_2009_2010_lecture3 [2010/01/05 08:25] tigli |
||
---|---|---|---|
Ligne 41: | Ligne 41: | ||
===== Part 3 : Student Projects ===== | ===== Part 3 : Student Projects ===== | ||
+ | |||
+ | Students must provide : | ||
+ | * A Proved Bean Component (lustre checked code, corresponding C code generated, corresponding Bean code) | ||
+ | * A sample WComp assembly to illustrate how this proved component works. | ||
+ | * A document with all necessary explanations | ||
+ | |||
+ | Put all these files and documents on a web site and send them to JY Tigli before february, the 1st, 2010. | ||
+ | |||
Deadline : february, the 1st, 2010 | Deadline : february, the 1st, 2010 | ||
^ Student Name ^ Cursus (SI5 / Uibnet) ^ Project Number ^ Project Titlte ^ Subject ^ | ^ Student Name ^ Cursus (SI5 / Uibnet) ^ Project Number ^ Project Titlte ^ Subject ^ | ||
- | | | | 0 | Barrier | A barrier is a type of synchronization method. A barrier for a group of threads or processes in the source code means any thread/process must stop at this point and cannot proceed until all other threads/processes reach this barrier | | + | | | | 0 | Barrier | A barrier is a type of synchronization method. A barrier for a group of event means any event must stop at this point and cannot proceed until all other events reach this barrier | |
- | | | | 1 | Lock | A lock is a synchronization mechanism for enforcing limits on access to a resource in an environment where there are many threads of execution. Locks are one way of enforcing concurrency control policies. | | + | | | | 1 | Lock | A lock is a synchronization mechanism for enforcing limits on access to a resource in an environment where there are many threads of execution. Locks are one way of enforcing concurrency control policies. Only one event is emitted at at time | |
- | | | | 2 | | | | + | | | | 2 | Arbitration | Arbitration between input events | |
- | | | | 3 | | | | + | | | | 3 | Average | Average value is emitted from the values of input events | |
- | | | | 4 | | | | + | | | | 4 | Moving average | Average value is emitted from the values of input events | |
- | | | | 5 | | | | + | | | | 5* | Function* Allaccess | returned value of one external DLL function is emitted when all value parameters are available (triggered on all input events) | |
- | | | | 6 | | | | + | | | | 6* | Function* Oneaccess | returned value of one external DLL function is emitted as soon as at least on value parameter is available (triggered on one input events) | |
- | | | | 7 | | | | + | | | | 7* | Function* Thisaccess | returned value of one external DLL function is emitted as soon as one specific event arrive (triggered on one specific input events) | |
- | | | | 8 | | | | + | | | | 8* | Function* AllaccessNewvalue | new returned value of one external DLL function is emitted when all value parameters are available (triggered on all input events and state change) | |
- | | | | 9 | | | | + | | | | 9* | Function* OneaccessNewvalue | new returned value of one external DLL function is emitted as soon as at least on value parameter is available (triggered on one input events and state change ) | |
- | | | | 10 | | | | + | | | | 10* | Function* OneaccessNewvalue | new returned value of one external DLL function is emitted as soon as one specific event arrive (triggered on one specific input events and state change) | |
| | | 11 | | | | | | | 11 | | | | ||
| | | 12 | | | | | | | 12 | | | |