2014-11-16 13:13:20 -07:00
|
|
|
// Copyright (C) 2014 The Syncthing Authors.
|
2014-09-29 12:43:32 -07:00
|
|
|
//
|
2015-03-07 13:36:35 -07: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 13:50:14 -07:00
|
|
|
|
2014-05-14 20:26:55 -07:00
|
|
|
package model
|
2014-03-02 15:58:14 -07:00
|
|
|
|
2014-03-28 06:36:57 -07:00
|
|
|
import (
|
2016-10-18 13:00:01 -07:00
|
|
|
"fmt"
|
2014-06-21 00:43:12 -07:00
|
|
|
"sync"
|
|
|
|
"time"
|
2014-03-28 06:36:57 -07:00
|
|
|
)
|
2014-03-02 15:58:14 -07:00
|
|
|
|
2016-11-03 14:33:33 -07:00
|
|
|
type Holdable interface {
|
|
|
|
Holders() string
|
2016-10-18 13:00:01 -07:00
|
|
|
}
|
|
|
|
|
2016-10-29 16:14:38 -07: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 00:43:12 -07:00
|
|
|
go func() {
|
|
|
|
for {
|
2016-10-29 16:14:38 -07:00
|
|
|
time.Sleep(d.timeout / 4)
|
2014-06-21 00:43:12 -07:00
|
|
|
ok := make(chan bool, 2)
|
|
|
|
|
|
|
|
go func() {
|
|
|
|
mut.Lock()
|
2016-12-18 11:57:41 -07:00
|
|
|
_ = 1 // empty critical section
|
2014-06-21 00:43:12 -07:00
|
|
|
mut.Unlock()
|
|
|
|
ok <- true
|
|
|
|
}()
|
|
|
|
|
|
|
|
go func() {
|
2016-10-29 16:14:38 -07:00
|
|
|
time.Sleep(d.timeout)
|
2014-06-21 00:43:12 -07:00
|
|
|
ok <- false
|
|
|
|
}()
|
|
|
|
|
|
|
|
if r := <-ok; !r {
|
2016-10-18 13:00:01 -07:00
|
|
|
msg := fmt.Sprintf("deadlock detected at %s", name)
|
2016-10-29 16:14:38 -07:00
|
|
|
for otherName, otherMut := range d.lockers {
|
2016-11-03 14:33:33 -07:00
|
|
|
if otherHolder, ok := otherMut.(Holdable); ok {
|
|
|
|
msg += "\n===" + otherName + "===\n" + otherHolder.Holders()
|
2016-10-29 16:14:38 -07:00
|
|
|
}
|
2016-10-18 13:00:01 -07:00
|
|
|
}
|
|
|
|
panic(msg)
|
2014-06-21 00:43:12 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}()
|
|
|
|
}
|