User story #116

MARTe-EX-F-1.3.6: When awaiting on any type of semaphore the framework developer shall know if the lock was released due to a timeout or due to any type of error.

Added by André Neto almost 10 years ago. Updated over 9 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Target version:

0.2

Start date:

Due date:

% Done:

Estimated time:

8.00 h

Git branch (link):

Git merge to develop (link):

SVN commit (link/?p=rev):

Description

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.

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

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

Code and documentation review¶

Date of the review: 24/07/2015

Person who did the review: Ivan Herrero

Result of review: PASS

List of non-conformities: N/A

Unit test review¶

Date of the review: 24/07/2015

Person who did the review: Ivan Herrero

Result of coverage tests review: PASS

Result of functional tests review: PASS

Result of review: PASS

List of non-conformities: N/A

Unit testing coverage note: Some error paths not exercised

Associated revisions

Revision ec871674 (diff)
Added by Giuseppe Ferrò almost 10 years ago

Added the possibility to know the error type in any function (moved ErrorType enum in GeneralDefinitions.h).
Added the error type return support in all semaphore objects.
#116

Revision a474c564 (diff)
Added by Giuseppe Ferrò almost 10 years ago

Corrected files accordingly with revision.
#116

Revision 192c81cf (diff)
Added by Giuseppe Ferrò almost 10 years ago

Added MutexSem unit tests.
Renamed previous tests as integration tests.
#116 #115 #117 #114

Revision 367679ea (diff)
Added by Giuseppe Ferrò almost 10 years ago

Added EventSem tests.
Renamed previous tests as integration tests.
#116 #115 #117 #118

Revision 08f24f50 (diff)
Added by Giuseppe Ferrò almost 10 years ago

Added FastPollingMutexSem tests.
Renamed previous tests as integration tests.
#116 #115 #117 #119

Revision c36415cb (diff)
Added by André Neto almost 10 years ago

Updated the FastPollingMutexSem against the agreed unit testing
strategy. #115 and #116

Revision 2b194f38 (diff)
Added by Llorenc Capella over 9 years ago

US #116 EventSemTest