profile
viewpoint
Stefan Lankes stlankes RWTH Aachen University Aachen, Germany

ssrg-vt/hermitux 230

A binary-compatible unikernel

hermitcore/uhyve 35

A minimal hypervisor for RustyHermit

hermitcore/hermit-playground 9

A playground to build C/C++/Go/Fortran applications on top of RustyHermit

ssrg-vt/libhermitMPK 3

Intra-Unikernel Isolation with Intel Memory Protection Keys

Harry-R/rust-aarch64 0

Rust library to use aarch64 specific functionality and registers.

ssrg-vt/HermitCore 0

A Unikernel for Extreme-Scale Computing

push eventhermitcore/libhermit-rs

bors[bot]

commit sha 084f98d6b91a9af7b5f3792701d8e495e23e46ff

Deploy to GitHub pages

view details

push time in an hour

push eventhermitcore/libhermit-rs

Stefan Lankes

commit sha 10e2d834ca9f68ab84532f85468e6fda4f2e0531

disable interrupts during programming of the ICR

view details

Stefan Lankes

commit sha f919f972750b1afc867e57213aa319586f70772a

use per default X2APIC

view details

Stefan Lankes

commit sha 1dac64323f88a230a5004891d332253bdb40cd02

Revert "use per default X2APIC" This reverts commit f919f972750b1afc867e57213aa319586f70772a.

view details

Stefan Lankes

commit sha 5b193c020949d2cdc82a1017353f71eaf3b48aa5

disable interrupts during programming the APIC timer

view details

Stefan Lankes

commit sha 68f8d318d5000d0031805eefa13970dd8c3fb776

define integration tests as experimental

view details

Stefan Lankes

commit sha f5ada5b925eab4af4f3564d215919e6082916bdf

add debug messages if interrupt is pending Signed-off-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>

view details

Stefan Lankes

commit sha 3f76fd37fd52eb45cacc1723067a2ac3f3f21a25

continue integration tests on error Signed-off-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>

view details

Stefan Lankes

commit sha a6002fa8b5a08aa928191988931b862dbc6e1aeb

remove typos Signed-off-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>

view details

Stefan Lankes

commit sha b43645fe2536a643ce08f77fee6ee2f9ca91cf7e

Only after a thousand times no task has been found, the core changes to the halt state Signed-off-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>

view details

Stefan Lankes

commit sha 8f6fd1b034943d0ff7144fb9ec75e759d7ec2f72

Revert "add debug messages if interrupt is pending" This reverts commit f5ada5b925eab4af4f3564d215919e6082916bdf.

view details

Stefan Lankes

commit sha 26738e738275e98d9ad5fc6ca2c8a7050cc25f5c

avoiding integer overflow

view details

bors[bot]

commit sha ccf8abc232b812b0c52c01f415f322013abc5bcb

Merge #125 125: disable interrupts during programming of the ICR r=stlankes a=stlankes ICR programming should be not-interruptable to avoid corrupted values Co-authored-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>

view details

push time in an hour

PR merged hermitcore/libhermit-rs

disable interrupts during programming of the ICR

ICR programming should be not-interruptable to avoid corrupted values

+85 -58

6 comments

4 changed files

stlankes

pr closed time in an hour

delete branch hermitcore/libhermit-rs

delete branch : staging.tmp

delete time in 2 hours

push eventhermitcore/libhermit-rs

Stefan Lankes

commit sha f5ada5b925eab4af4f3564d215919e6082916bdf

add debug messages if interrupt is pending Signed-off-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>

view details

Stefan Lankes

commit sha 3f76fd37fd52eb45cacc1723067a2ac3f3f21a25

continue integration tests on error Signed-off-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>

view details

Stefan Lankes

commit sha a6002fa8b5a08aa928191988931b862dbc6e1aeb

remove typos Signed-off-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>

view details

Stefan Lankes

commit sha b43645fe2536a643ce08f77fee6ee2f9ca91cf7e

Only after a thousand times no task has been found, the core changes to the halt state Signed-off-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>

view details

Stefan Lankes

commit sha 8f6fd1b034943d0ff7144fb9ec75e759d7ec2f72

Revert "add debug messages if interrupt is pending" This reverts commit f5ada5b925eab4af4f3564d215919e6082916bdf.

view details

Stefan Lankes

commit sha 26738e738275e98d9ad5fc6ca2c8a7050cc25f5c

avoiding integer overflow

view details

bors[bot]

commit sha ccf8abc232b812b0c52c01f415f322013abc5bcb

