LLVM's Realtime Safety Revolution: Tools for Modern Mission Critical Systems
LLVM’s Real-time Safety Revolution Tools for Modern Mission Critical SystemsChris Apple ● 10-year veteran of the audio industry ● Previously Dolby, Roblox, Spatial Inc. ● Currently: layabout David REAL(malloc)(size); } INTERCEPTOR (void *, malloc, size_t size) { return REAL(malloc)(size); } LLVM Intermediate Representation (IR) compilation step lightweight runtime library void __rtsan_realtime_enter() each tool outside of LLVM ContrastAgenda 1. Run time vs compile time 2. False negatives and false positives 3. Cost 4. Disabling each tool 5. Using each tool outside of LLVM ContrastRun time Compile0 码力 | 153 页 | 1.38 MB | 5 月前3Julia 1.11.5 Documentation
compiled representations . . . . . . . . . . . . . . . . . . . . . . 1249 58 C Interface 1250 59 LLVM Interface 1267 60 C Standard Library 1268 61 StackTraces 1274 62 SIMD Support 1276 III Standard . . . . . . . . . . . . 1862 105.15 Custom LLVM Passes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1863 105.16 Working with LLVM . . . . . . . . . . . . . . . . . . . . . . inference and just-in-time (JIT) compilation (and optional ahead-of-time compilation), implemented using LLVM. It is multi-paradigm, combining features of imperative, functional, and object-oriented programming0 码力 | 2007 页 | 6.73 MB | 3 月前3Julia 1.11.6 Release Notes
compiled representations . . . . . . . . . . . . . . . . . . . . . . 1249 58 C Interface 1250 59 LLVM Interface 1267 60 C Standard Library 1268 61 StackTraces 1274 62 SIMD Support 1276 III Standard . . . . . . . . . . . . 1862 105.15 Custom LLVM Passes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1863 105.16 Working with LLVM . . . . . . . . . . . . . . . . . . . . . . inference and just-in-time (JIT) compilation (and optional ahead-of-time compilation), implemented using LLVM. It is multi-paradigm, combining features of imperative, functional, and object-oriented programming0 码力 | 2007 页 | 6.73 MB | 3 月前3Julia 1.11.4
compiled representations . . . . . . . . . . . . . . . . . . . . . . 1249 58 C Interface 1250 59 LLVM Interface 1267 60 C Standard Library 1268 61 StackTraces 1274 62 SIMD Support 1276 III Standard . . . . . . . . . . . . 1862 105.15 Custom LLVM Passes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1863 105.16 Working with LLVM . . . . . . . . . . . . . . . . . . . . . . inference and just-in-time (JIT) compilation (and optional ahead-of-time compilation), implemented using LLVM. It is multi-paradigm, combining features of imperative, functional, and object-oriented programming0 码力 | 2007 页 | 6.73 MB | 3 月前3Julia 1.12.0 Beta4
compiled representations . . . . . . . . . . . . . . . . . . . . . . 1299 59 C Interface 1300 60 LLVM Interface 1317 61 C Standard Library 1318 62 StackTraces 1324 63 SIMD Support 1326 III Standard . . . . . . . . . . . . 1913 106.15 Custom LLVM Passes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1915 106.16 Working with LLVM . . . . . . . . . . . . . . . . . . . . . . inference and just-in-time (JIT) compilation (and optional ahead-of-time compilation), implemented using LLVM. It is multi-paradigm, combining features of imperative, functional, and object-oriented programming0 码力 | 2057 页 | 7.44 MB | 3 月前3Julia 1.12.0 Beta3
compiled representations . . . . . . . . . . . . . . . . . . . . . . 1299 59 C Interface 1300 60 LLVM Interface 1317 61 C Standard Library 1318 62 StackTraces 1324 63 SIMD Support 1326 III Standard . . . . . . . . . . . . 1913 106.15 Custom LLVM Passes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1915 106.16 Working with LLVM . . . . . . . . . . . . . . . . . . . . . . inference and just-in-time (JIT) compilation (and optional ahead-of-time compilation), implemented using LLVM. It is multi-paradigm, combining features of imperative, functional, and object-oriented programming0 码力 | 2057 页 | 7.44 MB | 3 月前3julia 1.12.0 beta1
compiled representations . . . . . . . . . . . . . . . . . . . . . . 1291 58 C Interface 1292 59 LLVM Interface 1309CONTENTS x 60 C Standard Library 1310 61 StackTraces 1316 62 SIMD Support 1318 III . . . . . . 1904CONTENTS xiii 105.15 Custom LLVM Passes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1906 105.16 Working with LLVM . . . . . . . . . . . . . . . . . . . . . . inference and just-in-time (JIT) compilation (and optional ahead-of-time compilation), implemented using LLVM. It is multi-paradigm, combining features of imperative, functional, and object-oriented programming0 码力 | 2047 页 | 7.41 MB | 3 月前3Julia 1.12.0 RC1
compiled representations . . . . . . . . . . . . . . . . . . . . . . 1300 59 C Interface 1301 60 LLVM Interface 1318 61 C Standard Library 1319 62 StackTraces 1325 63 SIMD Support 1327 III Standard . . . . . . . . . . . . 1914 106.15 Custom LLVM Passes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1915 106.16 Working with LLVM . . . . . . . . . . . . . . . . . . . . . . inference and just-in-time (JIT) compilation (and optional ahead-of-time compilation), implemented using LLVM. It is multi-paradigm, combining features of imperative, functional, and object-oriented programming0 码力 | 2057 页 | 7.44 MB | 3 月前3julia 1.13.0 DEV
compiled representations . . . . . . . . . . . . . . . . . . . . . . 1302 59 C Interface 1303 60 LLVM Interface 1320 61 C Standard Library 1321 62 StackTraces 1327 63 SIMD Support 1329 III Standard . . . . . . . . . . . . 1916 106.15 Custom LLVM Passes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1918 106.16 Working with LLVM . . . . . . . . . . . . . . . . . . . . . . inference and just-in-time (JIT) compilation (and optional ahead-of-time compilation), implemented using LLVM. It is multi-paradigm, combining features of imperative, functional, and object-oriented programming0 码力 | 2058 页 | 7.45 MB | 3 月前3Julia 1.11.0-beta2 Documentation
compiled representations . . . . . . . . . . . . . . . . . . . . . . 1241 58 C Interface 1242 59 LLVM Interface 1259 60 C Standard Library 1260 61 StackTraces 1266 62 SIMD Support 1268 III Standard . . . . . . . . . . . . 1839 106.15 Custom LLVM Passes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1840 106.16 Working with LLVM . . . . . . . . . . . . . . . . . . . . . . inference and just-in-time (JIT) compilation (and optional ahead-of-time compilation), implemented using LLVM. It is multi-paradigm, combining features of imperative, functional, and object-oriented programming0 码力 | 1984 页 | 6.66 MB | 1 年前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100