首页/论文/0906.4680

arXiv 0906.46802009-06-25cs.DC

分布式信息融合系统的重构为例

Reconfiguration of Distributed Information Fusion System ? A case study

Eric Benoit, Marc-Philippe Huget, Patrice Moreaux, Olivier Passalacqua

备注：: 6 pages - Preprint version
发表信息：: Workshop on Dependable Control of Discrete Systems, Bari : Italie (2009)

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

信息融合系统广泛应用于科学处理、传感器网络、视频和图像处理等领域。这一领域的当前趋势之一是处理分布式系统。在此背景下，我们定义并实现了一个动态分布式信息融合系统的运行时模型。它使我们能够应付动态执行支持，同时试图保持一个给定的动态分布式信息融合系统的功能。本文介绍了我们的系统，我们所面临的重构问题和我们的解决方案。

英文摘要：

Information Fusion Systems are now widely used in different fusion contexts, like scientific processing, sensor networks, video and image processing. One of the current trends in this area is to cope with distributed systems. In this context, we have defined and implemented a Dynamic Distributed Information Fusion System runtime model. It allows us to cope with dynamic execution supports while trying to maintain the functionalities of a given Dynamic Distributed Information Fusion System. The paper presents our system, the reconfiguration problems we are faced with and our solutions.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

分布式动态重配置协议的形式化验证

Formal Verification of a Distributed Dynamic Reconfiguration Protocol

我们提出了一个正式的，机器检查TLA+安全证明MongoRaftReconfig，分布式动态重配置协议。MongoRaftReconfig是为MongoDB设计和实现的，MongoDB是一个分布式数据库，其复制协议来自Raft共识算法。我们为MongoRaftReconfig提出了一个归纳不变量，它在TLA+中进行了形式化，并使用TLA+证明系统（TLAPS）进行了形式化证明。我们还提出了一个正式的TLAPS证明MongoRaftReconfig，LeaderCompleteness和StateMachineSafety的两个关键安全属性。据我们所知，这些是基于Raft的复制系统的动态重配置协议的第一个机器检查的归纳不变量和安全证明。

2021-12-17cs.DC

极大独立集的分布式重构

Distributed Reconfiguration of Maximal Independent Sets

研究了一个分布式最大独立集（MIS）重构问题，其中存在两个最大独立集，每个节点都被赋予其成员身份，并且节点需要与它们的邻居进行通信以找到从第一个MIS切换到第二个MIS的重构调度.这样的调度是一个独立集的列表，通过禁止两个邻居在同一步骤中改变它们的成员状态来限制。此外，这些独立的集合应该提供一些覆盖担保。我们表明，获得一个实际的MIS（甚至3-支配集）在每个中间步骤是不可能的。然而，我们提供了有效的解决方案时，中间集只需要是独立的和4-支配，这几乎总是可能的，因为我们充分表征。因此，我们的目标是确定时间表的可能长度和通信轮数之间的权衡。我们证明了在$O(\texttt{MIS}+\texttt{R32})$轮中可以找到一个恒定长度的时间表，其中$\texttt{MIS}$是在最坏情况图中找到MIS的复杂度，$\texttt{R32}$是找到$(3,2)$ -规则集的复杂度。对于有界度图，这是$O(\log^*n)$轮，我们证明了这是必要的。在另一个极端，我们表明，与一个常数轮数，我们可以找到一个线性长度的时间表。

2019-02-20cs.DC

分布式顶点覆盖重构

Distributed Vertex Cover Reconfiguration

重新配置时间表，即，已经广泛地研究了将问题的一个解决方案逐渐转换为另一个解决方案同时始终保持可行性的序列。大多数研究都涉及到了重构调度是否存在的决策问题，以及找到重构调度的复杂性。一个主要的例子是顶点覆盖的重构。我们开始批量顶点覆盖重构的研究，它允许同时重新配置多个顶点，同时要求在一批中的任何对抗性的重新配置顺序保持可行性。后者提供了鲁棒性，例如，如果不能保证批次的同时重新配置，调度的质量通过直到所有节点被重新配置的批次的数量来衡量，并且其成本，即，中间顶点覆盖的最大大小。为了设置一个基线批重新配置，我们表明，对于属于类之一的图$\{\mathsf{cycles, trees, forests, chordal, cactus, even\text{-}hole\text{-}free, claw\text{-}free}\}$，有时间表，使用$O(\varepsilon^{-1})$批次，并招致只有$1+\varepsilon$乘法增加成本超过最好的顺序时间表。我们的主要贡献是在$O(\varepsilon^{-1}\log^* n)$分布时间，我们也证明是紧计算这样的批处理时间表。此外，我们表明，一旦我们走出这些图类，我们面临着一个非常不同的情况。有图类，没有有效的分布式算法可以获得最好的（或几乎最好的）现有的时间表。此外，有一类有界度图，不承认任何重新配置的时间表，而不会招致…

