US 2015/0089485 A1 · SYSTEM AND METHOD FOR GENERATION OF EVENT DRIVEN, TUPLE-SPACE BASED PROGRAMS

Abstract

In a system for automatic generation of event-driven, tuple-space based programs from a sequential specification, a hierarchical mapping solution can target different runtimes relying on event-driven tasks (EDTs). The solution uses loop types to encode short, transitive relations among EDTs that can be evaluated efficiently at runtime. Specifically, permutable loops translate immediately into conservative point-to-point synchronizations of distance one. A runtime-agnostic which can be used to target the transformed code to different runtimes.

Claims47

Dependent claims

A method of specifying event-driven tasks (EDTs) for an EDT-based runtime, the method comprising:

for an EDT structure corresponding to a loop structure in code to be executed using an EDT-based runtime, determining by a processor one or more dependencies between a pair of instances, a first instance corresponding to the EDT structure and a second instance corresponding to the EDT structure or another different EDT structure, and the determination being based on, at least:
(i) a type of the loop structure, and (ii) a union of respective individual iteration domains of one or more statements associated with the loop structure.

Dependencies are inferred from the claim text.

Facts

Application

14/492,899Filed 22 Sep 2014

Priority

20 Sep 2013

Published

26 Mar 2015

Term ends

Not estimatedThe source records don’t support an estimate.

Classification6 codes

G06F 8/452
Code distribution: loops
G06F 9/4881
By program, e.g. task dispatcher, supervisor, operating system: scheduling strategies for dispatcher, e.g. round robin, multi-level priority queues
G06F 8/433
Checking; Contextual analysis: dependency analysis; Data or control flow analysis
G06F 2209/483
Indexing scheme relating to G06F9/48: multiproc

System and method for generation of event driven, tuple-space based programs

Life of this patent

System and method for generation of event driven, tuple-space based programs

Life of this patent

Abstract

Claims47