2014-11-22 03:39:52 +00:00
package storage
import (
2015-01-14 20:02:43 +00:00
"bytes"
2017-08-11 22:31:16 +00:00
"context"
2023-03-31 10:35:30 +00:00
"encoding/json"
2015-01-17 02:24:07 +00:00
"io"
2014-11-22 03:39:52 +00:00
"reflect"
"testing"
2020-08-24 11:18:39 +00:00
"github.com/distribution/distribution/v3"
"github.com/distribution/distribution/v3/manifest"
"github.com/distribution/distribution/v3/manifest/ocischema"
2023-05-09 11:18:47 +00:00
"github.com/distribution/distribution/v3/manifest/schema1" //nolint:staticcheck // Ignore SA1019: "github.com/distribution/distribution/v3/manifest/schema1" is deprecated, as it's used for backward compatibility.
2020-08-24 11:18:39 +00:00
"github.com/distribution/distribution/v3/reference"
"github.com/distribution/distribution/v3/registry/storage/cache/memory"
"github.com/distribution/distribution/v3/registry/storage/driver"
"github.com/distribution/distribution/v3/registry/storage/driver/inmemory"
"github.com/distribution/distribution/v3/testutil"
2015-01-02 21:21:29 +00:00
"github.com/docker/libtrust"
2016-12-17 00:28:34 +00:00
"github.com/opencontainers/go-digest"
2019-10-09 12:02:21 +00:00
v1 "github.com/opencontainers/image-spec/specs-go/v1"
2014-11-22 03:39:52 +00:00
)
2015-02-26 23:47:04 +00:00
type manifestStoreTestEnv struct {
ctx context . Context
driver driver . StorageDriver
2015-04-10 02:21:33 +00:00
registry distribution . Namespace
2015-02-26 23:47:04 +00:00
repository distribution . Repository
2015-12-15 22:35:23 +00:00
name reference . Named
2015-02-26 23:47:04 +00:00
tag string
}
2016-02-10 23:20:39 +00:00
func newManifestStoreTestEnv ( t * testing . T , name reference . Named , tag string , options ... RegistryOption ) * manifestStoreTestEnv {
2015-02-09 22:44:58 +00:00
ctx := context . Background ( )
2022-11-26 13:11:08 +00:00
drvr := inmemory . New ( )
registry , err := NewRegistry ( ctx , drvr , options ... )
2015-08-18 17:56:27 +00:00
if err != nil {
t . Fatalf ( "error creating registry: %v" , err )
}
2015-07-24 06:16:27 +00:00
2015-02-13 21:59:50 +00:00
repo , err := registry . Repository ( ctx , name )
if err != nil {
t . Fatalf ( "unexpected error getting repo: %v" , err )
}
2014-11-22 03:39:52 +00:00
2015-02-26 23:47:04 +00:00
return & manifestStoreTestEnv {
ctx : ctx ,
2022-11-26 13:11:08 +00:00
driver : drvr ,
2015-02-26 23:47:04 +00:00
registry : registry ,
repository : repo ,
name : name ,
tag : tag ,
}
}
func TestManifestStorage ( t * testing . T ) {
2016-02-10 23:20:39 +00:00
k , err := libtrust . GenerateECP256PrivateKey ( )
if err != nil {
t . Fatal ( err )
}
2022-07-13 00:42:48 +00:00
testManifestStorage ( t , true , BlobDescriptorCacheProvider ( memory . NewInMemoryBlobDescriptorCacheProvider ( memory . UnlimitedSize ) ) , EnableDelete , EnableRedirect , Schema1SigningKey ( k ) , EnableSchema1 )
2016-02-10 23:20:39 +00:00
}
2017-12-18 23:06:04 +00:00
func TestManifestStorageV1Unsupported ( t * testing . T ) {
k , err := libtrust . GenerateECP256PrivateKey ( )
if err != nil {
t . Fatal ( err )
}
2022-07-13 00:42:48 +00:00
testManifestStorage ( t , false , BlobDescriptorCacheProvider ( memory . NewInMemoryBlobDescriptorCacheProvider ( memory . UnlimitedSize ) ) , EnableDelete , EnableRedirect , Schema1SigningKey ( k ) )
2017-12-18 23:06:04 +00:00
}
func testManifestStorage ( t * testing . T , schema1Enabled bool , options ... RegistryOption ) {
2017-01-14 01:06:03 +00:00
repoName , _ := reference . WithName ( "foo/bar" )
2016-02-10 23:20:39 +00:00
env := newManifestStoreTestEnv ( t , repoName , "thetag" , options ... )
2015-06-15 17:39:34 +00:00
ctx := context . Background ( )
ms , err := env . repository . Manifests ( ctx )
if err != nil {
t . Fatal ( err )
}
2015-02-26 23:47:04 +00:00
2023-05-09 11:18:47 +00:00
m := schema1 . Manifest { //nolint:staticcheck // Ignore SA1019: "github.com/distribution/distribution/v3/manifest/schema1" is deprecated, as it's used for backward compatibility.
2015-01-02 21:21:29 +00:00
Versioned : manifest . Versioned {
2014-11-22 03:39:52 +00:00
SchemaVersion : 1 ,
} ,
2015-12-15 22:35:23 +00:00
Name : env . name . Name ( ) ,
2015-02-26 23:47:04 +00:00
Tag : env . tag ,
2015-01-17 02:24:07 +00:00
}
// Build up some test layers and add them to the manifest, saving the
// readseekers for upload later.
testLayers := map [ digest . Digest ] io . ReadSeeker { }
for i := 0 ; i < 2 ; i ++ {
2019-02-05 00:01:04 +00:00
rs , dgst , err := testutil . CreateRandomTarFile ( )
2015-01-17 02:24:07 +00:00
if err != nil {
t . Fatalf ( "unexpected error generating test layer file" )
}
2019-02-05 00:01:04 +00:00
testLayers [ dgst ] = rs
2023-05-09 11:18:47 +00:00
m . FSLayers = append ( m . FSLayers , schema1 . FSLayer { //nolint:staticcheck // Ignore SA1019: "github.com/distribution/distribution/v3/manifest/schema1" is deprecated, as it's used for backward compatibility.
2015-01-17 02:24:07 +00:00
BlobSum : dgst ,
} )
2023-05-09 11:18:47 +00:00
m . History = append ( m . History , schema1 . History { //nolint:staticcheck // Ignore SA1019: "github.com/distribution/distribution/v3/manifest/schema1" is deprecated, as it's used for backward compatibility.
2015-11-03 19:03:17 +00:00
V1Compatibility : "" ,
} )
2014-11-22 03:39:52 +00:00
}
pk , err := libtrust . GenerateECP256PrivateKey ( )
if err != nil {
t . Fatalf ( "unexpected error generating private key: %v" , err )
}
2023-05-09 11:18:47 +00:00
sm , merr := schema1 . Sign ( & m , pk ) //nolint:staticcheck // Ignore SA1019: "github.com/distribution/distribution/v3/manifest/schema1" is deprecated, as it's used for backward compatibility.
2015-06-15 17:39:34 +00:00
if merr != nil {
2014-11-22 03:39:52 +00:00
t . Fatalf ( "error signing manifest: %v" , err )
}
2015-08-21 04:50:15 +00:00
_ , err = ms . Put ( ctx , sm )
2014-11-22 03:39:52 +00:00
if err == nil {
2015-06-15 17:39:34 +00:00
t . Fatalf ( "expected errors putting manifest with full verification" )
2014-11-22 03:39:52 +00:00
}
2017-12-18 23:06:04 +00:00
// If schema1 is not enabled, do a short version of this test, just checking
// if we get the right error when we Put
if ! schema1Enabled {
if err != distribution . ErrSchemaV1Unsupported {
t . Fatalf ( "got the wrong error when schema1 is disabled: %s" , err )
}
return
}
Refactor Blob Service API
This PR refactors the blob service API to be oriented around blob descriptors.
Identified by digests, blobs become an abstract entity that can be read and
written using a descriptor as a handle. This allows blobs to take many forms,
such as a ReadSeekCloser or a simple byte buffer, allowing blob oriented
operations to better integrate with blob agnostic APIs (such as the `io`
package). The error definitions are now better organized to reflect conditions
that can only be seen when interacting with the blob API.
The main benefit of this is to separate the much smaller metadata from large
file storage. Many benefits also follow from this. Reading and writing has
been separated into discrete services. Backend implementation is also
simplified, by reducing the amount of metadata that needs to be picked up to
simply serve a read. This also improves cacheability.
"Opening" a blob simply consists of an access check (Stat) and a path
calculation. Caching is greatly simplified and we've made the mapping of
provisional to canonical hashes a first-class concept. BlobDescriptorService
and BlobProvider can be combined in different ways to achieve varying effects.
Recommend Review Approach
-------------------------
This is a very large patch. While apologies are in order, we are getting a
considerable amount of refactoring. Most changes follow from the changes to
the root package (distribution), so start there. From there, the main changes
are in storage. Looking at (*repository).Blobs will help to understand the how
the linkedBlobStore is wired. One can explore the internals within and also
branch out into understanding the changes to the caching layer. Following the
descriptions below will also help to guide you.
To reduce the chances for regressions, it was critical that major changes to
unit tests were avoided. Where possible, they are left untouched and where
not, the spirit is hopefully captured. Pay particular attention to where
behavior may have changed.
Storage
-------
The primary changes to the `storage` package, other than the interface
updates, were to merge the layerstore and blobstore. Blob access is now
layered even further. The first layer, blobStore, exposes a global
`BlobStatter` and `BlobProvider`. Operations here provide a fast path for most
read operations that don't take access control into account. The
`linkedBlobStore` layers on top of the `blobStore`, providing repository-
scoped blob link management in the backend. The `linkedBlobStore` implements
the full `BlobStore` suite, providing access-controlled, repository-local blob
writers. The abstraction between the two is slightly broken in that
`linkedBlobStore` is the only channel under which one can write into the global
blob store. The `linkedBlobStore` also provides flexibility in that it can act
over different link sets depending on configuration. This allows us to use the
same code for signature links, manifest links and blob links. Eventually, we
will fully consolidate this storage.
The improved cache flow comes from the `linkedBlobStatter` component
of `linkedBlobStore`. Using a `cachedBlobStatter`, these combine together to
provide a simple cache hierarchy that should streamline access checks on read
and write operations, or at least provide a single path to optimize. The
metrics have been changed in a slightly incompatible way since the former
operations, Fetch and Exists, are no longer relevant.
The fileWriter and fileReader have been slightly modified to support the rest
of the changes. The most interesting is the removal of the `Stat` call from
`newFileReader`. This was the source of unnecessary round trips that were only
present to look up the size of the resulting reader. Now, one must simply pass
in the size, requiring the caller to decide whether or not the `Stat` call is
appropriate. In several cases, it turned out the caller already had the size
already. The `WriterAt` implementation has been removed from `fileWriter`,
since it is no longer required for `BlobWriter`, reducing the number of paths
which writes may take.
Cache
-----
Unfortunately, the `cache` package required a near full rewrite. It was pretty
mechanical in that the cache is oriented around the `BlobDescriptorService`
slightly modified to include the ability to set the values for individual
digests. While the implementation is oriented towards caching, it can act as a
primary store. Provisions are in place to have repository local metadata, in
addition to global metadata. Fallback is implemented as a part of the storage
package to maintain this flexibility.
One unfortunate side-effect is that caching is now repository-scoped, rather
than global. This should have little effect on performance but may increase
memory usage.
Handlers
--------
The `handlers` package has been updated to leverage the new API. For the most
part, the changes are superficial or mechanical based on the API changes. This
did expose a bug in the handling of provisional vs canonical digests that was
fixed in the unit tests.
Configuration
-------------
One user-facing change has been made to the configuration and is updated in
the associated documentation. The `layerinfo` cache parameter has been
deprecated by the `blobdescriptor` cache parameter. Both are equivalent and
configuration files should be backward compatible.
Notifications
-------------
Changes the `notification` package are simply to support the interface
changes.
Context
-------
A small change has been made to the tracing log-level. Traces have been moved
from "info" to "debug" level to reduce output when not needed.
Signed-off-by: Stephen J Day <stephen.day@docker.com>
2015-05-12 07:10:29 +00:00
switch err := err . ( type ) {
case distribution . ErrManifestVerification :
if len ( err ) != 2 {
t . Fatalf ( "expected 2 verification errors: %#v" , err )
}
for _ , err := range err {
if _ , ok := err . ( distribution . ErrManifestBlobUnknown ) ; ! ok {
t . Fatalf ( "unexpected error type: %v" , err )
}
}
default :
t . Fatalf ( "unexpected error verifying manifest: %v" , err )
}
2014-11-22 03:39:52 +00:00
2015-01-17 02:24:07 +00:00
// Now, upload the layers that were missing!
for dgst , rs := range testLayers {
Refactor Blob Service API
This PR refactors the blob service API to be oriented around blob descriptors.
Identified by digests, blobs become an abstract entity that can be read and
written using a descriptor as a handle. This allows blobs to take many forms,
such as a ReadSeekCloser or a simple byte buffer, allowing blob oriented
operations to better integrate with blob agnostic APIs (such as the `io`
package). The error definitions are now better organized to reflect conditions
that can only be seen when interacting with the blob API.
The main benefit of this is to separate the much smaller metadata from large
file storage. Many benefits also follow from this. Reading and writing has
been separated into discrete services. Backend implementation is also
simplified, by reducing the amount of metadata that needs to be picked up to
simply serve a read. This also improves cacheability.
"Opening" a blob simply consists of an access check (Stat) and a path
calculation. Caching is greatly simplified and we've made the mapping of
provisional to canonical hashes a first-class concept. BlobDescriptorService
and BlobProvider can be combined in different ways to achieve varying effects.
Recommend Review Approach
-------------------------
This is a very large patch. While apologies are in order, we are getting a
considerable amount of refactoring. Most changes follow from the changes to
the root package (distribution), so start there. From there, the main changes
are in storage. Looking at (*repository).Blobs will help to understand the how
the linkedBlobStore is wired. One can explore the internals within and also
branch out into understanding the changes to the caching layer. Following the
descriptions below will also help to guide you.
To reduce the chances for regressions, it was critical that major changes to
unit tests were avoided. Where possible, they are left untouched and where
not, the spirit is hopefully captured. Pay particular attention to where
behavior may have changed.
Storage
-------
The primary changes to the `storage` package, other than the interface
updates, were to merge the layerstore and blobstore. Blob access is now
layered even further. The first layer, blobStore, exposes a global
`BlobStatter` and `BlobProvider`. Operations here provide a fast path for most
read operations that don't take access control into account. The
`linkedBlobStore` layers on top of the `blobStore`, providing repository-
scoped blob link management in the backend. The `linkedBlobStore` implements
the full `BlobStore` suite, providing access-controlled, repository-local blob
writers. The abstraction between the two is slightly broken in that
`linkedBlobStore` is the only channel under which one can write into the global
blob store. The `linkedBlobStore` also provides flexibility in that it can act
over different link sets depending on configuration. This allows us to use the
same code for signature links, manifest links and blob links. Eventually, we
will fully consolidate this storage.
The improved cache flow comes from the `linkedBlobStatter` component
of `linkedBlobStore`. Using a `cachedBlobStatter`, these combine together to
provide a simple cache hierarchy that should streamline access checks on read
and write operations, or at least provide a single path to optimize. The
metrics have been changed in a slightly incompatible way since the former
operations, Fetch and Exists, are no longer relevant.
The fileWriter and fileReader have been slightly modified to support the rest
of the changes. The most interesting is the removal of the `Stat` call from
`newFileReader`. This was the source of unnecessary round trips that were only
present to look up the size of the resulting reader. Now, one must simply pass
in the size, requiring the caller to decide whether or not the `Stat` call is
appropriate. In several cases, it turned out the caller already had the size
already. The `WriterAt` implementation has been removed from `fileWriter`,
since it is no longer required for `BlobWriter`, reducing the number of paths
which writes may take.
Cache
-----
Unfortunately, the `cache` package required a near full rewrite. It was pretty
mechanical in that the cache is oriented around the `BlobDescriptorService`
slightly modified to include the ability to set the values for individual
digests. While the implementation is oriented towards caching, it can act as a
primary store. Provisions are in place to have repository local metadata, in
addition to global metadata. Fallback is implemented as a part of the storage
package to maintain this flexibility.
One unfortunate side-effect is that caching is now repository-scoped, rather
than global. This should have little effect on performance but may increase
memory usage.
Handlers
--------
The `handlers` package has been updated to leverage the new API. For the most
part, the changes are superficial or mechanical based on the API changes. This
did expose a bug in the handling of provisional vs canonical digests that was
fixed in the unit tests.
Configuration
-------------
One user-facing change has been made to the configuration and is updated in
the associated documentation. The `layerinfo` cache parameter has been
deprecated by the `blobdescriptor` cache parameter. Both are equivalent and
configuration files should be backward compatible.
Notifications
-------------
Changes the `notification` package are simply to support the interface
changes.
Context
-------
A small change has been made to the tracing log-level. Traces have been moved
from "info" to "debug" level to reduce output when not needed.
Signed-off-by: Stephen J Day <stephen.day@docker.com>
2015-05-12 07:10:29 +00:00
wr , err := env . repository . Blobs ( env . ctx ) . Create ( env . ctx )
2015-01-17 02:24:07 +00:00
if err != nil {
t . Fatalf ( "unexpected error creating test upload: %v" , err )
}
Refactor Blob Service API
This PR refactors the blob service API to be oriented around blob descriptors.
Identified by digests, blobs become an abstract entity that can be read and
written using a descriptor as a handle. This allows blobs to take many forms,
such as a ReadSeekCloser or a simple byte buffer, allowing blob oriented
operations to better integrate with blob agnostic APIs (such as the `io`
package). The error definitions are now better organized to reflect conditions
that can only be seen when interacting with the blob API.
The main benefit of this is to separate the much smaller metadata from large
file storage. Many benefits also follow from this. Reading and writing has
been separated into discrete services. Backend implementation is also
simplified, by reducing the amount of metadata that needs to be picked up to
simply serve a read. This also improves cacheability.
"Opening" a blob simply consists of an access check (Stat) and a path
calculation. Caching is greatly simplified and we've made the mapping of
provisional to canonical hashes a first-class concept. BlobDescriptorService
and BlobProvider can be combined in different ways to achieve varying effects.
Recommend Review Approach
-------------------------
This is a very large patch. While apologies are in order, we are getting a
considerable amount of refactoring. Most changes follow from the changes to
the root package (distribution), so start there. From there, the main changes
are in storage. Looking at (*repository).Blobs will help to understand the how
the linkedBlobStore is wired. One can explore the internals within and also
branch out into understanding the changes to the caching layer. Following the
descriptions below will also help to guide you.
To reduce the chances for regressions, it was critical that major changes to
unit tests were avoided. Where possible, they are left untouched and where
not, the spirit is hopefully captured. Pay particular attention to where
behavior may have changed.
Storage
-------
The primary changes to the `storage` package, other than the interface
updates, were to merge the layerstore and blobstore. Blob access is now
layered even further. The first layer, blobStore, exposes a global
`BlobStatter` and `BlobProvider`. Operations here provide a fast path for most
read operations that don't take access control into account. The
`linkedBlobStore` layers on top of the `blobStore`, providing repository-
scoped blob link management in the backend. The `linkedBlobStore` implements
the full `BlobStore` suite, providing access-controlled, repository-local blob
writers. The abstraction between the two is slightly broken in that
`linkedBlobStore` is the only channel under which one can write into the global
blob store. The `linkedBlobStore` also provides flexibility in that it can act
over different link sets depending on configuration. This allows us to use the
same code for signature links, manifest links and blob links. Eventually, we
will fully consolidate this storage.
The improved cache flow comes from the `linkedBlobStatter` component
of `linkedBlobStore`. Using a `cachedBlobStatter`, these combine together to
provide a simple cache hierarchy that should streamline access checks on read
and write operations, or at least provide a single path to optimize. The
metrics have been changed in a slightly incompatible way since the former
operations, Fetch and Exists, are no longer relevant.
The fileWriter and fileReader have been slightly modified to support the rest
of the changes. The most interesting is the removal of the `Stat` call from
`newFileReader`. This was the source of unnecessary round trips that were only
present to look up the size of the resulting reader. Now, one must simply pass
in the size, requiring the caller to decide whether or not the `Stat` call is
appropriate. In several cases, it turned out the caller already had the size
already. The `WriterAt` implementation has been removed from `fileWriter`,
since it is no longer required for `BlobWriter`, reducing the number of paths
which writes may take.
Cache
-----
Unfortunately, the `cache` package required a near full rewrite. It was pretty
mechanical in that the cache is oriented around the `BlobDescriptorService`
slightly modified to include the ability to set the values for individual
digests. While the implementation is oriented towards caching, it can act as a
primary store. Provisions are in place to have repository local metadata, in
addition to global metadata. Fallback is implemented as a part of the storage
package to maintain this flexibility.
One unfortunate side-effect is that caching is now repository-scoped, rather
than global. This should have little effect on performance but may increase
memory usage.
Handlers
--------
The `handlers` package has been updated to leverage the new API. For the most
part, the changes are superficial or mechanical based on the API changes. This
did expose a bug in the handling of provisional vs canonical digests that was
fixed in the unit tests.
Configuration
-------------
One user-facing change has been made to the configuration and is updated in
the associated documentation. The `layerinfo` cache parameter has been
deprecated by the `blobdescriptor` cache parameter. Both are equivalent and
configuration files should be backward compatible.
Notifications
-------------
Changes the `notification` package are simply to support the interface
changes.
Context
-------
A small change has been made to the tracing log-level. Traces have been moved
from "info" to "debug" level to reduce output when not needed.
Signed-off-by: Stephen J Day <stephen.day@docker.com>
2015-05-12 07:10:29 +00:00
if _ , err := io . Copy ( wr , rs ) ; err != nil {
2015-01-17 02:24:07 +00:00
t . Fatalf ( "unexpected error copying to upload: %v" , err )
}
2014-11-22 03:39:52 +00:00
Refactor Blob Service API
This PR refactors the blob service API to be oriented around blob descriptors.
Identified by digests, blobs become an abstract entity that can be read and
written using a descriptor as a handle. This allows blobs to take many forms,
such as a ReadSeekCloser or a simple byte buffer, allowing blob oriented
operations to better integrate with blob agnostic APIs (such as the `io`
package). The error definitions are now better organized to reflect conditions
that can only be seen when interacting with the blob API.
The main benefit of this is to separate the much smaller metadata from large
file storage. Many benefits also follow from this. Reading and writing has
been separated into discrete services. Backend implementation is also
simplified, by reducing the amount of metadata that needs to be picked up to
simply serve a read. This also improves cacheability.
"Opening" a blob simply consists of an access check (Stat) and a path
calculation. Caching is greatly simplified and we've made the mapping of
provisional to canonical hashes a first-class concept. BlobDescriptorService
and BlobProvider can be combined in different ways to achieve varying effects.
Recommend Review Approach
-------------------------
This is a very large patch. While apologies are in order, we are getting a
considerable amount of refactoring. Most changes follow from the changes to
the root package (distribution), so start there. From there, the main changes
are in storage. Looking at (*repository).Blobs will help to understand the how
the linkedBlobStore is wired. One can explore the internals within and also
branch out into understanding the changes to the caching layer. Following the
descriptions below will also help to guide you.
To reduce the chances for regressions, it was critical that major changes to
unit tests were avoided. Where possible, they are left untouched and where
not, the spirit is hopefully captured. Pay particular attention to where
behavior may have changed.
Storage
-------
The primary changes to the `storage` package, other than the interface
updates, were to merge the layerstore and blobstore. Blob access is now
layered even further. The first layer, blobStore, exposes a global
`BlobStatter` and `BlobProvider`. Operations here provide a fast path for most
read operations that don't take access control into account. The
`linkedBlobStore` layers on top of the `blobStore`, providing repository-
scoped blob link management in the backend. The `linkedBlobStore` implements
the full `BlobStore` suite, providing access-controlled, repository-local blob
writers. The abstraction between the two is slightly broken in that
`linkedBlobStore` is the only channel under which one can write into the global
blob store. The `linkedBlobStore` also provides flexibility in that it can act
over different link sets depending on configuration. This allows us to use the
same code for signature links, manifest links and blob links. Eventually, we
will fully consolidate this storage.
The improved cache flow comes from the `linkedBlobStatter` component
of `linkedBlobStore`. Using a `cachedBlobStatter`, these combine together to
provide a simple cache hierarchy that should streamline access checks on read
and write operations, or at least provide a single path to optimize. The
metrics have been changed in a slightly incompatible way since the former
operations, Fetch and Exists, are no longer relevant.
The fileWriter and fileReader have been slightly modified to support the rest
of the changes. The most interesting is the removal of the `Stat` call from
`newFileReader`. This was the source of unnecessary round trips that were only
present to look up the size of the resulting reader. Now, one must simply pass
in the size, requiring the caller to decide whether or not the `Stat` call is
appropriate. In several cases, it turned out the caller already had the size
already. The `WriterAt` implementation has been removed from `fileWriter`,
since it is no longer required for `BlobWriter`, reducing the number of paths
which writes may take.
Cache
-----
Unfortunately, the `cache` package required a near full rewrite. It was pretty
mechanical in that the cache is oriented around the `BlobDescriptorService`
slightly modified to include the ability to set the values for individual
digests. While the implementation is oriented towards caching, it can act as a
primary store. Provisions are in place to have repository local metadata, in
addition to global metadata. Fallback is implemented as a part of the storage
package to maintain this flexibility.
One unfortunate side-effect is that caching is now repository-scoped, rather
than global. This should have little effect on performance but may increase
memory usage.
Handlers
--------
The `handlers` package has been updated to leverage the new API. For the most
part, the changes are superficial or mechanical based on the API changes. This
did expose a bug in the handling of provisional vs canonical digests that was
fixed in the unit tests.
Configuration
-------------
One user-facing change has been made to the configuration and is updated in
the associated documentation. The `layerinfo` cache parameter has been
deprecated by the `blobdescriptor` cache parameter. Both are equivalent and
configuration files should be backward compatible.
Notifications
-------------
Changes the `notification` package are simply to support the interface
changes.
Context
-------
A small change has been made to the tracing log-level. Traces have been moved
from "info" to "debug" level to reduce output when not needed.
Signed-off-by: Stephen J Day <stephen.day@docker.com>
2015-05-12 07:10:29 +00:00
if _ , err := wr . Commit ( env . ctx , distribution . Descriptor { Digest : dgst } ) ; err != nil {
2015-01-17 02:24:07 +00:00
t . Fatalf ( "unexpected error finishing upload: %v" , err )
}
}
2015-08-21 04:50:15 +00:00
var manifestDigest digest . Digest
if manifestDigest , err = ms . Put ( ctx , sm ) ; err != nil {
2014-11-22 03:39:52 +00:00
t . Fatalf ( "unexpected error putting manifest: %v" , err )
}
2015-08-21 04:50:15 +00:00
exists , err := ms . Exists ( ctx , manifestDigest )
2014-11-22 03:39:52 +00:00
if err != nil {
2015-08-21 04:50:15 +00:00
t . Fatalf ( "unexpected error checking manifest existence: %#v" , err )
2014-11-22 03:39:52 +00:00
}
if ! exists {
t . Fatalf ( "manifest should exist" )
}
2015-08-21 04:50:15 +00:00
fromStore , err := ms . Get ( ctx , manifestDigest )
2014-11-22 03:39:52 +00:00
if err != nil {
t . Fatalf ( "unexpected error fetching manifest: %v" , err )
}
2023-05-09 11:18:47 +00:00
fetchedManifest , ok := fromStore . ( * schema1 . SignedManifest ) //nolint:staticcheck // Ignore SA1019: "github.com/distribution/distribution/v3/manifest/schema1" is deprecated, as it's used for backward compatibility.
2015-08-21 04:50:15 +00:00
if ! ok {
t . Fatalf ( "unexpected manifest type from signedstore" )
}
2016-02-10 23:20:39 +00:00
if ! bytes . Equal ( fetchedManifest . Canonical , sm . Canonical ) {
t . Fatalf ( "fetched payload does not match original payload: %q != %q" , fetchedManifest . Canonical , sm . Canonical )
}
2023-05-09 11:18:47 +00:00
_ , pl , err := fetchedManifest . Payload ( ) //nolint:staticcheck // Ignore SA1019: "github.com/distribution/distribution/v3/manifest/schema1" is deprecated, as it's used for backward compatibility.
2015-08-21 04:50:15 +00:00
if err != nil {
t . Fatalf ( "error getting payload %#v" , err )
}
fetchedJWS , err := libtrust . ParsePrettySignature ( pl , "signatures" )
2015-01-14 20:02:43 +00:00
if err != nil {
t . Fatalf ( "unexpected error parsing jws: %v" , err )
}
payload , err := fetchedJWS . Payload ( )
if err != nil {
t . Fatalf ( "unexpected error extracting payload: %v" , err )
}
2015-02-26 23:47:04 +00:00
// Now that we have a payload, take a moment to check that the manifest is
// return by the payload digest.
2015-08-21 04:50:15 +00:00
2015-12-14 22:30:51 +00:00
dgst := digest . FromBytes ( payload )
2015-08-21 04:50:15 +00:00
exists , err = ms . Exists ( ctx , dgst )
2015-02-26 23:47:04 +00:00
if err != nil {
t . Fatalf ( "error checking manifest existence by digest: %v" , err )
}
if ! exists {
t . Fatalf ( "manifest %s should exist" , dgst )
}
2015-08-21 04:50:15 +00:00
fetchedByDigest , err := ms . Get ( ctx , dgst )
2015-02-26 23:47:04 +00:00
if err != nil {
t . Fatalf ( "unexpected error fetching manifest by digest: %v" , err )
}
2023-05-09 11:18:47 +00:00
byDigestManifest , ok := fetchedByDigest . ( * schema1 . SignedManifest ) //nolint:staticcheck // Ignore SA1019: "github.com/distribution/distribution/v3/manifest/schema1" is deprecated, as it's used for backward compatibility.
2016-02-10 23:20:39 +00:00
if ! ok {
t . Fatalf ( "unexpected manifest type from signedstore" )
}
if ! bytes . Equal ( byDigestManifest . Canonical , fetchedManifest . Canonical ) {
t . Fatalf ( "fetched manifest not equal: %q != %q" , byDigestManifest . Canonical , fetchedManifest . Canonical )
}
2015-01-14 20:02:43 +00:00
sigs , err := fetchedJWS . Signatures ( )
if err != nil {
t . Fatalf ( "unable to extract signatures: %v" , err )
}
if len ( sigs ) != 1 {
t . Fatalf ( "unexpected number of signatures: %d != %d" , len ( sigs ) , 1 )
}
// Now, push the same manifest with a different key
pk2 , err := libtrust . GenerateECP256PrivateKey ( )
if err != nil {
t . Fatalf ( "unexpected error generating private key: %v" , err )
}
2023-05-09 11:18:47 +00:00
sm2 , err := schema1 . Sign ( & m , pk2 ) //nolint:staticcheck // Ignore SA1019: "github.com/distribution/distribution/v3/manifest/schema1" is deprecated, as it's used for backward compatibility.
2015-01-14 20:02:43 +00:00
if err != nil {
t . Fatalf ( "unexpected error signing manifest: %v" , err )
}
2023-05-09 11:18:47 +00:00
_ , pl , err = sm2 . Payload ( ) //nolint:staticcheck // Ignore SA1019: "github.com/distribution/distribution/v3/manifest/schema1" is deprecated, as it's used for backward compatibility.
2015-08-21 04:50:15 +00:00
if err != nil {
t . Fatalf ( "error getting payload %#v" , err )
}
2015-01-14 20:02:43 +00:00
2015-08-21 04:50:15 +00:00
jws2 , err := libtrust . ParsePrettySignature ( pl , "signatures" )
2015-01-14 20:02:43 +00:00
if err != nil {
t . Fatalf ( "error parsing signature: %v" , err )
}
sigs2 , err := jws2 . Signatures ( )
if err != nil {
t . Fatalf ( "unable to extract signatures: %v" , err )
}
if len ( sigs2 ) != 1 {
t . Fatalf ( "unexpected number of signatures: %d != %d" , len ( sigs2 ) , 1 )
}
2015-08-21 04:50:15 +00:00
if manifestDigest , err = ms . Put ( ctx , sm2 ) ; err != nil {
2015-01-14 20:02:43 +00:00
t . Fatalf ( "unexpected error putting manifest: %v" , err )
}
2015-08-21 04:50:15 +00:00
fromStore , err = ms . Get ( ctx , manifestDigest )
2015-01-14 20:02:43 +00:00
if err != nil {
t . Fatalf ( "unexpected error fetching manifest: %v" , err )
}
2023-05-09 11:18:47 +00:00
fetched , ok := fromStore . ( * schema1 . SignedManifest ) //nolint:staticcheck // Ignore SA1019: "github.com/distribution/distribution/v3/manifest/schema1" is deprecated, as it's used for backward compatibility.
2015-08-21 04:50:15 +00:00
if ! ok {
t . Fatalf ( "unexpected type from signed manifeststore : %T" , fetched )
}
2023-05-09 11:18:47 +00:00
if _ , err := schema1 . Verify ( fetched ) ; err != nil { //nolint:staticcheck // Ignore SA1019: "github.com/distribution/distribution/v3/manifest/schema1" is deprecated, as it's used for backward compatibility.
2015-01-14 20:02:43 +00:00
t . Fatalf ( "unexpected error verifying manifest: %v" , err )
}
2023-05-09 11:18:47 +00:00
_ , pl , err = fetched . Payload ( ) //nolint:staticcheck // Ignore SA1019: "github.com/distribution/distribution/v3/manifest/schema1" is deprecated, as it's used for backward compatibility.
2015-08-21 04:50:15 +00:00
if err != nil {
t . Fatalf ( "error getting payload %#v" , err )
}
receivedJWS , err := libtrust . ParsePrettySignature ( pl , "signatures" )
2015-01-14 20:02:43 +00:00
if err != nil {
t . Fatalf ( "unexpected error parsing jws: %v" , err )
}
receivedPayload , err := receivedJWS . Payload ( )
if err != nil {
t . Fatalf ( "unexpected error extracting received payload: %v" , err )
}
if ! bytes . Equal ( receivedPayload , payload ) {
t . Fatalf ( "payloads are not equal" )
}
2015-05-27 17:52:22 +00:00
// Test deleting manifests
2015-08-21 04:50:15 +00:00
err = ms . Delete ( ctx , dgst )
2015-05-27 17:52:22 +00:00
if err != nil {
2015-02-26 23:47:04 +00:00
t . Fatalf ( "unexpected an error deleting manifest by digest: %v" , err )
2015-01-14 20:02:43 +00:00
}
2015-05-27 17:52:22 +00:00
2015-08-21 04:50:15 +00:00
exists , err = ms . Exists ( ctx , dgst )
2015-05-27 17:52:22 +00:00
if err != nil {
t . Fatalf ( "Error querying manifest existence" )
}
if exists {
t . Errorf ( "Deleted manifest should not exist" )
}
2015-08-21 04:50:15 +00:00
deletedManifest , err := ms . Get ( ctx , dgst )
2015-05-27 17:52:22 +00:00
if err == nil {
t . Errorf ( "Unexpected success getting deleted manifest" )
}
switch err . ( type ) {
case distribution . ErrManifestUnknownRevision :
break
default :
t . Errorf ( "Unexpected error getting deleted manifest: %s" , reflect . ValueOf ( err ) . Type ( ) )
}
if deletedManifest != nil {
t . Errorf ( "Deleted manifest get returned non-nil" )
}
// Re-upload should restore manifest to a good state
2015-08-21 04:50:15 +00:00
_ , err = ms . Put ( ctx , sm )
2015-05-27 17:52:22 +00:00
if err != nil {
t . Errorf ( "Error re-uploading deleted manifest" )
}
2015-08-21 04:50:15 +00:00
exists , err = ms . Exists ( ctx , dgst )
2015-05-27 17:52:22 +00:00
if err != nil {
t . Fatalf ( "Error querying manifest existence" )
}
if ! exists {
t . Errorf ( "Restored manifest should exist" )
}
2015-08-21 04:50:15 +00:00
deletedManifest , err = ms . Get ( ctx , dgst )
2015-05-27 17:52:22 +00:00
if err != nil {
t . Errorf ( "Unexpected error getting manifest" )
}
if deletedManifest == nil {
t . Errorf ( "Deleted manifest get returned non-nil" )
}
2022-07-13 00:42:48 +00:00
r , err := NewRegistry ( ctx , env . driver , BlobDescriptorCacheProvider ( memory . NewInMemoryBlobDescriptorCacheProvider ( memory . UnlimitedSize ) ) , EnableRedirect )
2015-08-18 17:56:27 +00:00
if err != nil {
t . Fatalf ( "error creating registry: %v" , err )
}
2015-05-27 17:52:22 +00:00
repo , err := r . Repository ( ctx , env . name )
if err != nil {
t . Fatalf ( "unexpected error getting repo: %v" , err )
}
ms , err = repo . Manifests ( ctx )
if err != nil {
t . Fatal ( err )
}
2015-08-21 04:50:15 +00:00
err = ms . Delete ( ctx , dgst )
2015-05-27 17:52:22 +00:00
if err == nil {
t . Errorf ( "Unexpected success deleting while disabled" )
}
2014-11-22 03:39:52 +00:00
}
2015-08-12 20:07:57 +00:00
2018-03-15 20:04:58 +00:00
func TestOCIManifestStorage ( t * testing . T ) {
testOCIManifestStorage ( t , "includeMediaTypes=true" , true )
testOCIManifestStorage ( t , "includeMediaTypes=false" , false )
}
func testOCIManifestStorage ( t * testing . T , testname string , includeMediaTypes bool ) {
var imageMediaType string
var indexMediaType string
if includeMediaTypes {
imageMediaType = v1 . MediaTypeImageManifest
indexMediaType = v1 . MediaTypeImageIndex
} else {
imageMediaType = ""
indexMediaType = ""
}
repoName , _ := reference . WithName ( "foo/bar" )
env := newManifestStoreTestEnv ( t , repoName , "thetag" ,
2022-07-13 00:42:48 +00:00
BlobDescriptorCacheProvider ( memory . NewInMemoryBlobDescriptorCacheProvider ( memory . UnlimitedSize ) ) ,
2018-03-15 20:04:58 +00:00
EnableDelete , EnableRedirect )
ctx := context . Background ( )
ms , err := env . repository . Manifests ( ctx )
if err != nil {
t . Fatal ( err )
}
// Build a manifest and store it and its layers in the registry
blobStore := env . repository . Blobs ( ctx )
builder := ocischema . NewManifestBuilder ( blobStore , [ ] byte { } , map [ string ] string { } )
2018-07-19 21:07:26 +00:00
err = builder . ( * ocischema . Builder ) . SetMediaType ( imageMediaType )
if err != nil {
t . Fatal ( err )
}
2018-03-15 20:04:58 +00:00
// Add some layers
for i := 0 ; i < 2 ; i ++ {
2019-02-05 00:01:04 +00:00
rs , dgst , err := testutil . CreateRandomTarFile ( )
2018-03-15 20:04:58 +00:00
if err != nil {
t . Fatalf ( "%s: unexpected error generating test layer file" , testname )
}
wr , err := env . repository . Blobs ( env . ctx ) . Create ( env . ctx )
if err != nil {
t . Fatalf ( "%s: unexpected error creating test upload: %v" , testname , err )
}
if _ , err := io . Copy ( wr , rs ) ; err != nil {
t . Fatalf ( "%s: unexpected error copying to upload: %v" , testname , err )
}
if _ , err := wr . Commit ( env . ctx , distribution . Descriptor { Digest : dgst } ) ; err != nil {
t . Fatalf ( "%s: unexpected error finishing upload: %v" , testname , err )
}
builder . AppendReference ( distribution . Descriptor { Digest : dgst } )
}
2022-11-26 13:11:08 +00:00
mfst , err := builder . Build ( ctx )
2018-03-15 20:04:58 +00:00
if err != nil {
t . Fatalf ( "%s: unexpected error generating manifest: %v" , testname , err )
}
2018-07-23 22:03:17 +00:00
// before putting the manifest test for proper handling of SchemaVersion
2022-11-26 13:11:08 +00:00
if mfst . ( * ocischema . DeserializedManifest ) . Manifest . SchemaVersion != 2 {
2018-07-23 22:03:17 +00:00
t . Fatalf ( "%s: unexpected error generating default version for oci manifest" , testname )
}
2022-11-26 13:11:08 +00:00
mfst . ( * ocischema . DeserializedManifest ) . Manifest . SchemaVersion = 0
2018-07-23 22:03:17 +00:00
2018-03-15 20:04:58 +00:00
var manifestDigest digest . Digest
2022-11-26 13:11:08 +00:00
if manifestDigest , err = ms . Put ( ctx , mfst ) ; err != nil {
2018-07-23 22:03:17 +00:00
if err . Error ( ) != "unrecognized manifest schema version 0" {
t . Fatalf ( "%s: unexpected error putting manifest: %v" , testname , err )
}
2022-11-26 13:11:08 +00:00
mfst . ( * ocischema . DeserializedManifest ) . Manifest . SchemaVersion = 2
if manifestDigest , err = ms . Put ( ctx , mfst ) ; err != nil {
2018-07-23 22:03:17 +00:00
t . Fatalf ( "%s: unexpected error putting manifest: %v" , testname , err )
}
2018-03-15 20:04:58 +00:00
}
// Also create an image index that contains the manifest
descriptor , err := env . registry . BlobStatter ( ) . Stat ( ctx , manifestDigest )
if err != nil {
t . Fatalf ( "%s: unexpected error getting manifest descriptor" , testname )
}
descriptor . MediaType = v1 . MediaTypeImageManifest
2023-06-01 10:38:31 +00:00
descriptor . Platform = & v1 . Platform {
2018-03-15 20:04:58 +00:00
Architecture : "atari2600" ,
OS : "CP/M" ,
}
2023-06-01 10:38:31 +00:00
imageIndex , err := ociIndexFromDesriptorsWithMediaType ( [ ] distribution . Descriptor { descriptor } , indexMediaType )
2018-03-15 20:04:58 +00:00
if err != nil {
t . Fatalf ( "%s: unexpected error creating image index: %v" , testname , err )
}
var indexDigest digest . Digest
if indexDigest , err = ms . Put ( ctx , imageIndex ) ; err != nil {
t . Fatalf ( "%s: unexpected error putting image index: %v" , testname , err )
}
// Now check that we can retrieve the manifest
fromStore , err := ms . Get ( ctx , manifestDigest )
if err != nil {
t . Fatalf ( "%s: unexpected error fetching manifest: %v" , testname , err )
}
fetchedManifest , ok := fromStore . ( * ocischema . DeserializedManifest )
if ! ok {
t . Fatalf ( "%s: unexpected type for fetched manifest" , testname )
}
if fetchedManifest . MediaType != imageMediaType {
t . Fatalf ( "%s: unexpected MediaType for result, %s" , testname , fetchedManifest . MediaType )
}
2018-07-20 00:41:31 +00:00
if fetchedManifest . SchemaVersion != ocischema . SchemaVersion . SchemaVersion {
t . Fatalf ( "%s: unexpected schema version for result, %d" , testname , fetchedManifest . SchemaVersion )
}
2018-03-15 20:04:58 +00:00
payloadMediaType , _ , err := fromStore . Payload ( )
if err != nil {
t . Fatalf ( "%s: error getting payload %v" , testname , err )
}
if payloadMediaType != v1 . MediaTypeImageManifest {
t . Fatalf ( "%s: unexpected MediaType for manifest payload, %s" , testname , payloadMediaType )
}
// and the image index
fromStore , err = ms . Get ( ctx , indexDigest )
if err != nil {
t . Fatalf ( "%s: unexpected error fetching image index: %v" , testname , err )
}
2023-03-31 10:35:30 +00:00
fetchedIndex , ok := fromStore . ( * ocischema . DeserializedImageIndex )
2018-03-15 20:04:58 +00:00
if ! ok {
t . Fatalf ( "%s: unexpected type for fetched manifest" , testname )
}
if fetchedIndex . MediaType != indexMediaType {
2022-03-27 10:04:19 +00:00
t . Fatalf ( "%s: unexpected MediaType for result, %s" , testname , fetchedIndex . MediaType )
2018-03-15 20:04:58 +00:00
}
payloadMediaType , _ , err = fromStore . Payload ( )
if err != nil {
t . Fatalf ( "%s: error getting payload %v" , testname , err )
}
if payloadMediaType != v1 . MediaTypeImageIndex {
t . Fatalf ( "%s: unexpected MediaType for index payload, %s" , testname , payloadMediaType )
}
}
2015-08-12 20:07:57 +00:00
// TestLinkPathFuncs ensures that the link path functions behavior are locked
// down and implemented as expected.
func TestLinkPathFuncs ( t * testing . T ) {
for _ , testcase := range [ ] struct {
repo string
digest digest . Digest
linkPathFn linkPathFunc
expected string
} {
{
repo : "foo/bar" ,
2015-12-02 23:57:47 +00:00
digest : "sha256:deadbeaf98fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" ,
2015-08-12 20:07:57 +00:00
linkPathFn : blobLinkPath ,
2015-12-02 23:57:47 +00:00
expected : "/docker/registry/v2/repositories/foo/bar/_layers/sha256/deadbeaf98fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855/link" ,
2015-08-12 20:07:57 +00:00
} ,
{
repo : "foo/bar" ,
2015-12-02 23:57:47 +00:00
digest : "sha256:deadbeaf98fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" ,
2015-08-12 20:07:57 +00:00
linkPathFn : manifestRevisionLinkPath ,
2015-12-02 23:57:47 +00:00
expected : "/docker/registry/v2/repositories/foo/bar/_manifests/revisions/sha256/deadbeaf98fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855/link" ,
2015-08-12 20:07:57 +00:00
} ,
} {
2015-08-18 01:51:05 +00:00
p , err := testcase . linkPathFn ( testcase . repo , testcase . digest )
2015-08-12 20:07:57 +00:00
if err != nil {
t . Fatalf ( "unexpected error calling linkPathFn(pm, %q, %q): %v" , testcase . repo , testcase . digest , err )
}
if p != testcase . expected {
t . Fatalf ( "incorrect path returned: %q != %q" , p , testcase . expected )
}
}
}
2023-03-31 10:35:30 +00:00
2023-06-01 10:38:31 +00:00
func ociIndexFromDesriptorsWithMediaType ( descriptors [ ] distribution . Descriptor , mediaType string ) ( * ocischema . DeserializedImageIndex , error ) {
2023-03-31 13:01:15 +00:00
manifest , err := ocischema . FromDescriptors ( descriptors , nil )
2023-03-31 10:35:30 +00:00
if err != nil {
return nil , err
}
manifest . ImageIndex . MediaType = mediaType
rawManifest , err := json . Marshal ( manifest . ImageIndex )
if err != nil {
return nil , err
}
var d ocischema . DeserializedImageIndex
if err := d . UnmarshalJSON ( rawManifest ) ; err != nil {
return nil , err
}
return & d , nil
}