2021-09-14cs.DCcs.DS

主动动态网络的分布式计算与重构

Distributed Computation and Reconfiguration in Actively Dynamic Networks

在本文中，我们研究系统的分布式实体，可以主动修改他们的通信网络。这就产生了分布式算法，除了通信，还可以利用网络重新配置，以执行给定的任务。同时，分布式任务本身现在可能需要从给定的初始网络$G_s$全局重新配置到来自具有一些良好属性（如小直径）的网络族的目标网络$G_f$。有了相当强大的计算实体，有一个简单的算法，将任何$G_s$转换成一个生成集团在$O(\log n)$时间。然后，该算法可以计算输入的任何全局函数，并在一轮中重新配置到任何目标网络。我们认为，这样的策略是不切实际的实际应用。在真实的动态网络中，创建和维护连接是有成本的。为了正式捕获这些成本，我们定义了三个边缘复杂性度量：\emph{total edge activations}、\emph{maximum activated edges per round}和\emph{maximum activated degree of a node}。上面强调的集团形成策略，最大化了所有这些。我们的目标是改进算法，实现（聚）日志$(n)$的时间，同时最大限度地减少边缘复杂性的一般任务的任何$G_s$转换成一个$G_f$的直径（聚）日志$(n)$。我们给出了三个分布式算法。第一个在$O(\log n)$时间内运行，每轮最多有$2n$活动边，$O(n\log n)$边激活的最佳总数，最大度$n-1$，以及直径为2的目标网络。第二种…

2020-03-06cs.DC

一种无日志动态重配置协议的设计与分析

Design and Analysis of a Logless Dynamic Reconfiguration Protocol

基于复制状态机模型的分布式复制系统已经成为现代数据库系统的基础。为了保证系统在出现故障时的可用性，这些系统必须能够通过动态重新配置来动态地用健康的节点替换故障节点。MongoDB是一个面向文档的数据库，具有源自Raft协议的分布式复制机制。在本文中，我们提出了MongoRaftReconfig，一种新的动态重新配置协议的MongoDB复制系统。MongoRaftReconfig使用无日志的方法来管理配置状态，并从主数据库操作日志中删除配置更改的处理。该协议的设计受到了工程约束的影响，这些约束是在试图重新设计MongoDB中以前存在的不安全的遗留重新配置机制时所面临的。我们提供了MongoRaftReconfig的安全性证明，以及TLA+中的正式规范。据我们所知，这是第一个出版的安全证明和正式规范的重新配置协议的筏为基础的系统。我们也给出了有限协议实例上的模型检验结果。最后，我们讨论了MongoRaftReconfig的概念新颖性，它如何可以被理解为一个优化和广义版本的单服务器重新配置算法的筏，并提出了一个实验评估其优化如何可以提供性能优势的重新配置。

2021-11-20cs.DC

生成树的分布式重构

Distributed Reconfiguration of Spanning Trees

在重构问题中，给定一个问题和该问题的两个可行解，任务是找到从一个解到达另一个解的变换序列，使得每个中间状态也是该问题的可行解。在本文中，我们研究了分布式生成树重构问题，我们定义了一个新的重构步骤，称为$k$ -同时添加和删除，其中每个节点被允许添加最多$k$边缘和删除最多$k$边缘，使多个节点不添加或删除相同的边缘。我们首先观察到，如果两个输入生成树是有根的，那么我们可以使用单个$1$ -在CONGEST模型中的一轮中同时添加和删除步骤来进行重新配置。因此，我们把我们的注意力集中到无根生成树，并表明，将一个无根生成树转换成另一个使用一个单一的$1$ -同时添加和删除步骤需要$Ω(n)$轮的$Ω(n)$模型。我们还表明，转换成另一个使用一个单一的$2$ -同时添加和删除步骤的无根生成树可以在$O(\log n)$轮的CONGEST模型。

2022-11-03cs.DCcs.DS

更多相关论文收起更多论文

在出现意外分布式重新配置的情况下实施架构风格

Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations

