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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
|
import itertools
import os
import os.path
import sys
import subprocess
import optparse
import textwrap
import process_command_files as pcf
from process_whole_archive_option import ProcessWholeArchiveOption
def get_leaks_suppressions(cmd):
supp, newcmd = [], []
for arg in cmd:
if arg.endswith(".supp"):
supp.append(arg)
else:
newcmd.append(arg)
return supp, newcmd
MUSL_LIBS = '-lc', '-lcrypt', '-ldl', '-lm', '-lpthread', '-lrt', '-lutil'
CUDA_LIBRARIES = {
'-lcublas_static': '-lcublas',
'-lcublasLt_static': '-lcublasLt',
'-lcudart_static': '-lcudart',
'-lcudnn_static': '-lcudnn',
'-lcufft_static_nocallback': '-lcufft',
'-lcurand_static': '-lcurand',
'-lcusolver_static': '-lcusolver',
'-lcusparse_static': '-lcusparse',
'-lmyelin_compiler_static': '-lmyelin',
'-lmyelin_executor_static': '-lnvcaffe_parser',
'-lmyelin_pattern_library_static': '',
'-lmyelin_pattern_runtime_static': '',
'-lnvinfer_static': '-lnvinfer',
'-lnvinfer_plugin_static': '-lnvinfer_plugin',
'-lnvonnxparser_static': '-lnvonnxparser',
'-lnvparsers_static': '-lnvparsers',
}
class CUDAManager:
def __init__(self, known_arches, nvprune_exe):
self.fatbin_libs = self._known_fatbin_libs(set(CUDA_LIBRARIES))
self.prune_args = []
if known_arches:
for arch in known_arches.split(':'):
self.prune_args.append('-gencode')
self.prune_args.append(self._arch_flag(arch))
self.nvprune_exe = nvprune_exe
def has_cuda_fatbins(self, cmd):
return bool(set(cmd) & self.fatbin_libs)
def _known_fatbin_libs(self, libs):
libs_wo_device_code = {
'-lcudart_static'
}
return set(libs) - libs_wo_device_code
def _arch_flag(self, arch):
_, ver = arch.split('_', 1)
return 'arch=compute_{},code={}'.format(ver, arch)
def prune_lib(self, inp_fname, out_fname):
if self.prune_args:
prune_command = [self.nvprune_exe] + self.prune_args + ['--output-file', out_fname, inp_fname]
subprocess.check_call(prune_command)
def write_linker_script(self, f):
# This script simply says:
# * Place all `.nv_fatbin` input sections from all input files into one `.nv_fatbin` output section of output file
# * Place it after `.bss` section
#
# Motivation can be found here: https://maskray.me/blog/2021-07-04-sections-and-overwrite-sections#insert-before-and-insert-after
# TL;DR - we put section with a lot of GPU code directly after the last meaningful section in the binary
# (which turns out to be .bss)
# In that case, we decrease chances of relocation overflows from .text to .bss,
# because now these sections are close to each other
script = textwrap.dedent("""
SECTIONS {
.nv_fatbin : { *(.nv_fatbin) }
} INSERT AFTER .bss
""").strip()
f.write(script)
def process_cuda_libraries(cmd, cuda_manager, build_root):
if not cuda_manager.has_cuda_fatbins(cmd):
return cmd
def tmpdir_generator(prefix):
for idx in itertools.count():
path = os.path.abspath(os.path.join(build_root, prefix + '_' + str(idx)))
os.makedirs(path)
yield path
tmpdir_gen = tmpdir_generator('cuda_pruned_libs')
flags = []
cuda_deps = set()
# Because each directory flag only affects flags that follow it,
# for correct pruning we need to process that in reversed order
for flag in reversed(cmd):
if flag in cuda_manager.fatbin_libs:
cuda_deps.add('lib' + flag[2:] + '.a')
flag += '_pruned'
elif flag.startswith('-L') and os.path.exists(flag[2:]) and os.path.isdir(flag[2:]) and any(f in cuda_deps for f in os.listdir(flag[2:])):
from_dirpath = flag[2:]
from_deps = list(cuda_deps & set(os.listdir(from_dirpath)))
if from_deps:
to_dirpath = next(tmpdir_gen)
for f in from_deps:
from_path = os.path.join(from_dirpath, f)
to_path = os.path.join(to_dirpath, f[:-2] + '_pruned.a')
cuda_manager.prune_lib(from_path, to_path)
cuda_deps.remove(f)
# do not remove current directory
# because it can contain other libraries we want link to
# instead we just add new directory with pruned libs
flags.append('-L' + to_dirpath)
flags.append(flag)
assert not cuda_deps, ('Unresolved CUDA deps: ' + ','.join(cuda_deps))
flags = list(reversed(flags))
# add custom linker script
to_dirpath = next(tmpdir_generator('cuda_linker_script'))
script_path = os.path.join(to_dirpath, 'script')
with open(script_path, 'w') as f:
cuda_manager.write_linker_script(f)
flags.append('-Wl,--script={}'.format(script_path))
return flags
def remove_excessive_flags(cmd):
flags = []
for flag in cmd:
if not flag.endswith('.ios.interface') and not flag.endswith('.pkg.fake'):
flags.append(flag)
return flags
def fix_sanitize_flag(cmd, opts):
"""
Remove -fsanitize=address flag if sanitazers are linked explicitly for linux target.
"""
for flag in cmd:
if flag.startswith('--target') and 'linux' not in flag.lower():
# use toolchained sanitize libraries
return cmd
assert opts.clang_ver
CLANG_RT = 'contrib/libs/clang' + opts.clang_ver + '-rt/lib/'
sanitize_flags = {
'-fsanitize=address': CLANG_RT + 'asan',
'-fsanitize=memory': CLANG_RT + 'msan',
'-fsanitize=leak': CLANG_RT + 'lsan',
'-fsanitize=undefined': CLANG_RT + 'ubsan',
'-fsanitize=thread': CLANG_RT + 'tsan',
}
used_sanitize_libs = []
aux = []
for flag in cmd:
if flag.startswith('-fsanitize-coverage='):
# do not link sanitizer libraries from clang
aux.append('-fno-sanitize-link-runtime')
if flag in sanitize_flags and any(s.startswith(sanitize_flags[flag]) for s in cmd):
# exclude '-fsanitize=' if appropriate library is linked explicitly
continue
if any(flag.startswith(lib) for lib in sanitize_flags.values()):
used_sanitize_libs.append(flag)
continue
aux.append(flag)
# move sanitize libraries out of the repeatedly searched group of archives
flags = []
for flag in aux:
if flag == '-Wl,--start-group':
flags += ['-Wl,--whole-archive'] + used_sanitize_libs + ['-Wl,--no-whole-archive']
flags.append(flag)
return flags
def fix_cmd_for_musl(cmd):
flags = []
for flag in cmd:
if flag not in MUSL_LIBS:
flags.append(flag)
return flags
def fix_cmd_for_dynamic_cuda(cmd):
flags = []
for flag in cmd:
if flag in CUDA_LIBRARIES:
flags.append(CUDA_LIBRARIES[flag])
else:
flags.append(flag)
return flags
def gen_default_suppressions(inputs, output, source_root):
import collections
import os
supp_map = collections.defaultdict(set)
for filename in inputs:
sanitizer = os.path.basename(filename).split('.', 1)[0]
with open(os.path.join(source_root, filename)) as src:
for line in src:
line = line.strip()
if not line or line.startswith('#'):
continue
supp_map[sanitizer].add(line)
with open(output, "wb") as dst:
for supp_type, supps in supp_map.items():
dst.write('extern "C" const char *__%s_default_suppressions() {\n' % supp_type)
dst.write(' return "{}";\n'.format('\\n'.join(sorted(supps))))
dst.write('}\n')
def fix_blas_resolving(cmd):
# Intel mkl comes as a precompiled static library and thus can not be recompiled with sanitizer runtime instrumentation.
# That's why we prefer to use cblas instead of Intel mkl as a drop-in replacement under sanitizers.
# But if the library has dependencies on mkl and cblas simultaneously, it will get a linking error.
# Hence we assume that it's probably compiling without sanitizers and we can easily remove cblas to prevent multiple definitions of the same symbol at link time.
for arg in cmd:
if arg.startswith('contrib/libs') and arg.endswith('mkl-lp64.a'):
return [arg for arg in cmd if not arg.endswith('libcontrib-libs-cblas.a')]
return cmd
def parse_args():
parser = optparse.OptionParser()
parser.disable_interspersed_args()
parser.add_option('--musl', action='store_true')
parser.add_option('--custom-step')
parser.add_option('--python')
parser.add_option('--source-root')
parser.add_option('--clang-ver')
parser.add_option('--dynamic-cuda', action='store_true')
parser.add_option('--cuda-architectures',
help='List of supported CUDA architectures, separated by ":" (e.g. "sm_52:compute_70:lto_90a"')
parser.add_option('--nvprune-exe')
parser.add_option('--build-root')
parser.add_option('--arch')
parser.add_option('--linker-output')
parser.add_option('--whole-archive-peers', action='append')
parser.add_option('--whole-archive-libs', action='append')
return parser.parse_args()
if __name__ == '__main__':
opts, args = parse_args()
args = pcf.skip_markers(args)
cmd = fix_blas_resolving(args)
cmd = remove_excessive_flags(cmd)
if opts.musl:
cmd = fix_cmd_for_musl(cmd)
cmd = fix_sanitize_flag(cmd, opts)
if 'ld.lld' in str(cmd):
if '-fPIE' in str(cmd) or '-fPIC' in str(cmd):
# support explicit PIE
pass
else:
cmd.append('-Wl,-no-pie')
if opts.dynamic_cuda:
cmd = fix_cmd_for_dynamic_cuda(cmd)
else:
cuda_manager = CUDAManager(opts.cuda_architectures, opts.nvprune_exe)
cmd = process_cuda_libraries(cmd, cuda_manager, opts.build_root)
cmd = ProcessWholeArchiveOption(opts.arch, opts.whole_archive_peers, opts.whole_archive_libs).construct_cmd(cmd)
if opts.custom_step:
assert opts.python
subprocess.check_call([opts.python] + [opts.custom_step] + args)
supp, cmd = get_leaks_suppressions(cmd)
if supp:
src_file = "default_suppressions.cpp"
gen_default_suppressions(supp, src_file, opts.source_root)
cmd += [src_file]
if opts.linker_output:
stdout = open(opts.linker_output, 'w')
else:
stdout = sys.stdout
rc = subprocess.call(cmd, shell=False, stderr=sys.stderr, stdout=stdout)
sys.exit(rc)
|