2014-11-16 20:13:20 +00:00
|
|
|
// Copyright (C) 2014 The Syncthing Authors.
|
2014-09-29 19:43:32 +00:00
|
|
|
//
|
2015-03-07 20:36:35 +00:00
|
|
|
// This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
// License, v. 2.0. If a copy of the MPL was not distributed with this file,
|
|
|
|
// You can obtain one at http://mozilla.org/MPL/2.0/.
|
2014-06-01 20:50:14 +00:00
|
|
|
|
2014-05-15 03:26:55 +00:00
|
|
|
package model
|
2014-03-02 22:58:14 +00:00
|
|
|
|
2014-03-28 13:36:57 +00:00
|
|
|
import (
|
2016-10-18 20:00:01 +00:00
|
|
|
"fmt"
|
2014-06-21 07:43:12 +00:00
|
|
|
"sync"
|
|
|
|
"time"
|
2014-03-28 13:36:57 +00:00
|
|
|
)
|
2014-03-02 22:58:14 +00:00
|
|
|
|
2016-10-18 20:00:01 +00:00
|
|
|
type Holder interface {
|
|
|
|
Holder() (string, int)
|
|
|
|
}
|
|
|
|
|
2016-10-29 23:14:38 +00:00
|
|
|
func newDeadlockDetector(timeout time.Duration) *deadlockDetector {
|
|
|
|
return &deadlockDetector{
|
|
|
|
timeout: timeout,
|
|
|
|
lockers: make(map[string]sync.Locker),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
type deadlockDetector struct {
|
|
|
|
timeout time.Duration
|
|
|
|
lockers map[string]sync.Locker
|
|
|
|
}
|
|
|
|
|
|
|
|
func (d *deadlockDetector) Watch(name string, mut sync.Locker) {
|
|
|
|
d.lockers[name] = mut
|
2014-06-21 07:43:12 +00:00
|
|
|
go func() {
|
|
|
|
for {
|
2016-10-29 23:14:38 +00:00
|
|
|
time.Sleep(d.timeout / 4)
|
2014-06-21 07:43:12 +00:00
|
|
|
ok := make(chan bool, 2)
|
|
|
|
|
|
|
|
go func() {
|
|
|
|
mut.Lock()
|
|
|
|
mut.Unlock()
|
|
|
|
ok <- true
|
|
|
|
}()
|
|
|
|
|
|
|
|
go func() {
|
2016-10-29 23:14:38 +00:00
|
|
|
time.Sleep(d.timeout)
|
2014-06-21 07:43:12 +00:00
|
|
|
ok <- false
|
|
|
|
}()
|
|
|
|
|
|
|
|
if r := <-ok; !r {
|
2016-10-18 20:00:01 +00:00
|
|
|
msg := fmt.Sprintf("deadlock detected at %s", name)
|
2016-10-29 23:14:38 +00:00
|
|
|
for otherName, otherMut := range d.lockers {
|
|
|
|
if otherHolder, ok := otherMut.(Holder); ok {
|
|
|
|
holder, goid := otherHolder.Holder()
|
|
|
|
msg += fmt.Sprintf("\n %s = current holder: %s at routine %d", otherName, holder, goid)
|
|
|
|
}
|
2016-10-18 20:00:01 +00:00
|
|
|
}
|
|
|
|
panic(msg)
|
2014-06-21 07:43:12 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}()
|
|
|
|
}
|