From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: simultaneous installation to same profile Date: Thu, 19 Feb 2015 13:35:34 +0100 Message-ID: Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:37971) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YOQLZ-0000Q7-HV for guix-devel@gnu.org; Thu, 19 Feb 2015 07:36:53 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YOQLU-0007Af-Es for guix-devel@gnu.org; Thu, 19 Feb 2015 07:36:49 -0500 Received: from sinope.bbbm.mdc-berlin.de ([141.80.25.23]:55888) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YOQLU-0007AQ-2i for guix-devel@gnu.org; Thu, 19 Feb 2015 07:36:44 -0500 Received: from localhost (localhost [127.0.0.1]) by sinope.bbbm.mdc-berlin.de (Postfix) with ESMTP id 6B570280839 for ; Thu, 19 Feb 2015 13:36:42 +0100 (CET) Received: from sinope.bbbm.mdc-berlin.de ([127.0.0.1]) by localhost (sinope.bbbm.mdc-berlin.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 5xl2PCMGPHSQ for ; Thu, 19 Feb 2015 13:36:36 +0100 (CET) Received: from HTCATWO.mdc-berlin.net (puck.citx.mdc-berlin.de [141.80.36.101]) by sinope.bbbm.mdc-berlin.de (Postfix) with ESMTP for ; Thu, 19 Feb 2015 13:36:36 +0100 (CET) List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Guix-devel Hi Guix, my colleague was curious what would happen if he installed two packages at the same time from different shell sessions. He ran "guix package -i openmpi" in one shell and "guix package -i boost" in the other. The boost installation apparently finished earlier and was added to the profile. When the openmpi installation finished, it was nowhere to be found in the profile. (See the logs below.) Should we prevent simultaneous installations with locks? ~~ Ricardo ~~~~~~~~~~~~~~~~~~~~~~~ [dmuntean@guix-builder:~] (520) $ guix package -i openmpi The following package will be installed: openmpi 1.8.1 /gnu/store/4cywr4n0n6g8s05p2v4cf3g07fcslfia-openmpi-1.8.1 substitute-binary: updating list of substitutes from 'http://hydra.gnu.org'... The following derivations will be built: /gnu/store/qdsjji1j01kdbqsvh88yav20bx5acpcm-profile.drv /gnu/store/fk1gmxk5gykk83gjf5ksydrixglb4gry-openmpi-1.8.1.drv /gnu/store/41yqncpja2d5p0hzpd5d6x8anzgwqb58-info-dir.drv The following files will be downloaded: /gnu/store/baw8b7lry9ry1ppjdrsflv4f8jqsnfyx-openmpi-1.8.1 /gnu/store/21iq2ldxvsr0qddfmn26rjvwjky6s328-numactl-2.0.9 /gnu/store/9ivr27ry346kms2li3s2hsbh6bzdwcxs-valgrind-3.10.0 /gnu/store/ml84hbq41s4ynq0xyh6l451r7l11blb1-hwloc-1.9 [...] grafting '/gnu/store/baw8b7lry9ry1ppjdrsflv4f8jqsnfyx-openmpi-1.8.1' -> '/gnu/store/4cywr4n0n6g8s05p2v4cf3g07fcslfia-openmpi-1.8.1'... 3 packages in profile The following environment variable definitions may be needed: export PYTHONPATH="/home/dmuntean/.guix-profile/lib/python3.3/site-packages" [dmuntean@guix-builder:~] (521) $ guix package -l Generation 1 Feb 17 2015 16:28:09 python 3.3.5 out /gnu/store/f6z2ykazy9qgw2lvpl580czmjp5gsdww-python-3.3.5 Generation 2 Feb 18 2015 11:37:03 python 3.3.5 out /gnu/store/f6z2ykazy9qgw2lvpl580czmjp5gsdww-python-3.3.5 python-pyqt 5.4 out /gnu/store/ 4k0313vkimz2ipszdh972ks9ri2mrl8r-python-pyqt-5.4 Generation 3 Feb 19 2015 12:56:28 (current) python 3.3.5 out /gnu/store/f6z2ykazy9qgw2lvpl580czmjp5gsdww-python-3.3.5 python-pyqt 5.4 out /gnu/store/ 4k0313vkimz2ipszdh972ks9ri2mrl8r-python-pyqt-5.4 boost 1.55.0 out /gnu/store/01cjkly44lzf091gl6lbf0jvh8fg9h53-boost-1.55.0 ~~~~~~~~~~~~~~~~~~~~~~~ Simultaneously in another shell session: ~~~~~~~~~~~~~~~~~~~~~~~ [dmuntean@guix-builder:~] (501) $ guix package -i boost The following package will be installed: boost 1.55.0 /gnu/store/01cjkly44lzf091gl6lbf0jvh8fg9h53-boost-1.55.0 substitute-binary: updating list of substitutes from 'http://hydra.gnu.org'... The following derivations will be built: /gnu/store/dl0gdkqbz2dq7jx18xf14s47af3xfpxa-profile.drv /gnu/store/bxs07c2a8wknb2snwmi7lv9wlrsnmsvj-boost-1.55.0.drv /gnu/store/axsh7zmb9b6ii6dxvlqd5ig2q4sksabb-info-dir.drv The following file will be downloaded: /gnu/store/gn3pv0yqx277gpq4py97zq5nyqpwj1dw-boost-1.55.0 [...] grafting '/gnu/store/gn3pv0yqx277gpq4py97zq5nyqpwj1dw-boost-1.55.0' -> '/gnu/store/01cjkly44lzf091gl6lbf0jvh8fg9h53-boost-1.55.0'... 3 packages in profile The following environment variable definitions may be needed: export PYTHONPATH="/home/dmuntean/.guix-profile/lib/python3.3/site-packages" ~~~~~~~~~~~~~~~~~~~~~~~ After both installations had finished: ~~~~~~~~~~~~~~~~~~~~~~~ [dmuntean@guix-builder:~] (502) $ guix package -l Generation 1 Feb 17 2015 16:28:09 python 3.3.5 out /gnu/store/f6z2ykazy9qgw2lvpl580czmjp5gsdww-python-3.3.5 Generation 2 Feb 18 2015 11:37:03 python 3.3.5 out /gnu/store/f6z2ykazy9qgw2lvpl580czmjp5gsdww-python-3.3.5 python-pyqt 5.4 out /gnu/store/ 4k0313vkimz2ipszdh972ks9ri2mrl8r-python-pyqt-5.4 Generation 3 Feb 19 2015 12:56:28 python 3.3.5 out /gnu/store/f6z2ykazy9qgw2lvpl580czmjp5gsdww-python-3.3.5 python-pyqt 5.4 out /gnu/store/ 4k0313vkimz2ipszdh972ks9ri2mrl8r-python-pyqt-5.4 boost 1.55.0 out /gnu/store/01cjkly44lzf091gl6lbf0jvh8fg9h53-boost-1.55.0 ~~~~~~~~~~~~~~~~~~~~~~~ Installing openmpi again: ~~~~~~~~~~~~~~~~~~~~~~~ [dmuntean@guix-builder:~] (524) $ guix package -i openmpi The following package will be installed: openmpi 1.8.1 /gnu/store/4cywr4n0n6g8s05p2v4cf3g07fcslfia-openmpi-1.8.1 substitute-binary: updating list of substitutes from 'http://hydra.gnu.org'... The following derivations will be built: /gnu/store/y7g7ybik387x1i74wh2fks468fv42fds-profile.drv /gnu/store/3jkmqvhfx3c22c2w2dpm3wy9cgg12kkf-info-dir.drv 4 packages in profile The following environment variable definitions may be needed: export PYTHONPATH="/home/dmuntean/.guix-profile/lib/python3.3/site-packages" [dmuntean@guix-builder:~] (525) $ guix package -l Generation 1 Feb 17 2015 16:28:09 python 3.3.5 out /gnu/store/f6z2ykazy9qgw2lvpl580czmjp5gsdww-python-3.3.5 Generation 2 Feb 18 2015 11:37:03 python 3.3.5 out /gnu/store/f6z2ykazy9qgw2lvpl580czmjp5gsdww-python-3.3.5 python-pyqt 5.4 out /gnu/store/ 4k0313vkimz2ipszdh972ks9ri2mrl8r-python-pyqt-5.4 Generation 3 Feb 19 2015 12:56:28 python 3.3.5 out /gnu/store/f6z2ykazy9qgw2lvpl580czmjp5gsdww-python-3.3.5 python-pyqt 5.4 out /gnu/store/ 4k0313vkimz2ipszdh972ks9ri2mrl8r-python-pyqt-5.4 boost 1.55.0 out /gnu/store/01cjkly44lzf091gl6lbf0jvh8fg9h53-boost-1.55.0 Generation 4 Feb 19 2015 13:19:23 (current) python 3.3.5 out /gnu/store/f6z2ykazy9qgw2lvpl580czmjp5gsdww-python-3.3.5 python-pyqt 5.4 out /gnu/store/ 4k0313vkimz2ipszdh972ks9ri2mrl8r-python-pyqt-5.4 boost 1.55.0 out /gnu/store/01cjkly44lzf091gl6lbf0jvh8fg9h53-boost-1.55.0 openmpi 1.8.1 out /gnu/store/4cywr4n0n6g8s05p2v4cf3g07fcslfia-openmpi-1.8.1 ~~~~~~~~~~~~~~~~~~~~~~~