|
|
Attribute configuration verification method of distributed framework based on finite state machine |
1. College of Information Science and Engineering, Shanxi Agricultural University,Taigu, Shanxi 030801, China; 2. Beijing Weimeng Chuangke Network Technology Co., Ltd., Beijing 100080, China |
|
|
Abstract Dynamic configuration technology provides users a non-stop, flexible and convenient way of service configuration, while it can bring a potential of misconfigurations and lead to system crashes and decline of service quality. To solve the problem, a dynamic configuration verification method of distributed framework was proposed based on finite state machine. The data type validation was achieved by data type conversion, which took advantage of the logic of finite state automation (FSA). The distributed framework configuration validation was implemented based on the dynamic configuration of Spring Cloud. To avoid unnecessary file reading and writing, Java compiler was improved to load the dynamically compiled bytecode in memory. The proposed configuration verification method was tested with the cases of misconfigurations of primitive and wrapped data types based on Spring Cloud config framework. The results show that the method can detect and process errors of data overflow, container unclosed, container nested error and mismatch of data type of primitive types and containers decoupling code by FSA, and it provides clear logic to the properties of configuration verification and reference for the configuration management of cloud framework.
|
Received: 15 June 2020
|
|
|
|
[1] |
SRIVASTAVA A K, KUMAR S. Dynamic reconfiguration of robot software component in real time distributed system using clustering techniques[J]. Procedia Computer Science, 2018, 125: 754-761.
|
[2] |
侯占伟, 翟海霞, 沈记全. 基于全局QoS约束分解与关联感知的动态服务组合[J]. 重庆邮电大学学报(自然科学版), 2018, 30(5): 606-613.
|
|
HOU Z W, ZHAI H X, SHEN J Q. Dynamic web ser-vice composition based on global QoS constrains decomposition and correlation aware[J]. Journal of Chongqing University of Posts and Telecommunications (Natural Science Edition), 2018, 30(5): 606-613. (in Chinese)
|
[3] |
ALIBABA. An easy-to-use dynamic service discovery, configuration and service management platform for buil-ding cloud native applications [EB/OL].[2020-06-13].https:∥github.com/alibaba/nacos.
|
[4] |
LI Y X, YAO X F. Cloud manufacturing service composition and formal verification based on extended process calculus[J]. Advances in Mechanical Engineering, 2018,10(6): 1-16.
|
[5] |
ZÚÑNIGA-PRIETO M, GONZLEZ-HUERTA J, INSFRAN E, et al. Dynamic reconfiguration of cloud application architectures[J]. Software-Practice and Expe-rience, 2018, 48(2): 327-344.
|
[6] |
KIKUCHI S, UCHIUMI T, KITAJIMA S, et al. Confi-guration policy extraction for parameter settings in cloud infrastructure using UML/OCL verification[C]∥Proceedings of the 2013 IEEE 6th International Conference on Cloud Computing. Piscataway: IEEE Computer So-ciety, 2013: 67-74.
|
[7] |
LEE E, KIM Y G, SEO Y D, et al. RINGA: design and verification of finite state machine for self-adaptive software at runtime[J]. Information and Software Technology, 2018, 93: 200-222.
|
[8] |
欧阳丹彤, 罗知雨, 耿雪娜,等. 分布式离散事件系统的安全可诊断性算法[J]. 吉林大学学报(理学版), 2018, 56(3): 594-600.
|
|
OUYANG D T, LUO Z Y, GENG X N, et al. Algorithm of state diagnosability for distributed discrete event systems [J]. Journal of Jilin University (Science Edition), 2018, 56(3): 594-600. (in Chinese)
|
[9] |
YENIGUN H, YEVTUSHENKO N, KUSHIK N, et al. The effect of partiality and adaptivity on the complexity of FSM state identification problems[J]. Proceedings of the Institute for System Programming of the RAS, 2018, 30(1): 7-24.
|
[10] |
龙新征, 彭一明, 李若淼. 基于微服务框架的信息服务平台[J]. 东南大学学报(自然科学版), 2017, 47(增刊1): 48-52.
|
|
LONG X Z, PENG Y M, LI R M. Information service platform based on microservice framework[J]. Journal of Southeast University (Natural Science Edition), 2017, 47(s1): 48-52.(in Chinese)
|
[11] |
HE S B, ZHAO L N, PAN M Y. The design of inland river ship microservice information system based on Spring Cloud[C]∥Proceedings of the 2018 5th International Conference on Information Science and Control Engineering. Piscataway: IEEE, 2018: 548-551.
|
|
|
|