架构设计重写（ADR）是一个基于规则的形式化框架，用于对分布式系统架构的演化进行建模。规则允许细化ADR图。ADR配备一个简单的逻辑后，我们配备规则的前置条件和后置条件;前者约束规则的适用性，而后者指定的结果图的属性。我们给出了一个算法来计算最弱的前条件的规则和它的后条件。在此算法之上，我们设计了一种简单的方法，使我们能够选择可以在体系结构级别应用哪些规则来重新配置系统，以便在系统因意外的运行时重新配置而受到损害时恢复其体系结构风格。

2012-12-17cs.DCcs.LOcs.NI

Grove：一个用于验证分布式系统的分离逻辑库（扩展版）

Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version)

Grove是一个用于验证分布式系统的并发分离逻辑库，首次支持基于时间的租约及其与重配置、崩溃恢复等的交互，并成功验证了高性能分布式键值存储GroveKV。

2023-09-14cs.DCcs.LO

联合OP和张量融合优化分布式训练的DNN编译

Optimizing DNN Compilation for Distributed Training with Joint OP and Tensor Fusion

本文提出了DisCo，一个用于数据并行分布式训练的自动深度学习编译模块。与大多数专注于在单个设备上进行训练或推理的深度学习编译器不同，DisCo优化了DNN模型，以便在多个GPU机器上进行分布式训练。现有的单设备编译策略在分布式训练中不起作用，主要是由于它们引起的通信效率低下。DisCo生成优化的联合计算算子和通信张量融合策略，以实现高效的分布式训练。构建了一个基于GNN的模拟器，以有效地估计算子/张量融合候选者实现的每次迭代训练时间。回溯搜索算法由模拟器驱动，在大的策略空间中有效地导航，以确定最小化分布式训练时间的良好算子/张量融合策略。我们比较DisCo与现有的DL融合方案，并表明它实现了良好的训练速度接近理想的，充分的计算通信重叠的情况下。

2022-09-26cs.DC

Justin：分布式流处理中的混合CPU/内存弹性伸缩

Justin: Hybrid CPU/Memory Elastic Scaling for Distributed Stream Processing

Justin是一种针对分布式流处理的混合CPU/内存自动伸缩器，通过细粒度内存分配和压力感知策略，在Apache Flink中实现，以更少资源支持目标速率。

2025-05-26cs.DC

信息融合和多智能体系统中的分布式匿名函数计算

Distributed anonymous function computation in information fusion and multiagent systems

我们提出了一个模型，确定性分布函数计算的网络相同的和匿名的节点，有界的计算和存储能力，不与网络的规模。我们的目标是描述可以在这个模型中计算的函数类。在我们的主要结果中，我们展示了一类不可计算的函数，并证明了这类函数之外的每一个函数至少可以被近似。以分布式方式计算平均值的问题在我们的发展中起着核心作用。

2009-07-28cs.DC

通过任务与内核融合组合分布式计算

Composing Distributed Computations Through Task and Kernel Fusion

Diffuse通过中间表示和JIT编译器在分布式任务运行时中动态融合任务与内核，平均加速1.86倍，并发现跨库优化机会，使Python程序性能媲美MPI。

2024-12-16cs.DC

层拉普拉斯算子：分布式传感网络中数据融合与共识的拓扑框架

The Sheaf Laplacian: A Topological Framework for Data Fusion and Consensus in Distributed Sensing Networks

提出层理论作为传统图模型的替代，利用层拉普拉斯算子实现异构分布式传感网络中的数据融合与共识。

2026-06-19cs.DC

基于融合状态机的分布式系统容错

Fault Tolerance in Distributed Systems using Fused State Machines

复制是在被建模为确定性有限状态机（DFSM或机器）的分布式系统中用于容错的标准技术。为了纠正n台不同机器之间的f崩溃或f/2拜占庭故障，复制需要nf台额外的备份机器。我们提出了一种称为融合的解决方案，只需要额外的备份机器。首先，我们建立了一个框架，容错的基础上的概念，汉明距离的DFSM。我们引入了（f，m）融合的概念，这是一组m个备份机器，可以纠正f崩溃故障或f/2拜占庭故障之间的一组给定的机器。其次，我们提出了一个算法来生成一个（f，f）融合一组给定的机器。我们确保我们的备份在其状态和事件集的大小方面是有效的。我们对广泛使用的MCNC'91 DFSM基准的融合评估表明，融合（过度复制）的平均状态空间节省为38%（范围0-99%）。为了展示融合的实际用途，我们描述了它在MapReduce框架中的潜在应用。使用一个简单的案例研究，我们比较复制和融合应用到这个框架。一个纯粹的基于复制的解决方案需要180万个地图任务，而我们基于融合的解决方案只需要140万个地图任务，在正常操作或恢复期间的开销最小。因此，融合导致状态空间和其他资源（诸如运行备份任务所需的功率）的相当大的节省。

