个人中心
文章发布
退出
作者热门文章
- iOS/Objective-C 元类和类别
- objective-c - -1001 错误，当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
24
4
Java 语言规范 7 (JLS7-17.4.5) 定义了一个“正确同步”的程序，如下所示:“当且仅当所有顺序一致的执行都没有数据竞争时，程序才能正确同步”。
JLS7-17.4.5 还指出:
Without correct synchronization, very strange, confusing and counterintuitive behaviors are possible.
因此，从程序员的角度来看，如果有一个工具可以根据上述定义确定程序是否“正确同步”，那将是非常有用的。
有这样的工具吗？我无法通过谷歌搜索找到任何东西。如果没有这样的工具，是否可以制作一个？
最佳答案
FindBugs可以找到一些并发错误(在 the list of detected bugs 上搜索“多线程正确性”)并且可能还有其他类似的工具，但最终只有通过精心的代码设计和审查才能避免一些错误。
您还可以测试类的并发问题，但这是一场统计游戏，有些错误可能永远不会出现，具体取决于 OS/CPU 体系结构等。
我听说过 Java concurrency torture工具，但从未使用过。官方上多次提到JSR 166 Concurrency Interest list .
关于java - 有没有工具可以判断一个程序是否是JLS定义的 "correctly synchronized"？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/14400044/
24
4
0
在 java 中不使用“同步”关键字的情况下，是否有其他方法可以同步类或方法？ 谢谢， 马利卡琼·科卡塔努尔 最佳答案 您可能想查看并发包中引入的对 JDK 5 的更改。 http://java.su
第 1 部分: 假设下面这段代码 void method1(){ synchronized (lockObject){ method2(); System.ou
我有一个 REST 服务器和一个在移动设备上运行的客户端应用程序。客户端有一些数据并希望从服务器获取数据更新。如何以 RESTful 方式在单个事务中执行此操作？ 假设客户有以下元素: widge
我有一个多线程 Java 应用程序。在一种方法中，需要同步一个 ArrayList。由于 arrayList 不是线程安全的，所以我必须使用同步。问题是 ArrayList 类型的对象不是对象的成员变
我正在阅读 Android 示例中的 BluetoothChatService.java 文件，有一件事特别让我感到困惑。 方法在多个位置访问静态成员，并且定义为同步。 在另一部分中，正在访问同一个静
我知道为了实现线程安全和同步，我们使用同步块(synchronized block)或方法。 但我无法理解声明- “Java 中的同步块(synchronized block)在某些对象上同步 ” 任
在 Scala 中使用 JDBC 的示例中，有以下代码: this.synchronized { if (!driverLoaded) loadDriver() } 为什么this.synchro
abstract class A { protected abstract int isRunning(); public void concreteMethod() { synchr
有谁可以分享一下他们的经验吗？“我们什么时候在同步方法和同步块(synchronized block)之间进行调用”有任何性能问题吗？ 最佳答案 When do we make a call to u
这是我之前问题的后续问题，Is this variable being safely accessed by using synchronization? 对于下面的程序， Class SubClas
我目前正在为 N 体问题实现多线程版本的 Barnes-Hut 算法。虽然该算法有效，但它不是很优化，我正在尝试减少我的程序的运行时间。 我已经确保有多个线程可以准确地找到我正在使用的空间的边界，并意
我有这门课: public class MyClass { public MyClass(){} public void actionA(){ synchronized
又是一个关于ArrayList和synchronize的问题。 我只想知道这段代码到底做了什么: ArrayList list = ....; synchronized (list) { if
我可以在另一个同步块(synchronized block)中包含同步块(synchronized block)以同步另一个对象吗？ 例子: synchronized(myObjetc1){
public class ObjectCounter { private static long numOfInstances = 0; public ObjectCounter(){
我在某处读到，对于 various reasons 应该避免 synchronized(this) .然而，我遇到的一些值得尊敬的代码在构造函数中使用了以下内容: public SomeClass(C
Java 为同步代码的关键部分提供了一种非常方便的习惯用法: synchronized(someObject) { // do something really important all b
我有一个 WeakReference 的 Collections.synchronizedList，_components； 我写了类似下面的内容，希望编译者会提示: public boolean a
使用下面两个版本的Singleton Classes有什么区别 首先我使用的是synchronized(Singleton.class) 在第二个我使用同步(Obj)//第一种类型 公共(public
我正在查看 DatagramSocket 的源代码，我发现了这个: public void disconnect() { synchronized (this) { if (i
我是一名优秀的程序员,十分优秀！