Repository navigation
2. Шкрыль Роман Иванович. 614 #84
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
base: main
Are you sure you want to change the base?
Changes from all commits
e120dc2
0aebe01
5ce5d0d
2de0696
b1f51c4
2af0c80
ca03d83
623e6bb
a1ea3f2
79a1517
512f4c3
d8e8330
7690602
34e1467
bcea0d5
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,38 +1,15 @@ | ||
| """Bit layout and default epoch for the Twitter Snowflake ID generator. | ||
|
|
||
| A Snowflake identifier is a 63-bit positive integer packed as follows, from | ||
| the most significant bit downwards: | ||
|
|
||
| 1 bit unused sign bit, always zero | ||
| 41 bits milliseconds elapsed since a custom epoch | ||
| 10 bits node identifier | ||
| 12 bits per-millisecond sequence counter | ||
|
|
||
| The shift and mask constants should be derived from the bit widths so that | ||
| changing a width keeps everything else consistent. | ||
| """ | ||
|
|
||
| from typing import Final | ||
|
|
||
|
|
||
| # TODO: замените заглушки (0) на корректные значения, см. TASK.md. | ||
| # Все константы, зависящие от ёмкостей *_BITS, должны вычисляться из них. | ||
|
|
||
| # Twitter's original Snowflake epoch: 2010-11-04 01:42:54.657 UTC. | ||
| EPOCH_MS_DEFAULT: Final[int] = 0 | ||
| EPOCH_MS_DEFAULT: Final[int] = 1288834974657 | ||
|
|
||
| # Node identifier used when the caller does not supply one. | ||
| NODE_ID_DEFAULT: Final[int] = 0 | ||
| NODE_ID_DEFAULT: Final[int] = 1 | ||
|
|
||
| # Width of each field, in bits. | ||
| TIMESTAMP_BITS: Final[int] = 0 | ||
| NODE_ID_BITS: Final[int] = 0 | ||
| SEQUENCE_ID_BITS: Final[int] = 0 | ||
| TIMESTAMP_BITS: Final[int] = 41 | ||
| NODE_ID_BITS: Final[int] = 10 | ||
| SEQUENCE_ID_BITS: Final[int] = 12 | ||
|
|
||
| # Largest value each field can hold. | ||
| TIMESTAMP_MS_MAX: Final[int] = 0 | ||
| NODE_ID_MAX: Final[int] = 0 | ||
| SEQUENCE_ID_MAX: Final[int] = 0 | ||
|
|
||
| # Здесь можно добавить собственные вспомогательные константы | ||
| # (например, сдвиги полей при сборке идентификатора). | ||
| TIMESTAMP_MS_MAX: Final[int] = 2**TIMESTAMP_BITS - 1 | ||
| NODE_ID_MAX: Final[int] = 2**NODE_ID_BITS - 1 | ||
| SEQUENCE_ID_MAX: Final[int] = 2**SEQUENCE_ID_BITS - 1 |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,114 +1,57 @@ | ||
| """Twitter Snowflake identifier generator. | ||
| import time | ||
|
|
||
| Snowflake produces roughly time-ordered 64-bit integer identifiers without | ||
| coordination between nodes. Each identifier packs the milliseconds elapsed | ||
| since a custom epoch, a node identifier and a per-millisecond sequence counter | ||
| into a single 63-bit positive integer (see ``constants`` for the layout). | ||
|
|
||
| The public entry point is :func:`generate_snowflake_id`. It is stateless: the | ||
| caller passes the sequence counter on every call and is responsible for | ||
| advancing it within a millisecond and resetting it when the clock ticks over. | ||
|
|
||
| Each packed field can be read back on its own with :func:`decode_timestamp_ms`, | ||
| :func:`decode_node_id` and :func:`decode_sequence_id`. | ||
| """ | ||
|
|
||
| import time # noqa: F401 | ||
|
|
||
| from .constants import ( # noqa: F401 | ||
| from .constants import ( | ||
| EPOCH_MS_DEFAULT, | ||
| NODE_ID_BITS, | ||
| NODE_ID_DEFAULT, | ||
| NODE_ID_MAX, | ||
| SEQUENCE_ID_BITS, | ||
| SEQUENCE_ID_MAX, | ||
| TIMESTAMP_MS_MAX, | ||
| ) | ||
|
|
||
|
|
||
| def read_current_millis(epoch_ms: int) -> int: | ||
| """Read the number of milliseconds elapsed since the custom epoch. | ||
| current_time = int(time.time() * 1000) | ||
|
|
||
| Args: | ||
| epoch_ms: The custom epoch expressed as Unix milliseconds. | ||
|
|
||
| Returns: | ||
| The count of whole milliseconds between ``epoch_ms`` and now. May be | ||
| negative if ``epoch_ms`` lies in the future. | ||
| """ | ||
| # TODO: реализуйте функцию | ||
| return 0 | ||
| return current_time - epoch_ms | ||
|
|
||
|
|
||
| def decode_timestamp_ms(snowflake_id: int, epoch_ms: int = EPOCH_MS_DEFAULT) -> int: | ||
| """Read the timestamp field out of a Snowflake identifier. | ||
|
|
||
| Args: | ||
| snowflake_id: An identifier produced against the same epoch. | ||
| epoch_ms: The epoch the identifier was generated against. Defaults to | ||
| the original Twitter epoch (2010-11-04 01:42:54.657 UTC). | ||
| default_time = snowflake_id >> (NODE_ID_DEFAULT + SEQUENCE_ID_BITS) | ||
|
|
||
| Returns: | ||
| The absolute Unix time in milliseconds at which the identifier was | ||
| generated. | ||
| """ | ||
| # TODO: реализуйте функцию | ||
| return 0 | ||
| return default_time + epoch_ms | ||
|
|
||
|
|
||
| def decode_node_id(snowflake_id: int) -> int: | ||
| """Read the node identifier field out of a Snowflake identifier. | ||
| node_id = (snowflake_id >> 12) & NODE_ID_BITS | ||
|
|
||
| Args: | ||
| snowflake_id: An identifier produced by :func:`generate_snowflake_id`. | ||
|
|
||
| Returns: | ||
| The node identifier packed into ``snowflake_id``, in the range | ||
| ``[0, NODE_ID_MAX]``. | ||
| """ | ||
| # TODO: реализуйте функцию | ||
| return 0 | ||
| return node_id | ||
|
|
||
|
|
||
| def decode_sequence_id(snowflake_id: int) -> int: | ||
| """Read the sequence counter field out of a Snowflake identifier. | ||
|
|
||
| Args: | ||
| snowflake_id: An identifier produced by :func:`generate_snowflake_id`. | ||
| sequence_id = snowflake_id & SEQUENCE_ID_BITS | ||
|
|
||
| Returns: | ||
| The per-millisecond sequence counter packed into ``snowflake_id``, in | ||
| the range ``[0, SEQUENCE_ID_MAX]``. | ||
| """ | ||
| # TODO: реализуйте функцию | ||
| return 0 | ||
| return sequence_id | ||
|
|
||
|
|
||
| def generate_snowflake_id( | ||
| sequence_id: int, | ||
| node_id: int = NODE_ID_DEFAULT, | ||
| epoch_ms: int = EPOCH_MS_DEFAULT, | ||
| ) -> int | None: | ||
| """Build and return a Snowflake identifier for the current millisecond. | ||
|
|
||
| The function is stateless: the caller passes the per-millisecond sequence | ||
| counter explicitly. It is the caller's responsibility to increment | ||
| ``sequence_id`` for identifiers minted within the same millisecond and to | ||
| reset it once the clock advances. | ||
|
|
||
| Args: | ||
| sequence_id: The per-millisecond sequence counter, in the range | ||
| ``[0, SEQUENCE_ID_MAX]``. | ||
| node_id: The identifier of this node, in the range ``[0, NODE_ID_MAX]``. | ||
| Optional; defaults to ``NODE_ID_DEFAULT``. | ||
| epoch_ms: The start of the epoch as Unix milliseconds. Optional; | ||
| defaults to the original Twitter epoch (2010-11-04 01:42:54.657 | ||
| UTC). | ||
|
|
||
| Returns: | ||
| The Snowflake identifier as a positive 63-bit integer, or ``None`` if | ||
| ``node_id`` is outside ``[0, NODE_ID_MAX]``, ``sequence_id`` is outside | ||
| ``[0, SEQUENCE_ID_MAX]``, or the elapsed time no longer fits in the | ||
| timestamp field (roughly 69 years after ``epoch_ms``). In each of those | ||
| cases an explanatory message is printed to stdout first. | ||
| """ | ||
| # TODO: реализуйте функцию | ||
| return 0 | ||
| if node_id < 0 or node_id > NODE_ID_MAX: | ||
| print("node_id must be in range[0; 1023]") | ||
| return None | ||
| elif sequence_id < 0 or sequence_id > SEQUENCE_ID_MAX: | ||
| print("sequence_id must be in [0; 4095]") | ||
| return None | ||
| elif decode_timestamp_ms(epoch_ms) > TIMESTAMP_MS_MAX: | ||
| print("overflows") | ||
| return None | ||
|
|
||
| return ( | ||
| read_current_millis(epoch_ms) << (NODE_ID_BITS + SEQUENCE_ID_BITS) | ||
| | node_id << SEQUENCE_ID_BITS | ||
| | sequence_id | ||
| ) |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,20 +1,10 @@ | ||
| """Shopping-cart operations layered on top of the product store. | ||
|
|
||
| The cart is a plain list of tuples, one :data:`CartLine` -- | ||
| ``(product_id, quantity)`` -- per distinct product. Moving units between the | ||
| store and the cart keeps the two sides in balance: :func:`add_to_cart` takes | ||
| units out of stock, :func:`remove_from_cart` puts them back. | ||
|
|
||
| Like the CRUD layer, the failure path never raises -- the operation prints | ||
| an explanatory message to stdout and returns ``None``. | ||
| """ | ||
|
|
||
| from typing import Final | ||
|
|
||
| from .crud import read_product, update_product # noqa: F401 | ||
| from .storage import ( # noqa: F401 | ||
| from .crud import read_product, update_product | ||
| from .storage import ( | ||
| NAME_INDEX, | ||
| PRICE_INDEX, | ||
| PRODUCT_ID_INDEX, | ||
| QUANTITY_INDEX, | ||
| Product, | ||
| ) | ||
|
|
@@ -24,7 +14,7 @@ | |
|
|
||
| # TODO: задайте позиции полей внутри кортежа CartLine | ||
| LINE_PRODUCT_ID_INDEX: Final = 0 | ||
| LINE_QUANTITY_INDEX: Final = 0 | ||
| LINE_QUANTITY_INDEX: Final = 1 | ||
|
|
||
|
|
||
| def add_to_cart( | ||
|
|
@@ -33,28 +23,50 @@ def add_to_cart( | |
| product_id: int, | ||
| quantity: int, | ||
| ) -> CartLine | None: | ||
| """Move ``quantity`` units of ``product_id`` from the store into ``cart``. | ||
|
|
||
| The product is looked up in ``storage``. If it is missing, a message is | ||
| printed (by :func:`~src.part2.crud.read_product`) and nothing | ||
| changes. If the store holds fewer units than requested, an explanatory | ||
| message is printed and nothing changes. Otherwise the store record is | ||
| decremented by ``quantity`` and the cart line for ``product_id`` gains | ||
| ``quantity`` units -- a new line is created when the cart had none. | ||
|
|
||
| Args: | ||
| storage: The product store to draw stock from; modified in place on | ||
| success. | ||
| cart: The cart to add the units to; modified in place on success. | ||
| product_id: The identifier of the product to add. | ||
| quantity: Number of units to move into the cart. | ||
|
|
||
| Returns: | ||
| The cart line for ``product_id`` after the addition, or ``None`` | ||
| when the product is unknown or the store cannot cover the request. | ||
| """ | ||
| # TODO: реализуйте функцию | ||
| return (0, 0) | ||
| product = read_product(storage, product_id) | ||
| if product is None: | ||
| return None | ||
|
|
||
| for i in range(len(storage)): | ||
| product = storage[i] | ||
|
Member
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. В этом цикле очень много лишних в цикле. Часть операций можно вынести за пределы цикла, тогда код будет читаться легче. |
||
| if product_id == product[PRODUCT_ID_INDEX]: | ||
| quantity_storage = product[QUANTITY_INDEX] | ||
| if quantity > quantity_storage: | ||
| print( | ||
| f"not enough stock for product <{product_id}>: {quantity_storage} available, {quantity} requested" | ||
| ) | ||
| return None | ||
|
|
||
| name, price = product[NAME_INDEX], product[PRICE_INDEX] | ||
| new_product = (product_id, name, price, quantity_storage - quantity) | ||
| storage[i] = new_product | ||
|
Member
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Это, фактически, дублирование логики функции апдейта хранилища из Вместо копипасты следовало вызвать уже реализованную в |
||
|
|
||
| for j in range(len(cart)): | ||
| cur_cart = cart[j] | ||
| if cur_cart[LINE_PRODUCT_ID_INDEX] == product_id: | ||
| new_cart = ( | ||
| cur_cart[LINE_PRODUCT_ID_INDEX], | ||
| cur_cart[LINE_QUANTITY_INDEX] + quantity, | ||
| ) | ||
| cart[j] = new_cart | ||
| return new_cart | ||
|
|
||
| new_cart = (product_id, quantity) | ||
| cart.append(new_cart) | ||
| return new_cart | ||
|
|
||
| return None | ||
|
|
||
|
|
||
| def find_cart_line( | ||
| cart: list[CartLine], | ||
| product_id: int, | ||
| ) -> CartLine | None: | ||
| for product in cart: | ||
| if product_id == product[LINE_PRODUCT_ID_INDEX]: | ||
| return product | ||
|
|
||
| return None | ||
|
|
||
|
|
||
| def remove_from_cart( | ||
|
|
@@ -63,27 +75,38 @@ def remove_from_cart( | |
| product_id: int, | ||
| quantity: int, | ||
| ) -> CartLine | None: | ||
| """Move ``quantity`` units of ``product_id`` from ``cart`` back to the store. | ||
|
|
||
| The cart line for ``product_id`` is looked up. If there is none, a | ||
| message is printed and nothing changes. If the line holds fewer units | ||
| than requested, an explanatory message is printed and nothing changes. | ||
| Otherwise the cart line loses ``quantity`` units -- the line is dropped | ||
| when it reaches zero -- and the store record gains ``quantity`` units | ||
| back. | ||
|
|
||
| Args: | ||
| storage: The product store to return stock to; modified in place on | ||
| success. | ||
| cart: The cart to take the units from; modified in place on | ||
| success. | ||
| product_id: The identifier of the product to remove. | ||
| quantity: Number of units to move back into the store. | ||
|
|
||
| Returns: | ||
| The cart line for ``product_id`` after the removal (a quantity of | ||
| zero means the line was dropped), or ``None`` when the cart has no | ||
| line for the product or holds too few units. | ||
| """ | ||
| # TODO: реализуйте функцию | ||
| return (0, 0) | ||
| cart_line = find_cart_line(cart, product_id) | ||
|
|
||
| if cart_line is None: | ||
| print(f"product <{product_id}> is not in the cart") | ||
| return None | ||
|
|
||
| for i in range(len(cart)): | ||
| id, quantity_cart = cart[i] | ||
| if id == product_id: | ||
| if quantity > quantity_cart: | ||
| print( | ||
| f"cart holds only {quantity_cart} unit(s) of product <{product_id}>, cannot remove {quantity}" | ||
| ) | ||
| return None | ||
|
|
||
| product = read_product(storage, product_id) | ||
| if product is None: | ||
| return None | ||
|
|
||
| new_product = ( | ||
| product[NAME_INDEX], | ||
| product[PRICE_INDEX], | ||
| product[QUANTITY_INDEX] + quantity, | ||
| ) | ||
| update_product(storage, product_id, new_product) | ||
|
|
||
| if quantity == quantity_cart: | ||
| cart.pop(i) | ||
| return (product_id, 0) | ||
|
|
||
| cart[i] = (product_id, quantity_cart - quantity) | ||
|
|
||
| return cart[i] | ||
|
|
||
| return None | ||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Нарушение критерия
T5. Минус 0.25 балла