Re: [pok-devel] Join the POK team

[ Thread Index | Date Index | More Archives ]

Hi Antoine,

The best approach would be to add you to the committers, right? Can you register on tuxfamily, send me by e-mail your username so that I can add you to the project and you can commit your changes.

Would that sound ok?

On Thu, Feb 13, 2014 at 2:16 AM, Antoine Jaouen <antoine.jaouen@xxxxxxxxxxxxxx> wrote:

I am, Antoine Jaouën, a PhD student under the direction of Laurent Pautet, Etienne Borde and Thomas Robert from the LTCI - Telecom ParisTech.

I would like to join your team in order to integrate my work into your project POK and help your team to improve the project.

I developed a deterministic implementation of ARINC653 inter-partition communications based on the Periodic-Delayed protocol introduced in : Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL. Fabien Cadoret, Thomas Robert, Etienne Borde, Laurent Pautet, and Frank Singhoff. ISORC 2013.

In order to start a collaboration, I want to share with you some bugs I found in the current version of POK. The first bug is in the next_activation time of threads after a call of pok_thread_period (which induces a thread to wait until its next period time).

The bug is located in kernel/core/sched.c :
line 206 : 
       thread->next_activation = thread->period + POK_GETTICK();

This way, a thread waits its full period duration after ending its execution. Nevertheless it must wait only the remaining time until its next period time. 

Here is the correction : ​
       thread->next_activation = thread->next_activation + thread->period;   

I also corrected the toolchain. The path of 'ar' was hard-coded in 'misc/mk/'.

My last correction was the allocation of 'Partition_Slots' in 'examples/arinc653-queueing/model.aadl', which were too long. I have not checked/corrected all examples but some others have also issues with regard to the dimension of 'Major_Frame', 'Partition_Slots' and 'Period' of threads. 

You will find a patch as an attachment of this email, which corrects all those issues.

Best regards,
​Antoine Jaouën​

Antoine JAOUËN
Doctorant / PhD. Student
Institut de Recherche Technologique SystemX

8, avenue de la Vauve - 91120 PALAISEAU

Phone +33 1 69 08 05 60

Mail converted by MHonArc 2.6.19+