Pub Date : 1900-01-01DOI: 10.21655/ijsi.1673-7288.00257
Xiaosong Gu, Hengfeng Wei, L. Qiao, Yu Huang
PolarFS is a distributed file system developed by Alibaba variant of the Raft consensus protocol, called ParallelRaft.ParallelRaft execution of log entries and enables state machines to commit and execute log entries in an out open-sourced. It has only a brief description, lacking formal specification. proven or formally checked. We aim to provide a precise formal specification for ParallelRaft and prove its correctness make the following main contributions: First, to clarify the relationship b (Sequential Execution), which allows out-of-order commitment but prohibits out 基金项目: 国家自然科学基金 (61932021, 61772258); 五〇二所空间先进计算与电子信息专业实验室开放基金 2020-04) Foundation item: National Natural Science Foundation of China (61932021, 61772258), Space Advanced C Information Laboratory of BICE (OBCandETL-2020-04) 收稿时间: 2020-08-30; 修改时间: 2020-10-26, 2021-01-18 E-mail: jos@iscas.ac.cn http://www.jos.org.cn Tel: +86-10-62562563
{"title":"Raft with Out-of-Order Executions","authors":"Xiaosong Gu, Hengfeng Wei, L. Qiao, Yu Huang","doi":"10.21655/ijsi.1673-7288.00257","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00257","url":null,"abstract":"PolarFS is a distributed file system developed by Alibaba variant of the Raft consensus protocol, called ParallelRaft.ParallelRaft execution of log entries and enables state machines to commit and execute log entries in an out open-sourced. It has only a brief description, lacking formal specification. proven or formally checked. We aim to provide a precise formal specification for ParallelRaft and prove its correctness make the following main contributions: First, to clarify the relationship b (Sequential Execution), which allows out-of-order commitment but prohibits out 基金项目: 国家自然科学基金 (61932021, 61772258); 五〇二所空间先进计算与电子信息专业实验室开放基金 2020-04) Foundation item: National Natural Science Foundation of China (61932021, 61772258), Space Advanced C Information Laboratory of BICE (OBCandETL-2020-04) 收稿时间: 2020-08-30; 修改时间: 2020-10-26, 2021-01-18 E-mail: jos@iscas.ac.cn http://www.jos.org.cn Tel: +86-10-62562563","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121817810","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.21655/ijsi.1673-7288.00272
Guoliang Li, Ge Yu, Jun Yang, Ju Fan
{"title":"Preface to Special Issue on New Technologies of Database Systems","authors":"Guoliang Li, Ge Yu, Jun Yang, Ju Fan","doi":"10.21655/ijsi.1673-7288.00272","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00272","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123940382","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.21655/ijsi.1673-7288.00285
Min Yang, Chao Zhang, Fuxiao Song, Yuan Zhang
{"title":"Preface to Special Issue on System Software Security","authors":"Min Yang, Chao Zhang, Fuxiao Song, Yuan Zhang","doi":"10.21655/ijsi.1673-7288.00285","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00285","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123011877","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.21655/ijsi.1673-7288.00247
Mengwei Xu, Yuanqiang Liu, Kang Huang, Xuanzhe Liu, Gang Huang
{"title":"Autonomous Learning System Towards Mobile Intelligence","authors":"Mengwei Xu, Yuanqiang Liu, Kang Huang, Xuanzhe Liu, Gang Huang","doi":"10.21655/ijsi.1673-7288.00247","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00247","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131943469","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.21655/ijsi.1673-7288.00259
Minxue Pan, Jun Wei, Zhanqi Cui
{"title":"Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling","authors":"Minxue Pan, Jun Wei, Zhanqi Cui","doi":"10.21655/ijsi.1673-7288.00259","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00259","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129996180","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.21655/ijsi.1673-7288.00286
Yinbo Yu, Jiajia Liu, Dejun Mu
{"title":"Counterexample-guided Spatial Flow Model Checking Methods for C Code","authors":"Yinbo Yu, Jiajia Liu, Dejun Mu","doi":"10.21655/ijsi.1673-7288.00286","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00286","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131568542","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.21655/ijsi.1673-7288.00288
Xin Tan, Xiyu Yang, Jiajun Cao, Yuan Zhang
{"title":"Refcount Field Identification for Linux Kernel Based on Deep Learning","authors":"Xin Tan, Xiyu Yang, Jiajun Cao, Yuan Zhang","doi":"10.21655/ijsi.1673-7288.00288","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00288","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"205 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131845556","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：