Swish is down

yochem · October 4, 2019, 8:03am

https://swish.swi-prolog.org/ is down. No response when trying to visit the website.

EDIT:
after a long time waiting, I get a 504:

jan · October 4, 2019, 8:21am

Thanks. Restarted. Looks like a problem that happened before. I’ll see whether it is reproducible.

mslazynski · October 15, 2019, 11:00am

SWISH is down again. It shows exactly the same symptoms as @yochem experienced 11 days ago

JCR · October 15, 2019, 2:09pm

In the meantime i went to cplint (for those not already familiar with it).
/JCR

mslazynski · October 15, 2019, 4:02pm

Unfortunately, some of my notebooks are only hosted on SWISH. Will have to find some old backups

jan · October 16, 2019, 1:36am

It is back up. Sorry for the service interrupt.

JCR · October 29, 2019, 9:01pm

Down for me right now…

michaelby · October 30, 2019, 9:26am

This most recent outage may have been due to heavy traffic after Swish was featured on Hacker News.

Reynold · November 4, 2019, 5:21pm

SWISH is done again now, it has been for a few hours. Same symptoms as before, I eventually get a 504. cc: @jan

jan · November 5, 2019, 1:27am

Restarted. Will investigate soon and hopefully find a more robust solution

jan · November 12, 2019, 3:37pm

Did some more investigation:

There was a write-after-free issue related to tabling and some people were playing with tabling.
There was another write-after-use issue related to destroying the private predicates of a Pengine.
The server runs a monitoring program that validates SWISH is still happilly running every 5 minutes, but there was a mistake calling systemd to restart SWISH when it was misbehaving.

These fixes surely will help. Time will tell more … Sorry for the inconveniences caused by SWISH not being online.

JCR · November 12, 2019, 6:37pm

I think that it’s fantastic to have a system like Swish available for free. It not being down is just an extra bonus

jan · January 18, 2020, 8:56am

(Saturday Jan 18, 2020)

All services from the VU servers (SWISH, LPN, ClioPatria and one of the main server backends) are down due to a failing file server. The problem is reported, but considering it it weekend I do not know when this will be resolved.

Sorry for the inconvenience.

jan · January 18, 2020, 12:58pm

Turned out to be a planned but not miscommunicated migration of the file servers. All services are up again.

dutie · January 15, 2023, 12:00am

I think it is down again? It loads for an eternity and then just stops. Or is this only with me?

richard.siddall · January 15, 2023, 1:27am

https://swish2.swi-prolog.org/ is up. See Work on SWISH for more information.

jan · January 15, 2023, 9:24am

Restarted. Somehow the health checking still doesn’t work as it should