• 学术搜索
  • 科研智能体
    • Research Labs
    • AI 阅读
    • AI 文库
    • 深度研究
    • 学者亮点
  • 学术资源
    • AI2000
    • 期刊/会议
    • 学者库
    • 学术API
      MCP&Skill
    • 溯源树
    • 数据集
  • 知识沉淀
    • 学术空间
订阅小程序
旧版功能
aminer vip
开通会员低至0.73元/天
一次搞定AI科研
立即登录
  • English
  • 联系方式
    Software Composition

    Software Composition

    Conference

    年发文量

    研究主题

    论文(4488)

    排序
    1ACID Support for Compute Express Link Memory Transactions
    Ellis Giles,Peter Varman

    With the recent explosive growth in worldwide data and data processing demands, the need to support a large volume of transactions on shared data is increasing in both high performance computing and datacenter processing. A recent innovation in server architectures is the use of disaggregated memory based on the Compute eXpress Link (CXL) interconnect protocol. This memory architecture is increasing in popularity as it allows for dynamic demand-sensitive resizing of aggregated memory, support for heterogeneous memory types, and sharing of data amongst supported processors and devices, including computational accelerators. However, while this new memory architecture alleviates many concerns in datacenter architectures, the data integrity when using memory based transactions over CXL faces many challenges.To solve for these challenges, we describe a novel solution for providing ACID (Atomicity, Consistency, Isolation, Durability) transactions in a CXL-based disaggregated memory architecture. We call this solution Transactional CXL or TCXL. TCXL requires no changes to the existing processor microarchitectures and is implemented in a software library with a back-end controller that can be embedded in a CXL controller or as a stand alone CXL Device or implemented on a host.The transactions support persistent memory durable transactions and in-memory volatile transactions which can be in a pooled memory expansion for a single processor or shared amongst multiple processors. TCXL also supports processor based Hardware Transactional Memory (HTM) based transactions both on processor and over CXL. We evaluate TCXL by extending a CXL simulator and executing micro-benchmarks. In addition to gaining the benefits of using CXL, we show TCXL outperforms other approaches.

    2025引用:1
    引用
    AI阅读
    加入学术空间
    2DyTwin: Federated Adaptive Digital Twins for Data Centers - Visualization and Anomaly Detection
    Ebad Taheri,Pedro Bruel, Pavana Prakash,Gourav Rattihalli,Ninad Hogade,Aditya Dhakal, Rolando P. Hong Enriquez,Torsten Wilde,Leo Popokh,Dejan Milojicic,Cullen Bash

    Reliable and uninterrupted operation is crucial in supercomputers, especially during failures or inconsistencies i.e., anomalies. In this paper, we present a federated adaptive Digital Twin (DT) framework, with a focus on enhancing anomaly detection - a critical aspect of modern data center management. Our DT continuously monitors key metrics, detects anomalies powered by AI, and dynamically adjusts its monitoring parameters to ensure optimal performance. Using a dashboard, our system provides real-time alarms and detailed visualizations of detected anomalies, along with real-time visualization and forecast for selected metrics. Through a series of experiments, we validate the effectiveness of our approach in maintaining operational reliability and promptly identifying potential anomalies within the data center.

    2025
    引用
    AI阅读
    加入学术空间
    3Integrating ORNL’s HPC and Neutron Facilities with a Performance-Portable CPU/GPU Ecosystem
    Steven E. Hahn,Philip W. Fackler,William F. Godoy,Ketan Maheshwari,Zachary Morgan,Andrei T. Savici, Christina M. Hoffmann,Pedro Valero-Lara,Jeffrey S. Vetter,Rafael Ferreira da Silva

    We explore the development of a performance-portable CPU/GPU ecosystem to integrate two of the US Department of Energy’s (DOE’s) largest scientific instruments, the Oak Ridge Leadership Computing facility and the Spallation Neutron Source (SNS), both of which are housed at Oak Ridge National Laboratory. We select a relevant data reduction workflow use-case to obtain the differential scattering cross-section from data collected by SNS’s CORELLI and TOPAZ instruments. We compare the current CPU-only production implementation using the Garnet Python multiprocess package based on the Mantid C++ framework against our proposed CPU/GPU implementation that uses the LLVM-based, just-in-time Julia scientific language and the JACC.jl performance-portable package. Two proxy apps were developed: (i) an app for extracting relevant Mantid kernels (MDNorm) in C++ and (ii) the Julia MiniVATES.jl miniapp. We present performance results for NVIDIA A100 and AMD MI100 GPUs and AMD EPYC 7513 and 7662 CPUs. The results provide insights for future generations of data reduction software that can embrace performance portability for an integrated research infrastructure across DOE’s experimental and computational facilities.

    2025
    引用
    AI阅读
    加入学术空间
    4Performance Portable Optimizations of an Ice-sheet Modeling Code on GPU-supercomputers
    Oscar Antepara,Samuel Williams,Max Carlson,Jerry Watkins

    In this paper, we present GPU-optimizations for an ice-sheet modeling code known as MPAS-Albany Land Ice (MALI). MALI is a C++ template code that leverages the Kokkos programming model for portability and the Trilinos library for data structures, nonlinear and linear solvers and optimization packages for ice-sheet simulations. Performance of the most expensive kernel is assessed via the Roofline model to highlight the potential for code improvement according to the underlying GPU architecture. We perform a collection of optimizations consisting of loop fusions, loop optimizations and local accumulation to productively and portably attain an overall speedup of 3× in either NVIDIA and AMD GPU. We analyze the performance gains using a time-oriented performance portability model based on time per invocation and GPU data movement. Results show an increment between 20% and 50% on the performance portability metric by improving data locality on the GPU kernels of a Stokes solver and highlights the importance of optimizing GPU-ported scientific applications to maximize memory bandwidth and minimize data movement on modern supercomputers.

    2025
    引用
    AI阅读
    加入学术空间
    5Towards Generating Contracts for Scientific Data Analysis Workflows
    Anh Duc Vu,Timo Kehrer

    To increase the dependability and portability of scientific data analysis workflows (DAWs), recent work has proposed contract-driven design of DAWs, providing verifiable expectations and obligations to ensure that tasks run in a proper environment and produce correct results. However, the specification of suitable contracts is still left to the discretion of DAW developers, imposing labor-intensive manual work which likely hampers the widespread adoption of contracts in scientific practice. We report about work-in-progress of developing a pipeline empowered by Large Language Models for automatically generating code contracts from logical workflow descriptions. We instantiate this pipeline within the workflow system Nextflow, and evaluate its contract generation capabilities in an experiment using real-world Nextflow modules. Our findings indicate that we generate a substantial amount of contracts serving as starting point for DAW developers. Our approach demonstrates potential in assisting domain scientists with contract-driven design of DAWs, laying the groundwork for its future adoption.

    2025
    引用
    AI阅读
    加入学术空间
    立即登录,查看全部 4488 篇论文

    高被引作者

    作者引用发文
    Samyam Rajbhandari41656
    Yuxiong He41555
    Olatunji (Tunji) Ruwase41145
    Jeff Rasley40793
    Katherine Yelick383823
    James Demmel369013
    Torsten Hoefler367259
    Ian Foster348041
    Leonid Oliker318825
    Jack Dongarra313649

    高产作者

    作者引用发文
    Torsten Hoefler367259
    Jack Dongarra313649
    Ian Foster348041
    Martin Schulz145039
    Robert B. Ross155137
    Scott Klasky157933
    Jeffrey S. Vetter122832
    Venkatram Vishwanath84929
    P. (Saday) Sadayappan154329
    Satoshi Matsuoka210028

    相关期刊

    International Conference for High Performance Computing, Networking, Storage and Analysis
    ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming
    International Conference on Architectural Support for Programming Languages and Operating Systems
    High Performance Extreme Computing
    International Conference on Parallel Processing
    IEEE International Parallel and Distributed Processing Symposium
    ISC High Performance
    IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum : [proceedings]
    Proceedings. IEEE International Conference on Cluster Computing
    CCF Transactions on High Performance Computing