什么是线程同步？

线程同步是多线程编程中的一个概念，主要用于协调具有共享资源的多个线程的执行顺序，以防止数据竞争和保证数据的一致性和正确性。

在多线程程序中，线程是操作系统调度的基本单位，多个线程可以并发执行，提高程序的执行效率。然而，当多个线程需要访问同一资源（如内存数据）时，如果没有适当的协调，就可能出现一个线程的操作与另一个线程的操作冲突的情况，这种情况称为“竞态条件”（Race Condition）。

为了解决这个问题，我们需要用到线程同步机制。常见的线程同步技术包括互斥锁（Mutex）、信号量（Semaphore）、事件（Event）等。

例子：

假设有一个简单的银行账户类，其中包括存款和取款两种操作。如果两个线程同时对一个账户对象进行操作，一个执行存款操作，一个执行取款操作，而这两个操作如果没有同步控制，可能会导致账户的最终余额不正确。

csharp
public class BankAccount
{
    private object lockObject = new object();
    public int Balance { get; private set; }

    public void Deposit(int amount)
    {
        lock (lockObject)
        {
            Balance += amount;
        }
    }

    public void Withdraw(int amount)
    {
        lock (lockObject)
        {
            if (Balance >= amount)
            {
                Balance -= amount;
            }
        }
    }
}

在这个例子中，我们使用了C#的lock关键字，它是基于互斥锁的一种简化实现。通过锁定一个共享对象（这里是lockObject），我们确保在任何时候只有一个线程可以执行Deposit或Withdraw方法中的代码块，从而保证了线程安全。

这样，无论多少线程同时访问同一个BankAccount实例的方法，由于线程同步机制的存在，都不会出现计算错误或数据不一致的情况。