ݺߣ

ݺߣShare a Scribd company logo

Multithreaded reactive programming—the kiel esterel processor

•
•
Naveena N
Naveena N

The Kiel Esterel Processor (KEP) directly supports the reactive control flow of the Esterel programming language through dedicated control units. The KEP uses multithreading to allow for the efficient and predictable execution of concurrent Esterel programs. It has an instruction set architecture and tick manager designed to keep the processor simple and lightweight while accurately capturing the semantics of Esterel. The KEP architecture allows for competitive execution speeds and minimal resource usage when compiling Esterel programs.

1 of 20
VISVESVARAYA TECHNOLOGICAL UNIVERSITY Jnana Sangama, Belgaum, Karnataka-590 014. A Seminar On “Multithreaded Reactive Programming—the Kiel Esterel Processor” By Guide NAVEENA N Prof. M V PANDURANGA RAO Professor of CSE department B.T.L INSTITUTE OF TECHNOLOGY Department of Computer Science & Engineering 2012-13
A G E N D A oAbstract o Esterel Language oExisting system oProposed System oMultithreaded reactive architectures oApplications oConclusion
A B S T R A C T  The Kiel Esterel Processor (KEP).  The KEP directly supports Esterel’s reactive control flow operators, notably concurrency and various types of preemption, through dedicated control units.  Esterel allows arbitrary combinations and nesting of these operators, which poses particular implementation challenges.  Instruction set architecture , Tick Manager.
Esterel Language  MANY embedded systems belong to the class of reactive systems, which continuously react to inputs from the environment by generating corresponding outputs.  An Esterel program is typically validated via a simulation- based tool set, and then, synthesized to an intermediate language.  Frequent context switches.  Preemption.
 Esterel program is divided into logical instants, or ticks, and communication within or across threads occurs via signals.  At each tick, a signal is either present (emitted) or absent (not emitted).  Esterel offers two types of preemption constructs, abortion, and suspension.  Esterel also offers an exception handling mechanism via the trap/exit statements. Esterel Language
 EXAMPLE
EXISTING SYSTEM  The first reactive processor, called REFLIX(patched processor).  These patched processors are limited by the control path.
PROPOSED SYSTEM  Kiel Esterel Processor (KEP) reactive architecture.  Competitive execution speeds at minimal resource usage.  Instruction set architecture (ISA) of the KEP.  To keep the KEP simple and lightweight
CONCURRENT REACTIVE ARCHITECTURES Comparison of concurrent reactive architectures. (a) Multiprocessing. (b) Multithreading.
THE KEP INSTRUCTION SET ARCHITECTURE
Characteristics of KEP ISA:  kernel Esterel statements.  Control statements.
 Common Esterel expressions.  single instruction cycle. Characteristics of KEP ISA:
CODE GENERATION  An Esterel program is compiled into a KEP assembler program (.kasm)
Overview of the KEP architecture
Execution model of the KEP
Handling Pre-Emption
The Tick Manager and Energy Saving
ADVATAGES  MEMORY use  Execution speed  Energy consumption
CONCLUSION  A multithreaded processor,which allows the efficient, predictable execution of concurrent Esterel programs.  To accurately capture the Esterel semantics in a reactive processing setting is not trivial, as has become evident from earlier (failed) attempts.
Thank you…!!!

More Related Content

Multithreaded reactive programming—the kiel esterel processor

  • 1. VISVESVARAYA TECHNOLOGICAL UNIVERSITY Jnana Sangama, Belgaum, Karnataka-590 014. A Seminar On “Multithreaded Reactive Programming—the Kiel Esterel Processor” By Guide NAVEENA N Prof. M V PANDURANGA RAO Professor of CSE department B.T.L INSTITUTE OF TECHNOLOGY Department of Computer Science & Engineering 2012-13
  • 2. A G E N D A oAbstract o Esterel Language oExisting system oProposed System oMultithreaded reactive architectures oApplications oConclusion
  • 3. A B S T R A C T  The Kiel Esterel Processor (KEP).  The KEP directly supports Esterel’s reactive control flow operators, notably concurrency and various types of preemption, through dedicated control units.  Esterel allows arbitrary combinations and nesting of these operators, which poses particular implementation challenges.  Instruction set architecture , Tick Manager.
  • 4. Esterel Language  MANY embedded systems belong to the class of reactive systems, which continuously react to inputs from the environment by generating corresponding outputs.  An Esterel program is typically validated via a simulation- based tool set, and then, synthesized to an intermediate language.  Frequent context switches.  Preemption.
  • 5.  Esterel program is divided into logical instants, or ticks, and communication within or across threads occurs via signals.  At each tick, a signal is either present (emitted) or absent (not emitted).  Esterel offers two types of preemption constructs, abortion, and suspension.  Esterel also offers an exception handling mechanism via the trap/exit statements. Esterel Language
  • 7. EXISTING SYSTEM  The first reactive processor, called REFLIX(patched processor).  These patched processors are limited by the control path.
  • 8. PROPOSED SYSTEM  Kiel Esterel Processor (KEP) reactive architecture.  Competitive execution speeds at minimal resource usage.  Instruction set architecture (ISA) of the KEP.  To keep the KEP simple and lightweight
  • 9. CONCURRENT REACTIVE ARCHITECTURES Comparison of concurrent reactive architectures. (a) Multiprocessing. (b) Multithreading.
  • 10. THE KEP INSTRUCTION SET ARCHITECTURE
  • 11. Characteristics of KEP ISA:  kernel Esterel statements.  Control statements.
  • 12.  Common Esterel expressions.  single instruction cycle. Characteristics of KEP ISA:
  • 13. CODE GENERATION  An Esterel program is compiled into a KEP assembler program (.kasm)
  • 14. Overview of the KEP architecture
  • 17. The Tick Manager and Energy Saving
  • 18. ADVATAGES  MEMORY use  Execution speed  Energy consumption
  • 19. CONCLUSION  A multithreaded processor,which allows the efficient, predictable execution of concurrent Esterel programs.  To accurately capture the Esterel semantics in a reactive processing setting is not trivial, as has become evident from earlier (failed) attempts.