8000 observing exception in the wild · Issue #39 · robur-coop/utcp · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

observing exception in the wild #39

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.

Sign up for GitHub

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

Jump to bottom
Open
hannesm opened this issue Mar 10, 2025 · 2 comments
Open

observing exception in the wild #39

hannesm opened this issue Mar 10, 2025 · 2 comments

Comments

@hannesm
Copy link
Contributor
hannesm commented Mar 10, 2025 
console 2025-03-10T01:13:28-00:00: Fatal error: exception File "duniverse/utcp/src/input.ml", line 913, characters 22-28: Assertion failed
console 2025-03-10T01:13:28-00:00: Raised at Utcp__Input.di3_ststuff in file "duniverse/utcp/src/input.ml", line 913, characters 22-34
console 2025-03-10T01:13:28-00:00: Called from Utcp__Input.di3_datastuff_really in file "duniverse/utcp/src/input.ml", line 802, characters 4-49
console 2025-03-10T01:13:28-00:00: Called from Utcp__Input.deliver_in_3.(fun) in file "duniverse/utcp/src/input.ml", line 939, characters 12-73
console 2025-03-10T01:13:28-00:00: Called from Utcp__Input.handle_conn in file "duniverse/utcp/src/input.ml", line 1076, characters 26-62
console 2025-03-10T01:13:28-00:00: Called from Stdlib__Result.bind in file "result.ml" (inlined), line 23, characters 36-39
console 2025-03-10T01:13:28-00:00: Called from Utcp__Input.handle_conn in file "duniverse/utcp/src/input.ml", line 1060, characters 6-1023
console 2025-03-10T01:13:28-00:00: Called from Utcp__Input.handle_segment in file "duniverse/utcp/src/input.ml", line 1100, characters 19-48
console 2025-03-10T01:13:28-00:00: Called from Utcp__Input.handle_buf in file "duniverse/utcp/src/input.ml", line 1115, characters 19-46
console 2025-03-10T01:13:28-00:00: Called from Utcp_mirage.Make.input in file "duniverse/utcp/mirage/utcp_mirage.ml", line 164, characters 24-69
@hannesm
Copy link
Contributor Author
hannesm commented Mar 10, 2025

state is Last_ack, and a FIN was received --> we fail with assertion false -- but maybe we should look into the HOL model and also capture a packet trace of such a TCP connection (to figure out where and why we get into this situation).

@hannesm
Copy link
Contributor Author
hannesm commented May 17, 2025

I looked through the HOL code, that looks fine and very much like the OCaml code. I've now added a log message mentioning the connection, and also started a full packet dump. So hopefully in a few hours we'll get a packet trace. :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@hannesm
0