公开(公告)号：US10540107B2

公开(公告)日：2020-01-21

申请号：US14987202

申请日：2016-01-04

申请人： Reservoir Labs, Inc.

发明人： Muthu M. Baskaran ,  Thomas Henretty ,  Ann Johnson ,  Athanasios Konstantinidis ,  M. H. Langston ,  Janice O. McMahon ,  Benoit J. Meister ,  Paul D. Mountcastle ,  Aale Naqvi ,  Benoit Pradelle ,  Tahina Ramananandro ,  Sanket Tavarageri ,  Richard A. Lethin

IPC分类号： G06F9/44 ,  G06F3/06 ,  G06F8/41

摘要： A compilation system using an energy model based on a set of generic and practical hardware and software parameters is presented. The model can represent the major trends in energy consumption spanning potential hardware configurations using only parameters available at compilation time. Experimental verification indicates that the model is nimble yet sufficiently precise, allowing efficient selection of one or more parameters of a target computing system so as to minimize power/energy consumption of a program while achieving other performance related goals. A voltage and/or frequency optimization and selection is presented which can determine an efficient dynamic hardware configuration schedule at compilation time. In various embodiments, the configuration schedule is chosen based on its predicted effect on energy consumption. A concurrency throttling technique based on the energy model can exploit the power-gating features exposed by the target computing system to increase the energy efficiency of programs.

公开(公告)号：US10313361B2

公开(公告)日：2019-06-04

申请号：US14883294

申请日：2015-10-14

申请人： Reservoir Labs, Inc.

发明人： Jordi Ros-Giralt ,  Alan Commike ,  Richard A. Lethin

IPC分类号： G06F17/30 ,  H04L29/06

摘要： A multiresolution parser (MRP) can selectively extract one or more information units from a dataset based on the available processing capacity and/or the arrival rate of the dataset. Should any of these parameters change, the MRP can adaptively change the information units to be extracted such that the benefit or value of the extracted information is maximized while minimizing the cost of extraction. This tradeoff is facilitated, at least in part, by an analysis of the spectral energy of the datasets expected to be processed by the MRP. The MRP can also determine its state after a processing iteration and use that state information in subsequent iterations to minimize the required computations in such subsequent iterations, so as to improve processing efficiency.

公开(公告)号：US10209971B2

公开(公告)日：2019-02-19

申请号：US14699854

申请日：2015-04-29

申请人： Reservoir Labs, Inc.

发明人： Muthu M. Baskaran ,  Thomas Henretty ,  Ann Johnson ,  Athanasios Konstantinidis ,  M. H. Langston ,  Richard A. Lethin ,  Janice O. McMahon ,  Benoit J. Meister ,  Paul Mountcastle

IPC分类号： G06F9/45 ,  G06F9/44 ,  G06F8/41

摘要： A compilation system can apply a smoothness constraint to the arguments of a compute-bound function invoked in a software program, to ensure that the value(s) of one or more function arguments are within specified respective threshold(s) from selected nominal value(s). If the constraint is satisfied, the function invocation is replaced with an approximation thereof. The smoothness constraint may be determined for a range of value(s) of function argument(s) so as to determine a neighborhood within which the function can be replaced with an approximation thereof. The replacement of the function with an approximation thereof can facilitate simultaneous optimization of computation accuracy, performance, and energy/power consumption.

公开(公告)号：US10095434B2

公开(公告)日：2018-10-09

申请号：US14987223

申请日：2016-01-04

申请人： Reservoir Labs, Inc.

发明人： Muthu M. Baskaran ,  Thomas Henretty ,  Ann Johnson ,  Athanasios Konstantinidis ,  M. H. Langston ,  Janice O. McMahon ,  Benoit J. Meister ,  Paul D. Mountcastle ,  Aale Naqvi ,  Benoit Pradelle ,  Tahina Ramananandro ,  Sanket Tavarageri ,  Richard A. Lethin

IPC分类号： G06F9/45 ,  G06F3/06 ,  G06F8/41

摘要： A compilation system can compile a program to be executed using an event driven tasks (EDT) system that requires knowledge of dependencies between program statement instances, and generate the required dependencies efficiently when a tiling transformation is applied. To this end, the system may use pre-tiling dependencies and can derive post-tiling dependencies via an analysis of the tiling to be applied.

公开(公告)号：US09830133B1

公开(公告)日：2017-11-28

申请号：US13712659

申请日：2012-12-12

申请人： Reservoir Labs, Inc.

发明人： Muthu Baskaran ,  Richard A. Lethin ,  Benoit J. Meister ,  Nicolas T. Vasilache

IPC分类号： G06F9/45

CPC分类号： G06F8/41 ,  G06F8/453 ,  G06F8/457

摘要： Methods, apparatus and computer software product for source code optimization are provided. In an exemplary embodiment, a first custom computing apparatus is used to optimize the execution of source code on a second computing apparatus. In this embodiment, the first custom computing apparatus contains a memory, a storage medium and at least one processor with at least one multi-stage execution unit. The second computing apparatus contains at least one local memory unit that allows for data reuse opportunities. The first custom computing apparatus optimizes the code for reduced communication execution on the second computing apparatus. This Abstract is provided for the sole purpose of complying with the Abstract requirement rules. This Abstract is submitted with the explicit understanding that it will not be used to interpret or to limit the scope or the meaning of the claims.

公开(公告)号：US20170099113A1

公开(公告)日：2017-04-06

申请号：US15283781

申请日：2016-10-03

申请人： Reservoir Labs, Inc.

发明人： Pierre-David Letourneau

