Many extensions of Petri nets have been proposed to model the behaviors and time relations of embedded system, yet these models are all based on some assumptions about the behaviors of embedded systems. Especially they all do not have the actual ability to model interrupt mechanism of embedded system. A new net which is called Extended High Level Timed Petri Nets (EHLTPN) is introduced in this ...

This paper describes and evaluates solutions to the precise interrupt problem in pipelined processors. An interrupt is precise if the saved process state corresponds with a sequential model of program execution where one instruction completes before the next begins. In a pipelined processor, precise interrupts are difficult to implement because an instruction may be initiated before its predece...

There is a general lack of CAD tools for real-time embedded software, thus we have developed a software synthesis tool with a graphical user interface for real-time embedded systems. We propose an Interrupt Time Petri Nets (ITPN) model for real-time embedded software requirements modeling. ITPN can handle both interrupt behavior and real-time constraints on tasks in a real-time embedded system....

Active Messages form a user-level communication mechanism that allows a message to extract itself from the network upon arrival at its destination. Delivery of such a message can be realized via an interrupt-driven or a polling-based approach. This paper proposes a new mechanism, Active Messages Using Selective Interrupts Without Polling (AM_SIWOP). It improves upon Active Messages by reducing ...

An interrupt descriptor table (IDT) is used by the processor to transfer the execution of a program to special software routines that handle interrupts, which might be raised during the normal course of operation by hardware or to signal exceptional conditions, such as a hardware failure. Attackers frequently modify the pointers in the IDT in order to execute malicious code. In this paper we pr...

Numerous studies have shown that Operating System (OS) noise is one of the reasons for significant performance degradation in clustered architectures. Although many studies examine the OS noise for High Performance Computing, especially in multi-processor/core systems, most of them focus on 2or 4-core systems. In this study, we analyze sources of OS noise on a massive multithreading processor, ...