bug#31889: Filesystems must not depend on device mappings?

bug#31889: Filesystems must not depend on device mappings?

[Taylan Ulrich Bayırlı/Kammer]

[-- Attachment #1: Type: text/plain, Size: 780 bytes --]

If in my OS config I define some luks mappings, and define the
corresponding filesystems with dependencies on the mapped devices,
I get an error on 'guix system reconfigure'.

Example:

  (operating-system
    ...
    (mapped-devices
      (list (mapped-device ... (target "root"))))
    (file-systems
      (list (file-system (mount-point "/")
                         ...
                         (dependencies mapped-devices))))
    ...)

This will yield an error like:

  file-system-/ depends on device-mapping-root, which is not
  provided by any service

Funnily enough, one only needs to remove the 'dependencies' field to
make it work.  But this contradicts the example at:

https://www.gnu.org/software/guix/manual/html_node/Using-the-Configuration-System.html


Taylan

[-- Attachment #2: Type: text/html, Size: 1098 bytes --]

bug#31889: Filesystems must not depend on device mappings?

[Ludovic Courtès]

Hi!

Taylan Ulrich "Bayırlı/Kammer" <taylanbayirli@gmail.com> skribis:

> If in my OS config I define some luks mappings, and define the
> corresponding filesystems with dependencies on the mapped devices,
> I get an error on 'guix system reconfigure'.
>
> Example:
>
>   (operating-system
>     ...
>     (mapped-devices
>       (list (mapped-device ... (target "root"))))
>     (file-systems
>       (list (file-system (mount-point "/")
>                          ...
>                          (dependencies mapped-devices))))
>     ...)
>
> This will yield an error like:
>
>   file-system-/ depends on device-mapping-root, which is not
>   provided by any service

Could you show the complete ‘mapped-devices’ and ‘file-systems’ fields,
without ellipses?

The message above suggests that “/” was not considered as
needed-for-boot.

Thanks,
Ludo’.

bug#31889: Filesystems must not depend on device mappings?

[Taylan Kammer]

ludo@gnu.org (Ludovic Courtès) writes:

> Hi!
>
> Taylan Ulrich "Bayırlı/Kammer" <taylanbayirli@gmail.com> skribis:
>
>> If in my OS config I define some luks mappings, and define the
>> corresponding filesystems with dependencies on the mapped devices,
>> I get an error on 'guix system reconfigure'.
>>
>> Example:
>>
>>   (operating-system
>>     ...
>>     (mapped-devices
>>       (list (mapped-device ... (target "root"))))
>>     (file-systems
>>       (list (file-system (mount-point "/")
>>                          ...
>>                          (dependencies mapped-devices))))
>>     ...)
>>
>> This will yield an error like:
>>
>>   file-system-/ depends on device-mapping-root, which is not
>>   provided by any service
>
> Could you show the complete ‘mapped-devices’ and ‘file-systems’ fields,
> without ellipses?
>
> The message above suggests that “/” was not considered as
> needed-for-boot.
>
> Thanks,
> Ludo’.

Sorry, looks like my example was wrong.  Here is a problematic OS
declaration:

    (operating-system
     (host-name "guixsd")
     (timezone "Europe/Berlin")
     (locale "en_US.utf8")
     
     (bootloader
      (bootloader-configuration
       (bootloader grub-bootloader)
       (target "/dev/sda")))
     
     (mapped-devices
      (list (mapped-device
             (source (uuid "b3d059f8-1c4f-4569-88dd-5485825b4373"))
             (target "guixsd")
             (type luks-device-mapping))
            (mapped-device
             (source (uuid "550d9258-bbbb-488c-af27-6b1fefa190ee"))
             (target "home")
             (type luks-device-mapping))))
     
     (file-systems
      (append
       (list (file-system
              (device "/dev/mapper/guixsd")
              (mount-point "/")
              (type "ext4")
              (dependencies mapped-devices))
             (file-system
              (device "/dev/mapper/home")
              (mount-point "/home")
              (type "ext4")
              (dependencies mapped-devices)))
       %base-file-systems))
     
     (users
      (append
       (list (user-account
              (name "taylan")
              (comment "Taylan Kammer")
              (group "users")
              (supplementary-groups '("wheel" "netdev" "audio" "video"))
              (home-directory "/home/taylan")))
       %base-user-accounts))
     
     (packages %base-packages)
     (services %desktop-services)
     
     ;; Allow resolution of '.local' host names with mDNS.
     (name-service-switch %mdns-host-lookup-nss))

It results in the error message:

    guix system: error: service 'file-system-/home' requires
    'device-mapping-home', which is not provided by any service

(I also got that for '/' rather than '/home' at some point, but can't
remember under what conditions.)

It works when both '(dependencies mapped-devices)' clauses are simply
removed.

All in all I can't really figure out the logic behind the whole thing
and what exactly is expected.  I think the error reporting and relevant
section of the documentation may need some improvement.

Taylan

bug#31889: Filesystems must not depend on device mappings?

[Ludovic Courtès]

Hi,

Taylan Kammer <taylanbayirli@gmail.com> skribis:

>      (mapped-devices
>       (list (mapped-device
>              (source (uuid "b3d059f8-1c4f-4569-88dd-5485825b4373"))
>              (target "guixsd")
>              (type luks-device-mapping))
>             (mapped-device
>              (source (uuid "550d9258-bbbb-488c-af27-6b1fefa190ee"))
>              (target "home")
>              (type luks-device-mapping))))
>      
>      (file-systems
>       (append
>        (list (file-system
>               (device "/dev/mapper/guixsd")
>               (mount-point "/")
>               (type "ext4")
>               (dependencies mapped-devices))
>              (file-system
>               (device "/dev/mapper/home")
>               (mount-point "/home")
>               (type "ext4")
>               (dependencies mapped-devices)))
>        %base-file-systems))

[...]

> It results in the error message:
>
>     guix system: error: service 'file-system-/home' requires
>     'device-mapping-home', which is not provided by any service

[...]

> It works when both '(dependencies mapped-devices)' clauses are simply
> removed.

Yes, it’s “expected”: using “/dev/mapper/xyz” as the device is enough to
express the dependency.

When passing (dependencies mapped-devices), the effect was to each file
system depend on *both* mapped devices.  This leads to an inconsistency
because /dev/mapper/guixsd is “needed-for-boot” (i.e., set up from the
initrd), whereas /dev/mapper/home is not (i.e., set up as a Shepherd
service.)

The solution is to either use the /dev/mapper/xyz names in the ‘device’
field, or to specify only the relevant mapped device in ‘dependencies’.

Anyway, commit 68a58775e071d4b0e000b93ad121b6e64d161b79 fixes it by
doing exactly what this config asks for: setting up all the mapped
devices in the initrd.

Thanks,
Ludo’.

bug#31889: Filesystems must not depend on device mappings?

[Taylan Kammer]

ludo@gnu.org (Ludovic Courtès) writes:

> Hi,
>
> Taylan Kammer <taylanbayirli@gmail.com> skribis:
>
>>      (mapped-devices
>>       (list (mapped-device
>>              (source (uuid "b3d059f8-1c4f-4569-88dd-5485825b4373"))
>>              (target "guixsd")
>>              (type luks-device-mapping))
>>             (mapped-device
>>              (source (uuid "550d9258-bbbb-488c-af27-6b1fefa190ee"))
>>              (target "home")
>>              (type luks-device-mapping))))
>>      
>>      (file-systems
>>       (append
>>        (list (file-system
>>               (device "/dev/mapper/guixsd")
>>               (mount-point "/")
>>               (type "ext4")
>>               (dependencies mapped-devices))
>>              (file-system
>>               (device "/dev/mapper/home")
>>               (mount-point "/home")
>>               (type "ext4")
>>               (dependencies mapped-devices)))
>>        %base-file-systems))
>
> [...]
>
>> It results in the error message:
>>
>>     guix system: error: service 'file-system-/home' requires
>>     'device-mapping-home', which is not provided by any service
>
> [...]
>
>> It works when both '(dependencies mapped-devices)' clauses are simply
>> removed.
>
> Yes, it’s “expected”: using “/dev/mapper/xyz” as the device is enough to
> express the dependency.
>
> When passing (dependencies mapped-devices), the effect was to each file
> system depend on *both* mapped devices.  This leads to an inconsistency
> because /dev/mapper/guixsd is “needed-for-boot” (i.e., set up from the
> initrd), whereas /dev/mapper/home is not (i.e., set up as a Shepherd
> service.)
>
> The solution is to either use the /dev/mapper/xyz names in the ‘device’
> field, or to specify only the relevant mapped device in ‘dependencies’.
>
> Anyway, commit 68a58775e071d4b0e000b93ad121b6e64d161b79 fixes it by
> doing exactly what this config asks for: setting up all the mapped
> devices in the initrd.
>
> Thanks,
> Ludo’.

Thank you for the explanation and the fix! :-)

Taylan