-
Notifications
You must be signed in to change notification settings - Fork 0
/
configure.ocelot
59 lines (59 loc) · 1.34 KB
/
configure.ocelot
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
{
ocelot: "ocelot",
version: "",
trace: {
database: "traces/database.trace",
memoryChecker: {
enabled: True,
checkInitialization: False
},
raceDetector: {
enabled: False,
ignoreIrrelevantWrites: False
},
kernelTimer: {
enabled: True,
outputFile: "kernel-times.json"
},
debugger: {
enabled: False,
kernelFilter: "",
alwaysAttach: True
}
},
cuda: {
implementation: "CudaRuntime",
tracePath: "trace/CudaAPI.trace"
},
executive: {
devices: ["emulated"],
preferredISA: "nvidia",
optimizationLevel: "full",
reconvergenceMechanism: "ipdom",
defaultDeviceID: 0,
required: False,
asynchronousKernelLaunch: True,
port: 2011,
host: "127.0.0.1",
workerThreadLimit: 8,
warpSize: 32
},
checkpoint: {
enabled: False,
path: ".",
prefix: "kernel_trace_",
suffix: ".trace",
verify: False
},
optimizations: {
subkernelSize: 10000,
simplifyCFG: True,
structuralTransform: False,
predicateToSelect: False,
linearScanAllocation: False,
mimdThreadScheduling: False,
syncElimination: False,
hoistSpecialValues: False,
enforceLockStepExecution: False
}
}