Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Message-ID: <973e3ed5-8acd-abec-28a6-aceae6d67423@bu.edu>
Date:   Thu, 6 Oct 2022 17:25:44 -0400
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.2.1
Subject: Re: [RFC UKL 09/10] exec: Give userspace a method for starting UKL
 process
Content-Language: en-US
To:     Andy Lutomirski <luto@kernel.org>,
        Linux Kernel Mailing List <linux-kernel@vger.kernel.org>
Cc:     Jonathan Corbet <corbet@lwn.net>, masahiroy@kernel.org,
        michal.lkml@markovi.net,
        Nick Desaulniers <ndesaulniers@google.com>,
        Thomas Gleixner <tglx@linutronix.de>,
        Ingo Molnar <mingo@redhat.com>, Borislav Petkov <bp@alien8.de>,
        Dave Hansen <dave.hansen@linux.intel.com>,
        "H. Peter Anvin" <hpa@zytor.com>,
        "Eric W. Biederman" <ebiederm@xmission.com>,
        Kees Cook <keescook@chromium.org>,
        "Peter Zijlstra (Intel)" <peterz@infradead.org>,
        Al Viro <viro@zeniv.linux.org.uk>,
        Arnd Bergmann <arnd@arndb.de>, juri.lelli@redhat.com,
        vincent.guittot@linaro.org, dietmar.eggemann@arm.com,
        Steven Rostedt <rostedt@goodmis.org>,
        Ben Segall <bsegall@google.com>, mgorman@suse.de,
        bristot@redhat.com, vschneid@redhat.com,
        Paolo Bonzini <pbonzini@redhat.com>, jpoimboe@kernel.org,
        linux-doc@vger.kernel.org, linux-kbuild@vger.kernel.org,
        linux-mm@kvack.org, linux-fsdevel@vger.kernel.org,
        linux-arch@vger.kernel.org,
        the arch/x86 maintainers <x86@kernel.org>, rjones@redhat.com,
        munsoner@bu.edu, tommyu@bu.edu, drepper@redhat.com,
        lwoodman@redhat.com, mboydmcse@gmail.com, okrieg@bu.edu,
        rmancuso@bu.edu
References: <20221003222133.20948-1-aliraza@bu.edu>
 <20221003222133.20948-10-aliraza@bu.edu>
 <20d483b6-da24-4ddc-b6d4-c0c23b8e5ea2@app.fastmail.com>
