Patent ID: 8448154
Filing Date: 2013-05-21
Classification: G06F

Abstract:
1. A method for processing software for use in a multithreaded processing environment, said method comprising the steps of: identifying a storage element in a portion of single threaded software code, wherein said storage element is sharable between two or more processing threads in a multithreaded processing environment, in which said storage element declaration is one of a predetermined set of identified storage element declarations in said software code; converting said portion of single threaded software code for use in a multithreaded processing environment by recasting said storage element as an object and any statements operating on said storage element as respective methods on said object; applying a locking mechanism to said identified storage element; and automatically inserting a lock verification mechanism in each said respective method, said lock verification mechanism being arranged to determine whether said applied locking mechanism has locked said identified shared storage element for a given processing thread in said multithreaded processing environment, prior to use of said identified shared storage element by said processing thread.