IPC分类号： H04B10/69 ,  H04B10/2507

CPC分类号： H04B10/697 ,  H04B10/2507 ,  H04B2210/254

摘要： A signal pre-compensation system analyzes one or more properties of a communication medium and, taking advantage of the locality of propagation, generates using sparse fast Fourier transform (sFFT) a sparse kernel based on the medium properties. The system models propagation of data signals through the medium as a fixed-point iteration based on the sparse kernel, and determines initial amplitudes for the data symbol(s) to be transmitted using different communication medium modes. Fixed-point iterations are performed using the sparse kernel to iteratively update the initial amplitudes. If the iterations converge, a subset of the finally updated amplitudes is used as launch amplitudes for the data symbol(s). The data symbol(s) can be modulated using these launch amplitudes such that upon propagation of the pre-compensated data symbol(s) through the communication medium, they would resemble the original data symbols at a receiver, despite any distortion and/or cross-mode interference in the communication medium.

公开(公告)号：US20160196086A1

公开(公告)日：2016-07-07

申请号：US14987216

申请日：2016-01-04

申请人： Reservoir Labs, Inc.

发明人： Muthu M. Baskaran ,  Thomas Henretty ,  Ann Johnson ,  Athanasios Konstantinidis ,  M. H. Langston ,  Janice O. McMahon ,  Benoit J. Meister ,  Paul D. Mountcastle ,  Aale Naqvi ,  Benoit Pradelle ,  Tahina Ramananandro ,  Sanket Tavarageri ,  Richard A. Lethin

IPC分类号： G06F3/06

CPC分类号： G06F3/0631 ,  G06F3/0604 ,  G06F3/0638 ,  G06F3/0671 ,  G06F8/4432 ,  G06F8/4441 ,  G06F8/453 ,  Y02D10/41

摘要： A system for allocation of one or more data structures used in a program across a number of processing units takes into account a memory access pattern of the data structure, and the amount of total memory available for duplication across the several processing units. Using these parameters duplication factors are determined for the one or more data structures such that the cost of remote communication is minimized when the data structures are duplicated according to the respective duplication factors while allowing parallel execution of the program.

摘要翻译： 用于分配跨越多个处理单元的程序中的一个或多个数据结构的系统考虑了数据结构的存储器访问模式以及可用于跨多个处理单元的重复的总存储器的量。 使用这些参数，确定一个或多个数据结构的复制因子，使得当数据结构根据相应的重复因素复制同时允许并行执行程序时，远程通信的成本被最小化。

公开(公告)号：US20160098257A1

公开(公告)日：2016-04-07

申请号：US14839539

申请日：2015-08-28

申请人： Reservoir Labs, Inc.

发明人： Benoit J. Meister ,  Muthu M. Baskaran ,  Richard A. Lethin

IPC分类号： G06F9/45

CPC分类号： G06F8/4441 ,  G06F8/4434

摘要： A system can generate and impose constraints on a compiler/scheduler so as to specifically minimize the footprints of one or more program variables. The constraints can be based on scopes of the variables and/or on dependence distances between statements specifying operations that use the one or more program variables.

摘要翻译： 系统可以生成并对编译器/调度器施加约束，以便特别地最小化一个或多个程序变量的占位面积。 约束可以基于变量的范围和/或指定使用一个或多个程序变量的操作的语句之间的依赖距离。

公开(公告)号：US20160004967A1

公开(公告)日：2016-01-07

申请号：US14854825

申请日：2015-09-15

申请人： Reservoir Labs, Inc.

发明人： James Ezick ,  Thomas Henretty ,  Chanseok Oh ,  Jonathan Springer

IPC分类号： G06N5/02 ,  G06N7/00

CPC分类号： G06N20/00 ,  G06F9/54 ,  G06F17/11 ,  G06N5/022 ,  G06N7/00 ,  G06N7/005

摘要： We present the architecture of a high-performance constraint solver R-Solve that extends the gains made in SAT performance over the past fifteen years on static decision problems to problems that require on-the-fly adaptation, solution space exploration and optimization. R-Solve facilitates collaborative parallel solving and provides an efficient system for unrestricted incremental solving via Smart Repair. R-Solve can address problems in dynamic planning and constrained optimization involving complex logical and arithmetic constraints.

公开(公告)号：US20150379404A1

公开(公告)日：2015-12-31

申请号：US14729731

申请日：2015-06-03

申请人： Reservoir Labs, Inc.

发明人： James Ezick ,  Thomas Henretty ,  Chanseok Oh ,  Jonathan Springer

IPC分类号： G06N5/02 ,  G06N7/00

CPC分类号： G06N20/00 ,  G06F9/54 ,  G06F17/11 ,  G06N5/022 ,  G06N7/00 ,  G06N7/005

摘要： We present the architecture of a high-performance constraint solver R-Solve that extends the gains made in SAT performance over the past fifteen years on static decision problems to problems that require on-the-fly adaptation, solution space exploration and optimization. R-Solve facilitates collaborative parallel solving and provides an efficient system for unrestricted incremental solving via Smart Repair. R-Solve can address problems in dynamic planning and constrained optimization involving complex logical and arithmetic constraints.

摘要翻译： 我们介绍一个高性能约束求解器R-Solve的架构，将SAT性能在过去十五年中的增长放在静态决策问题上，需要实时适应，解决方案空间探索和优化的问题。 R-Solve促进协同并行解决，并通过智能修复提供了无限制增量解决方案的高效系统。 R-Solve可解决涉及复杂逻辑和算术约束的动态规划和约束优化中的问题。