公共文化服务平台

黄宇: 作品数：43 被引量：111H指数：6; 供职机构：南京大学更多>>; 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>; 相关领域：自动化与计算机技术天文地球电子电信化学工程更多>>

合作作者

无线Web访问的缓存和预取机制被引量：1: 2007年; 缓存和预取在提高无线环境下的Web访问性能方面发挥着重要作用。文章研究针对无线局域网的Web缓存和预取机制,分别基于数据挖掘和信息论提出了采用序列挖掘和延迟更新的预测算法,设计了上下文感知的预取算法和获益驱动的缓存替换机制,上述算法已在Web缓存系统OnceEasyCache中实现。性能评估实验结果表明,上述算法的集成能有效地提高缓存命中率和延迟节省率。; 金蓓弘田四化林晨黄宇任鑫; 关键词：无线局域网上下文感知无线环境数据挖掘缓存系统

一种无冲突复制集合类型支持子集操作的方法: 本发明公开一种无冲突复制集合类型支持子集操作的方法，该方法以Conflic‑free Replicated Data Types(CRDT)中的Set数据结构为基础，通过组合CRSet元素的add和remove操作，消解...; 黄宇周舟魏恒峰; 文献传递

IRMD:面向移动设备的IP地址解析: 在移动环境下,移动设备的IP 地址动态变化,这使得移动应用程序相互之间进行通信变得困难.为了解决上述问题,我们设计了一个从移动设备的逻辑名解析其当前IP 地址的系统IRMD(IP-address Resolution f...; 陆掾黄宇; 关键词：移动计算容错; 文献传递

基于分布共享存储的智能小车协同方法: 本发明公开一种基于分布共享存储的智能小车协同方法，对于单个智能小车本身的适应能力，采用分解再合成的方法，利用统一的行为分解和仲裁器调度的方法简化了智能小车的开发过程，并且利用分布共享存储将这项技术在多车协同的场景下进行了...; 黄宇张昊; 文献传递

CRDT协议的TLA+描述与验证被引量：3: 2020年; 无冲突复制数据类型(conflict-free replicated data types,简称CRDT)是一种封装了冲突消解策略的分布式复制数据类型,它能够保证分布式系统中副本节点间的强最终一致性,即执行了相同更新操作的副本节点具有相同的状态.CRDT协议设计精巧,不易保证其正确性.旨在采用模型检验技术验证一系列CRDT协议的正确性.具体而言,构建了一个可复用的CRDT协议描述与验证框架,包括网络通信层、协议接口层、具体协议层与规约层.网络通信层描述副本节点之间的通信模型,实现了多种类型的通信网络.协议接口层为已知的CRDT协议(分为基于操作的协议与基于状态的协议)提供了统一的接口.在具体协议层,用户可以根据协议的需求选用合适的底层通信网络.规约层则描述了所有CRDT协议都需要满足的强最终一致性与最终可见性(所有的更新操作最终都会被所有的副本节点接收并处理).使用TLA+形式化规约语言实现了该框架,然后以Add-Wins Set复制数据类型为例,展示了如何使用框架描述具体协议,并使用TLC模型检验工具来验证协议的正确性.; 纪业魏恒峰黄宇吕建

基于逆序对的分布式键值存储系统数据弱一致性度量方法: 本发明公开了一种基于逆序对的分布式键值存储系统数据弱一致性度量方法，分布式键值存储系统的读写执行记录计算出量化的弱一致性程度，帮助数据服务的使用者进行一致性与可用性、访问延迟的权衡。典型的分布式键值存储系统包含服务器与客...; 黄宇魏恒峰黄茂森

基于分布式协商算法的协同内核构建方法: 本发明公开了一种基于分布式协商算法的协同内核构建技术。协同内核是构建数据中心应用的一个关键元素，它部署于数据中心内的多个服务节点上。客户节点将请求发送给主服务节点：若请求属于读请求，主服务节点本地处理读请求；若请求属于写...; 黄宇陆掾吕建; 文献传递

基于分布共享存储的移动设备数据共享方法: 本发明公开了一种基于分布共享存储的移动设备数据共享平台的构建技术。首先在移动设备上设置共享的数据，数据监控进程对数据进行监控，记录数据变化信息；数据管理进程对保存的信息进行分析，利用版本控制模块更新数据的版本信息，并将版...; 黄宇张绍文; 文献传递

面向大规模集群的柔性配置更新推送方法被引量：1: 2020年; 配置管理是支撑云服务提供商管理大规模容器集群的重要基础设施.这一规模的集群通常包含百万量级的容器实例,如何根据不同业务场景的需求,及时可靠地将配置更新推送至对其感兴趣的容器实例,是亟待解决的关键问题.然而,现有方法仍存在不足之处.保障顺序一致性的共识算法限制了集群的扩展能力,难以适用于大规模集群.反熵算法存在长尾现象,时延难以保障,不适用于推送关键的配置更新.为了应对上述挑战,本文提出了一种面向大规模集群的柔性配置更新推送方法.这一方法基于发布/订阅机制,引入基于完全N叉树拓扑的可定义的多层次推送,并使用订阅者的部分计算资源协助推送,以提升推送性能;引入容错机制以应对节点失效和网络分区,保障网络分区时多分区读写可用.方法的拓扑参数和策略可根据业务场景对性能、可靠性等维度的不同需求而调整.实验结果表明,与现有的方法相比,我们的方法可以有效降低更新推送的时延,并可有效应对节点失效和网络分区场景.; 唐震王伟王伟李艳林黄宇宋傲魏峻黄涛; 关键词：配置管理

支持乱序执行的Raft协议被引量：1: 2021年; PolarFS是阿里巴巴开发的分布式文件系统,它实现了分布式共识协议Raft的一种变体,称为ParallelRaft.ParallelRaft突破了Raft中顺序提交、顺序执行的限制,允许状态机乱序执行用户命令.然而文献表明:ParallelRaft并未开源,仅有简短的文字描述,更缺乏严格的形式化规约.更进一步,它的正确性也尚未经过必要的数学论证或形式化检验.旨在为ParallelRaft提供严格的形式化规约并证明其正确性,主要贡献包括:首先,为了理清ParallelRaft与Raft之间的关系,提出了允许乱序提交、顺序执行的ParallelRaft-SE(sequential execution)协议,并建立了从ParallelRaft-SE到Multi-Paxos的精化关系;其次,现有的ParallelRaft描述忽略了可能会违反状态一致性的"幽灵日志"问题,因此在ParallelRaft-SE的基础上提出了ParallelRaft-CE(concurrent execution)协议.ParallelRaft-CE限制了ParallelRaft-SE在乱序提交阶段的并行度,避免了"幽灵日志"问题,支持乱序执行,并保证乱序执行下的状态机一致性.证明了ParallelRaft-CE的正确性.最后,使用TLA+给出了ParallelRaft-SE和ParallelRaft-CE的形式化规约,并对协议参与者数量较小的情形,使用TLC模型检验与模拟测试工具验证了从ParallelRaft-SE到Multi-Paxos的精化关系以及ParallelRaft-CE的正确性.; 谷晓松魏恒峰乔磊黄宇; 关键词：RAFT