并发安全与互斥锁机制（Golang）

并发编程是现代软件开发中的重要议题之一。在并发环境下，多个线程或协程可以同时执行，访问和修改共享的数据。然而，并发访问共享数据可能会导致数据竞争和不确定的行为。为了确保并发程序的正确性和可靠性，需要采取适当的并发安全措施。

Golang 是一门支持并发编程的编程语言，它提供了丰富的并发编程原语和工具。其中一个重要的机制是互斥锁（Mutex）。互斥锁是一种同步原语，用于保护共享资源，防止多个线程或协程同时访问和修改它。

在 Golang 中，使用 sync 包提供的 Mutex 类型来实现互斥锁。下面是一个示例代码，演示了如何在并发环境中使用互斥锁保护共享资源：

package main

import (
	"fmt"
	"sync"
	"time"
)

var (
	counter =