期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
无冲突Petri网的结构活性判定研究
被引量:
4
1
作者
徐颖蕾
马炳先
《计算机工程》
CAS
CSCD
北大核心
2021年第7期296-300,共5页
结构活性作为Petri网的重要结构性质,在Petri网活性判定领域具有较高的研究价值。从Petri网有向回路对结构活性的影响入手,分析与判定无冲突Petri网的结构活性,讨论库所元素及其后置变迁之间是否存在有向回路对Petri网结构活性的影响,...
结构活性作为Petri网的重要结构性质,在Petri网活性判定领域具有较高的研究价值。从Petri网有向回路对结构活性的影响入手,分析与判定无冲突Petri网的结构活性,讨论库所元素及其后置变迁之间是否存在有向回路对Petri网结构活性的影响,研究该类Petri网结构活性判定方法的相关条件与结论,得到无冲突Petri网是满足结构活性的充分必要条件。分析结果表明,该判定方法可在多项式时间内判定无冲突Petri网的结构活性。
展开更多
关键词
PETRI网
无冲突结构
结构
活性
有向回路
T-外延子网
下载PDF
职称材料
Elsa:一种面向跨区域架构的无协调分布式键值存储系统
2
作者
崔玉龙
付国
+1 位作者
张岩峰
于戈
《软件学报》
EI
CSCD
北大核心
2023年第5期2427-2445,共19页
作为具备高性能和高可伸缩性的分布式存储解决方案,键值存储系统近年来被广泛采用,例如Redis、MongoDB、Cassandra等.分布式存储系统中广泛使用的多副本机制一方面提高了系统吞吐量和可靠性,但同时也增加了系统协调和副本一致性的额外开...
作为具备高性能和高可伸缩性的分布式存储解决方案,键值存储系统近年来被广泛采用,例如Redis、MongoDB、Cassandra等.分布式存储系统中广泛使用的多副本机制一方面提高了系统吞吐量和可靠性,但同时也增加了系统协调和副本一致性的额外开销.对于跨域分布式系统来说,远距离的副本协调开销甚至可能成为系统的性能瓶颈,降低系统的可用性和吞吐量.提出分布式键值存储系统Elsa,这是一种面向跨区域架构的无协调键值存储系统.Elsa在保证高性能和高可拓展性的基础上,采用无冲突备份数据结构(CRDT)技术来无协调的保证副本间的强最终一致性,降低了系统节点间的协调开销.在阿里云上构建了跨4数据中心8节点的跨区域分布式环境,进行了大规模分布式性能对比实验,实验结果表明:在跨域的分布式环境下,对于高并发争用的负载,Elsa系统的性能具备明显的优势,最高达到MongoDB集群的7.37倍,Cassandra集群的1.62倍.
展开更多
关键词
跨区域架构
键值存储系统
无冲突
备份数据
结构
副本一致性
强最终一致性
下载PDF
职称材料
题名
无冲突Petri网的结构活性判定研究
被引量:
4
1
作者
徐颖蕾
马炳先
机构
山东财经大学计算机科学与技术学院
山东省数字媒体技术重点实验室
济南大学信息科学与工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2021年第7期296-300,共5页
基金
山东省教育厅科研发展计划(KJ2018BAN058)。
文摘
结构活性作为Petri网的重要结构性质,在Petri网活性判定领域具有较高的研究价值。从Petri网有向回路对结构活性的影响入手,分析与判定无冲突Petri网的结构活性,讨论库所元素及其后置变迁之间是否存在有向回路对Petri网结构活性的影响,研究该类Petri网结构活性判定方法的相关条件与结论,得到无冲突Petri网是满足结构活性的充分必要条件。分析结果表明,该判定方法可在多项式时间内判定无冲突Petri网的结构活性。
关键词
PETRI网
无冲突结构
结构
活性
有向回路
T-外延子网
Keywords
Petri net
conflict-free structure
structural liveness
directed loop
T-extension subnet
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Elsa:一种面向跨区域架构的无协调分布式键值存储系统
2
作者
崔玉龙
付国
张岩峰
于戈
机构
东北大学计算机科学与工程学院
医学影像智能计算教育部重点实验室(东北大学)
出处
《软件学报》
EI
CSCD
北大核心
2023年第5期2427-2445,共19页
基金
国家自然科学基金(62072082,61672141)
CCF-华为数据库创新研究计划(CCF-HuaweiDBIR2020009B)
辽宁省重点研发计划(2020JH2/10100037)。
文摘
作为具备高性能和高可伸缩性的分布式存储解决方案,键值存储系统近年来被广泛采用,例如Redis、MongoDB、Cassandra等.分布式存储系统中广泛使用的多副本机制一方面提高了系统吞吐量和可靠性,但同时也增加了系统协调和副本一致性的额外开销.对于跨域分布式系统来说,远距离的副本协调开销甚至可能成为系统的性能瓶颈,降低系统的可用性和吞吐量.提出分布式键值存储系统Elsa,这是一种面向跨区域架构的无协调键值存储系统.Elsa在保证高性能和高可拓展性的基础上,采用无冲突备份数据结构(CRDT)技术来无协调的保证副本间的强最终一致性,降低了系统节点间的协调开销.在阿里云上构建了跨4数据中心8节点的跨区域分布式环境,进行了大规模分布式性能对比实验,实验结果表明:在跨域的分布式环境下,对于高并发争用的负载,Elsa系统的性能具备明显的优势,最高达到MongoDB集群的7.37倍,Cassandra集群的1.62倍.
关键词
跨区域架构
键值存储系统
无冲突
备份数据
结构
副本一致性
强最终一致性
Keywords
cross-region architecture
key value store
CRDT
replication consistency
strongly eventual consistency
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
无冲突Petri网的结构活性判定研究
徐颖蕾
马炳先
《计算机工程》
CAS
CSCD
北大核心
2021
4
下载PDF
职称材料
2
Elsa:一种面向跨区域架构的无协调分布式键值存储系统
崔玉龙
付国
张岩峰
于戈
《软件学报》
EI
CSCD
北大核心
2023
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部