Study On Conflict Resolution And Deadlock Handling In Smart Space

The rapid development of information technology and the computer make the execution efficiency of software and hardware performance has been greatly improved. In modern life, computing power and digital communication ability of the device is increasing, and the function of these devices and information can be used by other devices. This makes the line between the different roles of devices is becoming more and more blurred. Multiple of sharing information interaction computing devices can form a smart space. Smart space can be thought of as a working space where multimodal sensors and computing devices are embedded. Smart space can be seamless connection between the devices and equipment, which makes user can easily access the information in the space and get the computer services, so that they can help the user to achieve efficient work. Making a standard of these devices in space is very difficult, because of many resources that exist in the smart space. The original method was established a standard semantic ontology for smart space which can be done by the method of semantic web. However, the semantic web depends on the web structure and semantic reasoning efficiency and privacy are not good enough. Therefore, related research scholars put forward the Smart-M3 platform, to better implement smart space.Smart-M3 is the realization of intelligent interactive platform of the space and all the information and resources in the space can be shared and accessed on the platform. Vesa Luukkala solves the resource allocation and conflict problems with fixed priority under the integration of answer set programming and Smart-M3. Smart space, however, is a dynamic and context sensitive environment. The availability of resources is constantly changing and updates of information will also change the original order of resource allocation which will lead to new conflicts. To solve this kind of problem, this paper put forward a method of dynamic priority. Firstly, default rule is introduced and decision theoretic defaults is used to represent the dynamic priority. Secondly, relation of the dynamic priority is represented based on answer set programming and an answer set programming will be got. Solution of the conflict problem can get from the answer set of the programming. At last, an example is introduced and results show that this method overcomes the new conflict problems and achieves good effect.Furthermore, smart space is full of variety of devices. When a device wants to use other resources in space will release an activity instance. The activity instance could perform only when the activity instance obtain all the resources which are requested by it. The improper allocation of resources will cause the circular wait between the activity instances which will lead to a deadlock problem. Therefore, to solve the deadlock problem, first of all, the deadlock detection method based on meta programming is put forward. The method can detect whether there is a deadlock problem in the smart space and find out all the activity instances in a deadlock state if exist a deadlock problem in the smart space. And then, the extension of meta programming is introduced and the deadlock state of smart space is removed through the extended meta programming. This method can solve the deadlock problem existing in the space and make all the activity instances executed normally.