Consideration of validity of concurrency control program generated in genetic programming
Fuma Kizu, Teruhisa Hochin, Hiroki Nomiya · 2016
This paper tries to generate an appropriate and valid concurrency control program by using genetic programming (GP). In GP, a program is represented with a tree. By using shared control variables, an appropriate program could be generated. However, invalid concurrency control program has been generated. This paper improves the concurrency control program generation system in order that the program generated can detect deadlock and can execute any schedule. It is experimentally shown that an appropriate concurrency control program can successfully be generated by using the proposed method.