User story #116
Updated by Ivan Herrero over 9 years ago
Implement requirement MARTe-EX-F-1.3.6 based on the original MARTe implementation
Note: It is crucial that framework developers know why the shared resource was unblocked. Usually, when this happens due to a timeout or an error, the shared resource is no longer valid.
h1. Source code files modified
* Source/Core/L0Portability/EventSem.cpp
* Source/Core/L0Portability/EventSem.h
* Source/Core/L0Portability/FastPollingMutexSem.h
* Source/Core/L0Portability/GeneralDefinitions.h
* Source/Core/L0Portability/MutexSem.cpp
* Source/Core/L0Portability/MutexSem.h
* Source/Core/L0Portability/OperatingSystem/Linux/EventSemOS.h
* Source/Core/L0Portability/OperatingSystem/Linux/MutexSemOS.h
* Source/Core/L0Portability/OperatingSystem/Windows/EventSemOS.h
* Source/Core/L0Portability/OperatingSystem/Windows/MutexSemOS.h
h1. Architecture & design review
*Date of the review:* 12/06/2015
*Person who did the review:* André Neto
*Version of architecture & design document:* N/A. As per the original MARTe implementation, this is a support function and does not require formal design in UML.
*Result of review:* N/A
*List of non-conformities:* N/A
h1. Code and documentation review
*Date of the review:* 24/07/2015 25/06/2015
*Person who did the review:* Ivan Herrero
*Result of review:* PASS FAIL
*List of non-conformities:* N/A
* Source/Core/L0Portability/EventSem.cpp
OK
h1. Unit test review
*Date * Source/Core/L0Portability/EventSem.h
The documentation of default constructor and destructor do not have the review:* 24/07/2015 "/**" and "*/" symbols on their own line.
The header for section "Inline method definitions" is duplicated.
*Person who did the review:* Ivan Herrero * Source/Core/L0Portability/FastPollingMutexSem.h
OK
*Result of coverage tests review:* PASS * Source/Core/L0Portability/GeneralDefinitions.h
OK
*Result * Source/Core/L0Portability/MutexSem.cpp
OK
* Source/Core/L0Portability/MutexSem.h
OK
* Source/Core/L0Portability/OperatingSystem/Linux/EventSemOS.h
OK
* Source/Core/L0Portability/OperatingSystem/Linux/MutexSemOS.h
The include of functional tests review:* PASS TimeoutType.h shall go to "Project header includes" section.
*Result * Source/Core/L0Portability/OperatingSystem/Windows/EventSemOS.h
The method Close uses on its specification aspects of review:* PASS their implementation (i.e. a call to the CloseHandle method).
*List * Source/Core/L0Portability/OperatingSystem/Windows/MutexSemOS.h
Did you mean @brief instead of non-conformities:* N/A
Unit testing coverage note: Some error paths not exercised @see on methods FastLock and FastUnLock (in any case, these methods lack documentation for its parameters).
Note: It is crucial that framework developers know why the shared resource was unblocked. Usually, when this happens due to a timeout or an error, the shared resource is no longer valid.
h1. Source code files modified
* Source/Core/L0Portability/EventSem.cpp
* Source/Core/L0Portability/EventSem.h
* Source/Core/L0Portability/FastPollingMutexSem.h
* Source/Core/L0Portability/GeneralDefinitions.h
* Source/Core/L0Portability/MutexSem.cpp
* Source/Core/L0Portability/MutexSem.h
* Source/Core/L0Portability/OperatingSystem/Linux/EventSemOS.h
* Source/Core/L0Portability/OperatingSystem/Linux/MutexSemOS.h
* Source/Core/L0Portability/OperatingSystem/Windows/EventSemOS.h
* Source/Core/L0Portability/OperatingSystem/Windows/MutexSemOS.h
h1. Architecture & design review
*Date of the review:* 12/06/2015
*Person who did the review:* André Neto
*Version of architecture & design document:* N/A. As per the original MARTe implementation, this is a support function and does not require formal design in UML.
*Result of review:* N/A
*List of non-conformities:* N/A
h1. Code and documentation review
*Date of the review:* 24/07/2015 25/06/2015
*Person who did the review:* Ivan Herrero
*Result of review:* PASS FAIL
*List of non-conformities:* N/A
* Source/Core/L0Portability/EventSem.cpp
OK
h1. Unit test review
*Date * Source/Core/L0Portability/EventSem.h
The documentation of default constructor and destructor do not have the review:* 24/07/2015 "/**" and "*/" symbols on their own line.
The header for section "Inline method definitions" is duplicated.
*Person who did the review:* Ivan Herrero * Source/Core/L0Portability/FastPollingMutexSem.h
OK
*Result of coverage tests review:* PASS * Source/Core/L0Portability/GeneralDefinitions.h
OK
*Result * Source/Core/L0Portability/MutexSem.cpp
OK
* Source/Core/L0Portability/MutexSem.h
OK
* Source/Core/L0Portability/OperatingSystem/Linux/EventSemOS.h
OK
* Source/Core/L0Portability/OperatingSystem/Linux/MutexSemOS.h
The include of functional tests review:* PASS TimeoutType.h shall go to "Project header includes" section.
*Result * Source/Core/L0Portability/OperatingSystem/Windows/EventSemOS.h
The method Close uses on its specification aspects of review:* PASS their implementation (i.e. a call to the CloseHandle method).
*List * Source/Core/L0Portability/OperatingSystem/Windows/MutexSemOS.h
Did you mean @brief instead of non-conformities:* N/A
Unit testing coverage note: Some error paths not exercised @see on methods FastLock and FastUnLock (in any case, these methods lack documentation for its parameters).