From:   Ali Raza <aliraza@bu.edu>
In-Reply-To: <20d483b6-da24-4ddc-b6d4-c0c23b8e5ea2@app.fastmail.com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?ZUI3dEFJei9UUElLT3gxZ3dKRzA2MzJCa0xrMC9GVGorYksrSWdKOHplUWhn?=
 =?utf-8?B?d0Y1ZlFGdkc0V3cyMExQTlRFSVBBQ1ZwRGVKODcxZTdmZXpSdnA0L0ZKR2Jv?=
 =?utf-8?B?dkU4a3NWbTBKRGxuS1U2dXNXWDBuSldwWCtmWjEwTTVsOGdLMldFcUdxU0p6?=
 =?utf-8?B?WFJSZEJKUUl2REZEejlmTXFmQUZkblpqZUZSbXcyYnFJQk81QUJRNksyQ292?=
 =?utf-8?B?c09lMjU0TlNNT0svTFdnOSsrMkxqOE9Zc3pLeFltdWVBdkIwaUxjOWVhbDdK?=
 =?utf-8?B?ZUdTNzBhQmRPOGY3WUhSelBOUlZpQ1F3UGphUGxNSVdzUFRKM3ZFV0hrNU5D?=
 =?utf-8?B?Y0drdlBkWC9Bc1FzaWU5Qzd3djBXWERjekUwZVFYd2k3Y2pIcm1hQzZjSUVm?=
 =?utf-8?B?enlZTS9vaVM2aFFONnBBQ0h0Nm0rUjJlZkpTQmpnRThoeHRQQldod1pGT0Fv?=
 =?utf-8?B?dEZoZkZQa0g0d0JkMWFhTWRCN2tGeWxMSU9HcWIwa0lTYTBqb2dnK210Vm1Y?=
 =?utf-8?B?WTJ3UWFmWHdFWkl3aXZ0cVBZT3A3R215Y0t1NUtUL3g5UUxucmVpQjV3bjU0?=
 =?utf-8?B?WEdpU3RPY1hwMXcyaDdHNDV0V0dUQ3JybTl4cXZUTmc2aGVZbnJFek0yenlj?=
 =?utf-8?B?UzgxWnYyMDY1ZHdGcno5WlRzWTJRdUI3bnZmNitNK0s3RUxVU3k4T1Y0ajhs?=
 =?utf-8?B?RlVwYTZncUpyRGQ5RTRPYmpKWUJaUmYzRG9TTndUMmx3b0hOSmN3ME9RdndJ?=
 =?utf-8?B?TUQyK29Od1RRek1ndDU5N2YwNE5nSWo5dVo4K3EzRGpBdkZRU2tyR1VmZDVO?=
 =?utf-8?B?a3NPODBFak45ZGxYeHg2WUJNWVh1cHR0TGxjSWhvVnNUSHcxV2t1L2xCK09P?=
 =?utf-8?B?Z2E1aXZtMXVLbWNXR3JORmkrNlhMMHlkUUdUS0h6bHhrak1Ydi9uVGtqSlAx?=
 =?utf-8?B?QUJwY1E2ckNKSGgvbUMwbmx5eVBLek1rWnkwQ1cybmtDRERnNHpvUkUxaGZH?=
 =?utf-8?B?bnhCUHZMaGd2VVZQU005ejZxVis5TGUyMVBGY21LQys3MkdPZXV2VGFJeGdG?=
 =?utf-8?B?cG0yRlNzVmNUb2ZVUG0wcW1ZRlIvTXM5OUZ6bGdhOENOWXNoK25SWkJKYXR0?=
 =?utf-8?B?WlJzMG9aekZNcFU4QkxSQmNzajBHOSt1aUl2Nzgxb2NSK2NFS2loTTRNclZa?=
 =?utf-8?B?NHV5UnQ3N0R0a3JscXNpc21Ra2NYL01SaUhUUWEwekNjRUVSOUp3QmRmRzBp?=
 =?utf-8?B?WmVQU2R1TWhuQ0ZzUEtTaEg1VFJPZkdWaldTZTJIZWs2cXhYKzFOVjRHZk9C?=
 =?utf-8?B?ald2bCtERCtEVXA0RlhncXA5eUZJb2xXMDFFbk56aFVValVyVUtxQ2NiTCty?=
 =?utf-8?B?bzJ5VGpVbEhIb3JCNFp6Q0VoSGNqaHNnbllKRHZFcWdYVmJ2ZzRlMXM1Qi9k?=
 =?utf-8?B?OEFFenpYSWdPcGxFK0x0VG0ydWNPbkx4c0hiUFdKc0RtSWhId3lMMEJCZXdF?=
 =?utf-8?B?OHNqcDBLNWNUOFAzeVVoclpWaThuK241TlMwNjc3MnpiSnM5ZGt3VDlBRG9q?=
 =?utf-8?B?NjFLWmV1UFFsU1dSQ0ZuSjFJU3FXT1JScGthQXVNTk8yNnpPdExEY0dIbnh3?=
 =?utf-8?B?dHhuaFh2YThtQWRhY3Jnc2dkL3diSzlzbk5iS1EwTXFVQWd4dmM2bFNVSnM5?=
 =?utf-8?B?alM1UGJ4TnpmMWhXQzlXekplSUgrOGx2K1JYeDh3SExCSWxTK3ppQkZEV0FI?=
 =?utf-8?B?U3FHZVROTERWbU9mcVg2aVVQNXZJdWVzSUNkUjVkbnMwQ1dWdGNiakk3V3Bk?=
 =?utf-8?B?ZjA0TEhobEZ1OFBqSnFxUGpqU2RTbHl2bWpsbEdCYlBRbURaU0xBNXVRT1lW?=
 =?utf-8?B?bXM4WDNJeGgzYnF4S3RNUzVxYXcvbS9ZNUlFRWNEZ01HdUE1cHM5ZjI2aWtB?=
 =?utf-8?B?aXV5b1IwYkpuQXFXRE9CYzgzcVRsMjZRcFFlQ3BHUkJTQkZnQXZyZGRJcERr?=
 =?utf-8?B?VnZqWnFBc0JzUk1vNnpmZVBGdVZvblgwRStaWGVVV2tudlc0SnRkWi9QM0ZP?=
 =?utf-8?B?ZmJXa1NEZjd5RFpXcVdReWh1S01rWDhXUUpVSkNHbGJ3dkhHRndOWjNxWVdE?=
 =?utf-8?Q?s4elI+cQKXyIPEjdDX9fEiRfp?=
