2019-01-31 19:11:44 +00:00
|
|
|
package(licenses = ["notice"])
|
2018-04-27 17:37:02 +00:00
|
|
|
|
|
|
|
load("//tools/go_generics:defs.bzl", "go_template_instance")
|
2018-08-02 17:41:44 +00:00
|
|
|
load("//tools/go_stateify:defs.bzl", "go_library", "go_test")
|
2018-04-27 17:37:02 +00:00
|
|
|
|
2018-10-08 17:19:27 +00:00
|
|
|
go_template_instance(
|
|
|
|
name = "atomicptr_bucket",
|
2019-07-09 23:42:54 +00:00
|
|
|
out = "atomicptr_bucket_unsafe.go",
|
2018-10-08 17:19:27 +00:00
|
|
|
package = "futex",
|
|
|
|
suffix = "Bucket",
|
2019-02-01 01:47:24 +00:00
|
|
|
template = "//third_party/gvsync:generic_atomicptr",
|
2018-10-08 17:19:27 +00:00
|
|
|
types = {
|
|
|
|
"Value": "bucket",
|
|
|
|
},
|
|
|
|
)
|
|
|
|
|
2018-04-27 17:37:02 +00:00
|
|
|
go_template_instance(
|
|
|
|
name = "waiter_list",
|
|
|
|
out = "waiter_list.go",
|
|
|
|
package = "futex",
|
|
|
|
prefix = "waiter",
|
|
|
|
template = "//pkg/ilist:generic_list",
|
|
|
|
types = {
|
2018-09-04 16:18:00 +00:00
|
|
|
"Element": "*Waiter",
|
2018-04-27 17:37:02 +00:00
|
|
|
"Linker": "*Waiter",
|
|
|
|
},
|
|
|
|
)
|
|
|
|
|
|
|
|
go_library(
|
|
|
|
name = "futex",
|
|
|
|
srcs = [
|
2019-07-09 23:42:54 +00:00
|
|
|
"atomicptr_bucket_unsafe.go",
|
2018-04-27 17:37:02 +00:00
|
|
|
"futex.go",
|
|
|
|
"waiter_list.go",
|
|
|
|
],
|
2019-06-13 23:49:09 +00:00
|
|
|
importpath = "gvisor.dev/gvisor/pkg/sentry/kernel/futex",
|
2018-04-27 17:37:02 +00:00
|
|
|
visibility = ["//pkg/sentry:internal"],
|
2018-10-08 17:19:27 +00:00
|
|
|
deps = [
|
2018-11-16 20:16:37 +00:00
|
|
|
"//pkg/abi/linux",
|
2019-03-06 07:39:14 +00:00
|
|
|
"//pkg/log",
|
|
|
|
"//pkg/sentry/context",
|
2018-10-08 17:19:27 +00:00
|
|
|
"//pkg/sentry/memmap",
|
2018-11-16 20:16:37 +00:00
|
|
|
"//pkg/sentry/usermem",
|
2018-10-08 17:19:27 +00:00
|
|
|
"//pkg/syserror",
|
|
|
|
],
|
2018-04-27 17:37:02 +00:00
|
|
|
)
|
|
|
|
|
|
|
|
go_test(
|
|
|
|
name = "futex_test",
|
|
|
|
size = "small",
|
|
|
|
srcs = ["futex_test.go"],
|
|
|
|
embed = [":futex"],
|
2018-11-16 20:16:37 +00:00
|
|
|
deps = ["//pkg/sentry/usermem"],
|
2018-04-27 17:37:02 +00:00
|
|
|
)
|