-
公开(公告)号：US08286173B2
公开(公告)日：2012-10-09
申请号：US11726830
申请日：2007-03-23
IPC分类号： G06F9/46
CPC分类号： G06F9/4881
摘要： A system provides a task scheduler to define a priority queue with at least one window and a queue-window key. Each window is an ordered collection of tasks in a task pool of the priority queue and is identified by the queue-window key. The task scheduler sets a task-window key equal to a user-window key when the user-window key is greater than the minimum queue-window key. The task scheduler can further set the task-window key equal to the minimum queue-window key when the user-window key is less than the minimum queue-window key. A maximum task limit per user for each window and a priority increment for the user-window key are further applied to ensure fair scheduling.
摘要翻译： 一个系统提供一个任务调度器来定义具有至少一个窗口和队列窗口密钥的优先级队列。 每个窗口是优先级队列任务池中的任务的有序集合，并由队列窗口键标识。 当用户窗口密钥大于最小队列窗口密钥时，任务调度器设置等于用户窗口密钥的任务窗口密钥。 当用户窗口密钥小于最小队列窗口密钥时，任务调度器可以进一步将任务窗口密钥设置为等于最小队列窗口密钥。 每个窗口的每个用户的最大任务限制和用户窗口密钥的优先级增量进一步应用于确保公平调度。
-
公开(公告)号：US20080235693A1
公开(公告)日：2008-09-25
申请号：US11726830
申请日：2007-03-23
IPC分类号： G06F9/46
CPC分类号： G06F9/4881
摘要： A system provides a task scheduler to define a priority queue with at least one window and a queue-window key. Each window is an ordered collection of tasks in a task pool of the priority queue and is identified by the queue-window key. The task scheduler sets a task-window key equal to a user-window key when the user-window key is greater than the minimum queue-window key. The task scheduler can further set the task-window key equal to the minimum queue-window key when the user-window key is less than the minimum queue-window key. A maximum task limit per user for each window and a priority increment for the user-window key are further applied to ensure fair scheduling.
摘要翻译： 一个系统提供一个任务调度器来定义具有至少一个窗口和队列窗口密钥的优先级队列。 每个窗口是优先级队列任务池中的任务的有序集合，并由队列窗口键标识。 当用户窗口密钥大于最小队列窗口密钥时，任务调度器设置等于用户窗口密钥的任务窗口密钥。 当用户窗口密钥小于最小队列窗口密钥时，任务调度器可以进一步将任务窗口密钥设置为等于最小队列窗口密钥。 每个窗口的每个用户的最大任务限制和用户窗口密钥的优先级增量进一步应用于确保公平调度。
-
3.发明申请FAST DISPATCH PREDICATE FOR OVERLOADED FUNCTIONS WITH GENERIC TYPE HIERARCHIES THAT LACK CONTRAVARIANCE 有权用于具有一般类型分类的超载功能的快速分配预测公开(公告)号：US20140068555A1
公开(公告)日：2014-03-06
申请号：US13601730
申请日：2012-08-31
IPC分类号： G06F9/44
CPC分类号： G06F9/449
摘要： The disclosed embodiments provide a system that facilitates the development and execution of a software program. During runtime of the software program, the system obtains a function call associated with an overloaded function and a generic type hierarchy that lacks contravariance. Next, the system determines an applicability of an implementation of the overloaded function to the function call. Finally, the system selects the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function.
摘要翻译： 所公开的实施例提供了便于开发和执行软件程序的系统。 在软件程序的运行期间，系统获得与重载功能相关联的功能调用和缺乏对角线的通用类型层次结构。 接下来，系统确定重载函数的实现对函数调用的适用性。 最后，系统根据确定的适用性和重载功能的部分实现顺序选择函数调用的实现。
-
4.发明授权Using versioned pointers to facilitate reusing memory with a reduced need to reclaim objects through garbage collection 有权使用版本化的指针来简化重用内存，减少了通过垃圾收集回收对象的需求公开(公告)号：US08316204B2
公开(公告)日：2012-11-20
申请号：US13247786
申请日：2011-09-28
申请人： David R. Chase
发明人： David R. Chase
CPC分类号： G06F12/0246
摘要： One embodiment of the present invention provides a system that uses versioned pointers to facilitate reusing memory without having to reclaim the objects solely through garbage collection. The system operates by first receiving a request to allocate an object. Next, the system obtains the object from a pool of free objects, and sets an allocated/free flag in the object to indicate that the object is allocated. The system also increments a version number in the object, and also encodes the version number into a pointer for the object. The system then returns the pointer, which includes the encoded version number. In this way, subsequent accesses to the object through the pointer can compare the version number encoded in the pointer with the version number in the object to determine whether the object has been reused since the pointer was generated.
摘要翻译： 本发明的一个实施例提供一种使用版本化指针来促进重用存储器的系统，而不必仅通过垃圾收集来回收对象。 系统通过首先接收分配对象的请求来操作。 接下来，系统从空闲对象池中获取对象，并在对象中设置一个已分配/自由的标志，以指示对象被分配。 系统还会增加对象中的版本号，并将版本号编码为对象的指针。 然后，系统返回包含编码版本号的指针。 以这种方式，通过指针对对象的后续访问可以将指针中编码的版本号与对象中的版本号进行比较，以确定对象是否已被重用，因为该指针已生成。
-
5.发明授权Digital signal process control of stirling cycle cryogenic cooler drive and high temperature superconducting filter temperature control loop 有权斯特林循环低温冷却器驱动和高温超导过滤器温度控制回路的数字信号处理控制公开(公告)号：US06446444B1
公开(公告)日：2002-09-10
申请号：US09872280
申请日：2001-05-31
IPC分类号： F25B900
CPC分类号： G05B15/02 , F02G1/043 , F25B9/14 , F25B2309/001 , F25B2309/1428 , G05B21/02 , Y10S62/908
摘要： Systems and methods for regulating, for example, the temperature of high temperature superconducting (HTSC) thin film filters used in connection with a Stirling cycle cryocooler. The system employs a digital signal processor-based control system. The system includes a cryocooler drive control loop for controlling the cryocooler drive in response to a measured cryocooler driving current and a cryocooler driving current set point. The system also includes a temperature control loop for generating the cryocooler driving current set point in response to either a cooldown profile algorithm or a comparison between a measured temperature and a set point temperature stored in DSP memory.
摘要翻译： 用于调节例如与斯特林循环低温冷却器结合使用的高温超导（HTSC）薄膜过滤器的温度的系统和方法。 该系统采用基于数字信号处理器的控制系统。 该系统包括用于响应于测量的低温冷却器驱动电流来控制低温冷却器驱动器的低温冷却器驱动控制回路和低温冷却器驱动电流设定点。 该系统还包括用于响应于冷却轮廓算法或存储在DSP存储器中的测量温度和设定点温度之间的比较来产生低温冷却器驱动电流设定点的温度控制回路。
-
公开(公告)号：US06149318A
公开(公告)日：2000-11-21
申请号：US843421
申请日：1997-04-15
CPC分类号： G06F11/3644 , G06F11/3624 , G06F8/437
摘要： A programming language processor performs link-time and run-time error checking of a program written in C, C++, or a combination of both. The link-time error checking diagnoses violations of the C++ One Definition Rule, and its equivalent in C. As the program runs, the run-time error checking examines accesses to computer memory to determine that the addresses accessed contain values of che type expected by the program. To add instrumentation to a C or C++ program, pre-expressions, post-expressions and clone-expressions are used to annotate an abstract syntax tree, the annotated tree is then canonicalized into a more traditional syntax tree before a back-end generates code for the program.
摘要翻译： 编程语言处理器执行用C，C ++编写的程序的链接时间和运行时错误检查，或两者的组合。 链接时间错误检查诊断违反C ++一维规则及其等同于C的程序。当程序运行时，运行时错误检查检查对计算机内存的访问，以确定访问的地址包含预期的che类型的值 该程序。 为了向C或C ++程序添加仪器，使用预表达式，后表达式和克隆表达式来注释抽象语法树，然后将注释的树规范化为更传统的语法树，然后后端生成代码 该程序。
-
7.发明授权Fast dispatch predicate for overloaded functions with generic type hierarchies that lack contravariance 有权用于重载函数的快速调度谓词，具有缺乏对角线的泛型类型层次结构公开(公告)号：US08843887B2
公开(公告)日：2014-09-23
申请号：US13601730
申请日：2012-08-31
IPC分类号： G06F9/44
CPC分类号： G06F9/449
摘要： The disclosed embodiments provide a system that facilitates the development and execution of a software program. During runtime of the software program, the system obtains a function call associated with an overloaded function and a generic type hierarchy that lacks contravariance. Next, the system determines an applicability of an implementation of the overloaded function to the function call. Finally, the system selects the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function.
摘要翻译： 所公开的实施例提供了便于开发和执行软件程序的系统。 在软件程序的运行期间，系统获得与重载功能相关联的功能调用和缺乏对角线的通用类型层次结构。 接下来，系统确定重载函数的实现对函数调用的适用性。 最后，系统根据确定的适用性和重载功能的部分实现顺序选择函数调用的实现。
-
8.发明申请TYPE INFERENCE OF GENERIC TYPE PARAMETERS IN OVERLOADED FUNCTIONS USING TYPE INTERVALS AND INFERENCE DIRECTIONS 有权使用类型间隔和干扰方向的过载函数中的一般类型参数的类型推断公开(公告)号：US20140068574A1
公开(公告)日：2014-03-06
申请号：US13601766
申请日：2012-08-31
申请人： Karl B. Naden , David R. Chase , Justin R. Hilburn
发明人： Karl B. Naden , David R. Chase , Justin R. Hilburn
IPC分类号： G06F9/45
CPC分类号： G06F9/4428 , G06F8/31 , G06F8/437 , G06F9/4484 , G06F9/4488 , G06F9/449
摘要： The disclosed embodiments provide a system that facilitates the development and execution of a software program. During operation, the system obtains a type interval for a generic type parameter of an implementation of an overloaded function. Next, the system selects an inference direction for the generic type parameter based on a variance of the generic type parameter, wherein the inference direction is an upward inference direction or a downward inference direction. Finally, the system uses the type interval and the inference direction to perform type inference on the generic type parameter.
摘要翻译： 所公开的实施例提供了便于开发和执行软件程序的系统。 在运行期间，系统获取一个重载函数实现的通用类型参数的类型间隔。 接下来，系统基于通用类型参数的方差来选择通用类型参数的推理方向，其中推理方向是向上推理方向或向下推理方向。 最后，系统使用类型间隔和推理方向对通用类型参数执行类型推断。
-
公开(公告)号：US20130032031A1
公开(公告)日：2013-02-07
申请号：US13580692
申请日：2011-04-19
申请人： Andrew P. Bartko , Rodney S. Black , James R. Busch , David R. Chase , Ryan W. Daly , Theodore J. Ronningen , Matthew S. Young
发明人： Andrew P. Bartko , Rodney S. Black , James R. Busch , David R. Chase , Ryan W. Daly , Theodore J. Ronningen , Matthew S. Young
CPC分类号： B03C3/36 , B05B5/0255 , B05B5/1683 , G01N1/2202 , G01N1/2273 , G01N2001/2223 , H01J49/165
摘要： A small area electrostatic aerosol collector combines electrostatic collection of aerosol particles and electrohydrodynamic spraying of fluid so that a sample collected electrostatically can have fluid applied thereto. The fluid may assist with disaggregation and/or desalinization of biological material collected onto a sample substrate. A controller associated with the collector may control an electrostatic charge device and a spraying device such that the charge device and spraying device may operate in alternating fashion, or the charge device and spraying device may operate simultaneously. Further, mechanical systems are provided, for the disaggregation of particulate clusters collected onto a sample substrate.
摘要翻译： 小面积的静电吸尘器结合了气溶胶颗粒的静电收集和液体的电动液体喷射，使得静电收集的样品可以将流体施加到其上。 流体可以帮助收集到样品基底上的生物材料的解聚和/或脱盐。 与集电器相关联的控制器可以控制静电充电装置和喷射装置，使得充电装置和喷射装置可以交替地操作，或者充电装置和喷射装置可以同时操作。 此外，提供了机械系统，用于将收集到样品基底上的颗粒团簇分解。
-
10.发明授权Using versioned pointers to facilitate reusing memory with a reduced need to reclaim objects through garbage collection 有权使用版本化的指针来简化重用内存，减少了通过垃圾收集回收对象的需求公开(公告)号：US08051267B1
公开(公告)日：2011-11-01
申请号：US11054508
申请日：2005-02-09
申请人： David R. Chase
发明人： David R. Chase
CPC分类号： G06F12/0246
摘要： One embodiment of the present invention provides a system that uses versioned pointers to facilitate reusing memory without having to reclaim the objects solely through garbage collection. The system operates by first receiving a request to allocate an object. Next, the system obtains the object from a pool of free objects, and sets an allocated/free flag within the object to indicate that the object is allocated. The system also increments a version number within the object, and also encodes the version number into a pointer for the object. The system then returns the pointer, which includes the encoded version number. In this way, subsequent accesses to the object through the pointer can compare the version number encoded in the pointer with the version number within the object to determine whether the object has been reused since the pointer was generated.
摘要翻译： 本发明的一个实施例提供一种使用版本化指针来促进重用存储器的系统，而不必仅通过垃圾收集来回收对象。 系统通过首先接收分配对象的请求来操作。 接下来，系统从空闲对象池中获取对象，并在对象内设置分配/自由标志，以指示对象被分配。 系统还会增加对象内的版本号，并将版本号编码为对象的指针。 然后，系统返回包含编码版本号的指针。 以这种方式，通过指针对对象的后续访问可以将指针中编码的版本号与对象内的版本号进行比较，以确定该对象是否已被重用，因为该指针已生成。
-
-
-
-
-
-
-
-
-
搜索结果
19 条记录 (耗时 0.024 秒)
