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,
|
2017-02-09 06:52:18 +00:00
|
|
|
// You can obtain one at https://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-11-03 21:33:33 +00:00
|
|
|
type Holdable interface {
|
|
|
|
Holders() string
|
2016-10-18 20:00:01 +00:00
|
|
|
}
|
|
|
|
|
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()
|
2016-12-18 18:57:41 +00:00
|
|
|
_ = 1 // empty critical section
|
2014-06-21 07:43:12 +00:00
|
|
|
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 {
|
2016-11-03 21:33:33 +00:00
|
|
|
if otherHolder, ok := otherMut.(Holdable); ok {
|
|
|
|
msg += "\n===" + otherName + "===\n" + otherHolder.Holders()
|
2016-10-29 23:14:38 +00:00
|
|
|
}
|
2016-10-18 20:00:01 +00:00
|
|
|
}
|
|
|
|
panic(msg)
|
2014-06-21 07:43:12 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}()
|
|
|
|
}
|