An algorithm for maintaining working memory consistency in multiple rule firing systems

Autor:	Tolety Siva Perraju, Bandreddi E. Prasad
Rok vydání:	2000
Předmět:	Concurrency control Consistency (database systems) Information Systems and Management Theoretical computer science Speedup Working memory Computer science Semantics (computer science) Concurrency Distributed computing Forward chaining Interference (wave propagation) Algorithm
Zdroj:	Data & Knowledge Engineering. 32:181-198
ISSN:	0169-023X
DOI:	10.1016/s0169-023x(99)00038-5
Popis:	Multiple rule firing models are used to improve the performance of forward chaining production systems. Interference analysis techniques are used to detect cases when the result of a concurrent execution is different from the result of any sequential firing. The current interference analysis techniques are computationally intensive. Further, these techniques permit less concurrency than that is actually possible. Multiple rule firing is akin to concurrent transaction execution in databases. The interference problem can be viewed as a problem of maintaining working memory (WM) consistency in multiple rule firing environments. We propose a new algorithm to maintain working memory consistency. This algorithm uses `Access requests' to control access to working memory. Though, `Access requests' seem to be similar to locks in databases, they have different semantics. These different semantics allow the algorithm to be deadlock free. A comparison of different algorithms shows that the degree of concurrency permitted by our algorithm is more than that allowed by other algorithms.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::189e04aa869f654d634212e1674a230a https://doi.org/10.1016/s0169-023x(99)00038-5 Zobrazit plný text záznamu Full Text from ScienceDirect