ixsan

What problem does it solve?

This Skill enables developers and FAEs to identify memory errors, race conditions, and synchronization issues in CUDA applications running on Tianshu hardware, preventing subtle bugs and crashes.

Core Features & Use Cases

• Memory Check: Detect out-of-bounds access, uninitialized reads, and memory leaks in CUDA programs.
• Race Detection: Find data races and synchronization issues across multiple streams or kernel launches.
• Application Testing: Verify correctness of custom operators and models before deployment.
• Use Case: For example, run ixsan --check mem ./my_cuda_app to locate memory violations that cause NaNs or incorrect outputs.

Quick Start

Run ixsan --check mem on your binary to quickly identify memory correctness issues in your CUDA application on Tianshu platforms.