这是否意味着两个线程不能同时更改底层数据?或者它是否意味着当多个线程执行给定的代码段时，该代码段将以可预测的结果运行?
当前回答
从本质上讲，在多线程环境中，许多事情都可能出错(指令重新排序，部分构造的对象，由于CPU级别的缓存，相同的变量在不同的线程中具有不同的值等)。
我喜欢Java并发实践中给出的定义:
如果一个[部分代码]在从多个线程访问时行为正确，那么它就是线程安全的，而不考虑运行时环境对这些线程的调度或交错执行，并且在调用代码方面没有额外的同步或其他协调。
正确的意思是程序的行为符合它的规范。
的例子
假设您实现了一个计数器。你可以说它的行为是正确的，如果:
Counter.next()从不返回之前已经返回过的值(为了简单起见，我们假设没有溢出等) 从0到当前值的所有值都已在某个阶段返回(没有跳过任何值)
线程安全计数器将根据这些规则进行操作，而不管并发有多少线程访问它(通常不是简单实现的情况)。
注意:交叉贴在程序员上
其他回答
简单地说，如果许多线程同时执行这段代码，代码将运行良好。
是的，是的。它意味着数据不会被多个线程同时修改。然而，您的程序可能会像预期的那样工作，并且看起来是线程安全的，即使它根本不是。
请注意，结果的不可预测性是“竞态条件”的结果，它可能导致数据以与预期顺序不同的顺序被修改。
我喜欢Brian Goetz的Java并发实践中的定义，因为它的全面性
如果一个类在从多个线程访问时行为正确，那么它就是线程安全的，而不管运行时环境对这些线程的执行是如何调度或交错的，并且在调用代码方面没有额外的同步或其他协调。
完成其他回答:
只有当方法中的代码做以下两件事之一时，同步才会令人担忧:
使用一些非线程安全的外部资源。 读取或更改持久对象或类字段
这意味着在方法中定义的变量总是线程安全的。对方法的每次调用都有自己版本的这些变量。如果方法是由另一个线程调用的，或者是由同一线程调用的，甚至是方法调用自身(递归)，这些变量的值是不共享的。
线程调度不保证是循环的。一个任务可能会以牺牲相同优先级的线程为代价完全占用CPU。你可以使用Thread.yield()来获得良心。你可以使用(java) thread . setpriority (thread . norm_priority -1)来降低线程的优先级
另外还要注意:
迭代这些“线程安全”结构的应用程序的巨大运行时成本(已经被其他人提到)。 Thread.sleep(5000)应该休眠5秒。但是，如果有人更改了系统时间，您可能会睡很长时间或根本没有时间。操作系统记录唤醒时间是绝对的，而不是相对的。
线程安全代码是指即使有多个线程同时执行也能正常工作的代码。
http://mindprod.com/jgloss/threadsafe.html
