From 639a7219b4274944ab82de73ade2297a00742954 Mon Sep 17 00:00:00 2001 From: Mircea Trofin Date: Mon, 26 Oct 2015 18:25:29 -0700 Subject: Moved Feature testing motivating scenarios Moved Feature testing motivating scenarios to Rationale.md --- Rationale.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'Rationale.md') diff --git a/Rationale.md b/Rationale.md index 87bac8b..7c2f136 100644 --- a/Rationale.md +++ b/Rationale.md @@ -240,3 +240,19 @@ architectures there may be a need to revisit some of the decisions: * When different languages have different expectations then it's unfortunate if WebAssembly measurably penalizes one's performance by enforcing determinism which that language doesn't care about, but which another language may want. + + +## Feature Testing - Motivating Scenarios +1. [PostMVP](PostMVP.md)), [`i32.min_s`](FutureFeatures.md#additional-integer-operations) is introduced. A WebAssembly developer updates their toolkit and targets the new features. The compiler leverages `i32.min_s` when compiling a module the developer wrote. The developer's WebAssembly module works correctly both on execution environments at MVP, as well as those able to target PostMVP features. + +2. PostMVP, module authors may now use [Threading](PostMVP.md#threads) APIs in the browser. A developer wants to leverage multithreading in their module. + * In one variant of the scenario, our developer does not want to pay the engineering cost of developing and supporting a threaded and non-threaded version of their code. They opt not to support MVP targets, and only support MVP + 1 targets. End-users (browser users) get some message indicating they need MVP support. + * In another variant, our developer explicitly authors both MVP-only and MVP + 1 (with threads) code. + +3. [SIMD](PostMVP.md#fixed-width-simd) support is not universally equivalent on all targets. While polyfill variants of SIMD APIs are available, a developer prefers writing dedicated SIMD and non-SIMD versions of their compresion algorithm, because the non-SIMD version performs better in environments without SIMD support, when compared to the SIMD polyfill. They package their compression code for reuse by third parties. + +4. An application author is assembling together an application by reusing modules such as those developed in the scenarios above. The application author's development environment is able to quickly and correctly identify the platform dependencies (e.g. threading, SIMD) and communicate back to the application author the implications these dependencies have on the end-application. Some APIs exposed from the threading-aware module are only pertinent to environments supporting threading. As a consequence, the application author needs to write specialized code when threads are/are not supported. +(Note: we should understand this scenario for both forms of WebAssembly reuse currently imagined - dynamic linking and static imports.) + +5. The compression algorithm described in scenario 3 is deployed on a restrictive execution environment, as part of an application. In this environment, a process may not change memory page access protection flags (e.g. certain gaming consoles, to investigate server side deployment scenarios). Jane's module is compiled by the WebAssembly environment, enabling the configuration most specific to the target (i.e. with/without Threads, SIMD, etc). + * A variant of this scenario where the environment is additionally separating storage into system-visible and application-visible, the latter not being able to contain machine-executable code (certain phones, to investigate if gaming consoles or server side have a similar sandboxing mechanism). -- cgit v1.2.3 From 36f6256cfc61db8d0cbdbd4e325239dd8e391527 Mon Sep 17 00:00:00 2001 From: Mircea Trofin Date: Mon, 26 Oct 2015 18:26:02 -0700 Subject: Fixed small typo --- Rationale.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Rationale.md') diff --git a/Rationale.md b/Rationale.md index 7c2f136..b684d13 100644 --- a/Rationale.md +++ b/Rationale.md @@ -243,7 +243,7 @@ architectures there may be a need to revisit some of the decisions: ## Feature Testing - Motivating Scenarios -1. [PostMVP](PostMVP.md)), [`i32.min_s`](FutureFeatures.md#additional-integer-operations) is introduced. A WebAssembly developer updates their toolkit and targets the new features. The compiler leverages `i32.min_s` when compiling a module the developer wrote. The developer's WebAssembly module works correctly both on execution environments at MVP, as well as those able to target PostMVP features. +1. [PostMVP](PostMVP.md), [`i32.min_s`](FutureFeatures.md#additional-integer-operations) is introduced. A WebAssembly developer updates their toolkit and targets the new features. The compiler leverages `i32.min_s` when compiling a module the developer wrote. The developer's WebAssembly module works correctly both on execution environments at MVP, as well as those able to target PostMVP features. 2. PostMVP, module authors may now use [Threading](PostMVP.md#threads) APIs in the browser. A developer wants to leverage multithreading in their module. * In one variant of the scenario, our developer does not want to pay the engineering cost of developing and supporting a threaded and non-threaded version of their code. They opt not to support MVP targets, and only support MVP + 1 targets. End-users (browser users) get some message indicating they need MVP support. -- cgit v1.2.3 From ee2413d8d7e5ad0a341c873ee2e0f17197329dce Mon Sep 17 00:00:00 2001 From: Mircea Trofin Date: Mon, 26 Oct 2015 19:32:24 -0700 Subject: Update Rationale.md --- Rationale.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Rationale.md') diff --git a/Rationale.md b/Rationale.md index b684d13..91a6930 100644 --- a/Rationale.md +++ b/Rationale.md @@ -243,7 +243,8 @@ architectures there may be a need to revisit some of the decisions: ## Feature Testing - Motivating Scenarios -1. [PostMVP](PostMVP.md), [`i32.min_s`](FutureFeatures.md#additional-integer-operations) is introduced. A WebAssembly developer updates their toolkit and targets the new features. The compiler leverages `i32.min_s` when compiling a module the developer wrote. The developer's WebAssembly module works correctly both on execution environments at MVP, as well as those able to target PostMVP features. +1. [PostMVP](PostMVP.md), [`i32.min_s`](FutureFeatures.md#additional-integer-operations) is introduced. A WebAssembly developer updates their toolkit so that the compiler may leverage `i32.min_s`. The developer's WebAssembly module works correctly both on execution environments at MVP, as well as those supporting `i32.min_s`. + * A variant of this, where a few more new opcodes are available, the compiler is updated to be able to leverage all of them, but not all execution targets support all of them. The developer wants to reach as many of their customers as possible, while at the same time providing them with the best experience possible. The developer has to balance the cost of the test matrix resulting from the combinations of possible feature configurations. 2. PostMVP, module authors may now use [Threading](PostMVP.md#threads) APIs in the browser. A developer wants to leverage multithreading in their module. * In one variant of the scenario, our developer does not want to pay the engineering cost of developing and supporting a threaded and non-threaded version of their code. They opt not to support MVP targets, and only support MVP + 1 targets. End-users (browser users) get some message indicating they need MVP support. -- cgit v1.2.3 From b5be0bad9dbbb3affa48adcaac67c1035e2bb32c Mon Sep 17 00:00:00 2001 From: Mircea Trofin Date: Mon, 26 Oct 2015 22:32:50 -0700 Subject: Update Rationale.md --- Rationale.md | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'Rationale.md') diff --git a/Rationale.md b/Rationale.md index 91a6930..2da0212 100644 --- a/Rationale.md +++ b/Rationale.md @@ -242,18 +242,18 @@ architectures there may be a need to revisit some of the decisions: which that language doesn't care about, but which another language may want. -## Feature Testing - Motivating Scenarios -1. [PostMVP](PostMVP.md), [`i32.min_s`](FutureFeatures.md#additional-integer-operations) is introduced. A WebAssembly developer updates their toolkit so that the compiler may leverage `i32.min_s`. The developer's WebAssembly module works correctly both on execution environments at MVP, as well as those supporting `i32.min_s`. +## Motivating Scenarios for Feature Testing +1. [Post-MVP](PostMVP.md), [`i32.min_s`](FutureFeatures.md#additional-integer-operations) is introduced. A WebAssembly developer updates their toolkit so that the compiler may leverage `i32.min_s`. The developer's WebAssembly module works correctly both on execution environments at MVP, as well as those supporting `i32.min_s`. * A variant of this, where a few more new opcodes are available, the compiler is updated to be able to leverage all of them, but not all execution targets support all of them. The developer wants to reach as many of their customers as possible, while at the same time providing them with the best experience possible. The developer has to balance the cost of the test matrix resulting from the combinations of possible feature configurations. 2. PostMVP, module authors may now use [Threading](PostMVP.md#threads) APIs in the browser. A developer wants to leverage multithreading in their module. - * In one variant of the scenario, our developer does not want to pay the engineering cost of developing and supporting a threaded and non-threaded version of their code. They opt not to support MVP targets, and only support MVP + 1 targets. End-users (browser users) get some message indicating they need MVP support. - * In another variant, our developer explicitly authors both MVP-only and MVP + 1 (with threads) code. + * In one variant of the scenario, our developer does not want to pay the engineering cost of developing and supporting a threaded and non-threaded version of their code. They opt not to support MVP targets, and only support post-MVP targets. End-users (browser users) get some message indicating they need MVP support. + * In another variant, our developer explicitly authors both MVP-only and post-MVP (with threads) code. -3. [SIMD](PostMVP.md#fixed-width-simd) support is not universally equivalent on all targets. While polyfill variants of SIMD APIs are available, a developer prefers writing dedicated SIMD and non-SIMD versions of their compresion algorithm, because the non-SIMD version performs better in environments without SIMD support, when compared to the SIMD polyfill. They package their compression code for reuse by third parties. +3. [SIMD](PostMVP.md#fixed-width-simd) support is not universally equivalent on all targets. While polyfill variants of SIMD APIs are available, a developer prefers writing dedicated SIMD and non-SIMD versions of their compression algorithm, because the non-SIMD version performs better in environments without SIMD support, when compared to the SIMD polyfill. They package their compression code for reuse by third parties. 4. An application author is assembling together an application by reusing modules such as those developed in the scenarios above. The application author's development environment is able to quickly and correctly identify the platform dependencies (e.g. threading, SIMD) and communicate back to the application author the implications these dependencies have on the end-application. Some APIs exposed from the threading-aware module are only pertinent to environments supporting threading. As a consequence, the application author needs to write specialized code when threads are/are not supported. -(Note: we should understand this scenario for both forms of WebAssembly reuse currently imagined - dynamic linking and static imports.) +(Note: we should understand this scenario for both forms of WebAssembly reuse currently imagined: dynamic linking and static imports.) -5. The compression algorithm described in scenario 3 is deployed on a restrictive execution environment, as part of an application. In this environment, a process may not change memory page access protection flags (e.g. certain gaming consoles, to investigate server side deployment scenarios). Jane's module is compiled by the WebAssembly environment, enabling the configuration most specific to the target (i.e. with/without Threads, SIMD, etc). +5. The compression algorithm described in scenario 3 is deployed on a restrictive execution environment, as part of an application. In this environment, a process may not change memory page access protection flags (e.g. certain gaming consoles, to investigate server side deployment scenarios). The compression module is compiled by the WebAssembly environment, enabling the configuration most specific to the target (i.e. with/without Threads, SIMD, etc). * A variant of this scenario where the environment is additionally separating storage into system-visible and application-visible, the latter not being able to contain machine-executable code (certain phones, to investigate if gaming consoles or server side have a similar sandboxing mechanism). -- cgit v1.2.3 From eab56c5d3cf70882cc7bbffeff80c7aa7fa89784 Mon Sep 17 00:00:00 2001 From: Mircea Trofin Date: Tue, 27 Oct 2015 09:01:09 -0700 Subject: Update Rationale.md --- Rationale.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Rationale.md') diff --git a/Rationale.md b/Rationale.md index 2da0212..f19e98a 100644 --- a/Rationale.md +++ b/Rationale.md @@ -246,7 +246,7 @@ architectures there may be a need to revisit some of the decisions: 1. [Post-MVP](PostMVP.md), [`i32.min_s`](FutureFeatures.md#additional-integer-operations) is introduced. A WebAssembly developer updates their toolkit so that the compiler may leverage `i32.min_s`. The developer's WebAssembly module works correctly both on execution environments at MVP, as well as those supporting `i32.min_s`. * A variant of this, where a few more new opcodes are available, the compiler is updated to be able to leverage all of them, but not all execution targets support all of them. The developer wants to reach as many of their customers as possible, while at the same time providing them with the best experience possible. The developer has to balance the cost of the test matrix resulting from the combinations of possible feature configurations. -2. PostMVP, module authors may now use [Threading](PostMVP.md#threads) APIs in the browser. A developer wants to leverage multithreading in their module. +2. Post-MVP, module authors may now use [Threading](PostMVP.md#threads) APIs in the browser. A developer wants to leverage multithreading in their module. * In one variant of the scenario, our developer does not want to pay the engineering cost of developing and supporting a threaded and non-threaded version of their code. They opt not to support MVP targets, and only support post-MVP targets. End-users (browser users) get some message indicating they need MVP support. * In another variant, our developer explicitly authors both MVP-only and post-MVP (with threads) code. -- cgit v1.2.3