summaryrefslogtreecommitdiffhomepage
path: root/tools/checklocks/test/globals.go
diff options
context:
space:
mode:
Diffstat (limited to 'tools/checklocks/test/globals.go')
-rw-r--r--tools/checklocks/test/globals.go85
1 files changed, 0 insertions, 85 deletions
diff --git a/tools/checklocks/test/globals.go b/tools/checklocks/test/globals.go
deleted file mode 100644
index 656b0c9a3..000000000
--- a/tools/checklocks/test/globals.go
+++ /dev/null
@@ -1,85 +0,0 @@
-// Copyright 2020 The gVisor Authors.
-//
-// Licensed under the Apache License, Version 2.0 (the "License");
-// you may not use this file except in compliance with the License.
-// You may obtain a copy of the License at
-//
-// http://www.apache.org/licenses/LICENSE-2.0
-//
-// Unless required by applicable law or agreed to in writing, software
-// distributed under the License is distributed on an "AS IS" BASIS,
-// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-// See the License for the specific language governing permissions and
-// limitations under the License.
-
-package test
-
-import (
- "sync"
-)
-
-var (
- globalMu sync.Mutex
- globalRWMu sync.RWMutex
-)
-
-var globalStruct struct {
- mu sync.Mutex
- // +checklocks:mu
- guardedField int
-}
-
-var otherStruct struct {
- // +checklocks:globalMu
- guardedField1 int
- // +checklocks:globalRWMu
- guardedField2 int
- // +checklocks:globalStruct.mu
- guardedField3 int
-}
-
-func testGlobalValid() {
- globalMu.Lock()
- otherStruct.guardedField1 = 1
- globalMu.Unlock()
-
- globalRWMu.Lock()
- otherStruct.guardedField2 = 1
- globalRWMu.Unlock()
-
- globalRWMu.RLock()
- _ = otherStruct.guardedField2
- globalRWMu.RUnlock()
-
- globalStruct.mu.Lock()
- globalStruct.guardedField = 1
- otherStruct.guardedField3 = 1
- globalStruct.mu.Unlock()
-}
-
-// +checklocks:globalStruct.mu
-func testGlobalValidPreconditions0() {
- globalStruct.guardedField = 1
-}
-
-// +checklocks:globalMu
-func testGlobalValidPreconditions1() {
- otherStruct.guardedField1 = 1
-}
-
-// +checklocks:globalRWMu
-func testGlobalValidPreconditions2() {
- otherStruct.guardedField2 = 1
-}
-
-// +checklocks:globalStruct.mu
-func testGlobalValidPreconditions3() {
- otherStruct.guardedField3 = 1
-}
-
-func testGlobalInvalid() {
- globalStruct.guardedField = 1 // +checklocksfail
- otherStruct.guardedField1 = 1 // +checklocksfail
- otherStruct.guardedField2 = 1 // +checklocksfail
- otherStruct.guardedField3 = 1 // +checklocksfail
-}