Patents by Inventor Pamela Binns
Pamela Binns has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Patent number: 8316368Abstract: One example is directed to a method of generating a set of schedules for use by a partitioning kernel to execute a plurality of partitions on a plurality of processor cores included in a multi-core processor unit. The method includes determining a duration to execute each of the plurality of partitions without interference and generating a candidate set of schedules using the respective duration for each of the plurality of partitions. The method further includes estimating how much interference occurs for each partition when the partitions are executed on the multi-core processor unit using the candidate set of schedules and generating a final set of schedules by, for at least one of the partitions, scaling the respective duration in order to account for the interference for that partition. The method further includes configuring the multi-core processor unit to use the final set of schedules to control the execution of the partitions using at least two of the cores.Type: GrantFiled: February 5, 2009Date of Patent: November 20, 2012Assignee: Honeywell International Inc.Inventors: Stephen C. Vestal, Pamela Binns, Aaron Larson, Murali Rangarajan, Ryan Roffelsen
-
Publication number: 20100199280Abstract: One embodiment is directed to a method of generating a set of schedules for use by a partitioning kernel to execute a plurality of partitions on a plurality of processor cores included in a multi-core processor unit. The method includes determining a duration to execute each of the plurality of partitions without interference and generating a candidate set of schedules using the respective duration for each of the plurality of partitions. The method further includes estimating how much interference occurs for each partition when the partitions are executed on the multi-core processor unit using the candidate set of schedules and generating a final set of schedules by, for at least one of the partitions, scaling the respective duration in order to account for the interference for that partition. The method further includes configuring the multi-core processor unit to use the final set of schedules to control the execution of the partitions using at least two of the cores.Type: ApplicationFiled: February 5, 2009Publication date: August 5, 2010Applicant: HONEYWELL INTERNATIONAL INC.Inventors: Stephen C. Vestal, Pamela Binns, Aaron Larson, Murali Rangarajan, Ryan Roffelsen
-
Patent number: 7590063Abstract: A technique for binning aperiodic latency sample data using a data representation called latency band graphs. A fluid flow analysis produces a small, fixed size set of automatically generated bins dependent only on the timeline defined by periodic traffic. The compact number of bins yields a parameterized latency representation suitable for real-time estimation and goodness-of-fit tests.Type: GrantFiled: November 10, 2003Date of Patent: September 15, 2009Assignee: Honeywell International Inc.Inventor: Pamela A. Binns
-
Publication number: 20080028415Abstract: In a multitasking system executing real-time harmonic and dynamic tasks having various priority levels, slack is stolen from both timeline and reclaimed slack to enable the execution of high priority non-essential tasks on a best efforts basis. Counts of the amount of slack consumed, slack reclaimed, and periodic compute time consumed are maintained by individual priority level and dynamically updated at certain times. Idle time is calculated by priority level. Available slack is calculated, and slack is allocated and consumed by rate, with the highest rate first and the lowest rate last. Slack is made available to tasks in more than one time partition. All slack belongs to a common system-wide pool of slack obtained from any one or more of the time partitions. Common slack can also be time-shared by static, non-harmonic tasks residing in different time partitions. Also described are a computer system and various methods that perform slack scheduling in a time-partitioned system.Type: ApplicationFiled: October 4, 2007Publication date: January 31, 2008Applicant: HONEYWELL INTERNATIONAL INC.Inventors: Pamela Binns, Aaron Larson
-
Patent number: 7302685Abstract: In a multitasking system executing real-time harmonic and dynamic tasks having various priority levels, slack is stolen from timeline and reclaimed slack to enable execution of high priority non-essential tasks on a best efforts basis. Counts of the amount of slack consumed, slack reclaimed, and periodic compute time consumed are maintained by individual priority level and dynamically updated at certain times. Idle time is calculated by priority level. Available slack is calculated, allocated and consumed by rate, with the highest rate first and the lowest last. Slack is made available to tasks in more than one time partition. All slack belongs to a common system-wide pool of slack obtained from any one or more time partitions. Common slack can also be time-shared by static, non-harmonic tasks residing in different time partitions. Also described are a computer system and methods that perform slack scheduling in a time-partitioned system.Type: GrantFiled: December 29, 2000Date of Patent: November 27, 2007Assignee: Honeywell International Inc.Inventors: Pamela A. Binns, Aaron R. Larson
-
Patent number: 7140022Abstract: In a multitasking system executing real-time harmonic and dynamic tasks having various priority levels, slack is stolen from both timeline and reclaimed slack to enable the execution of high priority non-essential tasks on a best efforts basis. Counts of the amount of slack consumed, slack reclaimed, and periodic compute time consumed are maintained by individual priority level and dynamically updated at certain times. Idle time is calculated by priority level. Available slack is calculated, and slack is allocated and consumed by rate, with the highest rate first and the lowest rate last. Also described are a computer system and various methods that perform slack stealing in a multitasking system in which dynamic tasks can request activation or deactivation at any time.Type: GrantFiled: December 29, 2000Date of Patent: November 21, 2006Assignee: Honeywell International Inc.Inventor: Pamela A. Binns
-
Publication number: 20050102413Abstract: A technique for binning aperiodic latency sample data using a data representation called latency band graphs. A fluid flow analysis produces a small, fixed size set of automatically generated bins dependent only on the timeline defined by periodic traffic. The compact number of bins yields a parameterized latency representation suitable for real-time estimation and goodness-of-fit tests.Type: ApplicationFiled: November 10, 2003Publication date: May 12, 2005Inventor: Pamela Binns
-
Patent number: 6567840Abstract: Methods for modeling real-time periodic and aperiodic task scheduling and message passing within multitask systems. The methods utilize undelayed and single sample delayed message connections among software task objects and hardware objects. Task priorities are assigned inversely with period or deadline, so that tasks with shorter periods or deadlines have higher scheduling priorities. Periods of high-criticality tasks are decomposed into smaller pieces that are sequentially dispatched at higher rates where the initial assignment of priority is inconsistent with task criticality. The methods provide for deterministic communication among periodic processes.Type: GrantFiled: May 14, 1999Date of Patent: May 20, 2003Assignee: Honeywell Inc.Inventors: Pamela A. Binns, Stephen C. Vestal
-
Publication number: 20020120661Abstract: In a multitasking system executing real-time harmonic and dynamic tasks having various priority levels, slack is stolen from both timeline and reclaimed slack to enable the execution of high priority non-essential tasks on a best efforts basis. Counts of the amount of slack consumed, slack reclaimed, and periodic compute time consumed are maintained by individual priority level and dynamically updated at certain times. Idle time is calculated by priority level. Available slack is calculated, and slack is allocated and consumed by rate, with the highest rate first and the lowest rate last. Slack is made available to tasks in more than one time partition. All slack belongs to a common system-wide pool of slack obtained from any one or more of the time partitions. Common slack can also be time-shared by static, non-harmonic tasks residing in different time partitions. Also described are a computer system and various methods that perform slack scheduling in a time-partitioned system.Type: ApplicationFiled: December 29, 2000Publication date: August 29, 2002Inventors: Pamela A. Binns, Aaron R. Larson
-
Publication number: 20020120663Abstract: In a multitasking system executing real-time harmonic and dynamic tasks having various priority levels, slack is stolen from both timeline and reclaimed slack to enable the execution of high priority non-essential tasks on a best efforts basis. Counts of the amount of slack consumed, slack reclaimed, and periodic compute time consumed are maintained by individual priority level and dynamically updated at certain times. Idle time is calculated by priority level. Available slack is calculated, and slack is allocated and consumed by rate, with the highest rate first and the lowest rate last. Also described are a computer system and various methods that perform slack stealing in a multitasking system in which dynamic tasks can request activation or deactivation at any time.Type: ApplicationFiled: December 29, 2000Publication date: August 29, 2002Inventor: Pamela A. Binns
-
Patent number: 6189022Abstract: A method for scheduling periodic incremental and design to time processes. The algorithm is based on the slack stealer which dynamically determines the remaining slack time after all periodic processes are scheduled utilizing Rate Monotonic Scheduling (RMS). An incremental process determines how much execution time is available after the baseline component has completed and prior to the execution of a process increment. A design to time process determines how much execution time is available before the process begins execution and selects a version which gives the greatest precision in the available time. For both incremental and design to time processes, a minimum amount of time is statically reserved so that an acceptable but suboptimal solution will always be calculated. The solution identifies and proposes solutions for the practical problem of supporting criticalities when scheduling slack and analyzing the run-time overheads.Type: GrantFiled: August 20, 1997Date of Patent: February 13, 2001Assignee: Honeywell International Inc.Inventor: Pamela A. Binns