![]() ![]() The following configuration is used to run UPC programs on Xeon Phi's (Intel MIC's). configure -disable-aligned-segments -enable-allow-gcc4 -enable-sptr-struct -prefix=Ĭross-compiling UPC (v2.22.3) for Intel MIC's This means that UPC must be configured with inter-process shared memory: If you are using Cygwin, then using SystemV shared memory may cause problems. configure -disable-aligned-segments -enable-allow-gcc4 -enable-sptr-struct -enable-pshm -disable-pshm-posix -enable-pshm-sysv -prefix= Configure UPC with the following options: A standard configuration would also work, but then the sizes of the shared data structures are limited to only a few megabytes. If you are using Cygwin with the developers tools installed, then POPT is already installed.ĭistDD requires UPC to be configured to handle large amounts of memory. Furthermore, DistBDD has the following requirements: Nonetheless, also standard Ethernet networks and SMP clusters are supported. The main author of the DistDD paper can be contacted via Prerequisitesįor best performance we recommend using an Infiniband network that supports Remote Direct Memory Access (RDMA), as the algorithms are specifically designed to target RDMA. The scripts folder contains batch scripts used for compiling and automated benchmarking. The raw uncompressed data output from the benchmark runs on the DAS-5 cluster can be found in the data folder. The models used for benchmarking can be found in the models folder (BEEM models, Promela models, and Petri nets). ![]() ![]() This repository hosts the full source code of the algorithms and operations described in the paper on Distributed Decision Diagrams. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |