个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
25
4
我目前正在解决的问题需要使用两个或多个锁(本例中为文件锁)来避免并发问题。
但是，我无法表示我将用于解决方案的(锁定)模型。
即我想解释这个问题和我正在通过某种类型的图表编码的解决方案，这些图表可以让我显示锁定顺序、并发影响(例如，如果我们在此之前释放此锁，我们将遇到此问题等)和其他此类问题有用的信息。
表示锁模型的好方法是什么？
一方面，我一直在尝试使用流程图来做到这一点，这样我就可以展示导致我必须获取锁或不获取锁的代码流(例如，我使用独占非阻塞锁来确定是否一个进程已经在监视一个文件，如果没有，我启动监视器)，另一方面，我一直认为序列图就可以了，但我对结果不满意。
还有其他可用的可视化工具可以让我代表这个问题吗？
对于分布式系统等非常复杂的问题，工程师如何解决这个问题？
是否有任何一个图表可以说明这一点，或者它更像是用于描述这一点的图表集合？
最佳答案
Petri nets历史上用于建模并发(和并发分布式系统)。作为一个正式的数学概念，它们允许您严格推理操作序列、状态可达性(例如可以方便地证明 Not Acceptable 锁配置和/或资源状态永远不会发生)、活跃性、有界性、死锁和其他此类有用信息。此外，它们具有漂亮、干净的视觉表现。但使用 Petri 网时，我们必须处理低级概念，例如位置和转换，并且没有抽象建模的方法。因此，即使对于中等大小的问题，它们的视觉描述通常也会变得很大。彩色、优先级、定时和其他增强 Petri 网有时会发挥作用，但对于更复杂的抽象系统 UML statecharts更适合。
以下是有关使用 Petri 网进行锁定序列分析的一些说明(有关更多详细信息，请参阅出版物):
关于multithreading - 如何有效地表示或建模锁定序列？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/32378497/
25
4
0
Byte byte1=10; Short short1=20; Integer integer=30; 在上面的代码中自动装箱成功在这里查看下面的代码，我正在明确地进行 casitng，因为它默认将
这里有几个相关的问题。 根据标题，如果我们将变量类型指定为 long 或 float、double，为什么它是一个要求？编译器不会在编译时评估变量的类型吗？ Java 将所有整型文字视为 int -
我最近一直在使用一些 bash 脚本，并且一直在浏览手册页。根据我收集到的信息，$(( )) 是否表示 expr 而 [ ] 是否表示 test？ 对于 $(( )): echo $(( 5 + 3
我有 UILabel，其中显示了 int 值，我希望如果值以千为单位，例如 1000，那么标签应该在 2000 年及以后显示 1k 和 2k。如何实现？ 最佳答案 这个怎么样？ int myNum =
我正在自学 verilog 并尝试编写失败模型。我在指定部分遇到了以下 ck->q 延迟弧的建模，但无法理解它到底是做什么的。 (posege CK => (Q : 1'b1))=(0, 0); 谁能
考虑这样一个句子: John Smith travelled to Washington. 在美好的一天，名称标记者会将“约翰·史密斯”识别为一个人，将“华盛顿”识别为一个地方。然而，如果没有其他证据
有没有办法通过某种元处理器或预处理器告诉 JavaScript 单词 AND 等于 && 而单词 OR 等于 ||和 <> 等同于 !===? 也许将 THEN 等同于 { 结束到 不要! 最佳答案
我正在处理一个非常大的图，它有 5 亿个节点，节点的平均度为 100。所以它是一种稀疏图。我还必须存储每条边的权重。我目前正在使用两个 vector ，如下所示 // V could be 100 m
我想使用 Python 表示一组整数范围，其中可以动态修改该集合并测试其是否包含在内。具体来说，我想将其应用于文件中的地址范围或行号。 我可以定义我关心的地址范围: 200 - 400 450 -
>>> x = -4 >>> print("{} {:b}".format(x, x)) -4 -100 >>> mask = 0xFFFFFFFF >>> print("{} {:b}".forma
虽然代码不多，但简单明了 复制代码 代码如下: preg_match('/^(?!string)/', 'aa') === true 这个用来验证一个字符串是否是非'string'开头的，
我正在尝试创建一些 SQLAlchemy 模型，并且正在努力解决如何将 timedelta 正确应用于特定列的问题。 timedelta(以天为单位指定)作为整数存储在单独的表 (Shifts) 中，
“Range: bytes=0-” header 是什么意思？是整个文件吗？我尝试发回 0 个字节但没有成功，当我发送整个文件时它可以正常工作，但我在流式上下文中不止一次收到此请求，它看起来不正确。
要创建时间序列的 SAX 表示，您首先需要计算数据的 PAA(分段聚合近似)，然后将答案映射到符号表。但是，在计算 PAA 之前，您需要对数据进行标准化。 我正在对数据进行标准化，但我不知道之后如何计
假设我有一个 RESTful、超文本驱动的服务来模拟冰淇淋店。为了帮助更好地管理我的商店，我希望能够显示每日报告，列出所售每种冰淇淋的数量和美元值(value)。 这种报告功能似乎可以作为名为 Dai
我需要以 RDF 格式表示句子。 换句话说，“约翰喜欢可乐”将自动表示为: Subject : John Predicate : Likes Object : Coke 有谁知道我应该从哪里开始？是否
我即将编写一个解析器，将文本文件逐行读取到不同类型的结构中，并将这些结构提供给回调(观察者或访问者 - 尚不确定)。 文本文件包含 MT-940 数据 - SWIFT 银行对帐单。 这些行由一个指定类
我主要是一名 C++ 开发人员，但我经常编写 Python 脚本。我目前正在为游戏编写骰子模拟器，但我不确定在 Python 中解决我的问题的最佳方法。 一共有三种玩家技能，每个玩家一强、中一、弱一。
在过去的 5 个小时里，我一直在寻找答案。尽管我找到了很多答案，但它们并没有以任何方式提供帮助。 我基本上要寻找的是任何 32 位无符号整数的按位异或运算符的数学、算术唯一表示。 尽管这听起来很简单，
我需要将依赖项存储在 DAG 中。 (我们正在细粒度地规划新的学校类(class)) 我们正在使用 rails 3 注意事项 宽于深 很大 我估计每个节点有 5-10 个链接。随着系统的增长，这将增加
我是一名优秀的程序员,十分优秀！