Anonymous | Login | Signup for a new account | 2021-01-21 09:12 UTC | ![]() |
Main | My View | View Issues | Change Log | Roadmap |
View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||||
0000714 | Taste | [All Projects] Ocarina - C code generation | public | 2017-11-14 13:41 | 2018-04-15 20:46 | ||||||
Reporter | maxime | ||||||||||
Assigned To | hugues | ||||||||||
Priority | normal | Severity | minor | Reproducibility | have not tried | ||||||
Status | new | Resolution | fixed | ||||||||
Platform | OS | OS Version | |||||||||
Summary | 0000714: Make the task start before calling their init function | ||||||||||
Description | At the moment the task's initialization function (as defined in the AADL model) is called before the task start. This prevents calling a RI from within the startup code. It would make sense to create the tasks first (allocate input/output buffers) and then call the init code when they are running. Something like:
| ||||||||||
Tags | No tags attached. | ||||||||||
Attached Files | |||||||||||
![]() |
|
(0003112) hugues (administrator) 2017-11-14 13:54 |
Activate_Entrypoint is the "init" function called by the thread once after it has been created Both are supported. |
(0003280) maxime (administrator) 2018-04-14 19:33 |
Hi Jerome, I have replaced "Initialize_Entrypoint_Source_Text" with "Activate_Entrypoint_Source_Text" in the AADL file. This works with POHI-Ada but not with POHI-C :
|
(0003281) hugues (administrator) 2018-04-15 11:04 |
Addressed here: https://github.com/OpenAADL/ocarina/issues/142 [^] the activate was called before the initialisation of the queue, my bad |
(0003282) maxime (administrator) 2018-04-15 13:17 |
Ok, thanks for the fix |
(0003283) maxime (administrator) 2018-04-15 20:46 |
It seems to still crash both in C and in Ada. In C: Thread 11 "groundstation" received signal SIGSEGV, Segmentation fault. And in Ada, it is a bit different, but "The_Periodic_Task" crashes apparently if one of the startup() function takes some time to complete. |
![]() |
|||
Date Modified | Username | Field | Change |
2017-11-14 13:41 | maxime | New Issue | |
2017-11-14 13:41 | maxime | Status |
new => assigned |
2017-11-14 13:41 | maxime | Assigned To |
=> hugues |
2017-11-14 13:54 | hugues | Note Added: 0003112 | |
2018-04-14 19:33 | maxime | Note Added: 0003280 | |
2018-04-15 11:04 | hugues | Note Added: 0003281 | |
2018-04-15 13:17 | maxime | Note Added: 0003282 | |
2018-04-15 13:17 | maxime | Status |
assigned => resolved |
2018-04-15 13:17 | maxime | Resolution |
open => fixed |
2018-04-15 20:46 | maxime | Note Added: 0003283 | |
2018-04-15 20:46 | maxime | Status |
resolved => new |
Copyright © 2000 - 2011 MantisBT Group |