เมื่อเริ่มต้นระบบ StableHLO จาก MHLO เราได้ถ่ายทอดการนำ MHLO ไปใช้งานหลายอย่าง รวมถึงการใช้ Pretprint, การยืนยัน และการอนุมานรูปร่าง ด้วยเหตุนี้ เราจึงมีทางเลือกที่ครอบคลุมอยู่แล้ว แต่ยังมีเรื่องอื่นๆ อีกมากที่ต้องทำเพื่อตรวจสอบความสมบูรณ์ของการติดตั้งใช้งานในปัจจุบัน และมอบการติดตั้งใช้งานใหม่ในส่วนที่ไม่มีอยู่จริง
เอกสารแบบเรียลไทม์นี้มีไว้สำหรับนักพัฒนาซอฟต์แวร์และผู้ใช้ในการติดตามความคืบหน้าในแง่มุมต่างๆ ของตัวเลือก เช่น ข้อกำหนด การยืนยัน การอนุมานประเภท การพิมพ์ตามความสวยงาม ล่าม ฯลฯ
วิธีการใช้งาน
จะมีการติดตามความคืบหน้าของการดำเนินการของ StableHLO ในด้านใดด้านหนึ่งโดยเฉพาะตามที่ระบุไว้ในคอลัมน์ที่เกี่ยวข้องโดยใช้ป้ายกำกับการติดตามอย่างใดอย่างหนึ่งต่อไปนี้
- ป้ายกำกับทั่วไป
- yes: มีการติดตั้งใช้งานที่ครอบคลุม
- no: ไม่มีการติดตั้งใช้งาน แต่การดำเนินการดังกล่าวเป็นส่วนหนึ่งของแผนกลยุทธ์ โปรดทราบว่าผู้ตรวจสอบจะติดป้ายกำกับว่า "ไม่" ไม่ได้ เนื่องจาก ODS ได้ใช้การยืนยันบางรายการอยู่แล้ว
- ป้ายกำกับที่กำหนดเองสำหรับผู้ตรวจสอบและการอนุมานประเภท
- yes: มีการนำไปใช้และซิงค์กับความหมายของ SttableHLO
- yes*: มีการนำไปใช้งานและซิงค์กับความหมายของ XLA เนื่องจากอรรถศาสตร์ XLA มักได้รับการจัดทำบันทึกน้อยกว่าความเป็นจริง เราจึงใช้ hlo_verifier.cc และ shape_inference.cc เป็นข้อมูลอ้างอิง
- revisit: มีการติดตั้งใช้งานแต่ไม่อยู่ภายใต้ "ใช่" หรือ "ใช่*" ซึ่งอาจเป็นเพราะเรายังไม่ได้ตรวจสอบหรือเนื่องจากเราพบและพบปัญหา
- ทำไม่ได้: ไม่มีการติดตั้งใช้งาน เพราะเป็นไปไม่ได้ ตัวอย่างเช่น เนื่องจากประเภทของผลลัพธ์ของ op นั้นอนุมานจากตัวถูกดำเนินการและแอตทริบิวต์ไม่ได้
สถานะ
เกม StableHLO Op | ข้อมูลจำเพาะ | การยืนยัน | การอนุมานประเภท | การพิมพ์ด้วยเครื่องพิมพ์ | ล่าม |
---|---|---|---|---|---|
abs | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
เพิ่ม | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
after_all | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
all_gather | ใช่ | อีกครั้ง | ไม่ | ไม่ | ใช่ |
all_reduce | ใช่ | อีกครั้ง | ใช่ | ไม่ | ใช่ |
all_to_all | ใช่ | อีกครั้ง | ใช่ | ไม่ | ใช่ |
และ | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
atan2 | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
batch_norm_grad | ใช่ | อีกครั้ง | ใช่ | ไม่ | อีกครั้ง |
batch_norm_inference | ใช่ | อีกครั้ง | ใช่ | ไม่ | อีกครั้ง |
batch_norm_training | ใช่ | อีกครั้ง | ใช่ | ไม่ | อีกครั้ง |
bitcast_convert | ใช่ | ใช่ | ดำเนินการไม่ได้ | ใช่ | ใช่ |
ประกาศ | ไม่ | ใช่* | ใช่* | ใช่ | อีกครั้ง |
broadcast_in_dim | ใช่ | ใช่ | ดำเนินการไม่ได้ | ใช่ | ใช่ |
เคส | ใช่ | อีกครั้ง | ใช่ | ไม่ | ใช่ |
Cbrt | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
Ceil | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
Cholesky | ใช่ | ใช่ | ใช่ | ใช่ | อีกครั้ง |
ที่ยึด | ใช่ | อีกครั้ง | ใช่ | ใช่ | ใช่ |
collective_permute | ใช่ | อีกครั้ง | ใช่ | ไม่ | ใช่ |
เปรียบเทียบ | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
ซับซ้อน | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
compute_reshape_shape | ไม่ | อีกครั้ง | ไม่ | ใช่ | ไม่ |
concatenate | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
ค่าคงที่ | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
ทำให้เกิด Conversion | ใช่ | ใช่ | ดำเนินการไม่ได้ | ใช่ | ใช่ |
Convolution | ใช่ | ใช่ | ดำเนินการไม่ได้ | อีกครั้ง | ไม่ |
โคไซน์ | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
count_leading_zeros | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
create_token | ไม่ | ใช่* | ใช่* | ใช่ | อีกครั้ง |
ผลรวมการจำลองข้าม | ไม่ | อีกครั้ง | ใช่* | ไม่ | อีกครั้ง |
cstr_reshapable | ไม่ | อีกครั้ง | ไม่ | ใช่ | ไม่ |
custom_call | ใช่ | ใช่ | ดำเนินการไม่ได้ | ใช่ | ใช่ |
หาร | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
จุด | ไม่ | อีกครั้ง | ดำเนินการไม่ได้ | ใช่ | อีกครั้ง |
dot_general | ใช่ | อีกครั้ง | ดำเนินการไม่ได้ | ไม่ | ใช่ |
dynamic_broadcast_in_dim | ไม่ | อีกครั้ง | ดำเนินการไม่ได้ | ไม่ | ไม่ |
dynamic_conv | ไม่ | อีกครั้ง | ไม่ | ไม่ใช่ค่ะ | ไม่ |
dynamic_gather | ไม่ | อีกครั้ง | อีกครั้ง | ไม่ | ไม่ |
dynamic_iota | ไม่ | อีกครั้ง | ดำเนินการไม่ได้ | ใช่ | ไม่ |
dynamic_pad | ไม่ | อีกครั้ง | ไม่ | ใช่ | ไม่ |
dynamic_reshape | ไม่ | อีกครั้ง | ดำเนินการไม่ได้ | ใช่ | ไม่ |
dynamic_slice | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
dynamic_update_slice | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
einsum | ไม่ | อีกครั้ง | ไม่ | ใช่ | อีกครั้ง |
เลขชี้กำลัง | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
exponential_minus_one | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
FFT | ใช่ | อีกครั้ง | ใช่ | ใช่ | ไม่ |
ชั้น | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
รวบรวม | ใช่ | ใช่ | ใช่ | ไม่ | ใช่ |
get_dimension_size | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
get_tuple_element | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
if | ใช่ | อีกครั้ง | ใช่ | ไม่ | ใช่ |
ภาพ | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
ในฟีด | ใช่ | ใช่ | ดำเนินการไม่ได้ | ไม่ | ใช่ |
Iota | ใช่ | ใช่ | ดำเนินการไม่ได้ | ใช่ | ใช่ |
is_finite | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
log | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
log_plus_one | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
โลจิสติกส์ | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
map | ใช่ | อีกครั้ง | ใช่ | ไม่ | ใช่ |
สูงสุด | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
ขั้นต่ำ | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
คูณ | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
สลับเครื่องหมาย | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
ไม่ใช่ | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
optimization_barrier | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
หรือ | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
ฟีดนอก | ใช่ | ใช่ | ใช่ | ไม่ | ใช่ |
Pad | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
partition_id | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
Popcnt | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
พาวเวอร์ | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
จริง | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
real_dynamic_slice | ไม่ | อีกครั้ง | ไม่ | ใช่ | ไม่ |
recv | ใช่ | ใช่ | ดำเนินการไม่ได้ | ไม่ | ใช่ |
ลด | ใช่ | อีกครั้ง | ใช่ | อีกครั้ง | ใช่ |
reduce_precision | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
reduce_scatter | ใช่ | อีกครั้ง | ไม่ | ไม่ | ใช่ |
reduce_window | ใช่ | อีกครั้ง | ใช่ | ไม่ | ใช่ |
เศษ | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
replica_id | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
ปรับรูปร่าง | ใช่ | ใช่ | ดำเนินการไม่ได้ | ใช่ | ใช่ |
return | ไม่ | อีกครั้ง | ดำเนินการไม่ได้ | ใช่ | ใช่ |
ย้อนกลับ | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
คำตอบ | ใช่ | ใช่ | ใช่ | ใช่ | อีกครั้ง |
rng_bit_generator | ใช่ | อีกครั้ง | ดำเนินการไม่ได้ | ใช่ | อีกครั้ง |
round_nearest_afz | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
round_nearest_even | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
rsqrt | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
scatter | ใช่ | อีกครั้ง | ใช่ | ไม่ | ใช่ |
เลือก | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
select_and_scatter | ใช่ | อีกครั้ง | ใช่ | ไม่ | ใช่ |
ส่ง | ใช่ | ใช่ | ใช่ | ไม่ | ใช่ |
set_dimension_size | ไม่ | ใช่* | ใช่* | ใช่ | ไม่ |
shift_left | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
shift_right_arithmetic | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
shift_right_logical | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
เครื่องหมาย | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
ไซน์ | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
ส่วนแบ่ง | ใช่ | ใช่ | ใช่ | ไม่ | ใช่ |
จัดเรียง | ใช่ | ใช่ | ใช่ | ไม่ | ใช่ |
sqrt | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
ลบ | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
Tanh | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
torch_index_select | ไม่ | อีกครั้ง | ไม่ | ไม่ | อีกครั้ง |
trace | ไม่ | อีกครั้ง | ไม่ | ใช่ | อีกครั้ง |
สลับตำแหน่ง | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
triangular_solve | ใช่ | อีกครั้ง | ใช่ | ไม่ | อีกครั้ง |
tuple | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |
unary_einsum | ไม่ | อีกครั้ง | ไม่ | ใช่ | อีกครั้ง |
uniform_dequantize | ใช่ | ใช่ | ใช่ | ใช่ | ไม่ |
uniform_quantize | ใช่ | อีกครั้ง | ดำเนินการไม่ได้ | ใช่ | ไม่ |
ฟังขณะ | ใช่ | อีกครั้ง | ใช่ | อีกครั้ง | ใช่ |
Xor | ใช่ | ใช่ | ใช่ | ใช่ | ใช่ |