用Python和Haskell实现的共享内存并发编程示例

使用Python和Haskell实现共享内存并发编程可以通过多线程或多进程来实现。下面是使用Python和Haskell分别实现共享内存并发编程的示例。

Python示例：

import threading

# 共享资源
shared_variable = 0
# 锁对象
lock = threading.Lock()

# 定义一个线程函数
def increment():
    global shared_variable
    for _ in range(1000000):
        # 加锁
        lock.acquire()
        shared_variable += 1
        # 释放锁
        lock.release()

# 创建两个线程
t1 = threading.Thread(target=increment)
t2 = threading.Thread(target=increment)

# 启动线程
t1.start()
t2.start()

# 等待线程结束
t1.join()
t2.join()

# 打印共享资源的值
print("Shared variable value:", shared_variable)

在上面的示例中，我们定义了一个全局变量shared_variable用于共享资源，以及一个锁对象lock用于保护共享资源。然后，我们定义了一个线程函数increment，它会对共享资源进行一百万次的增加操作。在每次增加操作之前，线程会先获取锁对象，然后进行增加操作，最后释放锁对象。接着，我们创建了两个线程t1和t2，并通过调用start方法来启动线程。最后，我们调用join方法来等待线程结束，并打印共享资源的值。

Haskell示例：

import Control.Concurrent

-- 共享资源
sharedVariable :: MVar Int
sharedVariable = unsafePerformIO $ newMVar 0

-- 增加操作
increment :: IO ()
increment = do
  modifyMVar_ sharedVariable (\x -> return (x + 1))

-- 主函数
main :: IO ()
main = do
  -- 创建两个线程
  t1 <- forkIO increment
  t2 <- forkIO increment
  
  -- 等待线程结束
  threadDelay 1000000
  
  -- 打印共享资源的值
  value <- takeMVar sharedVariable
  putStrLn ("Shared variable value: " ++ show value)

在上面的示例中，我们使用了Control.Concurrent模块中的MVar类型来实现共享内存。首先，我们定义了一个MVar类型的共享资源sharedVariable，并使用newMVar函数来创建一个初始值为0的MVar。然后，我们定义了一个increment函数，该函数会对共享资源进行增加操作，我们使用modifyMVar_函数来更新MVar的值。接着，我们创建了两个线程t1和t2，并通过forkIO函数来创建并运行这两个线程。最后，我们使用takeMVar函数来获取共享资源的值，并通过putStrLn函数来打印共享资源的值。

这是使用Python和Haskell分别实现的共享内存并发编程的示例。这些示例展示了如何使用多线程或多进程来实现并发编程，并对共享资源进行安全的访问和更新。