Re: Wrap Interrupt Handlers for Recording?

2019-09-04 Thread Sebastian Huber
- Am 5. Sep 2019 um 7:25 schrieb Chris Johns chr...@rtems.org: > On 5/9/19 2:25 pm, Sebastian Huber wrote: >> - Am 4. Sep 2019 um 23:41 schrieb Chris Johns chr...@rtems.org: >> >>> On 5/9/19 2:09 am, Sebastian Huber wrote: Hello, I would like to wrap calls to interrupt

Re: [PATCH] record: Add support for interrupt handlers

2019-09-04 Thread Chris Johns
On 5/9/19 2:42 pm, Sebastian Huber wrote: > - Am 5. Sep 2019 um 0:28 schrieb Chris Johns chr...@rtems.org: > >> On 4/9/19 9:46 pm, Sebastian Huber wrote: >>> On 04/09/2019 08:06, Chris Johns wrote: > +void LTTNGClient::WriteIRQHandlerExit(PerCPUContext* pcpu, const > ClientItem&

Re: MrsP Testbed

2019-09-04 Thread Sebastian Huber
Hello Ricardo, - Am 4. Sep 2019 um 15:52 schrieb Ricardo Gomes (1161078) 1161...@isep.ipp.pt: > Greetings, > > During the last six months, I have been studying RTEMS as part of my final > project to complete my degree, more specifically analysing the MrsP protocol > in > order to perform

Re: Wrap Interrupt Handlers for Recording?

2019-09-04 Thread Chris Johns
On 5/9/19 2:25 pm, Sebastian Huber wrote: > - Am 4. Sep 2019 um 23:41 schrieb Chris Johns chr...@rtems.org: > >> On 5/9/19 2:09 am, Sebastian Huber wrote: >>> Hello, >>> >>> I would like to wrap calls to interrupt handlers which use the generic >>> interrupt >>> framework () to get

Re: [PATCH] record: Add support for interrupt handlers

2019-09-04 Thread Sebastian Huber
- Am 5. Sep 2019 um 0:28 schrieb Chris Johns chr...@rtems.org: > On 4/9/19 9:46 pm, Sebastian Huber wrote: >> On 04/09/2019 08:06, Chris Johns wrote: +void LTTNGClient::WriteIRQHandlerExit(PerCPUContext* pcpu, const ClientItem& item) { +  pcpu->content_size +=

Re: Wrap Interrupt Handlers for Recording?

2019-09-04 Thread Sebastian Huber
- Am 4. Sep 2019 um 23:41 schrieb Chris Johns chr...@rtems.org: > On 5/9/19 2:09 am, Sebastian Huber wrote: >> Hello, >> >> I would like to wrap calls to interrupt handlers which use the generic >> interrupt >> framework () to get RTEMS_RECORD_INTERRUPT_ENTRY and >>

Re: [PATCH] record: Add support for interrupt handlers

2019-09-04 Thread Chris Johns
On 4/9/19 9:46 pm, Sebastian Huber wrote: > On 04/09/2019 08:06, Chris Johns wrote: >>> +void LTTNGClient::WriteIRQHandlerExit(PerCPUContext* pcpu, const >>> ClientItem& >>> item) { >>> +  pcpu->content_size += kEventIRQHandlerExitBits; >>> +  pcpu->packet_size += kEventIRQHandlerExitBits; >>> +

Re: Wrap Interrupt Handlers for Recording?

2019-09-04 Thread Chris Johns
On 5/9/19 2:09 am, Sebastian Huber wrote: > Hello, > > I would like to wrap calls to interrupt handlers which use the generic > interrupt framework () to get > RTEMS_RECORD_INTERRUPT_ENTRY and RTEMS_RECORD_INTERRUPT_EXIT events. This > cannot be done by the linker since the loop to call the

[PATCH 2/2] barrier: Remove unfinished sentence

2019-09-04 Thread Martin Erik Werner
Remove the unfinished sentence "Since a barrier is, by definition, never immediately [...]" and jump directly to "The task may wait [forever or for a timeout]" instead. I cannot figure out what the unfinished sentence is supposed to be - "released"? "passed"? --- c-user/barrier_manager.rst | 7

[PATCH 1/2] barrier: Remove leftover semaphore remnants

2019-09-04 Thread Martin Erik Werner
Remove various incorrect references to "lock" and "obtain" and to an option set which is not part of the barrier interface. It looks like the barrier documentation was started based on a copy of the semaphore documentation and these things are surviving remnants. Also remove an unfinished

FormalRTEMS - Postdoc in formal verification of real-time OS

2019-09-04 Thread Andrew Butterfield
The School of Computer Science and Statistics in Trinity College Dublin is seeking a post-doctoral Research Fellow in the field of formal software verification, for a duration of 15-18 months, to start as soon as possible. Salary range €40k-€51.5k p.a., depending on experience and precise

Re: [PATCH v3] Basic Support for Trace Compass

2019-09-04 Thread Ravindra Kumar Meena
> Hello Chris, > > I would like to check in the latest documentation patch from Ravindra as > is and then work on top of it. Otherwise his work is not included in the > project history > I have already sent the v5 of LTTng sched_switch documentation patch:

Wrap Interrupt Handlers for Recording?

2019-09-04 Thread Sebastian Huber
Hello, I would like to wrap calls to interrupt handlers which use the generic interrupt framework () to get RTEMS_RECORD_INTERRUPT_ENTRY and RTEMS_RECORD_INTERRUPT_EXIT events. This cannot be done by the linker since the loop to call the handlers is inlined due to performance reasons. I would

MrsP Testbed

2019-09-04 Thread Ricardo Gomes (1161078)
Greetings, During the last six months, I have been studying RTEMS as part of my final project to complete my degree, more specifically analysing the MrsP protocol in order to perform an evaluation of its implementation on RTEMS. In order to accomplish this analysis, I developed a set of

Re: [PATCH] record: Add support for interrupt handlers

2019-09-04 Thread Sebastian Huber
On 04/09/2019 08:06, Chris Johns wrote: +void LTTNGClient::WriteIRQHandlerExit(PerCPUContext* pcpu, const ClientItem& item) { + pcpu->content_size += kEventIRQHandlerExitBits; + pcpu->packet_size += kEventIRQHandlerExitBits; + + EventIRQHandlerExit& ih = pcpu->irq_handler_exit; +

Re: [PATCH v3] Basic Support for Trace Compass

2019-09-04 Thread Sebastian Huber
Hello Chris, I would like to check in the latest documentation patch from Ravindra as is and then work on top of it. Otherwise his work is not included in the project history. -- Sebastian Huber, embedded brains GmbH Address : Dornierstr. 4, D-82178 Puchheim, Germany Phone : +49 89 189 47

Re: [PATCH] record: Add support for interrupt handlers

2019-09-04 Thread Chris Johns
On 4/9/19 5:37 pm, Sebastian Huber wrote: > On 04/09/2019 08:44, Chris Johns wrote: >> On 4/9/19 4:27 pm, Sebastian Huber wrote: >>> On 04/09/2019 08:06, Chris Johns wrote: > +} > + >    void LTTNGClient::AddThreadName(PerCPUContext* pcpu, const ClientItem& > item) { >

Re: [PATCH] record: Add support for interrupt handlers

2019-09-04 Thread Sebastian Huber
On 04/09/2019 08:44, Chris Johns wrote: On 4/9/19 4:27 pm, Sebastian Huber wrote: On 04/09/2019 08:06, Chris Johns wrote: +} +   void LTTNGClient::AddThreadName(PerCPUContext* pcpu, const ClientItem& item) {     if (pcpu->thread_name_index >= THREAD_NAME_SIZE) {   return; @@ -286,6

Re: [PATCH] record: Add support for interrupt handlers

2019-09-04 Thread Chris Johns
On 4/9/19 4:27 pm, Sebastian Huber wrote: > On 04/09/2019 08:06, Chris Johns wrote: >>> +} >>> + >>>   void LTTNGClient::AddThreadName(PerCPUContext* pcpu, const ClientItem& >>> item) { >>>     if (pcpu->thread_name_index >= THREAD_NAME_SIZE) { >>>   return; >>> @@ -286,6 +339,12 @@ void

Re: [PATCH] record: Add support for interrupt handlers

2019-09-04 Thread Sebastian Huber
On 04/09/2019 08:06, Chris Johns wrote: +} + void LTTNGClient::AddThreadName(PerCPUContext* pcpu, const ClientItem& item) { if (pcpu->thread_name_index >= THREAD_NAME_SIZE) { return; @@ -286,6 +339,12 @@ void LTTNGClient::PrintItem(const ClientItem& item) { pcpu.thread_ns =

Re: [PATCH] record: Add support for interrupt handlers

2019-09-04 Thread Chris Johns
On 4/9/19 3:55 pm, Sebastian Huber wrote: > Update #3665. > --- > trace/record/record-main-lttng.cc | 86 > +-- > 1 file changed, 82 insertions(+), 4 deletions(-) > > diff --git a/trace/record/record-main-lttng.cc > b/trace/record/record-main-lttng.cc >