News Column

Patent Issued for Scheduling Policy for Efficient Parallelization of Software Analysis in a Distributed Computing Environment

August 7, 2014



By a News Reporter-Staff News Editor at Computer Weekly News -- A patent by the inventors Ghosh, Indradeep (Cupertino, CA); Prasad, Mukul Ranjan (San Jose, CA), filed on November 30, 2010, was published online on July 22, 2014, according to news reporting originating from Alexandria, Virginia, by VerticalNews correspondents.

Patent number 8789054 is assigned to Fujitsu Limited (Kawasaki-shi, JP).

The following quote was obtained by the news editors from the background information supplied by the inventors: "Conventional methods for software testing lack the ability to unearth hard, corner-case bugs. Formal methods for software verification offer the promise to unearth hard, corner-case bugs. Symbolic execution is a verification technique that can uncover erroneous behaviors. Parallelizing software verification such as symbolic execution across multiple computer entities requires load balancing to approach linear speeds."

In addition to the background information obtained for this patent, VerticalNews journalists also obtained the inventors' summary information for this patent: "In one embodiment, a method for verifying software includes accessing a job queue, accessing a resource queue, and assigning a job from the job queue to a resource from the resource queue if an addition is made to the a job queue or to a resource queue. The job queue includes an indication of one or more jobs to be executed by a worker node, each job indicating a portion of a code to be verified. The resource queue includes an indication of a one or more worker nodes available to verify a portion of software. The resource is selected by determining the best match for the characteristics of the selected job among the resources in the resource queue.

"In another embodiment, an electronic device includes a memory including a job queue and a resource queue, and a processor coupled to the memory. The job queue includes an indication of one or more jobs to be executed by a worker node. Each job indicates a portion of code to be verified. The resource queue includes an indication of one or more worker nodes available to verify a portion of code to be verified. The process is configured to access the job queue, access the resource queue, and if an addition is made to a job queue or to a resource queue, assign a job from the job queue to a resource from the resource queue. The resource is selected by determining the best match for the characteristics of the selected job among the resources in the resource queue.

"In yet another embodiment, an article of manufacture includes a computer readable medium; and computer-executable instructions carried on the computer readable medium. The instructions are readable by a processor. The instructions, when read and executed, cause the processor to access a job queue, access a resource queue, and assign a job from the job queue to a resource from the resource queue if an addition is made to a job queue or to a resource queue. The job queue includes an indication of one or more jobs to be executed by a worker node, each job indicating a portion of a code to be verified. The resource queue includes an indication of a one or more worker nodes available to verify a portion of software. The resource is selected by determining the best match for the characteristics of selected job among the resources in the resource queue."

URL and more information on this patent, see: Ghosh, Indradeep; Prasad, Mukul Ranjan. Scheduling Policy for Efficient Parallelization of Software Analysis in a Distributed Computing Environment. U.S. Patent Number 8789054, filed November 30, 2010, and published online on July 22, 2014. Patent URL: http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO1&Sect2=HITOFF&d=PALL&p=1&u=%2Fnetahtml%2FPTO%2Fsrchnum.htm&r=1&f=G&l=50&s1=8789054.PN.&OS=PN/8789054RS=PN/8789054

Keywords for this news article include: Software, Fujitsu Limited.

Our reports deliver fact-based news of research and discoveries from around the world. Copyright 2014, NewsRx LLC


For more stories covering the world of technology, please see HispanicBusiness' Tech Channel



Source: Computer Weekly News


Story Tools






HispanicBusiness.com Facebook Linkedin Twitter RSS Feed Email Alerts & Newsletters