simultaneous installation to same profile

[Ricardo Wurmus]

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


~~~~~~~~~~~~~~~~~~~~~~~
address@hidden:~] (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"

address@hidden:~] (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:

~~~~~~~~~~~~~~~~~~~~~~~
address@hidden:~] (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:

~~~~~~~~~~~~~~~~~~~~~~~
address@hidden:~] (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:

~~~~~~~~~~~~~~~~~~~~~~~
address@hidden:~] (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"

address@hidden:~] (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
~~~~~~~~~~~~~~~~~~~~~~~