How to test concurrency and locking in golang?

huangapple go评论86阅读模式
英文:

How to test concurrency and locking in golang?

问题

我们正在尝试测试锁。基本上,有多个客户端试图在特定的键上获取锁。在下面的示例中,我们使用了键"x"。

我不知道如何测试锁是否正常工作。我只能通过读取日志来确定它是否工作。

事件的正确顺序应该是:

  1. client1获取键"x"的锁。
  2. client2尝试获取键"x"的锁(fmt.Println("2 getting lock"))- 但被阻塞并等待。
  3. client1释放键"x"的锁。
  4. client2获取键"x"的锁。

问题1:我如何自动化这个过程并将其转化为一个测试?

问题2:一般来说,测试并发/互斥锁的一些技巧有哪些?

func TestLockUnlock(t *testing.T) {
    client1, err := NewClient()
    if err != nil {
        t.Error("Unexpected new client error: ", err)
    }

    fmt.Println("1 getting lock")
    id1, err := client1.Lock("x", 10*time.Second)
    if err != nil {
        t.Error("Unexpected lock error: ", err)
    }
    fmt.Println("1 got lock")

    go func() {
        client2, err := NewClient()
        if err != nil {
            t.Error("Unexpected new client error: ", err)
        }
        fmt.Println("2 getting lock")
        id2, err := client2.Lock("x", 10*time.Second)
        if err != nil {
            t.Error("Unexpected lock error: ", err)
        }
        fmt.Println("2 got lock")

        fmt.Println("2 releasing lock")
        err = client2.Unlock("x", id2)
        if err != nil {
            t.Error("Unexpected Unlock error: ", err)
        }
        fmt.Println("2 released lock")
        err = client2.Close()
        if err != nil {
            t.Error("Unexpected connection close error: ", err)
        }
    }()

    fmt.Println("sleeping")
    time.Sleep(2 * time.Second)
    fmt.Println("finished sleeping")

    fmt.Println("1 releasing lock")
    err = client1.Unlock("x", id1)
    if err != nil {
        t.Error("Unexpected Unlock error: ", err)
    }

    fmt.Println("1 released lock")

    err = client1.Close()
    if err != nil {
        t.Error("Unexpected connection close error: ", err)
    }

    time.Sleep(5 * time.Second)
}

func NewClient() *Client {
   ....
}

func (c *Client) Lock(lockKey string, timeout time.Duration) (lockId int64, err error){
   ....
}

func (c *Client) Unlock(lockKey string) err error {
   ....
}
英文:

We are trying to test locks. Basically, there are multiple clients trying to obtain a lock on a particular key. In the example below, we used the key "x".

I don't know how to test whether the locking is working. I can only read the logs to determine whether it is working.

The correct sequence of events should be:

  1. client1 obtains lock on key "x"
  2. client2 tries to obtain lock on key "x" (fmt.Println("2 getting lock")) - but is blocked and waits
  3. client1 releases lock on key "x"
  4. client2 obtains lock on key "x"

Q1: How could I automate the process and turn this into a test?

Q2: What are some of the tips to testing concurrency / mutex locking in general?

func TestLockUnlock(t *testing.T) {
client1, err := NewClient()
if err != nil {
t.Error("Unexpected new client error: ", err)
}
fmt.Println("1 getting lock")
id1, err := client1.Lock("x", 10*time.Second)
if err != nil {
t.Error("Unexpected lock error: ", err)
}
fmt.Println("1 got lock")
go func() {
client2, err := NewClient()
if err != nil {
t.Error("Unexpected new client error: ", err)
}
fmt.Println("2 getting lock")
id2, err := client2.Lock("x", 10*time.Second)
if err != nil {
t.Error("Unexpected lock error: ", err)
}
fmt.Println("2 got lock")
fmt.Println("2 releasing lock")
err = client2.Unlock("x", id2)
if err != nil {
t.Error("Unexpected Unlock error: ", err)
}
fmt.Println("2 released lock")
err = client2.Close()
if err != nil {
t.Error("Unexpected connection close error: ", err)
}
}()
fmt.Println("sleeping")
time.Sleep(2 * time.Second)
fmt.Println("finished sleeping")
fmt.Println("1 releasing lock")
err = client1.Unlock("x", id1)
if err != nil {
t.Error("Unexpected Unlock error: ", err)
}
fmt.Println("1 released lock")
err = client1.Close()
if err != nil {
t.Error("Unexpected connection close error: ", err)
}
time.Sleep(5 * time.Second)
}
func NewClient() *Client {
....
}
func (c *Client) Lock(lockKey string, timeout time.Duration) (lockId int64, err error){
....
}
func (c *Client) Unlock(lockKey string) err error {
....
}

答案1

得分: 21

基于锁的代码的并发测试很困难,以至于很难找到可证明正确的解决方案。通过打印语句进行的临时手动测试并不理想。

有四个动态并发问题基本上是无法测试的(更多信息)。除了性能测试之外,统计方法是通过测试代码实现的最佳方法(例如,确保90%的性能优于10毫秒,或者死锁的可能性小于1%)。

这是使用Go提供的通信顺序进程(CSP)方法比在共享内存上使用锁更好的原因之一。考虑到你要测试的Goroutine提供了具有指定行为的单元,可以通过通道将其与通过通道提供必要的测试输入的其他Goroutine进行测试,并通过通道监视结果输出。

使用CSP,使用没有任何共享内存的Goroutine(也没有通过指针无意中共享的内存)将确保在任何数据访问中不会发生竞争条件。使用某些经过验证的设计模式(例如,由Welch、Justo和WIllcock提出的模式)可以确保Goroutine之间不会发生死锁。然后,需要确保功能行为是正确的,可以使用上述提到的Goroutine测试工具来完成。

英文:

Concurrency testing of lock-based code is hard, to the extent that provable-correct solutions are difficult to come by. Ad-hoc manual testing via print statements is not ideal.

There are four dynamic concurrency problems that are essentially untestable (more). Along with the testing of performance, a statistical approach is the best you can achieve via test code (e.g. establishing that the 90 percentile performance is better than 10ms or that deadlock is less than 1% likely).

This is one of the reasons that the Communicating Sequential Process (CSP) approach provided by Go is better to use than locks on share memory. Consider that your Goroutine under test provides a unit with specified behaviour. This can be tested against other Goroutines that provide the necessary test inputs via channels and monitor result outputs via channels.

With CSP, using Goroutines without any shared memory (and without any inadvertently shared memory via pointers) will guarantee that race conditions don't occur in any data accesses. Using certain proven design patterns (e.g. by Welch, Justo and WIllcock) can establish that there won't be deadlock between Goroutines. It then remains to establish that the functional behaviour is correct, for which the Goroutine test-harness mentioned above will do nicely.

huangapple
  • 本文由 发表于 2013年10月5日 03:45:59
  • 转载请务必保留本文链接:https://go.coder-hub.com/19189542.html
匿名

发表评论

匿名网友

:?: :razz: :sad: :evil: :!: :smile: :oops: :grin: :eek: :shock: :???: :cool: :lol: :mad: :twisted: :roll: :wink: :idea: :arrow: :neutral: :cry: :mrgreen:

确定