Swish is down

SWI-Prolog web site and services
1

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:

image
image.jpg3104×1978 281 KB

2

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

1 Like
3

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

4

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

1 Like
5

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

6

It is back up. Sorry for the service interrupt.

7

Down for me right now…

8

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

9

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

10

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

2 Likes
11

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.

7 Likes
12

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

2 Likes
13

(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.

14

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

1 Like
15

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

16

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

17

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

1 Like