Add Concurrent IO #469

b-studios · 2024-05-24T16:02:06Z

This replaces #432 and backports its changes on top of #449.

… backport-concurrent-io

effekt/shared/src/main/scala/effekt/generator/llvm/Transformer.scala

libraries/llvm/buffer.c

libraries/llvm/io.c

libraries/llvm/main.c

b-studios · 2024-06-06T15:15:01Z

libraries/llvm/rts.ll

@@ -1,5 +1,9 @@
 ; Run-Time System

+attributes #0 = { "ccc" }


@phischu I added this in experiments of trying to fix the calling convention. Either we annotate it everywhere where we call into c or drop it here. What do you think?

b-studios · 2024-06-06T15:24:32Z

I think this is finally ready for review; @phischu there are still some things we need to address (potentially after this PR):

consistently naming functions and types within C and LLVM (I would need your input there)
fixing Buffer to be a Pos
adding more features to files, network, and console to LLVM (this can be done after merging this PR)
deciding which of the 3 buffer implementations we now want (also after this PR)
make error reporting consistent across all file operations. Also allow promises to take errors (also this I would prefer to do after the PR is merged).
implement concurrent IO for other backends

libraries/common/effekt.effekt

Backport changes from #432 to unified stdlib

a8e256a

b-studios mentioned this pull request May 24, 2024

Concurrent IO #432

Closed

b-studios and others added 26 commits May 24, 2024 18:04

Update error messages

ae1c830

Allow some limited form of first-class functions

418150f

Fix c_buffer_as_null_terminated_string

a9355f4

Add byte as a builtin type

d32d4fd

Allow some limited form of first-class functions

db21ca4

Reenable some LLVM tests

7457d8d

Add more tests

520745d

Fix some tests where LLVM is not broken, but show is missing

1808f8e

Hotfix: Box/unbox boxed blocks

baed38e

Allow Boxed types as type arguments in machine

7f5b034

Unignore tests that pass now (#476)

288a33f

Remove overly restrictive assertion

ec14b19

Actually run benchmarks

66162da

Box/unbox boxed blocks (#476)

a01a0d2

Merge remote-tracking branch 'origin/llvm-first-class-functions' into…

cf4a3bd

… backport-concurrent-io

Current draft of libuv-based io library

852db25

Start supporting error codes

3c8a3de

Free path-string to avoid leaking memory

4b75962

Implement the timer bindings in C

1f4c34f

Define bindings in C, not LLVM

84bbcc5

Support slicing of buffers

d32c937

Add tests for slicing

d5cd72f

Add very simple promise draft that only allows awaiting once

f27addc

Comment out eraser since it currently segfaults

1709dd3

Fix eraser by sharing on resolve

1f28ccb

Generalize to multiple callbacks by maintaining a linked list

fb0f0bc

This was referenced May 31, 2024

LLVM first class functions #475

Closed

Mutable arrays in the LLVM backend #477

Merged

b-studios added 9 commits June 4, 2024 11:56

Install libuv separately

0d19d1d

implement copy and remove in Chez

58ed248

Ignore tests in Chez and ML

6ad80df

Ignore EUNATCH error for now

370d99c

Slice to correct length (otherwise non-visible 0s will be shown)

81d02cc

Bracket all globals

89b4bc5

Use the copied versions and do not deref again

6860f52

Rename

755f96e

Fix typo

9aacd87

jiribenes mentioned this pull request Jun 5, 2024

Rename constructors of collections #484

Closed

b-studios added 4 commits June 6, 2024 12:05

Pass late arguments by reference

7427bfb

rename toBytes to fromUTF8 and show to toUTF8

0c8dfce

Merge branch 'master' into backport-concurrent-io

342206a

Add boxing of bytes

c11a4e1