X-OriginatorOrg: bu.edu
X-MS-Exchange-CrossTenant-Network-Message-Id: e4b6defe-5302-45d3-0468-08daa7e15569
X-MS-Exchange-CrossTenant-AuthSource: BL0PR03MB4129.namprd03.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 06 Oct 2022 21:25:47.0803
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: d57d32cc-c121-488f-b07b-dfe705680c71
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: 81K9+CjVMa5hOfmDH9ROiSZXJow/hjC+HtgyTlZ2RuZFGbEMLy+x5qiMqeD0YW1p
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PH0PR03MB6381
X-Spam-Status: No, score=-2.5 required=5.0 tests=BAYES_00,DKIM_SIGNED,
        DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FORGED_SPF_HELO,NICE_REPLY_A,
        RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,SPF_NONE
        autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On 10/4/22 13:35, Andy Lutomirski wrote:
> On Mon, Oct 3, 2022, at 3:21 PM, Ali Raza wrote:
>> From: Eric B Munson <munsoner@bu.edu>
>>
>> From: Eric B Munson <munsoner@bu.edu>
>>
>> The UKL process might depend on setup that is to be done by user space
>> prior to its initialization.  We need a way to let userspace signal that it
>> is ready for the UKL process to run. We will have setup a special name for
>> this process in the kernel config and if this name is passed to exec that
>> will start the UKL process. This way, if user space setup is required we
>> can be sure that the process doesn't run until explicitly started.
> 
> This is just bizarre IMO.  Why is there one single UKL process?
> 
> How about having a way to start a UKL process and then, if desired, start *another* UKL process?  (And obviously there would be a security mode in which only a UKL process that is actually part of the kernel image can run or that only a UKL process with a hash that's part of the kernel image can run.)
> 
> --Andy

Again, the commit message could have been worded better.

There can be two cases here, one where a UKL process forks or a new UKL
process is run once the first finishes. In this case, there a single UKL
application being run multiple times. The second case is where two
different UKL applications (both linked with the kernel) are run in
different processes, concurrently or one after the other. Lets look at
both of these cases.

For case 1, there is no restriction on how many UKL processes can run.
UKL allows forking, so there can be multiple processes but they will
have to share the text and data which is loaded along with the kernel
text and data. In the future, one can borrow ideas from how glibc
handles TLS i.e., where each UKL process would copy data into its user
half of memory. But we have not designed or implemented that yet. We
have tested applications that fork/clone. We have not tested running the
same UKL process again after an earlier UKL process exits, but there is
nothing stopping that from working.

For case 2, we have not yet implemented that. But for discussion's sake,
we can have two or more mutually trusting applications, all linked with
the kernel. And if you do /UKL1 or /UKL2 (or some proper names), you
should be able to run them concurrently. Again, although much of the
plumbing for this is there, we haven't implemented it fully yet.

Thank you again for the detailed feedback.

--Ali