multithreading - PetraVM Jinx Beta 1 好用吗？

Question

PetraVM 最近发布了他们的 Jinx 产品的测试版。有人检查过吗？有什么反馈吗？

好的，我的意思是:

1) 易于使用2)直观3)有用4) 不需要大量的代码来集成

……诸如此类。

谢谢大家!

Answer 1

在浏览 Google 时确实偶然发现了 Jinx，我一直在进行 Beta 和 Pre-Beta 测试，并且已经有相当多的使用量。对于任何与测试版相关的评论，请理解事情可能会发生变化或已经发生变化，因此请记住这一点并对以下内容持保留态度。

因此，逐一检查问题列表:

1) 安装并运行。 Jinx 向 Visual Studio 添加了一个控制面板，您几乎可以忽略它，因为默认设置通常适用于大多数情况。否则你只是正常工作而忘记它。 Jinx 不检测您的代码，不需要链接任何其他库或一些工具需要的许多其他东西。

2) “直观”的问题真的取决于用户。如果您了解线程代码和可能出现的各种错误，Jinx 只会让这些错误更频繁地发生，这本身对使用线程代码的人来说是一个巨大的好处。虽然 Jinx 试图将代码停止在使问题尽可能明显的状态，但“明显”和“直观”确实取决于程序员的技能。

3) 有用吗？任何以前做过线程代码的人都知道，根据宇宙射线计数，竞争条件可能会定期或每月发生一次，这种随机性使得调试线程代码非常困难。有了 Jinx，即使是最轻微的比赛条件也通常可以在第一次运行时始终如一地重现。这甚至适用于其他静态分析或检测工具通常会遗漏的无锁代码。

这种问题的快速重现非常有用。 Jinx 帮助我找到了一个“错误位置的一条指令”之类的 bug，实际上它最多每周会出现一次。 Jinx 几乎立即迫使崩溃发生，让我能够专注于错误的实际原因，而不是对真正的来源一无所知。

4) 与 Jinx 的集成轻而易举。如果你不介意你的机器变得有点慢，你可以让 Jinx 监视整个机器。它会减慢机器的速度，因为它实际上正在监视机器上的所有内容，包括操作系统。如果您的软件由同一台机器上的多个进程组成，虽然有趣且有用，但不建议这样做，因为在机器上工作会变得很痛苦。

不是使用全局系统，而是添加一个包含和两行代码来完成向 Jinx 注册进程所需的主要工作，这样 Jinx 就可以只监视已注册的项目。您可以通过使用 Jinx 特定断言和注册更重要的代码区域来帮助 Jinx。不过，在发生上述崩溃的情况下，我不必执行任何操作，Jinx 无需额外的集成工作就发现了问题。无论如何，集成都非常简单。

在过去几个月使用 Jinx 之后，我不得不说总体来说非常愉快。如果 Jinx 在后台运行，我不会再编写新的线程代码，因为它完成了强制模糊线程问题立即断言/崩溃的预期工作。如前所述，您可以在数周内看不到的东西几乎会立即成为问题，这在初始测试和实现过程中是一件很棒的事情。

科罗拉多州