Merge #125 125: disable interrupts during programming of the ICR r=stlankes a=stlankes ICR programming should be not-interruptable to avoid corrupted values Co-authored-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>

view details

push time in 2 hours

push eventhermitcore/libhermit-rs

Stefan Lankes

commit sha 10e2d834ca9f68ab84532f85468e6fda4f2e0531

disable interrupts during programming of the ICR

view details

Stefan Lankes

commit sha f919f972750b1afc867e57213aa319586f70772a

use per default X2APIC

view details

Stefan Lankes

commit sha 1dac64323f88a230a5004891d332253bdb40cd02

Revert "use per default X2APIC" This reverts commit f919f972750b1afc867e57213aa319586f70772a.

view details

Stefan Lankes

commit sha 5b193c020949d2cdc82a1017353f71eaf3b48aa5

disable interrupts during programming the APIC timer

view details

Stefan Lankes

commit sha 68f8d318d5000d0031805eefa13970dd8c3fb776

define integration tests as experimental

view details

Stefan Lankes

commit sha f5ada5b925eab4af4f3564d215919e6082916bdf

add debug messages if interrupt is pending Signed-off-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>

view details

Stefan Lankes

commit sha 3f76fd37fd52eb45cacc1723067a2ac3f3f21a25

continue integration tests on error Signed-off-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>

view details

Stefan Lankes

commit sha a6002fa8b5a08aa928191988931b862dbc6e1aeb

remove typos Signed-off-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>

view details

Stefan Lankes

commit sha b43645fe2536a643ce08f77fee6ee2f9ca91cf7e

Only after a thousand times no task has been found, the core changes to the halt state Signed-off-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>

view details

Stefan Lankes

commit sha 8f6fd1b034943d0ff7144fb9ec75e759d7ec2f72

Revert "add debug messages if interrupt is pending" This reverts commit f5ada5b925eab4af4f3564d215919e6082916bdf.

view details

Stefan Lankes

commit sha 26738e738275e98d9ad5fc6ca2c8a7050cc25f5c

avoiding integer overflow

view details

bors[bot]

commit sha 4e7699081e419e44a253e10366c97556c4f6a37e

[ci skip][skip ci][skip netlify] -bors-staging-tmp-125

view details

push time in 2 hours

create barnchhermitcore/libhermit-rs

branch : staging.tmp

created branch time in 2 hours

PR closed linux-rdma/rdma-core

Add masked atomic opcodes

Add Masked Cmp & Swap and Masked Fetch & Add opcodes for IBV_WC* and IBV_WR*, than use them in libhns.

+73 -0

3 comments

4 changed files

Li-Weihang

pr closed time in 3 hours

pull request commentlinux-rdma/rdma-core

Add masked atomic opcodes

May take some time to prepare the man pages and pyverbs, so close this MR at first.

Li-Weihang

comment created time in 3 hours

PR merged tock/tock

Stack size update for STM32F4 boards

Pull Request Overview

This pull request fixes the stack size requirement for STM32F4 boards. Due to the new board instantiation #2188, the required stack size has to be doubled as @hudson-ayers suggested in https://github.com/tock/tock/pull/2188#discussion_r529676461.

Testing Strategy

This pull request was tested using an STM32f412GDiscovery board.

TODO or Help Wanted

@krady21, @cosmindanielradu19, @teonaseverin please test using the ~STM32F3Discovery and~ Nucleo. Running the blink app is just enough.

Documentation Updated

  • [x] Updated the relevant files in /docs, or no updates are required.

Formatting

  • [x] Ran make prepush.
+3 -3

6 comments

3 changed files

alexandruradovici

pr closed time in 5 hours

push eventtock/tock

Alexandru Radovici

commit sha 191e5939a1fdb2461be4b82efcf184d181a70efe

stack size

view details

Alexandru Radovici

commit sha d3f101a211284211af350b25a6e07926350aae8b

stm boards

view details

Alexandru Radovici

commit sha 8d7936eebe40d244a2482ad2d0e07134c418bbd7

reverted stm32f3 as it does not seem to work

view details

bors[bot]

commit sha 9550f3b5d002af69774183ab311f4bdb8fab6245

