-
A Constraint Programming Model for Scheduling the Unloading of Trains in Ports: Extended
Authors:
Guillaume Perez,
Gael Glorian,
Wijnand Suijlen,
Arnaud Lallouet
Abstract:
In this paper, we propose a model to schedule the next 24 hours of operations in a bulk cargo port to unload bulk cargo trains onto stockpiles. It is a problem that includes multiple parts such as splitting long trains into shorter ones and the routing of bulk material through a configurable network of conveyors to the stockpiles. Managing such trains (up to three kilometers long) also requires sp…
▽ More
In this paper, we propose a model to schedule the next 24 hours of operations in a bulk cargo port to unload bulk cargo trains onto stockpiles. It is a problem that includes multiple parts such as splitting long trains into shorter ones and the routing of bulk material through a configurable network of conveyors to the stockpiles. Managing such trains (up to three kilometers long) also requires specialized equipment. The real world nature of the problem specification implies the necessity to manage heterogeneous data. Indeed, when new equipment is added (e.g. dumpers) or a new type of wagon comes in use, older or different equipment will still be in use as well. All these details need to be accounted for. In fact, avoiding a full deadlock of the facility after a new but ineffective schedule is produced. In this paper, we provide a detailed presentation of this real world problem and its associated data. This allows us to propose an effective constraint programming model to solve this problem. We also discuss the model design and the different implementations of the propagators that we used in practice. Finally, we show how this model, coupled with a large neighborhood search, was able to find 24 hour schedules efficiently.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
Lightweight Parallel Foundations: a model-compliant communication layer
Authors:
Wijnand Suijlen,
A. N. Yzelman
Abstract:
We present the Lightweight Parallel Foundations (LPF), an interoperable and model-compliant communication layer adhering to a strict performance model of parallel computations. LPF consists of twelve primitives, each with strict performance guarantees, two of which enable interoperability.
We argue that the principles of interoperability and model compliance suffice for the practical use of immo…
▽ More
We present the Lightweight Parallel Foundations (LPF), an interoperable and model-compliant communication layer adhering to a strict performance model of parallel computations. LPF consists of twelve primitives, each with strict performance guarantees, two of which enable interoperability.
We argue that the principles of interoperability and model compliance suffice for the practical use of immortal algorithms: algorithms that are proven optimal once, and valid forever. These are ideally also implemented once, and usable from a wide range of sequential and parallel environments. This paradigm is evaluated by implementing an immortal fast Fourier transform (FFT) using LPF, and compared to state-of-the-art FFT implementations. We find it performs on par to Intel MKL FFT while consistently outperforming FFTW, thus showing model compliance can be achieved without sacrificing performance.
Interoperability encourages the propagation of immortal algorithms as widely as possible. We evaluate this by integrating an LPF PageRank into Spark, without changing any PageRank nor Spark source codes, and while requiring only a minimal interface layer.
△ Less
Submitted 7 June, 2019;
originally announced June 2019.
-
5Gperf: signal processing performance for 5G
Authors:
G. Hains,
W. Suijlen,
W. Liang,
Z. Wu
Abstract:
The 5Gperf project was conducted by Huawei research teams in 2016-17. It was concerned with the acceleration of signal-processing algorithms for a 5G base-station prototype. It improved on already optimized SIMD-parallel CPU algorithms and designed a new software tool for higher programmer productivity when converting MATLAB code to optimized C
The 5Gperf project was conducted by Huawei research teams in 2016-17. It was concerned with the acceleration of signal-processing algorithms for a 5G base-station prototype. It improved on already optimized SIMD-parallel CPU algorithms and designed a new software tool for higher programmer productivity when converting MATLAB code to optimized C
△ Less
Submitted 25 October, 2018;
originally announced October 2018.