2013-03-23cs.DC

遭受网络攻击的分布式系统中证据的可信融合

Credible fusion of evidence in distributed system subject to cyberattacks

针对分布式系统遭网络攻击时的证据可信融合问题，提出基于条件可信度、加密状态分解重构及攻击者识别校正的一致性算法，并在无人侦察集群仿真中验证其有效性。

2024-12-09cs.CRcs.DC

两星型网络融合的最快分布式共识问题

Fastest Distributed Consensus Problem on Fusion of Two Star Networks

在不同拓扑结构的网络上寻找最快分布式共识问题的最优权值已经是一个活跃的研究领域。在这项工作中，我们提出了一个最快的分布式共识的问题的分析解决方案的网络融合形成的两个不同的对称星型网络，或者换句话说，网络由两个不同的对称星型网络共享同一个中心节点。求解过程包括网络关联连通图的分层和半定规划（SDP），特别是松弛条件的求解，其中最优权值通过松弛条件引发的特征多项式的归纳比较得到。一些数值模拟进行了调查之间的权衡两个融合星型网络的参数，即分支的长度和数量。

2010-03-26cs.DCcs.ITmath.IT

一种带有算术平均PHD融合的分布式粒子PHD滤波器

A Distributed Particle-PHD Filter with Arithmetic-Average PHD Fusion

School of Automation, Northwestern Polytechnical University（西北工业大学自动化学院）；University of Salamanca（萨拉曼卡大学）；Institute of Telecommunications, TU Wien（维也纳科技大学电信研究所）；Brno University of Technology（布尔诺理工大学）

本文提出了一种基于粒子的分布式PHD滤波器，用于跟踪未知且随时间变化的目标数量。通过让相邻传感器的局部PHD滤波器通信高斯混合（GM）参数来减少通信开销，采用算术平均融合方法，同时开发了粒子-高斯混合转换和高斯混合-粒子转换方法以实现并行化。仿真结果表明该滤波器具有出色的性能和小的通信与计算需求。

2018-12-20cs.DCcs.SYeess.SY

多传感器网络中分布式检测的可能被破坏报告最优融合

Optimum Fusion of Possibly Corrupted Reports for Distributed Detection in Multi-Sensor Networks

本文提出在存在恶意节点时，利用可疑节点信息提升决策融合准确性的方法，分析了两种不同场景下的最优融合规则和性能。

2015-03-19cs.DCcs.SYeess.SY

ColD Fusion：用于分布式多任务微调的协同下降

ColD Fusion: Collaborative Descent for Distributed Multitask Finetuning

IBM Research（IBM研究院）；Hebrew University of Jerusalem（耶路撒冷希伯来大学）；UNC Chapel Hill（北卡罗来纳大学教堂山分校）

提出 ColD Fusion 范式，通过通信受限的分布式计算实现多任务微调，持续改进预训练模型，在 35 个数据集上平均比 RoBERTa 高 2.33 个百分点。

2023-09-13cs.CLcs.DCcs.LG

部分共识与高斯混合的保守融合用于分布式PHD融合

Partial Consensus and Conservative Fusion of Gaussian Mixtures for Distributed PHD Fusion

School of Sciences, University of Salamanca（萨拉曼卡大学理学院）；Institute of Telecommunications, Vienna University of Technology（维也纳工业大学电信研究所）；School of Mechanical Engineering, Northwestern Polytechnical University（西北工业大学机械工程学院）

本文提出了一种称为'部分共识'的新共识概念，用于基于对等传感器网络的分布式高斯混合概率假设密度（GM-PHD）融合，仅在P2P通信中传播高权重的后验高斯成分（GCs），而不涉及不重要的GCs。部分共识不仅在网络通信和本地融合计算上具有高效率，还显著减少了潜在虚假数据（杂波）对滤波器的影响，从而提高本地传感器的信噪比。提出两种'保守'的混合减少方案，以在完全分布式方式下融合共享的GCs。一种是基于匈牙利分配的传感器间GCs配对平均，另一种是基于新的GM融合方案合并接近的GCs。所提出的方法与已知的保守融合方法——协方差联合和算术均值密度有密切联系。同时，在传感器之间寻求卡数分布（即GM权重和）的平均共识。基于每个传感器运行GM-PHD滤波器的传感器网络，展示了跟踪单个目标或多目标同时出现的仿真，以比较本文方法与基准通用协方差交叠方法。结果表明，部分、算术平均共识优于完全、几何平均共识。

2017-11-29cs.DCcs.ITcs.SY