Merge #2223 2223: Stack size update for STM32F4 boards r=hudson-ayers a=alexandruradovici ### Pull Request Overview This pull request fixes the stack size requirement for STM32F4 boards. Due to the new board instantiation #2188, the required stack size has to be doubled as @hudson-ayers suggested in https://github.com/tock/tock/pull/2188#discussion_r529676461. ### Testing Strategy This pull request was tested using an STM32f412GDiscovery board. ### TODO or Help Wanted @krady21, @cosmindanielradu19, @teonaseverin please test using the ~STM32F3Discovery and~ Nucleo. Running the blink app is just enough. ### Documentation Updated - [x] Updated the relevant files in `/docs`, or no updates are required. ### Formatting - [x] Ran `make prepush`. Co-authored-by: Alexandru Radovici <msg4alex@gmail.com>

view details

push time in 5 hours

push eventtock/tock

Alistair Francis

commit sha 2f194b3dc75191ddce5c38379e5bb761cbf0d967

lowrisc: flash_ctrl: Conver erase_page to be async Signed-off-by: Alistair Francis <alistair.francis@wdc.com>

view details

Garret Kelly

commit sha 17603209e71db4dbb90603667862336d32108f9d

boards: Rename opentitan to earlgrey-nexysvideo Signed-off-by: Garret Kelly <gdk@google.com>

view details

Garret Kelly

commit sha b133ef7e890ebaf6655d3bdfaba1052ef3ceca9b

docs: Update references to now-stale `opentitan` board Signed-off-by: Garret Kelly <gdk@google.com>

view details

Garret Kelly

commit sha db90a2176e862d168fa68cb9e704a3277a6154e2

Merge pull request #2206 from gkelly/rename-opentitan boards: Rename opentitan to earlgrey-nexysvideo

view details

Alistair Francis

commit sha 2007bfbd9783604b7e3530686da18348e1c2d93a

apollo3/iom: Ensure we don't write more data then requested Signed-off-by: Alistair Francis <alistair.francis@wdc.com>

view details

Alistair Francis

commit sha 1166e3e55547f67ef8233b5d4f25e93e73c1e7b7

apollo3/iom: Correct the order of the less then 4 byte writes Signed-off-by: Alistair Francis <alistair.francis@wdc.com>

view details

bors[bot]

commit sha cf75f8e6a50b10e3cea9ca8b3373c7549fce83e2

Merge #2204 2204: lowrisc: flash_ctrl: Convert erase_page to be async r=alistair23 a=alistair23 ### Pull Request Overview Convert erase_page to be async ### Testing Strategy Running on OpenTitan. ### TODO or Help Wanted N/A ### Documentation Updated - [X] Updated the relevant files in `/docs`, or no updates are required. ### Formatting - [X] Ran `make prepush`. Co-authored-by: Alistair Francis <alistair.francis@wdc.com>

view details

Branden Ghena

commit sha 4d6bbf7b3c3ba4cae2b8afc4bde92140afe0f79c

Core WG call notes November, 20th

view details

Branden Ghena

commit sha 80141d79ed722072886d37594a50de29f1ac6931

Forgot a heading

view details

Brad Campbell

commit sha 87b89aad6482dd08dbef58303e2ecabf520e07ab

Merge pull request #2207 from alistair23/alistair/apollo3-i2c-fixes Apollo3: A few more I2C fixes

view details

Berkus Decker

commit sha 4fe74064c030cbe9f65b953825df60fc885e69c2

Add missing IntLike implementation For u128 type.

view details

Ali Shirvani

commit sha faab8f52329624f77e19629f8eeafa85f1ca1b85

doc: fix broken link.

view details

Leon Schuermann

commit sha 8c41cfb2bd81a5bfc91a84ebf86c66468e556177

GitHub actions: install test dependencies with apt only on Ubuntu

view details

Leon Schuermann

commit sha 9b07e112ca1c97b294692dd1c3a616865a5f9db6

GitHub actions: update package repositories on test-job

view details

Leon Schuermann

commit sha aaf6302efda66a96f92c59d220e277c1aed19df0

GitHub actions: update package repositories on qemu-job

view details

Pat Pannuto

commit sha bb68ac557019a2cee06d165ec821dc437cf670a9

Merge pull request #2211 from alishir/patch-1 doc: fix broken link.

view details

bors[bot]

commit sha 74c937e94a937f8b807c221fc34fad8fd19ed07e

Merge #2212 2212: Unbreak CI by updating the package repositories r=ppannuto a=lschuermann ### Pull Request Overview This pull request - updates the package repositories on Ubuntu-runners where packages are installed using apt - calls to `apt` only when running on a `ubuntu-latest` machine This unbreaks the `ci-tests` job on `ubuntu-latest`. It also makes the CI more resilient to outdated package repositories in the provided images from GitHub. Furthermore, it doesn't fail the _Install dependencies_ job silently to succeed on a macOS machine, which causes real errors on Ubuntu to be ignored. ### Testing Strategy You're looking at it. ### Documentation Updated - [x] Updated the relevant files in `/docs`, or no updates are required. ### Formatting - [x] Ran `make prepush`. Co-authored-by: Leon Schuermann <leon@is.currently.online>

