1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
## Create a universally unique identifier (UUID) for an R object
#' @importFrom digest digest
uuid <- function(source, keep_source = FALSE) {
uuid <- digest(source)
uuid <- strsplit(uuid, split = "")[[1]]
uuid <- paste(c(uuid[1:8], "-", uuid[9:12], "-", uuid[13:16], "-", uuid[17:20], "-", uuid[21:32]), collapse = "")
if (keep_source) attr(uuid, "source") <- source
uuid
} ## uuid()
## A universally unique identifier (UUID) for the current
## R process UUID. Generated only once per process ID 'pid'.
## The 'pid' may differ when using forked processes.
session_uuid <- local({
uuids <- list()
function(pid = Sys.getpid(), attributes = FALSE) {
pidstr <- as.character(pid)
uuid <- uuids[[pidstr]]
if (is.null(uuid)) {
info <- Sys.info()
host <- Sys.getenv(c("HOST", "HOSTNAME", "COMPUTERNAME"))
host <- host[nzchar(host)]
host <- if (length(host) == 0L) info[["nodename"]] else host[1L]
info <- list(
host = host,
info = info,
time = Sys.time(),
tempdir = tempdir(),
pid = pid,
random = stealth_sample.int(.Machine$integer.max, size = 1L)
)
uuid <- uuid(info, keep_source = TRUE)
uuids[[pidstr]] <<- uuid
}
if (!attributes) attr(uuid, "source") <- NULL
uuid
}
})
progressor_uuid <- function(id, attributes = FALSE) {
uuid(list(session_uuid = session_uuid(), id = id), keep_source = attributes)
}
## A version of base::sample.int() that does not change .Random.seed
stealth_sample.int <- function(...) {
oseed <- .GlobalEnv$.Random.seed
on.exit({
if (is.null(oseed)) {
rm(list = ".Random.seed", envir = .GlobalEnv, inherits = FALSE)
} else {
.GlobalEnv$.Random.seed <- oseed
}
})
suppressWarnings(sample.int(...))
}
|
