Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Initial impl for branch #90

Merged
merged 32 commits into from
Feb 18, 2024
Merged
Show file tree
Hide file tree
Changes from 29 commits
Commits
Show all changes
32 commits
Select commit Hold shift + click to select a range
65f8aa3
pull from remote
huan233usc Jan 31, 2024
212a9a7
rebase from remote
huan233usc Jan 31, 2024
122a815
rebase1
huan233usc Jan 31, 2024
7761d95
fix insert and upsert
huan233usc Feb 1, 2024
02e4c4a
fix bug in snapshot resolution
huan233usc Feb 6, 2024
3274eb5
Merge branch 'main' into huan233usc-dev
huan233usc Feb 9, 2024
856780d
fix lint
huan233usc Feb 9, 2024
0a15b65
fix lint take 2
huan233usc Feb 9, 2024
c3f6d49
fix lint for test
huan233usc Feb 9, 2024
926e3d4
fix lint for test2
huan233usc Feb 9, 2024
a64cc83
fix type declaration
huan233usc Feb 9, 2024
942b4a3
formatting]
huan233usc Feb 9, 2024
200a984
fix lint
huan233usc Feb 9, 2024
983acf2
format some files
huan233usc Feb 13, 2024
fb569cd
fix format
huan233usc Feb 13, 2024
52d8b62
fix naming
huan233usc Feb 13, 2024
b327782
fix ref name
huan233usc Feb 13, 2024
25c0eb0
fix ref name
huan233usc Feb 13, 2024
ea69464
resolve
huan233usc Feb 16, 2024
78b6e4d
use value types
huan233usc Feb 16, 2024
0fb4992
reduce flaky tests
huan233usc Feb 16, 2024
30af48a
reduce flaky tests
huan233usc Feb 16, 2024
36a3ef2
reduce tests
huan233usc Feb 16, 2024
9d3df72
misc refactor
huan233usc Feb 17, 2024
bc88f9b
fix bug of incorrect type about branch
huan233usc Feb 17, 2024
c36a06f
fix doc
huan233usc Feb 17, 2024
1f05c61
fix bug
huan233usc Feb 17, 2024
55d2e4e
fix line too long
huan233usc Feb 17, 2024
08652bc
fix typo
huan233usc Feb 17, 2024
e9b24a2
resolve commtny
huan233usc Feb 18, 2024
281471e
revert merge conflict change
huan233usc Feb 18, 2024
6355232
Format code using Google style
Feb 18, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 16 additions & 4 deletions python/src/space/core/datasets.py
Original file line number Diff line number Diff line change
Expand Up @@ -51,8 +51,8 @@ def create(cls, location: str, schema: pa.Schema, primary_keys: List[str],
primary_keys: un-enforced primary keys.
record_fields: fields stored in row format (ArrayRecord).
"""
return Dataset(Storage.create(location, schema, primary_keys,
record_fields))
return Dataset(
Storage.create(location, schema, primary_keys, record_fields))

@classmethod
def load(cls, location: str) -> Dataset:
Expand All @@ -73,13 +73,25 @@ def record_fields(self) -> List[str]:
return self._storage.record_fields

def add_tag(self, tag: str, snapshot_id: Optional[int] = None):
"""Add yag to a snapshot."""
"""Add tag to a dataset."""
self._storage.add_tag(tag, snapshot_id)

def remove_tag(self, tag: str):
"""Remove tag from a snapshot."""
"""Remove tag from a dataset."""
self._storage.remove_tag(tag)

def add_branch(self, branch: str):
"""Add branch to a dataset."""
self._storage.add_branch(branch)

def remove_branch(self, branch: str):
"""Remove branch for a dataset."""
self._storage.remove_branch(branch)

def set_current_branch(self, branch: str):
"""Set current branch for the dataset."""
self._storage.set_current_branch(branch)

def local(self, file_options: Optional[FileOptions] = None) -> LocalRunner:
"""Get a runner that runs operations locally."""
return LocalRunner(self._storage, file_options)
Expand Down
4 changes: 2 additions & 2 deletions python/src/space/core/ops/append.py
Original file line number Diff line number Diff line change
Expand Up @@ -234,8 +234,8 @@ def _finish_index_writer(self) -> None:
file_path = self._index_writer_info.file_path
stats = self._index_manifest_writer.write(
file_path, self._index_writer_info.writer.writer.metadata)
utils.update_index_storage_stats(base=self._patch.storage_statistics_update,
update=stats)
utils.update_index_storage_stats(
base=self._patch.storage_statistics_update, update=stats)

self._patch.change_log.added_rows.append(
meta.RowBitmap(file=file_path, all_rows=True, num_rows=stats.num_rows))
Expand Down
3 changes: 3 additions & 0 deletions python/src/space/core/proto/metadata_pb2.pyi
Original file line number Diff line number Diff line change
Expand Up @@ -366,6 +366,8 @@ global___StorageStatistics = StorageStatistics
class ChangeLog(google.protobuf.message.Message):
"""Change log stores changes made by a snapshot.
NEXT_ID: 3
TODO: to replace RowBitmap list by runtime.FileSet (not backward
compatible).
"""

DESCRIPTOR: google.protobuf.descriptor.Descriptor
Expand All @@ -391,6 +393,7 @@ global___ChangeLog = ChangeLog
@typing_extensions.final
class RowBitmap(google.protobuf.message.Message):
"""Mark rows in a file by bitmap.
TODO: to replace it by runtime.DataFile (not backward compatible).
NEXT_ID: 5
"""

Expand Down
8 changes: 4 additions & 4 deletions python/src/space/core/runners.py
Original file line number Diff line number Diff line change
Expand Up @@ -231,10 +231,10 @@ def diff(self,
start_version: Version,
end_version: Version,
batch_size: Optional[int] = None) -> Iterator[ChangeData]:
return read_change_data(self._storage,
self._storage.version_to_snapshot_id(start_version),
self._storage.version_to_snapshot_id(end_version),
ReadOptions(batch_size=batch_size))
return read_change_data(
self._storage, self._storage.version_to_snapshot_id(start_version),
self._storage.version_to_snapshot_id(end_version),
ReadOptions(batch_size=batch_size))

@StorageMixin.transactional
def append(self, data: InputData) -> Optional[rt.Patch]:
Expand Down
133 changes: 106 additions & 27 deletions python/src/space/core/storage.py
Original file line number Diff line number Diff line change
Expand Up @@ -50,6 +50,10 @@

# Initial snapshot ID.
_INIT_SNAPSHOT_ID = 0
# Name for the main branch, by default the read write are using this branch.
_MAIN_BRANCH = "main"
huan233usc marked this conversation as resolved.
Show resolved Hide resolved
# Sets of reference that could not be added as branches or tags by user.
_RESERVED_REFERENCE = [_MAIN_BRANCH]
huan233usc marked this conversation as resolved.
Show resolved Hide resolved


# pylint: disable=too-many-public-methods
Expand All @@ -59,8 +63,11 @@ class Storage(paths.StoragePathsMixin):
Not thread safe.
"""

def __init__(self, location: str, metadata_file: str,
metadata: meta.StorageMetadata):
def __init__(self,
location: str,
metadata_file: str,
metadata: meta.StorageMetadata,
current_branch: Optional[str] = None):
super().__init__(location)
self._fs = create_fs(location)
self._metadata = metadata
Expand All @@ -77,12 +84,21 @@ def __init__(self, location: str, metadata_file: str,
self._physical_schema)

self._primary_keys = set(self._metadata.schema.primary_keys)
self._current_branch = current_branch or _MAIN_BRANCH
self._max_snapshot_id = max(
[ref.snapshot_id for ref in self._metadata.refs.values()] +
[self._metadata.current_snapshot_id])

@property
def metadata(self) -> meta.StorageMetadata:
"""Return the storage metadata."""
return self._metadata

@property
def current_branch(self) -> str:
"""Return the current branch."""
return self._current_branch

@property
def primary_keys(self) -> List[str]:
"""Return the storage primary keys."""
Expand All @@ -103,6 +119,13 @@ def physical_schema(self) -> pa.Schema:
"""Return the physcal schema that uses reference for record fields."""
return self._physical_schema

def get_current_snapshot_id(self, branch: str) -> int:
huan233usc marked this conversation as resolved.
Show resolved Hide resolved
"""Returns the snapshot id for the current branch."""
if branch != _MAIN_BRANCH:
return self.lookup_reference(branch).snapshot_id

return self.metadata.current_snapshot_id

def serializer(self) -> DictSerializer:
"""Return a serializer (deserializer) for the dataset."""
return DictSerializer.create(self.logical_schema)
Expand All @@ -112,7 +135,10 @@ def snapshot(self, snapshot_id: Optional[int] = None) -> meta.Snapshot:
if not specified.
"""
if snapshot_id is None:
snapshot_id = self._metadata.current_snapshot_id
if self.current_branch == _MAIN_BRANCH:
snapshot_id = self._metadata.current_snapshot_id
else:
snapshot_id = self.version_to_snapshot_id(self.current_branch)

if snapshot_id in self._metadata.snapshots:
return self._metadata.snapshots[snapshot_id]
Expand Down Expand Up @@ -185,7 +211,9 @@ def reload(self) -> bool:
return False

metadata = _read_metadata(self._fs, self._location, entry_point)
self.__init__(self.location, entry_point.metadata_file, metadata) # type: ignore[misc] # pylint: disable=unnecessary-dunder-call
self.__init__( # type: ignore[misc] # pylint: disable=unnecessary-dunder-call
self.location, entry_point.metadata_file, metadata,
self.current_branch)
logging.info(
f"Storage reloaded to snapshot: {self._metadata.current_snapshot_id}")
return True
Expand All @@ -199,9 +227,9 @@ def version_to_snapshot_id(self, version: Version) -> int:
if isinstance(version, int):
return version

return self._lookup_reference(version).snapshot_id
return self.lookup_reference(version).snapshot_id

def _lookup_reference(self, tag_or_branch: str) -> meta.SnapshotReference:
def lookup_reference(self, tag_or_branch: str) -> meta.SnapshotReference:
"""Lookup a snapshot reference."""
if tag_or_branch in self._metadata.refs:
return self._metadata.refs[tag_or_branch]
Expand All @@ -210,58 +238,106 @@ def _lookup_reference(self, tag_or_branch: str) -> meta.SnapshotReference:

def add_tag(self, tag: str, snapshot_id: Optional[int] = None) -> None:
"""Add tag to a snapshot"""
self._add_reference(tag, meta.SnapshotReference.TAG, snapshot_id)

def add_branch(self, branch: str) -> None:
"""Add branch to a snapshot"""
self._add_reference(branch, meta.SnapshotReference.BRANCH, None)

def set_current_branch(self, branch: str) -> None:
"""Set current branch for the snapshot."""
if branch != _MAIN_BRANCH:
snapshot_ref = self.lookup_reference(branch)
if snapshot_ref.type != meta.SnapshotReference.BRANCH:
raise errors.UserInputError("{branch} is not a branch.")
huan233usc marked this conversation as resolved.
Show resolved Hide resolved

self._current_branch = branch

def _add_reference(self,
ref_name: str,
ref_type: meta.SnapshotReference.ReferenceType.ValueType,
huan233usc marked this conversation as resolved.
Show resolved Hide resolved
snapshot_id: Optional[int] = None) -> None:
"""Add reference to a snapshot"""
if snapshot_id is None:
snapshot_id = self._metadata.current_snapshot_id

if snapshot_id not in self._metadata.snapshots:
raise errors.VersionNotFoundError(f"Snapshot {snapshot_id} is not found")

if len(tag) == 0:
raise errors.UserInputError("Tag cannot be empty")
if not ref_name:
raise errors.UserInputError("Reference name cannot be empty.")

if ref_name in _RESERVED_REFERENCE:
raise errors.UserInputError("{ref_name} is reserved.")

if tag in self._metadata.refs:
raise errors.VersionAlreadyExistError(f"Reference {tag} already exist")
if ref_name in self._metadata.refs:
raise errors.VersionAlreadyExistError(
f"Reference {ref_name} already exist")

new_metadata = meta.StorageMetadata()
new_metadata.CopyFrom(self._metadata)
tag_ref = meta.SnapshotReference(reference_name=tag,
snapshot_id=snapshot_id,
type=meta.SnapshotReference.TAG)
new_metadata.refs[tag].CopyFrom(tag_ref)
ref = meta.SnapshotReference(reference_name=ref_name,
snapshot_id=snapshot_id,
type=ref_type)
new_metadata.refs[ref_name].CopyFrom(ref)
new_metadata_path = self.new_metadata_path()
self._write_metadata(new_metadata_path, new_metadata)
self._metadata = new_metadata
self._metadata_file = new_metadata_path

def remove_tag(self, tag: str) -> None:
"""Remove tag from metadata"""
if (tag not in self._metadata.refs or
self._metadata.refs[tag].type != meta.SnapshotReference.TAG):
raise errors.VersionNotFoundError(f"Tag {tag} is not found")
self._remove_reference(tag, meta.SnapshotReference.TAG)

def remove_branch(self, branch: str) -> None:
"""Remove branch from metadata"""
if branch == self._current_branch:
raise errors.UserInputError("Cannot remove the current branch.")
huan233usc marked this conversation as resolved.
Show resolved Hide resolved

self._remove_reference(branch, meta.SnapshotReference.BRANCH)

def _remove_reference(
self, ref_name: str,
ref_type: meta.SnapshotReference.ReferenceType.ValueType) -> None:
if (ref_name not in self._metadata.refs
or self._metadata.refs[ref_name].type != ref_type):
raise errors.VersionNotFoundError(
f"Reference {ref_name} is not found or has a wrong type "
"(tag vs branch)")

new_metadata = meta.StorageMetadata()
new_metadata.CopyFrom(self._metadata)
del new_metadata.refs[tag]
del new_metadata.refs[ref_name]
new_metadata_path = self.new_metadata_path()
self._write_metadata(new_metadata_path, new_metadata)
self._metadata = new_metadata
self._metadata_file = new_metadata_path

def commit(self, patch: rt.Patch) -> None:
def commit(self, patch: rt.Patch, branch: str) -> None:
"""Commit changes to the storage.

TODO: only support a single writer; to ensure atomicity in commit by
concurrent writers.

Args:
patch: a patch describing changes made to the storage.
branch: the branch this commit is writing to.
coufon marked this conversation as resolved.
Show resolved Hide resolved
"""
current_snapshot = self.snapshot()

new_metadata = meta.StorageMetadata()
new_metadata.CopyFrom(self._metadata)
new_snapshot_id = self._next_snapshot_id()
new_metadata.current_snapshot_id = new_snapshot_id
if branch and branch != _MAIN_BRANCH:
huan233usc marked this conversation as resolved.
Show resolved Hide resolved
branch_snapshot = self.lookup_reference(branch)
# To block the case delete branch and add a tag during commit
# TODO: move this check out of commit()
if branch_snapshot.type != meta.SnapshotReference.BRANCH:
raise errors.UserInputError("Branch {branch} is no longer exists.")
huan233usc marked this conversation as resolved.
Show resolved Hide resolved
current_snapshot = self.snapshot(branch_snapshot.snapshot_id)
new_metadata.refs[branch].snapshot_id = new_snapshot_id
else:
new_metadata.current_snapshot_id = new_snapshot_id
huan233usc marked this conversation as resolved.
Show resolved Hide resolved
current_snapshot = self.snapshot(self._metadata.current_snapshot_id)
huan233usc marked this conversation as resolved.
Show resolved Hide resolved

new_metadata.last_update_time.CopyFrom(proto_now())
new_metadata_path = self.new_metadata_path()

Expand Down Expand Up @@ -417,7 +493,8 @@ def _initialize_files(self, metadata_path: str) -> None:
raise errors.StorageExistError(str(e)) from None

def _next_snapshot_id(self) -> int:
return self._metadata.current_snapshot_id + 1
self._max_snapshot_id = self._max_snapshot_id + 1
return self._max_snapshot_id

def _write_metadata(
self,
Expand Down Expand Up @@ -473,7 +550,7 @@ def __init__(self, storage: Storage):
self._txn_id = uuid_()
# The storage snapshot ID when the transaction starts.
self._snapshot_id: Optional[int] = None

self._branch = storage.current_branch
coufon marked this conversation as resolved.
Show resolved Hide resolved
self._result: Optional[JobResult] = None

def commit(self, patch: Optional[rt.Patch]) -> None:
Expand All @@ -483,7 +560,9 @@ def commit(self, patch: Optional[rt.Patch]) -> None:
# Check that no other commit has taken place.
assert self._snapshot_id is not None
self._storage.reload()
if self._snapshot_id != self._storage.metadata.current_snapshot_id:
current_snapshot_id = self._storage.get_current_snapshot_id(self._branch)

if self._snapshot_id != current_snapshot_id:
self._result = JobResult(
JobResult.State.FAILED, None,
"Abort commit because the storage has been modified.")
Expand All @@ -493,7 +572,7 @@ def commit(self, patch: Optional[rt.Patch]) -> None:
self._result = JobResult(JobResult.State.SKIPPED)
return

self._storage.commit(patch)
self._storage.commit(patch, self._branch)
coufon marked this conversation as resolved.
Show resolved Hide resolved
self._result = JobResult(JobResult.State.SUCCEEDED,
patch.storage_statistics_update)

Expand All @@ -509,7 +588,7 @@ def __enter__(self) -> Transaction:
# All mutations start with a transaction, so storage is always reloaded for
# mutations.
self._storage.reload()
self._snapshot_id = self._storage.metadata.current_snapshot_id
self._snapshot_id = self._storage.get_current_snapshot_id(self._branch)
logging.info(f"Start transaction {self._txn_id}")
return self

Expand Down
Loading
Loading