view details

bors[bot]

commit sha 73f3b2dff2b1a6bdaff06e4d89d8f2af1ed4ea68

Merge #2209 #2210 2209: Core WG call notes November, 20th r=ppannuto a=brghena ### Pull Request Overview Notes from the Core Working Group call. Friday, November 20th, 2020. ### Testing Strategy Spellcheck ### TODO or Help Wanted Just check that I didn't mischaracterize what you were saying. ### Documentation Updated - [X] Updated the relevant files in `/docs`, or no updates are required. ### Formatting - [N/A] Ran `make prepush`. 2210: Add missing IntLike implementation r=ppannuto a=berkus For u128 type. - [x] Updated the relevant files in `/docs`, or no updates are required. - [x] Ran `make prepush`. I'm using this type to define a very wide bitfield type and need the impl. Co-authored-by: Branden Ghena <brghena@berkeley.edu> Co-authored-by: Berkus Decker <berkus@users.noreply.github.com>

view details

Hudson Ayers

commit sha 5da53b8a819bc5d28e1eea9c897b10dfc91d1def

bring back borrow_interior_mutable_const lint

view details

Brad Campbell

commit sha 3de4e1f1953d49eb5fc45818750b5fa6f8fab38f

Merge pull request #2217 from hudson-ayers/less-clippy-allows bring back borrow_interior_mutable_const clippy lint

view details

push time in 5 hours

delete branch tock/tock

delete branch : staging.tmp

delete time in 5 hours

push eventtock/tock

Alexandru Radovici

commit sha 191e5939a1fdb2461be4b82efcf184d181a70efe

stack size

view details

Alexandru Radovici

commit sha d3f101a211284211af350b25a6e07926350aae8b

stm boards

view details

Alexandru Radovici

commit sha 8d7936eebe40d244a2482ad2d0e07134c418bbd7

reverted stm32f3 as it does not seem to work

view details

bors[bot]

commit sha 86d1c8bf4493561def3c3835f830b4b8d4ca5646

[ci skip][skip ci][skip netlify] -bors-staging-tmp-2223

view details

push time in 5 hours

create barnchtock/tock

branch : staging.tmp

created branch time in 5 hours

pull request commenttock/tock

Stack size update for STM32F4 boards

Merging this as a quick fix would be helpful as no STM boards work right now.

alexandruradovici

comment created time in 7 hours

pull request commenttock/tock

Stm32f412g: Add rng support

Tested this with the changes added in #2223 and it works now.

krady21

comment created time in 8 hours

issue commentmpi-forum/mpi-issues

Formatting: vertical spacing after example environment

This would require a no-no vote since it's after the deadline.

devreal

comment created time in 10 hours

pull request commentDynamoRIO/dynamorio

i#2433: Implement opnd_compute_address for AArch64

Hi @derekbruening @abhinav92003, any thoughts on why tool.drcachesim.delay-simple could be failing in this patch? http://139.178.83.194:8080/job/DynamoRIO-AArch64-Precommit/1884/console

The following assert is triggered:

<Application /var/lib/jenkins/.jenkins/workspace/DynamoRIO-AArch64-Precommit/build/build_debug-internal-64/suite/tests/bin/simple_app (32711).  Internal Error: DynamoRIO debug check failure: /var/lib/jenkins/.jenkins/workspace/DynamoRIO-AArch64-Precommit/core/heap.c:1961 IF_WINDOWS(doing_detach ||) vmh->num_free_blocks == vmh->num_blocks - unfreed_blocks || ((ever_beyond_vmm IF_WINDOWS(|| get_os_version() >= WINDOWS_VERSION_8_1)) && vmh->num_free_blocks >= vmh->num_blocks - unfreed_blocks)
(Error occurred @862 frags)                                               
version 8.0.18590, custom build

That's a memory leak. Not sure why this PR would trigger it. Can you reproduce it locally (run 1000x or sthg) in head or this PR?

Also, I notice that the migration to GitHub Actions is still in progress. Should we wait until the new CI is stable before continuing work on this?

That never affected the a64 Jenkins and the Travis replacements are all in place at this point.

yury-khrustalev

