public inbox for [email protected]  
help / color / mirror / Atom feed
From: Mikael Kjellström <[email protected]>
To: [email protected]
Subject: PG buildfarm member curculio
Date: Sat, 11 Mar 2017 10:26:41 +0100
Message-ID: <[email protected]> (raw)
List-Unsubscribe:  <mailto:[email protected]?body=unsub%20buildfarm-members>

Hi,

My OpenBSD 5.9 animal curculio have been failing with:

running bootstrap script ... FATAL:  could not create semaphores: No 
space left on device
DETAIL:  Failed system call was semget(1, 17, 03600).
HINT:  This error does *not* mean that you have run out of disk space. 
It occurs when either the system limit for the maximum number of 
semaphore sets (SEMMNI), or the system wide maximum number of semaphores 
(SEMMNS), would be exceeded.  You need to raise the respective kernel 
parameter.  Alternatively, reduce PostgreSQL's consumption of semaphores 
by reducing its max_connections parameter.
	The PostgreSQL documentation contains more information about 
configuring your system for PostgreSQL.
child process exited with exit code 1

for quite a while.

So I've increased kern.seminfo.semmni from 10 to 20 and that seem to 
have solved the problem in HEAD at least.

I think it should solve the problem in the other branches too, but let's 
see after they run the next time.

/Mikael


-- 
Sent via buildfarm-members mailing list ([email protected])
To make changes to your subscription:
http://www.postgresql.org/mailpref/buildfarm-members



reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected]
  Subject: Re: PG buildfarm member curculio
  In-Reply-To: <[email protected]>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox