From patchwork Mon Mar 30 13:46:06 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Patrick Steinhardt X-Patchwork-Id: 11465535 Return-Path: Received: from mail.kernel.org (pdx-korg-mail-1.web.codeaurora.org [172.30.200.123]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id 68115913 for ; Mon, 30 Mar 2020 13:46:17 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 3B69A2082F for ; Mon, 30 Mar 2020 13:46:17 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=pks.im header.i=@pks.im header.b="jSHusq64"; dkim=pass (2048-bit key) header.d=messagingengine.com header.i=@messagingengine.com header.b="2MxUK+o/" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1728494AbgC3NqQ (ORCPT ); Mon, 30 Mar 2020 09:46:16 -0400 Received: from wout4-smtp.messagingengine.com ([64.147.123.20]:54847 "EHLO wout4-smtp.messagingengine.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1728481AbgC3NqP (ORCPT ); Mon, 30 Mar 2020 09:46:15 -0400 Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.west.internal (Postfix) with ESMTP id BEB1E6EA; Mon, 30 Mar 2020 09:46:13 -0400 (EDT) Received: from mailfrontend1 ([10.202.2.162]) by compute3.internal (MEProxy); Mon, 30 Mar 2020 09:46:14 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=pks.im; h=date :from:to:cc:subject:message-id:references:mime-version :content-type:in-reply-to; s=fm3; bh=k/rBZ/0iXPAvzT7Tz5GWzkrjZev Yk1JSOnBkDD/j0ok=; b=jSHusq64n1Qk6ElebsXC2bSotrMd5OiFrd1CNJmYcoi KUpVKZCTnw2wBoLhMymyHG/Lxt4+37koyNWsr+61TB6H2kh3omWMwdNdFMy7V4W8 oxPMll+/TiTU9ZA9D+Jm7JIATl87vNxtM7EalFDBCq89hSAqLH/B0XT4l7cKyOa/ RRjKve2e+0c8SUJW0GT6+hubQUEkTJuorbzSkzmU9SZx7EaGl4RzbqQs/NCpdCRM n5NxUlp6YCzdXB7zFNzasWkBZH1vY2ZPLowiF8MUh9IVZAqjmb5XeH1Id9lz8ddM mmMM4y5eqriaiehOq17zEZAo+6T6/nEeBzYdAj8a4GQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm2; bh=k/rBZ/ 0iXPAvzT7Tz5GWzkrjZevYk1JSOnBkDD/j0ok=; b=2MxUK+o/qgTYJ9qdUNUQzU 8nH5skz0Q+1f3dj8bM1bOeez8wNU6luDX92eXgkZ14t1ZzD+NtJDQokGwLy4brOm SzPNVE0kdFsx0NcLs0qxvh7tjR1JfKzWyGB8V3nzOAUiSadck2Px5B3Ifewm9hz/ clS84+hHgBrdLAHuCcXQzfDESp7DZhAKZTdJrkw/C1E7CMIHh/IH8u1aZ+w9kmSr 09fz3K3jzR4q0J8juivt/Im7Xd6CKwS2JdJ4z6ru/CmHQmGNFGFqdQXBMOD57xN4 L+dgFAqrELApDGGnrCX4LJwDfSMiA6iFDQfvwRkdrBhY/NP5bbxXCTJy0BKjvhTw == X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedugedrudeihedgieekucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhepfffhvffukfhfgggtuggjsehgtderredttddvnecuhfhrohhmpefrrghtrhhi tghkucfuthgvihhnhhgrrhguthcuoehpshesphhkshdrihhmqeenucfkphepjeekrdehge drvddvtddruddtvdenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepmhgrihhl fhhrohhmpehpshesphhkshdrihhm X-ME-Proxy: Received: from vm-mail.pks.im (x4e36dc66.dyn.telefonica.de [78.54.220.102]) by mail.messagingengine.com (Postfix) with ESMTPA id 9AF813280064; Mon, 30 Mar 2020 09:46:12 -0400 (EDT) Received: from localhost (ncase [10.192.0.11]) by vm-mail.pks.im (OpenSMTPD) with ESMTPSA id 24c114f0 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Mon, 30 Mar 2020 13:46:02 +0000 (UTC) Date: Mon, 30 Mar 2020 15:46:06 +0200 From: Patrick Steinhardt To: git Cc: Christian Couder , Junio C Hamano Subject: [PATCH v2 0/9] Support for transactions in `git-update-ref --stdin` Message-ID: References: MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: Sender: git-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: git@vger.kernel.org Hi, this is the second version of this patch series to introduce transaction support in `git update-ref --stdin`. The goal is to make commands available to the user of that command so that he can explicitly control the given transaction by starting, preparing, and finally committing or aborting the transaction. The second version addresses the feedback of Junio: - Renamed the `commands` array to `command`. - Adds documentation to the `extra_lines` field to hopefully make its intent clearer. - Clarify why we ignore EOF when reading `extra_lines`. - When reading commands, the code now verifies that a line is not only a prefix to the command, but in fact the whole command. This allows implementation of multiple commands that have the same prefix, e.g. "option" and "options". Thanks Junio for your review! Patrick Patrick Steinhardt (9): refs: fix segfault when aborting empty transaction git-update-ref.txt: add missing word strbuf: provide function to append whole lines update-ref: organize commands in an array update-ref: drop unused argument for `parse_refname` update-ref: pass end pointer instead of strbuf update-ref: move transaction handling into `update_refs_stdin()` update-ref: read commands in a line-wise fashion update-ref: implement interactive transaction handling Documentation/git-update-ref.txt | 28 +++- builtin/update-ref.c | 274 +++++++++++++++++++++++-------- refs/files-backend.c | 20 ++- strbuf.c | 10 ++ strbuf.h | 6 + t/t1400-update-ref.sh | 131 +++++++++++++++ 6 files changed, 388 insertions(+), 81 deletions(-) Range-diff against v1: 1: 3c7f8c47f3 = 1: 7a297db4da refs: fix segfault when aborting empty transaction 2: dd7798abb7 = 2: 15857e1b8c git-update-ref.txt: add missing word 3: 4b0a963ea5 = 3: b6546ae44e strbuf: provide function to append whole lines 4: 50ffc26329 ! 4: bd8c059fbc update-ref: organize commands in an array @@ builtin/update-ref.c: static const char *parse_cmd_option(struct strbuf *input, +static const struct parse_cmd { + const char *prefix; + const char *(*fn)(struct ref_transaction *, struct strbuf *, const char *); -+} commands[] = { ++} command[] = { + { "update", parse_cmd_update }, + { "create", parse_cmd_create }, + { "delete", parse_cmd_delete }, @@ builtin/update-ref.c: static const char *parse_cmd_option(struct strbuf *input, - next = parse_cmd_option(&input, next); - else + -+ for (i = 0; i < ARRAY_SIZE(commands); i++) { -+ if (!skip_prefix(next, commands[i].prefix , &next)) ++ for (i = 0; i < ARRAY_SIZE(command); i++) { ++ const char *prefix = command[i].prefix; ++ ++ if (!skip_prefix(next, prefix, &next)) + continue; -+ cmd = &commands[i]; ++ ++ /* ++ * Check that the command is terminated by an argument ++ * or line terminator and not only a matching prefix. ++ */ ++ if (input.buf[strlen(prefix)] != line_termination && ++ input.buf[strlen(prefix)] != '\0' && ++ input.buf[strlen(prefix)] != ' ') ++ continue; ++ ++ cmd = &command[i]; + break; + } + if (!cmd) die("unknown command: %s", next); -+ if (input.buf[strlen(cmd->prefix)] != line_termination && -+ input.buf[strlen(cmd->prefix)] != '\0' && -+ input.buf[strlen(cmd->prefix)] != ' ') -+ die("%s: no separator after command", cmd->prefix); -+ + next = cmd->fn(transaction, &input, next); next++; } 5: a78043b188 = 5: 49a14d2046 update-ref: drop unused argument for `parse_refname` 6: 51ebb2f849 ! 6: cbe430029d update-ref: pass end pointer instead of strbuf @@ builtin/update-ref.c: static const char *parse_cmd_option(struct ref_transaction const char *prefix; - const char *(*fn)(struct ref_transaction *, struct strbuf *, const char *); + const char *(*fn)(struct ref_transaction *, const char *, const char *); - } commands[] = { + } command[] = { { "update", parse_cmd_update }, { "create", parse_cmd_create }, @@ builtin/update-ref.c: static void update_refs_stdin(struct ref_transaction *transaction) - input.buf[strlen(cmd->prefix)] != ' ') - die("%s: no separator after command", cmd->prefix); + if (!cmd) + die("unknown command: %s", next); - next = cmd->fn(transaction, &input, next); + next = cmd->fn(transaction, next, input.buf + input.len); 7: bd92a649d7 = 7: d2f68f59a7 update-ref: move transaction handling into `update_refs_stdin()` 8: 1db63f97ec ! 8: f8786fdeb3 update-ref: read commands in a line-wise fashion @@ builtin/update-ref.c: static const char *parse_cmd_option(struct ref_transaction const char *prefix; - const char *(*fn)(struct ref_transaction *, const char *, const char *); + void (*fn)(struct ref_transaction *, const char *, const char *); ++ /* ++ * If using NUL-terminated format, only the first argument will be ++ * available in the first line. In case a command expects more than one ++ * argument, we thus have to fetch an additional `extra_lines` number ++ * of lines. ++ */ + unsigned extra_lines; - } commands[] = { + } command[] = { - { "update", parse_cmd_update }, - { "create", parse_cmd_create }, - { "delete", parse_cmd_delete }, @@ builtin/update-ref.c: static const char *parse_cmd_option(struct ref_transaction + else if (isspace(*input.buf)) + die("whitespace before command: %s", input.buf); - for (i = 0; i < ARRAY_SIZE(commands); i++) { -- if (!skip_prefix(next, commands[i].prefix , &next)) -+ if (!starts_with(input.buf, commands[i].prefix)) + for (i = 0; i < ARRAY_SIZE(command); i++) { + const char *prefix = command[i].prefix; + +- if (!skip_prefix(next, prefix, &next)) ++ if (!starts_with(input.buf, prefix)) continue; - cmd = &commands[i]; + + /* +@@ builtin/update-ref.c: static void update_refs_stdin(void) break; } if (!cmd) - die("unknown command: %s", next); + die("unknown command: %s", input.buf); - if (input.buf[strlen(cmd->prefix)] != line_termination && - input.buf[strlen(cmd->prefix)] != '\0' && - input.buf[strlen(cmd->prefix)] != ' ') - die("%s: no separator after command", cmd->prefix); - - next = cmd->fn(transaction, next, input.buf + input.len); - next++; -+ /* Read extra lines if NUL-terminated */ ++ /* ++ * Read extra lines if NUL-terminated. Do not raise an error in ++ * case there is an early EOF to let the command handle missing ++ * arguments with a proper error message. ++ */ + for (j = 0; line_termination == '\0' && j < cmd->extra_lines; j++) + if (strbuf_appendwholeline(&input, stdin, line_termination)) + break; 9: 88c0089bb5 ! 9: c3fffdf9fa update-ref: implement interactive transaction handling @@ builtin/update-ref.c: static void parse_cmd_option(struct ref_transaction *trans static const struct parse_cmd { const char *prefix; void (*fn)(struct ref_transaction *, const char *, const char *); +@@ builtin/update-ref.c: static const struct parse_cmd { + * of lines. + */ unsigned extra_lines; + enum update_refs_state state; - } commands[] = { + } command[] = { - { "update", parse_cmd_update, 2 }, - { "create", parse_cmd_create, 1 }, - { "delete", parse_cmd_delete, 1 }, @@ builtin/update-ref.c: static void parse_cmd_option(struct ref_transaction *trans int i, j; @@ builtin/update-ref.c: static void update_refs_stdin(void) - input.buf[strlen(cmd->prefix)] != ' ') - die("%s: no separator after command", cmd->prefix); - -- /* Read extra lines if NUL-terminated */ -+ /* Read extra lines if NUL-terminated, but let commands handle missing ones. */ - for (j = 0; line_termination == '\0' && j < cmd->extra_lines; j++) if (strbuf_appendwholeline(&input, stdin, line_termination)) break;