comment created time in 12 hours

issue commentmpi-forum/mpi-issues

Formatting: vertical spacing after example environment

This has the CC label - as Point-to-point CC chair, I approve this change for the MPI-4.0 release.

If other CCs approve, please can we change the mpi-4.1 label to mpi-4.0 and merge this into the RC branch ASAP?

devreal

comment created time in 12 hours

issue commentmpi-forum/mpi-issues

Formatting: vertical spacing after example environment

"fullframe" gets my vote - the others give less information to the casual reader.

Is this particular line part of an example or not? "fullframe" and "exbackground" tell me without searching up/down the document.

Where does this example begin/end? "fullframe", "extopbottom", and "excorners" tell me without reading content to figure out if a page-break ends one example and begins another.

Winner: "fullframe"

devreal

comment created time in 12 hours

pull request commentDynamoRIO/dynamorio

i#2433: Implement opnd_compute_address for AArch64

Please, for any test failure, list the test name and the issue number that covers the failure here in the PR. If there is no issue, please file an issue. Ideally, mark flaky tests in runsuite_wrapper to help keep the CI green (or even better help to fix them). The only flaky tests I recall seeing in recent PR's were the client.winxfer (#4058) and client.alloc-noreset (i#4436) on Appveyor -- is that what is being hit here? Someone should put them on the ignore list.

yury-khrustalev

comment created time in 12 hours

issue commentmpi-forum/mpi-issues

Formatting: vertical spacing after example environment

I would prefer the "Lightgray lines on top and bottom, with vertical ticks:" https://github.com/mpi-forum/mpi-issues/files/4697966/mpi40-report-extopbottom.pdf The version with gray background my cause problems with figures within an example. The versions "none" and "excorners" are too invisible for the reader. Of course, the "fullframe" is also perfect: https://github.com/mpi-forum/mpi-issues/files/4697956/mpi40-report-fullframe.pdf I understand that solid grey looks beautiful, but may degrade readability for some handicaped readers.

devreal

comment created time in 12 hours

issue commentmpi-forum/mpi-issues

RC issues in chap-topol found by Dan

Yes!! I would prefer the "Lightgray lines on top and bottom, with vertical ticks:" https://github.com/mpi-forum/mpi-issues/files/4697966/mpi40-report-extopbottom.pdf The version with gray background my cause problems with figures within an example. The versions "none" and "excorners" are too invisible for the reader. Of course, the "fullframe" is also perfect: https://github.com/mpi-forum/mpi-issues/files/4697956/mpi40-report-fullframe.pdf

dholmes-epcc-ed-ac-uk

comment created time in 12 hours

PR opened linux-rdma/rdma-core

ibdiag: Initial NDR support

Added support new speed 106.25 Added support for NDRFECModeSupported & NDRFECModeEnabled Added support for IsLinkSpeedNDRSupported (PortInfo.CapabilityMask2) Added support for other lost flags of PortInfo.CapabilityMask2 6: IsMKeyProtectBitsExtSupported 7: IsEnhancedTrap128Supported 8: IsPartitionTopSupported 9: IsEnhancedQoSArbiterSupported

Signed-off-by: Haim Boozaglo haimbo@nvidia.com

+45 -7

0 comment

3 changed files

pr created time in 15 hours

issue commentmpi-forum/mpi-issues

Datatype Chapter RC Review Issues

I guess you mean PR 333: https://github.com/mpi-forum/mpi-standard/pull/333

wesbland

comment created time in 15 hours

issue commentmpi-forum/mpi-issues

Datatype Chapter RC Review Issues

The PR is #333, I saw your approval. Thanks.

wesbland

comment created time in 15 hours

Pull request review commenthermitcore/libhermit-rs

increasing the readability by using suitable function names

 impl SyscallInterface for Uhyve { 	#[cfg(target_os = "hermit")] 	fn get_application_parameters(&self) -> (i32, *const *const u8, *const *const u8) { 		// determine the number of arguments and environment variables-		let mut syscmdsize = SysCmdsize::new();-		uhyve_send(UHYVE_PORT_CMDSIZE, &mut syscmdsize);+		let syscmdsize = SysCmdsize::new();+		hypercall(UHYVE_PORT_CMDSIZE, &syscmdsize);++		let argc = unsafe { ptr::read_unaligned(&syscmdsize.argc) as usize };+		let envc = unsafe { ptr::read_unaligned(&syscmdsize.envc) as usize };

How about returning an enum that fits all needs?

stlankes

comment created time in 15 hours

more