logos-messaging/pm
1
0
Fork 0
mirror of https://github.com/logos-messaging/pm.git synced 2026-02-05 14:53:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

improve probability statement

Browse Source
This commit is contained in:
fryorcraken 2025-06-04 12:55:09 +10:00
parent dcace8252f
commit 2c41d007ed
No known key found for this signature in database
GPG Key ID: A82ED75A8DFC50A4
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
FURPS/application/sds.md
View File

@ -9,22 +9,22 @@
## Usability ## Usability
1. When sending a message to a large group, the application knows whether it was received by other group members, with high probability 1. When sending a message to a large group, the application learns whether it was received by other group members.
2. When being part of a large group, the application is able to know whether they are missing messages 2. When being part of a large group, the application is able to know whether they are missing messages.
3. When being part of a large group, the application is able to retrieve missed messages 3. When being part of a large group, the application is able to retrieve missed messages.
## Reliability ## Reliability
1. When sending a message in a group, the publisher can ascertain the message was received by at least one recipient **(Vac-QA)** 1. When sending a message in a group, the publisher can ascertain the message was received by at least one recipient **(Vac-QA)**.
2. When receiving messages in a group, the receiver can ascertain most missed messages by receiving one recent message from the group. **(Vac-QA)** 2. When receiving messages in a group, the receiver can ascertain most missed messages by receiving one recent message from the group. **(Vac-QA)**
## Performance ## Performance
Assuming messages in a group are sent at least every `S` seconds. Assuming messages in a group are sent at least every `S` seconds.
1. When sending a message in a group, the publisher can ensure the message was received by at least one recipient within `S` seconds **(Vac-DST)** 1. When sending a message in a group, the publisher can ensure the message was received by at least one recipient within `S` seconds **(Vac-DST)**.
2. When receiving messages in a group, the receiver can detect 90% of missed messages within `3*S` seconds 2. When receiving messages in a group, the receiver can detect 90% of missed messages within `3*S` seconds.
3. When receiving messages in group, the receiver can reach eventual consistency within `6*S` seconds **(Vac-DST)** 3. When receiving messages in group, the receiver can reach eventual consistency within `6*S` seconds **(Vac-DST)**.
## Supportability ## Supportability