The wire is connected to an interrupt pin of an ATmega1284p MCU of an INGA sensor node. The input pins of this MCU are fused by two diodes per default. Thus, the potentially high voltage that is induced in the wire cannot harm the MCU. A pinchange interrupt is used to trigger the rising and the falling edge of the signal while a timer is fired to measure the period of positive half-waves of the...

We propose handling of external real-time events through multithreading and describe the microarchitecture of our multithreaded Java microcontroller, called Komodo microcontroller. Real-time Java threads are used as interrupt service threads (ISTs) instead of interrupt service routines (ISRs). Our proposed Komodo microcon-troller supports multiple ISTs with zero-cycle context switching overhead...

Predictable interprocessor synchronization and fast interrupt response are important for real-time systems constructed using asymmetric shared-memory multiprocessors. This paper points out the problem that existing spin lock algorithms cannot satisfy both requirements at the same time, and proposes a new algorithm to solve this problem. The algorithm, an extension of queueing spin locks modi ed...

Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We first consider a model with two executing tasks, presented with the aid of state machine diagrams. We then present a faulty variant of this model which, under particular event timings, may ”drop” an interrupt. We show ...

This paper introduces a multithreaded Java processor kernel which is speciically designed as core processor of a microcontroller or system-on-a-chip. Handling of external real-time events is performed through multithreading. Real-time Java threads are used as interrupt service threads (ISTs) instead of interrupt service routines (ISRs). Our proposed Komodo microcontroller supports multiple ISTs...

Billions smartphones and smart objects battery-powered use Android, i.e. on the Linux kernel. To save energy, main kernel leverage is to put processors in a low power state as soon they are idle. It predicts next event estimate sleep duration choose accordingly. Several wake-up sources (interrupts, events...) impact this prediction which usually done considering them single source. The resultin...