cppcon 2021 safety guidelines for C parallel and concurrencymine, all mine! You can’t have them. Agenda 1. Current status of C++ safety: MISRA and C++ CG 2. Parallel Safety rules 3. Automotive Safety case Safety Critical API Evolution minimize API surface area no harm What is still missing? So far most only deal with Sequential code Very few deal with Parallel code Even fewer deal with Concurrent, event driven code None deal with Heterogeneous dispatch rules pulled from • C++CG • HIC++ • REphrase H2020 project • CERT C++ • JSF++ (no parallel rules) • WG23 (no parallel rules) • Added some from our own contributions • Many joined, average 5-8 per meeting0 码力 | 52 页 | 3.14 MB | 6 月前3
Design patterns for error handling in C++ programs using parallel algorithms and executorsprograms using parallel algorithms and executors Mark Hoemmen* mhoemmen@stellarscience.com CppCon 2020 * hoʊ’mən, or hœm’mən; he/himWho am I? • > 10 years post-PhD experience writing parallel C++ for for science and engineering • Background: Parallel algorithms for big linear algebra problems • 1st WG21: Nov 2017 • Started new job at Stellar Science in March Eschew raw pointersOutline • Parallelism Parallelism makes error handling harder… • …C++ parallel algorithms and tasks specifically • Message Passing Interface (MPI): 3 decades of distributed-memory parallel programming • MPI teaches design patterns0 码力 | 32 页 | 883.27 KB | 6 月前3
simd: How to Express Inherent Parallelism Efficiently Via Data-Parallel Typesdata-parallel types Dr. Matthias Kretz GSI Helmholtz Center for Heavy Ion Research CppCon ’23 @mkretz@floss.social github.com/mattkretzMotivation std::simd Overview Example: Image Processing Programming CppCon ’23 3 GSI Helmholtz Center for Heavy Ion ResearchMotivation std::simd Overview Example: Image Processing Programming Models Outlook Summary Motivation Motivation © by Matthias Kretz Matthias Kretz CppCon CppCon ’23 GSI Helmholtz Center for Heavy Ion ResearchMotivation std::simd Overview Example: Image Processing Programming Models Outlook Summary std::simd is for you! Matthias Kretz CppCon ’23 4 GSI Helmholtz0 码力 | 160 页 | 8.82 MB | 6 月前3
2.1.5 Processing XML and Spreadsheet Data in GoProcessing XML and Spreadsheet in Go 续 日 Gopher China Conference Beijing 2021 6/26 - 6/27 Self Introduction The author of the Excelize - Go language spreadsheet library. Familiar with Go language Complex XML 02 • Partial Load • Namespace & Entity • Ser/Deserialize Idempotence High Performance Processing 03 • XML Schema Definition • DOM or SAX OOXML Spreadsheets 04 • Excel XML Specification • work:addr="WORK"> High Performance Processing XML Components Data ModelTom 0 码力 | 35 页 | 1.34 MB | 1 年前3
新一代分布式高性能图数据库的构建 - 沈游人Graph Database 支持弹性伸缩,有 效利用硬件资源,高可用,高 可靠,故障自愈,低成本运维 HTAP Hybrid Transactional/Analytical Processing ,高性能图计算引 擎,预置 20 余种图计算算法 ,可扩展的分析引擎支持更复 杂的数据挖掘和机器学习场景 MPP Massively Parallel Processing 架构,大规模集群 (Property Graph Queries in SQL) and the GQL standard • GQL Specific Capabilities •2019-09 – 39075 Database Language GQL project approved - this is the start •2021-11 – CD Ballot started •2022-02 – CD0 码力 | 38 页 | 24.68 MB | 1 年前3
Kotlin Language Documentation 1.9.20step Add database support for Spring Boot project Add database support Update the MessageController class Update the MessageService class Configure the database Add messages to database via HTTP request 597 597 598 598 600 26 Run the application Next step Use Spring Data CrudRepository for database access Update your application Run the application Next step Test code using JUnit in JVM – iterators Ranges and progressions Progression Sequences Construct Sequence operations Sequence processing example Collection operations overview Extension and member functions Common operations Write0 码力 | 1299 页 | 32.44 MB | 1 年前3
Kotlin 1.9.10 官方文档 中文版
tweaking existing pre-trained models to your tasks. Kotlin DataFrame is a library for structured data processing. It aims to reconcile Kotlin's static typing with the dynamic nature of data by utilizing both londogard-nlp-toolkit is a library that provides utilities when working with natural language processing such as word/subword/sentence embeddings, word- frequencies, stopwords, stemming, and much more 实用程序 Charts——一个正在开发中的科学 JavaFX 图表库 Apache OpenNLP - a machine learning based toolkit for the processing of natural language text CoreNLP——一个自然语言处理工具包 Apache Mahout——一个回归、聚类与推荐的分布式框架 Weka——一组用于数据挖掘任务的机器学习算法0 码力 | 3753 页 | 29.69 MB | 1 年前3
Kotlin 官方文档中文版 v1.9existing pre-trained models to your tasks. Kotlin DataFrame is a library for structured data processing. It aims to reconcile Kotlin's static typing with the dynamic nature of data by utilizing both londogard-nlp-toolkit is a library that provides utilities when working with natural language processing such as word/subword/sentence embeddings, word-frequencies, stopwords, stemming, and much more 实用程序 Charts——一个正在开发中的科学 JavaFX 图表库 Apache OpenNLP - a machine learning based toolkit for the processing of natural language text CoreNLP——一个自然语言处理工具包 Apache Mahout——一个回归、聚类与推荐的分布式框架 Weka——一组用于数据挖掘任务的机器学习算法0 码力 | 2049 页 | 45.06 MB | 1 年前3
Kotlin Language Documentation 1.3438 439 445 450 455 466 489 498 507 513 5 Tools Documenting Kotlin Code Annotation Processing with Kotlin Kotlin Compiler Options Using Gradle Using Maven Using Ant Kotlin and OSGi Compiler allowing to use all existing Android libraries in a Kotlin application. This includes annotation processing, so databinding and Dagger work too. Footprint: Kotlin has a very compact runtime library, which Zeppelin is provided by interpreters - plugins that enable users to use a speci�c language or data-processing-backend. There are numerous community-maintained interpreters for di�erent programming languages0 码力 | 597 页 | 3.61 MB | 1 年前3
Back to Basics: ConcurrencySeymour Cray pioneers pipelining ○ 1972 - CDC 8600 Multiprocessor ○ 1975 - Cray-1 pioneered vector processing (i.e. SIMD)Now for code...(almost) Let’s see our first mechanism for concurrent programming 37 using threads on your GPU for graphics ■ GPUs have 100s or 1000s of threads that are good for massively parallel tasks. ● (You could also use things like CUDA to take advantage of your graphics hardware) the sizes of files in a directory to find the total bytes of the files in a directory ■ i.e., a parallel wc tool ○ Each of those threads then needs to write to some ‘shared value’ to sum the total.0 码力 | 141 页 | 6.02 MB | 6 月前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100
相关搜索词













