Research And Implementation Of Conflict Management Technology In Cmp-oriented Stm

The development of multi-core processor not only improves the processing performance constantly, but also brings more challenges and problems to software designing, which lies in limitation of the lock and synchronous variable used on multi-core architecture to implement synchronism. How to provide more convenient pattern for programming and program language and how to take full advantage of multi-core resource become the keystones. In recent years, TM is a pattern for programming which uses the transaction measure to improve the concurrency programming. And it is composed of software transaction memory and hardware transaction memory. Because software transaction memory could be implemented on hardware and supply the agiler mechanism such as nesting and rollback, it becomes the research emphasis.The main purpose of this thesis is to analyze and research the conflict management technology of software transaction memory system, and present the corresponding conflict management strategies based on the transaction conflict management mechanism, and design and implement the SMCM conflict manager. The conflict manager is divided into two parts: conflict detection and conflict arbitrament. To detect the conflict early, the thesis represents a bitmap mapping mechanism to associate the transaction with the object. On analyzing the conflict, the thesis finds that when the read transaction is committed early in read-write conflict, the conflict could be avoided. According to the discovery, the thesis brings the classified conflict detection mechanism. To detect the conflict lately could improve the potential parallelism of transaction, and to detect the other conflict early could reduce the system cost. In the conflict arbitrament, it adopts the mechanism based on priority. The most important thing is that the idea of mix arbitrament is brought. The idea is that to collect the material character firstly, and then to set trigger in diversified behaviors of transaction, and then the trigger evaluate the priority of transaction which is used to arbitrate the conflict when it happens. The behaviors of transaction include the read operation, write operation, succession of priority and the last attempting times.In the end, the thesis employs six typical testing programs to test and analyze the performance of system. The result shows that, the conflict manager could do well at most time, and especially the link and bitmap could improve the performance remarkably.