DOE Patents title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: 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.

Inventors:
; ; ; ; ; ;
Issue Date:
Research Org.:
Reservoir Labs, Inc., New York, NY (United States)
Sponsoring Org.:
USDOE
OSTI Identifier:
1632574
Patent Number(s):
10564949
Application Number:
14/492,899
Assignee:
Reservoir Labs, Inc. (New York, NY)
Patent Classifications (CPCs):
G - PHYSICS G06 - COMPUTING G06F - ELECTRIC DIGITAL DATA PROCESSING
DOE Contract Number:  
SC0008717
Resource Type:
Patent
Resource Relation:
Patent File Date: 09/22/2014
Country of Publication:
United States
Language:
English
Subject:
97 MATHEMATICS AND COMPUTING

Citation Formats

Baskaran, Muthu M., Henretty, Thomas, Langston, M. H., Lethin, Richard A., Meister, Benoit J., Vasilache, Nicolas T., and Wohlford, David E. System and method for generation of event driven, tuple-space based programs. United States: N. p., 2020. Web.
Baskaran, Muthu M., Henretty, Thomas, Langston, M. H., Lethin, Richard A., Meister, Benoit J., Vasilache, Nicolas T., & Wohlford, David E. System and method for generation of event driven, tuple-space based programs. United States.
Baskaran, Muthu M., Henretty, Thomas, Langston, M. H., Lethin, Richard A., Meister, Benoit J., Vasilache, Nicolas T., and Wohlford, David E. Tue . "System and method for generation of event driven, tuple-space based programs". United States. https://www.osti.gov/servlets/purl/1632574.
@article{osti_1632574,
title = {System and method for generation of event driven, tuple-space based programs},
author = {Baskaran, Muthu M. and Henretty, Thomas and Langston, M. H. and Lethin, Richard A. and Meister, Benoit J. and Vasilache, Nicolas T. and Wohlford, David E.},
abstractNote = {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.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Tue Feb 18 00:00:00 EST 2020},
month = {Tue Feb 18 00:00:00 EST 2020}
}

Works referenced in this record:

Some efficient solutions to the affine scheduling problem. I. One-dimensional time
journal, October 1992


A practical automatic polyhedral parallelizer and locality optimizer
conference, January 2008

  • Bondhugula, Uday; Hartono, Albert; Ramanujam, J.
  • Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08
  • https://doi.org/10.1145/1375581.1375595

Continuous Trip Count Profiling for Loop Optimizations in Two-Phase Dynamic Binary Translators
patent-application, October 2005


Runtime Extraction of Data Parallelism
patent-application, June 2011


Hybrid Query Execution Plan
patent-application, April 2012


Dataflow analysis of array and scalar references
journal, February 1991


Detecting Availabilities of Neighboring Video Units for Video Coding
patent-application, April 2013


Tiling stencil computations to maximize parallelism
conference, November 2012

  • Bandishti, Vinayaka; Pananilath, Irshad; Bondhugula, Uday
  • 2012 International Conference for High Performance Computing, Networking, Storage and Analysis
  • https://doi.org/10.1109/SC.2012.107

Concurrent Collections
journal, January 2010


Preliminary design examination of the ParalleX system from a software and hardware perspective
journal, March 2011


Subbuffer Objects
patent-application, July 2015


Embedded System Development
patent-application, June 2012


TCP/IP On-Time System
patent-application, May 2012


Compiler-assisted dynamic scheduling for effective parallelization of loop nests on multicore processors
journal, February 2009


Analysis of dynamically scheduled tile algorithms for dense linear algebra on multicore architectures
journal, August 2011


Dark silicon and the end of multicore scaling
journal, June 2011


Identifying and reporting on frequent sequences of events in usage data
patent, May 2006


System, Method, and Apparatus for Parallelizing Query Optimization
patent-application, February 2011


Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies
journal, June 2006


System and Method for Rule-Driven Constraint-Based Generation of Domain-Specific Data Sets
patent-application, June 2011


Integrated Circuit, Computer System, and Control Method
patent-application, July 2012


System, Methods and Apparatus for Program Optimization for Multi-Threaded Processor Architectures
patent-application, August 2010


Profiling of Performance Behaviour of Executed Loops
patent-application, July 2007


Runtime Handling of Task Dependences Using Dependence Graphs
patent-application, September 2015


Method for Transforming a Multithreaded Program for General Execution
patent-application, October 2012


Fuzzy array dataflow analysis
conference, August 1995

  • Collard, Jean-François; Barthou, Denis; Feautrier, Paul
  • Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming
  • https://doi.org/10.1145/209936.209947

Cilk: An Efficient Multithreaded Runtime System
journal, August 1996


Standard Templates Adaptive Parallel Library (STAPL)
book, January 1998


Dynamic Parallel Looping in Process Runtime
patent-application, May 2012


Logical inference techniques for loop parallelization
journal, August 2012


Event Driven Change Injection and Dynamic Extensions to a BPEL Process
patent-application, November 2011


Supernode partitioning
conference, January 1988


Qthreads: An API for programming with millions of lightweight threads
conference, April 2008

  • Wheeler, Kyle B.; Murphy, Richard C.; Thain, Douglas
  • Distributed Processing Symposium (IPDPS), 2008 IEEE International Symposium on Parallel and Distributed Processing
  • https://doi.org/10.1109/IPDPS.2008.4536359

Parametric integer programming
journal, January 1988


Adapting the polyhedral model as a framework for efficient speculative parallelization
journal, February 2012


isl: An Integer Set Library for the Polyhedral Model
book, January 2010