[논문 리뷰] JuMP 1.0: Recent improvements to a modeling language for mathematical optimization

Miles Lubin, Oscar Dowson외 4명|arXiv (Cornell University)|2022. 06. 01.

Advanced Control Systems Optimization인용 수 8

한 줄 요약

JuMP 1.0은 Julia에서 수학적 최적화를 위한 모델링 언어에 있어 주요 향상을 도입하며, 성능, 메모리 효율성, 확장성 향상을 위해 MathOptInterface 추상화 계층을 활용한다. 주요 개선 사항으로는 저수준 솔버 접근을 위한 직접 모드, 사전 컴파일 및 캐싱을 통한 컴파일 지연 감소, 지시자, 보완성, 일반화된 부등식과 같은 새로운 제약 유형 지원, 그리고 확장된 솔버 호환성으로 인해 최적화 워크로드의 사용성과 확장성 향상이 두드러진다.

ABSTRACT

JuMP is an algebraic modeling language embedded in the Julia programming language. JuMP allows users to model optimization problems of a variety of kinds, including linear programming, integer programming, conic optimization, semidefinite programming, and nonlinear programming, and handles the low-level details of communicating with solvers. After nearly 10 years in development, JuMP 1.0 was released in March, 2022. In this short communication, we highlight the improvements to JuMP from recent releases up to and including 1.0.

연구 동기 및 목표

• JuMP 이전 버전에서의 모델 구축 및 솔버 통신에 대한 성능 저하 문제를 해결하기 위해.
• Julia의 컴파일 지연을 줄여 JuMP의 인터랙티브 및 명령줄 사용을 방해하는 문제를 해결하기 위해.
• direct_model를 도입하여 상태 없는, 저오버헤드의 솔버 상호작용을 가능하게 함으로써 메모리 효율성을 향상시키기 위해.
• 이중 최적화, 무한차원, 확률적 최적화와 같은 새로운 문제 유형을 지원하기 위해 JuMP의 확장성과 유연성을 향상시키기 위해.
• MathOptInterface 추상화 계층을 통해 상태 보고 및 솔버 상호운용성을 통합하고 개선하기 위해.

제안 방법

• 모델링과 솔버 전용 구현 세부 정보를 분리하기 위해 핵심 추상화 계층으로 MathOptInterface를 채택하기 위해.
• JuMP가 상태 없는 래퍼로 작동할 수 있도록 해주며, 중간 캐싱 없이 문제 데이터를 솔버에 직접 전달할 수 있도록 direct_model을 도입하기 위해.
• Julia의 Just-In-Time 컴파일 지연을 완화하기 위해 사전 컴파일 및 캐싱 전략을 구현하기 위해.
• 지시자, 보완성, 일반화된 부등식 제약 유형을 포함한 새로운 유형을 지원하기 위해 JuMP의 속성 시스템과 제약 API를 확장하기 위해.
• MathOptInterface의 표준화된 열거형을 사용하여 솔버에 관계없이 모델 쿼리 및 상태 보고 기능을 가능하게 하기 위해.
• Julia 패키지 매니저와 통합하여 오픈소스 솔버의 플랫폼 간 자동 빌드 및 배포를 가능하게 하기 위해.

실험 결과

연구 질문

• RQ1 JuMP는 모델 구축 중 메모리 오버헤드를 줄이고 성능을 향상시키기 위해 어떻게 해야 할까?
• RQ2 과학 계산 워크로드에서 최적화 모델링을 포함하는 Julia의 컴파일 지연을 완화하기 위한 전략은 무엇일까?
• RQ3 JuMP는 솔버 독립성을 유지하면서 더 넓은 범위의 제약 유형과 문제 유형을 지원하기 위해 어떻게 해야 할까?
• RQ4 외부 솔버 및 도메인 전용 확장 기능과의 상호운용성과 확장성을 향상시키기 위해 어떤 개선이 필요한가?
• RQ5 다양한 최적화 솔버 간의 상태 보고 및 솔버 피드백을 일관되고 정보적으로 만들기 위해 어떻게 해야 할까?

주요 결과

• 직접 모드는 메모리 사용을 줄이고, Highs_scaleCol과 같은 솔버 C API에 최소한의 추상화 오버헤드로 직접 접근할 수 있도록 한다.
• 사전 컴파일 및 캐싱 덕분에 단순 선형 프로그래밍에 대해 컴파일 지연이 약 16초에서 1초 이내로 감소하였다.
• 지원하는 솔버 수가 13개에서 41개로 증가하였으며, Julia 패키지 매니저를 통한 자동 바이너리 배포가 가능해졌다.
• JuMP 1.0은 지시자, 보완성, 일반화된 부등식 제약 유형을 포함한 새로운 제약 유형을 도입하였으며, 네이티브 문법과 솔버 통합을 제공한다.
• MathOptInterface로의 전환을 통해 표준화된 열거형을 사용한 통합적이고 표현력 있는 상태 보고 시스템이 가능해졌으며, 원래, 이중, 종료 상태를 모두 지원한다.
• 문서가 크게 향상되어 튜토리얼, 사용 가이드, 참조 자료가 추가되어 신규 사용자에게 접근성이 향상되었다.