charm AT lists.cs.illinois.edu

Subject: Charm++ parallel programming system

List archive

RE: [charm] Kripke

From: "Choi, Jaemin" <jchoi157 AT illinois.edu>
To: Levin Kantelberg <levin.kantelberg AT mailbox.tu-dresden.de>, "charm AT cs.illinois.edu" <charm AT cs.illinois.edu>
Subject: RE: [charm] Kripke
Date: Tue, 30 Jun 2020 21:09:22 +0000
Accept-language: en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=illinois.edu; dmarc=pass action=none header.from=illinois.edu; dkim=pass header.d=illinois.edu; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=tW5EHCvFbWdnQ/g2JAEoxx2u9btIprffvuI19mC0jto=; b=MtEj2OzgGfdkQYZvJz3Rmi276z6oouyQ1lmpSenZgtshiGtDZoXWeM0uCEMDebJjhgHW5T0sQSYFPK3AHtIcFWA3Zyaxu/bk/FIg+UH/qULqvWiLah0OJS6IDdVVOmKT+RNWPY9Di+8krbDSpmWkmM37UrwJ99n1QJ/ggKo8shvu0vLjWw7tCv/EKtkenDpm870m6S/FDuGtmaA8mUMrLoB48GxRC1pfyKn6thA8Rr4O1wAgJ9JTOiK/kuLJCpPkhqZ7tnkJjveDZy+Xl6OE5vJ6I4+4dxzQemMKt0lP5FXi3L6TCzoQYC06UHjJZCAoW0hbncYlzF1Ux/y6oW8UoQ==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=AJHt8YvW28+256k7OYM9l91o5xEgM3ameqDqSHBQg6BGKBuWHFDI7ePYiHd9UTezxQRRksKn2Le06T64OlErSYhtB3WIIluWwZsNVIrH5q14WeBNAQiUYNZ3euGbSExavQf9TpMGbILg2mQdAJ9WRax3FylG/jCt0EXR/UBDOAKt2BU2m2uVhIyfl2/r+INL1WUHeDb9cEtwmGdF30qgGY5KNw9n4ghuDqv+E7N405qb0i6rzCQZXxfffLGHnMqp0aYwbpTw6s/wCX74G2HA37UEXkRXZoJ3QYMBDduHJfSOzfeXwMUIAA+vgMdf5RHTJsrCP25J0wr+Luj0zSXAww==
Authentication-results: illinois.edu; spf=neutral smtp.mailfrom=jchoi157 AT illinois.edu; dkim=pass header.d=uillinoisedu.onmicrosoft.com header.s=selector2-uillinoisedu-onmicrosoft-com; dmarc=none header.from=illinois.edu
Authentication-results: mailbox.tu-dresden.de; dkim=none (message not signed) header.d=none;mailbox.tu-dresden.de; dmarc=none action=none header.from=illinois.edu;

The issues in HPCCG and MiniFE have also been fixed.

Please let us know if you encounter any other problems.

Best,

Jaemin

From: Choi, Jaemin <jchoi157 AT illinois.edu>
Sent: Tuesday, June 30, 2020 1:20 PM
To: Levin Kantelberg <levin.kantelberg AT mailbox.tu-dresden.de>; charm AT cs.illinois.edu
Subject: RE: [charm] Kripke

Hi Levin,

Thank you for bringing these issues to our attention.

We have just changed the access rights to Kripke and it should now be available for you.

As for the compilation errors with the other mini-apps, we will take a look at them and get back to you soon.

Thank you,

Jaemin Choi

PhD Candidate in Computer Science

Research Assistant at the Parallel Programming Laboratory

University of Illinois Urbana-Champaign

From: Levin Kantelberg <levin.kantelberg AT mailbox.tu-dresden.de>
Sent: Monday, June 29, 2020 6:26 AM
To: charm AT cs.illinois.edu
Subject: [charm] Kripke

Dear Charmteam,

I am currently writing my bachelor thesis at the Technical University of Dresden. Therefor, I have to compare some benchmarks implemented in Charm++ and MPI. I tried to use some of the implementations provided by your webside. But sadly, I encountered some trouble while using them. One of the applications I tried is called KRIPKE[1] but it seems like the access towards the Charm implementation is restricted. Is there any possibility for me to get access to this implementation?

Some of the other aplications I tried to use are HPCCG[2] but there the compiling failed with:
> In file included from charmHpccg.cpp:111:0:
> charmHpccg.def.h: In member function ‘void charmHpccg::charmDDot(const double*, const double*)’:
> charmHpccg.def.h:2617:23: error: invalid conversion from ‘const double*’ to ‘double*’ [-fpermissive]
> genClosure->getP0() = a;

and miniFE[3] failing during the execution with:
> CHARM++ FATAL ERROR: CkMigratable 'charmFE' aborting: [0] Array element at index 0 aborting:
> Direct SDAG call is not allowed for SDAG entry methods having when constructs. Call such SDAG methods using a proxy

Thank you for your help.

Kind regards,
Levin Kantelberg

[1] http://charmplusplus.org/miniApps/#kripke
[2] http://charmplusplus.org/miniApps/#hpccg
[3] https://charm.cs.illinois.edu/gerrit/admin/repos/benchmarks/mantevo/miniFE-2.0

[charm] Kripke, Levin Kantelberg, 06/29/2020
- RE: [charm] Kripke, Choi, Jaemin, 06/30/2020
  - RE: [charm] Kripke, Choi, Jaemin, 06/30/2020