-
公开(公告)号:US07647567B1
公开(公告)日:2010-01-12
申请号:US11047329
申请日:2005-01-31
CPC分类号: G06F17/505 , G06F17/504
摘要: A system and method for Term Rewriting System hardware design employs a scheduler that incorporates a preference order in scheduling conflicting rules. The scheduler schedules a conflicting rule to execute when its predicate is true, and it is preferred over other conflicting rules in the preference order. The preference order may be, in one embodiment, a user-specified preference order enumerated by a designer. Such an order may be chosen according to efficiency criteria, such that the conflicting rule most essential for efficient hardware will be scheduled to execute on a given state rather than less essential conflicting rules The system and method advantageously permits a schedule to be computed in a time frame polynomially related to the number of rules, and produces more predictable and more easily understood schedules than conventional methods.
摘要翻译: 用于术语重写系统硬件设计的系统和方法使用调度器,该调度器在调度冲突规则中包含偏好顺序。 调度器调度冲突规则以在其谓词为真时执行,并且优先于优先级顺序中的其他冲突规则。 在一个实施例中,偏好顺序可以是由设计者枚举的用户指定的偏好顺序。 这样的顺序可以根据效率标准来选择,使得对有效硬件最重要的冲突规则将被调度为在给定状态下执行,而不是较不必要的冲突规则。系统和方法有利地允许在一段时间内计算进度 框架与规则数量多项式相关,并且比常规方法产生更可预测和更容易理解的时间表。
-
公开(公告)号:US08904154B2
公开(公告)日:2014-12-02
申请号:US13087712
申请日:2011-04-15
申请人: Srinivas Devadas , Omer Khan , Mieszko Lis , Keun Sup Shim , Myong Hyon Cho
发明人: Srinivas Devadas , Omer Khan , Mieszko Lis , Keun Sup Shim , Myong Hyon Cho
CPC分类号: G06F9/3824 , G06F9/3851 , G06F9/4856
摘要: An execution migration approach includes bringing the computation to the locus of the data: when a memory instruction requests an address not cached by the current core, the execution context (current program counter, register values, etc.) moves to the core where the data is cached.
摘要翻译: 执行迁移方法包括将计算引入数据的轨迹:当存储器指令请求未被当前核心缓存的地址时,执行上下文(当前程序计数器,寄存器值等)移动到核心,其中数据 被缓存
-
公开(公告)号:US20110258420A1
公开(公告)日:2011-10-20
申请号:US13087712
申请日:2011-04-15
申请人: Srinivas Devadas , Omer Khan , Mieszko Lis , Keun Sup Shim , Myong Hyon Cho
发明人: Srinivas Devadas , Omer Khan , Mieszko Lis , Keun Sup Shim , Myong Hyon Cho
IPC分类号: G06F9/312
CPC分类号: G06F9/3824 , G06F9/3851 , G06F9/4856
摘要: An execution migration approach includes bringing the computation to the locus of the data: when a memory instruction requests an address not cached by the current core, the execution context (current program counter, register values, etc.) moves to the core where the data is cached.
摘要翻译: 执行迁移方法包括将计算引入数据的轨迹:当存储器指令请求未被当前核心缓存的地址时,执行上下文(当前程序计数器,寄存器值等)移动到核心,其中数据 被缓存
-
-