Skip to content

Conversation

@mrBliss
Copy link
Contributor

@mrBliss mrBliss commented Mar 24, 2020

No description provided.

@mrBliss mrBliss added the consensus issues related to ouroboros-consensus label Mar 24, 2020
@mrBliss mrBliss requested a review from nc6 March 24, 2020 13:27
@mrBliss mrBliss force-pushed the mrBliss/update-cardano-ledger-specs branch from a0531b4 to 231509a Compare March 24, 2020 13:45
@mrBliss
Copy link
Contributor Author

mrBliss commented Mar 24, 2020

bors r+

iohk-bors bot added a commit that referenced this pull request Mar 24, 2020
1627: CancelIoEx and overal review of Win32-network r=coot a=coot

The primary goal of this PR was to add `CancelIoEx` to fix #1574.  In doing so I changed the interface and the end result is that:

* we don't use C type level wrappers for windows syscalls any more (apart from `GetQueuedCompletionStatus` where we need to use a windwo kernel C macro.
* using `GADTs` to ensure that we use the right combination of `OVERLAPPED` / `WSAOVERLAPPED`, `HANDLE` / `SOCKET` and `ErrCode` / `WsaErrCode`.
* there is a closed type family which ensures that some of the `castPtr` usage is actually safe, it is not exposed.  It could be removed, but then using `castPtr` would leak out to various modules - so I preferred the more elegant and local, though type havier approach.
* more tests, especially for error conditions in which we need to assure that we are not deallocating the stable pointer twice 💣 

This PR is done on top of `coot/windows-vectored-io` (and it merges into that branch) - this makes the scope of this PR adequate for the proposed changes.  For the moment the windows stuff is stacked on CI, but when devops will help with it I will be able to merge all the PRs in turn.

1840: Update dependency on cardano-ledger-specs r=mrBliss a=mrBliss



Co-authored-by: Marcin Szamotulski <[email protected]>
Co-authored-by: Thomas Winant <[email protected]>
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Mar 24, 2020

Build failed (retrying...)

iohk-bors bot added a commit that referenced this pull request Mar 24, 2020
1840: Update dependency on cardano-ledger-specs r=mrBliss a=mrBliss



Co-authored-by: Thomas Winant <[email protected]>
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Mar 24, 2020

Build failed

@mrBliss mrBliss force-pushed the mrBliss/update-cardano-ledger-specs branch from 231509a to fcc6130 Compare March 24, 2020 16:51
@mrBliss
Copy link
Contributor Author

mrBliss commented Mar 24, 2020

bors r+

@iohk-bors
Copy link
Contributor

iohk-bors bot commented Mar 24, 2020

@iohk-bors iohk-bors bot merged commit 3e150c3 into master Mar 24, 2020
@iohk-bors iohk-bors bot deleted the mrBliss/update-cardano-ledger-specs branch March 24, 2020 18:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

consensus issues related to ouroboros-consensus

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants